CSCI 2243 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
- Level
- Undergraduate
- Offered
- Every Fall,Every Spring
Catalog details
- Prerequisites
- CSCI1101
Requirements fulfilled
- Computer Science B.A.: CSCI 2000-level-or-higher elective (Current University Catalog; students should confirm their catalog year)
- Mathematics B.S.: Natural science, computer science, or economics corequisites (Current University Catalog; students should confirm their catalog year)
- Computer Science B.A.: Required computer science core (Current University Catalog; students should confirm their catalog year)
- Computer Science B.S.: Required computer science core (Current University Catalog; students should confirm their catalog year)
- Computer Science: One elective numbered 2000 to be chosen from (Current University Catalog; students should confirm their catalog year)
Official evaluation summary
3.58 / 5
Data freshness
Instructors
Sections
- Section 01