Oct 02, 2022  
2020-2021 Undergraduate and Graduate Catalog 
    
2020-2021 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)