May 26, 2018  
2015-2016 Undergraduate and Graduate Academic Catalog 
    
2015-2016 Undergraduate and Graduate Academic Catalog [ARCHIVED CATALOG]

[Add to Catalog]

CMPS 341 - Foundations of Computer Science


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

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  with a minimum grade of "C".



[Add to Catalog]