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 (104290 - Set Theory and 234129 - Int. to Set Theory and Automata For Cs) 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


Semestrial Information