Logic in Computer Science

Welcome to

CMPS 217 - Logic in Computer Science - Spring 2013

  • Instructor: Phokion G. Kolaitis
  • Time: Tuesday & Thursday 10:00 -11:45 am
  • Place: Crown College Classroom 202
  • Office Hours:
    •  Time: Tuesday 3:30-4:30 pm, Thursday  4:30-5:30 pm
    •  Place:  E2 345A
  • Overview:  Logic plays a fundamental role in many core areas of computer science, including computer architecture (circuit design), programming languages (semantics, language design, logic programming), theory of computation (automata and formal languages, computability, computational complexity), artificial intelligence (automated theorem proving, knowledge representation), software engineering (formal methods for specification and verification), and relational database systems (SQL is a query language based on first-order logic).

    The main goal of this course it to present the basic concepts, methods, and results of propositional and first-order logic, and to prepare the students for using logic as a tool in computer science. The course will be taught from a computer science perspective with particular emphasis on  algorithms and computational complexity.
  • Syllabus: For a more detailed syllabus, evaluation criteria, and examination schedule, please click on the tab "Syllabus" to the left.

Instructors and Assistants