| 
	
 | 
		  | 
		
			 
			Nov 04, 2025			
		 | 
		  | 
		
		
	     
          
            
              
                
                  
                    
                      
                      						
						2021-2022 Catalog [ARCHIVED CATALOG]   
					                         | 
                     
                   
                  CS 380 - Theory of Computation  A study of the formal theories underlying computer science. Topics include Turing machines, automata theory, recursive functions, computability, and formal languages.  Prerequisites: CS 270  or consent, MATH 250 .   Fall (Group II)  
				  
 
                      | 
               
             
             | 
			
		  	
  
		 |