Dec 05, 2024  
2019-2020 Undergraduate and Graduate Academic Catalog 
    
2019-2020 Undergraduate and Graduate Academic Catalog [ARCHIVED CATALOG]

Add to Catalog (opens a new window)

CMPS 341 - Foundations of Computer Science


3 Credit Hour(s) 3 Lecture Hour(s) 0 Lab Hour(s)

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.

Prereq: CMPS 261  and MATH 270  both with a grade of “C” or better



Add to Catalog (opens a new window)