| |
May 08, 2024
|
|
|
|
|
Catalog 2019-2020 [ARCHIVED CATALOG]
|
MATH 370 - Logic and Computation
An advanced study of logic and discrete structures that have application in computer science. Includes logic, propositional and predicate calculus, proof structures, algorithms, and complexity. Emphasizes applications to core areas of computer science, such as computer architecture, programming languages, the theory of computation, artificial intelligence, software engineering, and relational databases.
Prerequisite(s)/Corequisite(s): (Prereq: MATH 151 or MATH 170 with a C- or better)
Typically Offered: Periodically offered
Units: 4
|
|
