Xem mẫu
Chương 1: Cơ Sở Logic
Author: Nguyễn Viết Hưng Editor: Trần Sơn Hải
11/28/15 1 of 78
Tài liệu tham khảo
• Toán rời rạc, Gs.Ts Nguyễn Hữu Anh • Michael P.Frank ‘s slides
• Nguyễn Viết Hưng ‘s slides
• Toán rời rạc, Ts. Trần Ngọc Hội
11/28/15 2 of 78
CƠ SỞ LOGIC
Logic toán học là một công cụ để làm việc với những phát biểu tổng hợp phức tạp. Nó bao gồm :
• Một ngôn ngữ để thể hiện.
• Một ký hiệu ngắn gọn để viết.
• Một phương pháp luận giải thích khách quan vì sao chúng đúng hay sai.
• Nó là cơ sở để thể hiện có những chứng minh hình thức trong tất cả các ngành của toán học.
11/28/15 3 of 78
Propositional Logic
Propositional Logic is the logic of compound statements built from simpler statements using so-called Boolean connectives.
Some applications in computer science:
• Design of digital electronic circuits.
George Boole (18151864)
• Expressing conditions in programs.
• Queries to databases & search engines.
11/28/15
Chrysippus of Soli (ca. 281 B.C. – 205 B.C.)
Mệnh đề và chân trị • Khái niệm về mệnh đề:
– Mệnh đề toán học là khái niệm cơ bản của toán học không được định nghĩa mà chỉ được mô tả.
• Mệnh đề toán học(gọi tắt là mệnh đề) là một khẳng định có giá trị chân lý xác định(đúng hoặc sai, nhưng không thể vừa đúng vừa sai).
11/28/15 5 of 78
...
- tailieumienphi.vn
nguon tai.lieu . vn