Tài liệu, ebook Kỹ Thuật Lập Trình

Điều kiện trước E được tính toán theo quy tắc đã trình bày ở mục I để tạo ra các tiên đề gán là điều kiện trước yếu nhất của một lệnh gán x := và của một điều kiện sau S, khi đại lượng termE(x := ) có giá trị true. Trong trường hợp này, tiên đề được ký hiệu bởi : pfpre(x := , S) { x := } S Trong trường hợp tổng quát, t...

89 trang | Chia sẻ: dntpro1256 | Ngày: 23/11/2020 | Lượt xem: 946 | Lượt tải: 0

ProductsList.ascx 1. Thêm một Web User Control vào thư mực UserControls, đặt tên là ProductsList 2. Mở Design View và kéo thả một Pager từ Solution Explore vừa được xây dựng ở trên vào ProductsList control. 3. Tiếp tục kéo vào một đối tượng DataList vào ProductsList. 4. Tiếp tục kéo vào một Pager khác vào cuối của ProductsList.

188 trang | Chia sẻ: dntpro1256 | Ngày: 23/11/2020 | Lượt xem: 1042 | Lượt tải: 0

GridView không chỉ hiển thị được các bảng dữ liệu mà còn hỗ trợ rất tốt trong việc chỉnh sửa và xóa dữ liệu. Đặc biệt khi nguồn dữ liệu là SqlDataSource thì việc sửa và xóa hoàn toàn tự động, không cần phải viết bất kỳ dòng code nào. Để bật tính năng này, cần bổ sung thêm thuộc tính vào GridView với giá trị là true cho AutoGenerateSelectColum, ...

314 trang | Chia sẻ: dntpro1256 | Ngày: 23/11/2020 | Lượt xem: 1006 | Lượt tải: 0

Chƣơng trình sử dụng bộ định thời TP 1. Chương trình được hoạt động theo nguyên tắc a) Đầu vào là nút nhấn v| đầu ra l| đèn hiển thị. b) Chƣơng trình sử dụng TP Timer, một cuộn cảm biến có điểm tiếp xúc theo hƣớng thuận, và một cuộn cảm biến ngƣợc. c) Khi nút nhấn đƣợc ấn, đèn hiển thị s{ng. Đèn hiển thị tự tắt sau 3s, sau đó tự sáng lại. 2....

256 trang | Chia sẻ: dntpro1256 | Ngày: 23/11/2020 | Lượt xem: 1552 | Lượt tải: 0

Nhiều người "tình cờ" đặt được các file .class của mình vào đúng chỗ, do may mắn chẳng hạn, nhưng rồi lại gặp phải những lỗi như: java.lang.NoClassDefFoundError: MyCompanyApp (wrong name: com/mycompanypackage/MyCompanyApp. Tình huống đó xảy ra nếu ta cố chạy chương trình bằng một lệnh kiểu như: c:\java\com\mycompanypackage> java MyCompanyApp ...

139 trang | Chia sẻ: dntpro1256 | Ngày: 23/11/2020 | Lượt xem: 961 | Lượt tải: 0

1. Viết lớp Dice mô hình hóa xúc xắc và việc tung xúc xắc. Mỗi đối tượng Dice có một biến int lưu trạng thái hiện tại là mặt ngửa của lần gieo gần nhất (một giá trị trong khoảng từ 1 đến 6), một phương thức public roll() giả lập việc gieo xúc xắc và trả về giá trị của mặt ngửa vừa gieo được. Hãy sử dụng thư viện Math cho việc sinh số ngẫu nhiên...

102 trang | Chia sẻ: dntpro1256 | Ngày: 23/11/2020 | Lượt xem: 1360 | Lượt tải: 0

15.1 Biểu thức Là sự phối hợp của những toán tử và toán hạng. Ví dụ 1: a + b b = 1 + 5 * 2/i a = 6 % (7 + 1) x++ * 2/4 + 5 – power(i, 2) Toán hạng sử dụng trong biểu thức có thể là hằng số, biến, hàm. 15.2 Phép toán Trong C có 4 nhóm toán tử chính yếu sau đây: 15.2.1 Phép toán số học + : cộng áp dụng trên tất cả các toán hạng có kiểu dữ ...

71 trang | Chia sẻ: dntpro1256 | Ngày: 23/11/2020 | Lượt xem: 1108 | Lượt tải: 0

Bài tập 1. Viết chương trình in ra bảng mã ASCII 2. Viết chương trình tính tổng bậc 3 của N số nguyên đầu tiên. 3. Viết chương trình nhập vào một số nguyên rồi in ra tất cả các ước số của số đó. 4. Viết chương trình vẽ một tam giác cân bằng các dấu * 5. Viết chương trình tính tổng nghịch đảo của N số nguyên đầu tiên theo công thức S = 1 + 1/2...

64 trang | Chia sẻ: dntpro1256 | Ngày: 23/11/2020 | Lượt xem: 1412 | Lượt tải: 0

Normally, the local search technique is hill-climbing and the evolutionary operators are only mutation operators. In genetic algorithm, while the mutation creates new genes for the population, the crossover operator orients seeking the best solution from the genes in the population. In memetic algorithm, this orientation is achieved by local se...

61 trang | Chia sẻ: dntpro1256 | Ngày: 23/11/2020 | Lượt xem: 1139 | Lượt tải: 0

Exercises • Define a formal syntax for a simple language supporting only the assignment statement and arithmetic expressions. • Write the derivation and draw the parse tree of ‘c := (a + b) * 7’ using the defined syntax.

51 trang | Chia sẻ: dntpro1256 | Ngày: 23/11/2020 | Lượt xem: 875 | Lượt tải: 0