WCOMS3261-1: Computer Science Theory for Fall 2020

Days and Time

Tuesdays and Thursdays 8:40 AM-9:55 AM

Location

RTBA BTBA

Allowed For:

  • Undergraduate

Prerequisites:

COMS W3137 and W3203.

Notes:

None

Instructor:

Chaintreau, Augustin

Description

Regular languages: deterministic and non-deterministic finite automata, regular expressions. Context-free languages: context-free grammars, push-down automata. Turing machines, the Chomsky hierarchy, and the Church-Turing thesis. Introduction to Complexity Theory and NP-Completeness.