Student's Portal

Propositional Calculus and First-order Logic# Definitions, Semantics, Proof Systems, Soundness and Completeness Theorems, Compactness Theorems and Their Use.

Faculty: Computer Science
|Undergraduate Studies

Pre-required courses

(104002 - Basic Concepts in Mathematics and 104293 - Set Theory) or 104290 - Set Theory or 234129 - Int. to Set Theory and Automata For Cs

Course with no extra credit

44114 - Discrete Mathematics Ee 94345 - Discrete Mathematics (for I.e) 94346 - Discrete Mathematics 106156 - Mathematical Logic 234293 - Logic and Set Theory For Cs

• A mathematical introduction to logic - Enderton, Herbert B.
• A mathematical introduction to logic - Enderton, Herbert B.
• A mathematical introduction to logic [electronic resource] - Enderton, Herbert B.
• Introduction to mathematical logic - Mendelson, Elliott,
• Logic of mathematics : a modern course of classical logic - Adamowicz, Zofia
• Logic of mathematics : a modern course of classical logic - Adamowicz, Zofia,
• Mathematical logic - Ebbinghaus, Heinz-Dieter
• Mathematical logic - Shoenfield, Joseph R.
• Mathematical Logic [electronic resource] - Ebbinghaus, H.-D.
• Naive set theory - Halmos, Paul R.
• Naive Set Theory [electronic resource] - Halmos, P. R.
• Naive set theory. - Halmos, Paul R.
• Notes on set theory - Moschovakis, Yiannis N.
• Notes on Set Theory [electronic resource] - Moschovakis, Yiannis.
• Set theory : an introduction - Vaught, Robert L.