Mar 28, 2024  
2019-2020 Undergraduate and Graduate Catalog 
    
2019-2020 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)