LUẬN LÝ TOÁN HỌC - CHƯƠNG 1 docx

LUẬN LÝ TOÁN HỌC (Mathematical Logic) Nguyễn Thanh Sơn Khoa KHMT&CN ĐH Bách Khoa TpHCM email : ntson@cse.hcmut.edu.vn http:\\www.cse.hcmut.edu.vn\~ntson ntsơn NỘI DUNG Chương Tổng quan Chương Luận lý mệnh đề (propositional logic) Chương Luận lý vị từ (predicates logic) Chương ntsơn Tài liệu tham khảo [1] Encyclopia of AI Vol 1987 John Wiley & Sons Inc [2] 4proplogichandout.pdf (MIT courses) [3] chương Propositional Logic Logic in Computer Science : Modelling and Reasoning about Systems Michael Huth & Mark Ryan (reprinted 2006) [3’] chương Predicates Logic Logic in Computer Science : Modelling and Reasoning about Systems Michael Huth & Mark Ryan (reprinted 2006) [4] DeductionI.pdf [5] 7ruleshandout.pdf (MIT courses) [6] chapter09.pdf [7] Logic and proof (notes.pdf, slides.pdf) [8] chương Binary decision diagrams Logic in Computer Science : Modelling and Reasoning about Systems Michael Huth & Mark Ryan (reprinted 2006) Chương ntsơn Tài liệu tham khảo [9] http://en.wikipedia.org/wiki/Mathematical_logic [10] http://plato.stanford.edu/entries/aristotle-logic/ Chương ntsơn Chương Tổng quan ntsơn Bức tranh logic Thuật ngữ logic : Luận lý học (tiếng Việt) Logos (tiếng Hy lạp) Hướng tiếp cận : Logic ngành triết học (truyền thống) Logic ngành toán học (từ kỷ 19) Chương ntsơn Bức tranh logic Luận lý toán học (mathematical logic) ngành toán học liên hệ tới hệ thống hình thức (formal systems), dính dáng tới cách mã hóa đối tượng tốn học : tập hợp (set), số (number), chứng minh (proof), tính tốn (computation) Luận lý toán học gồm ngành : model theory, proof theory, set theory recursion theory Chương ntsơn Bức tranh logic Tên trước mathematical logic symbolic logic metamathematics Thuật ngữ symbolic logic dùng để đối kháng với philosophical logic Mathematical logic logic mơ hình nghiên cứu cách toán học Mathematical logic tên Giuseppe Peano đặt Chương ntsơn Bức tranh logic Về mathematical logic logic Aristotle Từ quan điểm ký hiệu mathematical logic ngành đại số trừu tượng (abstract algebra) Chương ntsơn Bức tranh logic[Factasia] Tổng quan : Logic sở hợp lý tảng cho toán học, khoa học kỹ thuật, đặc biệt cho công nghệ thông tin Chương ntsơn ... Hướng tiếp cận : Logic ngành triết học (truyền thống) Logic ngành toán học (từ kỷ 19 ) Chương ntsơn Bức tranh logic Luận lý toán học (mathematical logic) ngành toán học liên hệ tới hệ thống hình thức...NỘI DUNG Chương Tổng quan Chương Luận lý mệnh đề (propositional logic) Chương Luận lý vị từ (predicates logic) Chương ntsơn Tài liệu tham khảo [1] Encyclopia of AI Vol 19 87 John Wiley... • Mơ hình hóa lý luận thực tế – Hệ thống chứng minh (proof) Chương ntsơn Phân loại luận lý tốn học [1] • Inductive logic Logic có q trình lý luận từ trường hợp cá biệt suy kết luận tổng quát