LUẬN LÝ TOÁN HỌC (Mathematical Logic) 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 * Chương 1[.]
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 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 Chương ntsơn Tài liệu tham khảo [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) [9] http://en.wikipedia.org/wiki/Mathematical_logic [10] http://plato.stanford.edu/entries/aristotle-logic/ [11]http://people.hofstra.edu/faculty/Stefan_Waner/ RealWorld/index.html Chương ntsơn Tài liệu tham khảo [12]http://www.zweigmedia.com/RealWorld/logic/ logicintro.html [13] The essence of logic John Kelly @Prentice Hall 1997 [14] Mike Feeley : www.ugrad.cs.ubc.ca/cs218 (file 218-1.pdf) [15] Alwen Tiu Introduction to Logic The Australian National University Summer Schools in Logic and Learning 26 January - February 2009, Canberra Chương ntsơn Tài liệu tham khảo [16] http://www.infidels.org/ : Logic & Fallacies Constructing a Logical Argument (1997) mathew [17] Introduction to logic by Michael Genesereth Stanford university (coursera) Chương ntsơn Hết slide Chương ntsơn ... [12]http://www.zweigmedia.com/RealWorld /logic/ logicintro.html [13] The essence of logic John Kelly @Prentice Hall 1997 [14] Mike Feeley : www.ugrad.cs.ubc.ca/cs218 (file 218-1.pdf) [15] Alwen Tiu Introduction to Logic The... 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... University Summer Schools in Logic and Learning 26 January - February 2009, Canberra Chương ntsơn Tài liệu tham khảo [16] http://www.infidels.org/ : Logic & Fallacies Constructing a Logical Argument (1997)