Logic (LOG)

LOG - Logic Courses

LOG 201 Logic 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 forms of statements and arguments. Construction of proofs using methods of natural deduction.

LOG 335 Symbolic Logic 3.
Prerequisite: LOG 201 or MA 225 or CSC 226.

Intermediate level introduction to modern symbolic logic focusing on standard first-order logic; topics include proofs, interpretations, applications and basic metalogical results.

LOG 435 Advanced Logic & Metamathematics 3.
Prerequisite: LOG 335. Credit is not allowed 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. Students cannot receive credit for both LOG 435 and LOG 535.

LOG 437 Model Theoretic Semantics 3.
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. Credit is not allowed for both LOG 437 and LOG 537..

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 498 Special Topics in Logic 1-6.
Prerequisite: One of the following: (MA/LOG 335, LOG 435, LOG 437, MA 403, MA 407, MA 408, MA 410, MA/CSC 416, MA 421, MA 425, MA 426, CSC 333, CSC 411, or CSC 417).

Detailed investigation of selected topics in logic. Topics determined in consultation with head of the department. Course may be used for individualized study. Students cannot receive credit for both LOG 498 and LOG 598 unless the topic is different.

LOG 535 Advanced Logic & Metamathematics 3.
Prerequisite: LOG 335. Credit is not allowed 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. Students cannot receive credit for both LOG 435 and LOG 535.

LOG 537 Model Theoretic Semantics 3.
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. Credit is not allowed for both LOG 537 and LOG 437..

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 598 Special Topics in Logic 1-6.

Detailed investigation of selected topics in logic. Topics determined in consultation with head of the department. Course may be used for individualized study. Students cannot receive credit for both LOG 498 and LOG 598 unless the topic is different.