| LOG 201 | Logic | UNITS: 3 |
| Introduction to methods of deductive inference. Concepts of inconsistency and entailment. Truth Functional Statement Logic and Quantifier and Predicate Logic. Representation of logically significant form of statements and arguments. Procedures to discover and notation to write down proofs. |
| |
|
|
| LOG 335 | Symbolic Logic | UNITS: 3 |
| Prerequisite: LOG 201 or MA 225 |
| Introduction to modern symbolic logic; the concept of proof, mathematical induction, recursion and the relationship between formal and informal theories (examples: group theory, Peano arithmetic). The Goedel Theorems and the mathematical study of logic. |
| |
|
|
| LOG 435 | Advanced Logic & Metamathematics | UNITS: 3 - Offered in Spring Only |
| Prerequisite: LOG 335 |
| Advanced topics in logic and metamathematics: proof procedures, first-order theories, soundness and completeness theorems, recursive functions, the formalization of arithmetic, the Goedel Incompleteness Theorems. Emphasis on mathematical study of logic and mathematics. Students cannot receive credit for both LOG 435 and LOG 535 |
| |
|
|
| LOG 437 | Model Theoretic Semantics | UNITS: 3 - Offered in Spring Only |
| One of the following courses: MA/LOG 335, LOG 435, MA 403, MA 407, MA 408, MA 410, MA/CSC 416, MA 421, MA 425, MA 426, CSC 333, CSC 411, CSC 417 |
| This course is an introduction to the fundamental concepts and methods of model-theoretic semantics and its applications in logic, foundations of mathematics, philosophy, and computer science. Credit will not be given for both LOG 437 and LOG 537. |
| |
|
|
| LOG 535 | Advanced Logic and Metamathematics | UNITS: 3 - Offered in Spring Only |
| Prerequisite: Graduate standing (but the essential requirement is the mathematical sophistication requisite in a graduate mathematics course. Examples: MA 403, MA 408, MA 410, MA/CSC 416, MA 425, CSC 333, CSC 417). |
| No one may receive credit for both LOG 435 and LOG 535. Advanced topics in logic and metamathematics: proof procedures, first-order theories, soundness and completeness theorems, recursive functions, the formalization of arithmetic, the Goedel Incompleteness Theorems. Emphasis on mathematical study of logic and mathematics. Successful completion of mathematics or computer science courses that emphasize proofs, particularly at the 400 level as evidence of requisite |
| |
|
|
| LOG 537 | Model Theoretic Semantics | UNITS: 3 - Offered in Spring Only |
| Prerequisite: Graduate standing and one of the following courses: MA/LOG 335, LOG 435, one MA or CSC course at the 400-level or above. |
| This course is an introduction to the fundamental concepts and methods of model-theoretic semantics and its applications in logic, foundations of mathematics, philosophy, and computer science. No can receive credit for both LOG 437 and LOG 537. |
| |