Math 205. Logic and Computational Theory I

Ana sayfa / Home
Biz kimiz? / About Us
Aile bireyleri / People

Matematik Programı / Pure Math Curriculum
Finans Matematiği Programı / Financial Math Curriculum
Tüm dersler / All Courses

Öğrenci Semineri / Students' Seminar
Matematik Konuşmaları / Math Colloquium

Takvim / Calendar 2003-2004
Haberler / What's New
Bağıntılar / Links

This course aims to provide computer science students with the grounding in mathematical logic necessary to grasp some of the major theorems with implications in Computer Science. Propositional Logic. First-order logic, theory and model. Quantification Theory. Truth. Theorems and proofs. Arithmetic. Gödels Incompleteness Theorem.

Instructors:
Assistants:
Requires consent of instructor for non-departmental students.
Core for CS.