| 
            
              |  |  |  |  
              |  | CST 603   Computing Logic and Algorithms                       Credits: 3
 
 This course covers the fundamentals of computing logic and computational algorithms, including mathematical logic, set theory, pseudo-code, induction, recursion, relations, classifications, effective computability of functions and sets in terms of Turing machines, and other computational models.
 
 
 
 |  |  
              |  |  |  |  |