| |
Jun 25, 2024
|
|
|
|
|
CMPS 341 - Foundations of Computer Science Credit Hours: 3
Lecture Contact Hours: 3 Lab Contact Hours: 0
Formal logic and its applications. Proof of correctness. Sets and combinatorics. Induction, recursion, and recurrence equations. Relations, functions, and graphs: shortest path and minimal spanning tree, planarity, Eulerian paths, Hamiltonian cycles. Algebraic structures, finite-state machines, turing machines, and computational notions.
Prerequisite(s): CMPS 261 and MATH 270 both with a grade of “C” or better
Add to Catalog (opens a new window)
|
|
