Nov 29, 2024  
2023-2024 Undergraduate and Graduate Catalog 
    
2023-2024 Undergraduate and Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CS 5384 - Logic for Computer Scientists

3 Semester Credit Hours
An introduction to mathematical logic. The course includes proofs of several basic theorems and discusses the application of logic to different areas of computer science.



Add to Portfolio (opens a new window)