CSCI2243
Logic and Computation
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.
Course overview
- Department
- Computer Science
- School
- MCAS
- Credits
- 3
Requirements fulfilled
No source-backed degree requirement is attached to this course yet.
Official evaluation summary
3.58 / 5
Data freshness
Instructors
Sections
- Section 01