Thuật ngữl ogic: Luận lý học (tiếng Việt) Logos (tiếng Hy lạp) Hướng tiếp cận: Logic làmột ngành của triết học (truyền thống). Logic làmột ngành của toán học (từthếkỷ19). | LUẬN LÝ TOÁN HỌC Mathematical Logic Nguyễn Thanh Sơn Khoa KHMT CN ĐH Bách Khoa TpHCM email ntson@ http ntson NỘI DUNG 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 Tài liệu tham khảo 1 Encyclopia of AI. Vol 2. 1987 John Wiley Sons. Inc 2 MIT courses 3 chương Propositional Logic trong quyển Logic in Computer Science Modelling and Reasoning about Systems Michael Huth Mark Ryan reprinted 2006 . 3 chương Predicates Logic trong quyển Logic in Computer Science Modelling and Reasoning about Systems Michael Huth Mark Ryan reprinted 2006 . 4 5 MIT courses g 7 Logic and proof 8 chương Binary decision diagrams trong quyển Logic in Computer Science Modelling and Reasoning about Systems Michael Huth Mark Ryan reprinted 2006 . Chương
