Index of ftp://ftp.cs.sjtu.edu.cn:990/acm-class/1 Math Logic & Set Theory/Earlier info/Notes for Logic Part

[DIR] Parent Directory

[TXT] 18714Logic.pdf  291.81Kb  September 9 2010
[TXT] Algorithms for SAT problems_survey.pdf  990.35Kb  September 9 2010
[TXT] an application of Compactness.pdf  47.79Kb  September 9 2010
[ ] Complemented Course(FO).ppt  43.50Kb  September 9 2010
[TXT] CSP & Logic Kolaitis 06.pdf  253.08Kb  September 9 2010
[TXT] CSP & Logic MathsCSP06.pdf  226.42Kb  September 9 2010
[ ] Ebbinghaus H.-D., Flum J., Thomas W. Mathematical logic [recode, Springer, 221p].djvu  1007.72Kb  September 9 2010
[TXT] Ex for Spec_ Lincoln's saying.pdf  159.00Kb  September 9 2010
[TXT] Finite Model Theory_ertu.pdf  15.01Mb  September 9 2010
[TXT] Game-theoretic Semantics of FO.pdf  565.98Kb  September 9 2010
[TXT] LFCS-20060227LecNotes.pdf  944.25Kb  September 9 2010
[TXT] LFCS-20060321.pdf  1.02Mb  September 9 2010
[TXT] Logic Ex.s with solutions.pdf  78.44Kb  September 9 2010
[TXT] logical foundations of CS_shen enshao_old version with appendix.pdf  1.37Mb  September 9 2010
[TXT] Malik_Quest for eff SAT solvers_cav_2002.pdf  226.99Kb  September 9 2010
[TXT] Mini Course on CSP.pdf  1.97Mb  September 9 2010
[MHT] SAT Game.mht  106.58Kb  September 9 2010
[TXT] SAT(PL).pdf  973.62Kb  September 9 2010