Chương 1. Tổng quan Chương 2. Luận lý mệnh đề (propositional logic) Chương 3. Luận lý vị từ (predicates logic) Chương 1 ntsơn Chương 1. Tổng quan ntsơn Thảo luận nhóm 5 phút •  Nhất quán & Mâu thuẫn -  Định nghĩa 2 khái niệm trên -  Sự khác nhau và giống nhau. -  Một số thí dụ minh họa. •  Mỗi nhóm viết ra ý kiến và trình bày trước...

 25 p mku 12/10/2012 371 1 Download

Cấu trúc của hệ tiên đề : 1. Thuật ngữ nguyên thủy (undefined term) 2. Thuật ngữ phổ dụng (universal term) 3. Hệ các tiên đề (axiom system) 4. Hệ thống suy luận 5. Định lý ntsơn HỆ TIÊN ĐỀ •  Thuật ngữ nguyên thủy : Khái niệm được chấp nhận - không định nghĩa. Phân loại : + Đối tượng + Quan hệ. Tiên đề Phát biểu được chấp nhận -...

 23 p mku 12/10/2012 368 1 Download

Cascading Style Sheets can turn humdrum websites into highly-functional, professional-looking destinations, but many designers merely treat CSS as window-dressing to spruce up their site's appearance. You can tap into the real power of this tool with CSS: The Missing Manual. This second edition combines crystal-clear explanations, real-world examples, and dozens of step-by-step tutorials to show you how to design sites with CSS that work...

 560 p mku 12/10/2012 296 1 Download

Simply put, Cascading Style Sheets (CSS) is a way to separate a document's structure from its presentation. The benefits of this can be quite profound: CSS allows a much richer document appearance than HTML and also saves time -- you can create or change the appearance of an entire document in just one place; and its compact file size makes web pages load quickly. CSS: The Definitive Guide, 3rd Edition, provides you with a comprehensive guide...

 2551 p mku 12/10/2012 341 1 Download

Môi trường (Environments) Gán thực trị là gán giá trị T (đúng) hoặc F (sai) cho mỗi biến mệnh đề. Những nhà khoa học máy tính gọi việc gán giá trị cho các biến là một môi trường.

 67 p mku 12/10/2012 372 1 Download

II. Suy luận tự nhiên trong luận lý mệnh đề ntsơn .Chứng minh Thí dụ : Tam giác ABC có các cạnh là AB = 3, BC = 4, CA = 5. Chứng minh ABC vuông. Chứng minh : (1) cạnh AB = 3. (2) cạnh BC = 4. (3) cạnh CA = 5. (4)

 45 p mku 12/10/2012 377 1 Download

Logic của Aristotle được diễn tả bằng ngôn ngữ thông thường - mơ hồ. Các triết gia muốn logic được diễn tả có tính hình thức (formal) và bằng ký hiệu (symbolical) như toán học. Leibniz có lẽ là người đầu tiên hình dung ra ý tưởng này và gọi tên là formalism.

 52 p mku 12/10/2012 330 1 Download

12. Trong hệ thống nếu có deadlock xảy ra đối với các process ứng dụng thì a. Bắt buộc phải xử lý, nếu không hệ thống sẽ sụp đổ b. Không cần giải quyết, nhưng hiệu suất của hệ thống sẽ bị giảm c. Hệ thống bị treo nên không thể giải quyết deadlock được d. Người dùng phải tự tìm deadlock và giải quyết deadlock

 7 p mku 12/10/2012 334 1 Download

Phát biểu “Trong hệ thống, khi một process đã được quyền sử dụng tài nguyên X thì nó sẽ được giữ X cho đến khi thực thi xong mà không bị hệ thống lấy lại” là một trường hợp của điều kiện a. Mutual exclusion b. Hold and wait c. No preemption d. Circular wait 4. Ưu điểm của cấu trúc hệ thống file acyclic graph: a. Dễ chia sẻ file với người dùng khác...

 8 p mku 12/10/2012 1068 1 Download

1. Mỗi file được xác định bằng một i-node, trong đó có 11 entry chứa địa chỉ block, mỗi địa chỉ là 32 bit. Trong đó, 10 entry đầu trỏ đến data block, entry thứ 11 trỏ đến single indirect block, kích thước mỗi block là 512 byte. Kích thước tối đa của file là: a. 67 KB b. 68 KB c. 69 KB d. 70 KB 2. Chọn phát biểu SAI về working set. a. Là tập hợp các trang...

 8 p mku 12/10/2012 644 1 Download

THUẾ TRỊ GIÁ GIA TĂNG • Thuế trị giá gia tăng – Là một loại thuế gián thu được thu ở nhiều khâu dựa vào trị giá gia tăng được tạo ra ở mỗi khâu . – Là một loại thuế bán hàng được quản lý theo cách mới. – Nếu quản lý đúng, VAT mang lại kết quả giống như thuế đơn khâu. – Hiện tại có trên 70 quốc gia sử dụng thuế trị giá gia tăng....

 17 p mku 12/10/2012 344 3 Download

Biến đổi năng lượng điện một chiều thành năng lượng điện xoay chiều Phân loại • Theo số lượng pha: - Một pha - Ba pha - Nhiều pha • Theo sơ đồ - Hình cầu - Hình tia • Theo đặc điểm nguồn - Nguồn áp - Nguồn dòng 5.2 Sơ đồ nguyên lý S1 R uZ S4 S2 S3 uZ S1S2 S3S4 S1S2 0 U θ = ωt Sơ đồ nguyên lý nghịch lưu cầu một pha S1 S2 uZ S1...

 55 p mku 12/10/2012 367 3 Download