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 (1815­1864) • 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