LUN L TON HC (Mathematical Logic)

Nguyn Thanh Sn Khoa KHMT&CN H Bch Khoa TpHCM email : ntson@cse.hcmut.edu.vn http:\\www.cse.hcmut.edu.vn\~ntson

ntsn

Ti liu tham kho

[1] Encyclopia of AI. Vol 2. 1987 John Wiley & Sons. Inc [2] 4proplogichandout.pdf (MIT courses) [3] chng Propositional Logic trong quyn Logic in Computer Science : Modelling and Reasoning about Systems Michael Huth & Mark Ryan (reprinted 2006). [3] chng Predicates Logic trong quyn 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] chng Binary decision diagrams trong quyn Logic in Computer Science : Modelling and Reasoning about Systems Michael Huth & Mark Ryan (reprinted 2006).

Chng 1
ntsn

Ti liu tham kho

[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 [12] http://www.zweigmedia.com/RealWorld/logic/log icintro.html
[13] The essence of logic John Kelly @Prentice Hall 1997

Chng 1
ntsn

Ti liu tham kho

[14] Mike Feeley : www.ugrad.cs.ubc.ca/cs218 (file 218-1.pdf)

Chng 1
ntsn

Ht slide

Chng 1
ntsn