Logic Notes

基于陈 sir 课件的一些 notes。

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
I.Syntax of FO.pdf		I.Syntax of FO.pdf
II.Semantics of FO (I).pdf		II.Semantics of FO (I).pdf
III.Semantics of FO (II).pdf		III.Semantics of FO (II).pdf
IV.Semantics of FO (III).pdf		IV.Semantics of FO (III).pdf
IX.Completeness (III).pdf		IX.Completeness (III).pdf
README.md		README.md
V.Sequent Calculus (I).pdf		V.Sequent Calculus (I).pdf
VI.Sequent Calculus (II).pdf		VI.Sequent Calculus (II).pdf
VII.Completeness (I).pdf		VII.Completeness (I).pdf
VIII.Completeness (II).pdf		VIII.Completeness (II).pdf
X.The Löwenheim-Skolem Theorem and the Compactness Theorem, Decidability and Enumerability (I).pdf		X.The Löwenheim-Skolem Theorem and the Compactness Theorem, Decidability and Enumerability (I).pdf
XI.Decidability and Enumerability.pdf		XI.Decidability and Enumerability.pdf
XII.Undecidability.pdf		XII.Undecidability.pdf
XIII.Go ̈del’s Incompleteness Theorems.pdf		XIII.Go ̈del’s Incompleteness Theorems.pdf

Provide feedback