tailieunhanh - Toán rời rạc - Bài 1 - Logic

Tham khảo tài liệu 'toán rời rạc - bài 1 - logic', công nghệ thông tin, cơ sở dữ liệu phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | University of Florida Dept. of Computer & Information Science & Engineering COT 3100 Applications of Discrete Structures Dr. Michael P. Frank Slides for a Course Based on the Text Discrete Mathematics & Its Applications (5th Edition) by Kenneth H. Rosen 1/8/01 A word about organization: Since different courses have different lengths of lecture periods, and different instructors go at different paces, rather than dividing the material up into fixed-length lectures, we will divide it up into “modules” which correspond to major topic areas and will generally take 1-3 lectures to cover. Within modules, we have smaller “topics”. Within topics are individual slides. Bài #1: Cơ sở Logic Rosen 5th ed., §§ ~81 slides, ~4 lectures 1/8/01 In Spring 2003 I spent 7 fifty-minute lecture periods on this material, but two half-lectures were taken up by team selection and a quiz, so it really only took 6 lectures. Module #1: Foundations of Logic (§§, ~3 lectures) Logic toán là công cụ để làm việc với các lệnh phức hợp. Nó bao gồm: Ngôn ngữ hình thức biểu diễn chúng. Ký hiệu chính xác để viết chúng. Phương pháp luận để suy luận về tính đúng đắn. Là cơ sở biểu diễn chứng minh hình thức như mọi nhánh toán học khác. 1/8/01 Cơ sở Logic: Tổng quan Logic mệnh đề (§): Các định nghĩa cơ sở. (§) Luật suy diễn và qui tắc tương đương. (§) Logic tân từ (§) Tân từ. Biểu diễn tân từ lượng tử. Suy diễn và tương đương. 1/8/01 Logic mệnh đề (§) Logic mệnh đề là logic về các khẳng định phức tạp được xây dựng từ các mệnh đề đơn giản sử dụng các kết nối Bool. Một số ứng dụng trong khoa học máy tính: Thiết kế các mạch điện tử số. Biểu diễn các điều kiện trong chương trình. Cơ chế tìm kiếm và truy vấn cơ sở dữ liệu. Topic #1 – Propositional Logic George Boole (1815-1864) Chrysippus of Soli (ca. 281 . – 205 .) 1/8/01 We normally attribute propositional logic to George Boole, who first formalized it. Actually the particular formal notation we . | University of Florida Dept. of Computer & Information Science & Engineering COT 3100 Applications of Discrete Structures Dr. Michael P. Frank Slides for a Course Based on the Text Discrete Mathematics & Its Applications (5th Edition) by Kenneth H. Rosen 1/8/01 A word about organization: Since different courses have different lengths of lecture periods, and different instructors go at different paces, rather than dividing the material up into fixed-length lectures, we will divide it up into “modules” which correspond to major topic areas and will generally take 1-3 lectures to cover. Within modules, we have smaller “topics”. Within topics are individual slides. Bài #1: Cơ sở Logic Rosen 5th ed., §§ ~81 slides, ~4 lectures 1/8/01 In Spring 2003 I spent 7 fifty-minute lecture periods on this material, but two half-lectures were taken up by team selection and a quiz, so it really only took 6 lectures. Module #1: Foundations of Logic (§§, ~3 lectures) Logic toán là .