| LOG 201 | Logic | 3(3-0-0) |
| 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 todiscover and notation to write down proofs. |
| Course Offerings: fall sum1 sprg | WolfWare Info |
|
|
| LOG (MA) 335 | Symbolic Logic | 3(3-0-0) F |
| Preq: 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 G÷del Theorems and the mathematical study of logic. |
| Course Offerings: fall | WolfWare Info |
|
|
| LOG 435 | Advanced Logic & Metamathematics | 3(3-0-0) S |
| Preq: 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. can not receive credit for both LOG 435 and LOG 535 |
| Course Offerings: sprg | WolfWare Info |
|
|
| LOG 535 | Advanced Logic and Metamathematics | 3(3-0-0) S |
| Preq: 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 |
| Course Offerings: sprg | WolfWare Info |