Skip to main content

CSCI 2243 Logic and Computation (Fall: 3 )

Course Description

A course in the mathematical foundations of Computer Science, illustrated throughout with applications such as sets and functions, propositional and predicate logic, induction and recursion, basic number theory and mathematical models of computation such as formal languages, finite state machines, and Turing machines.

Instructor(s): Howard Straubing

Prerequisites: CSCI1101

Cross listed with:


Last Updated: 16-Feb-17