Sep 24, 2018  
2016-2017 Undergraduate and Graduate Catalog 
    
2016-2017 Undergraduate and Graduate Catalog [ARCHIVED CATALOG]

[Add to Portfolio]

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]