Nov 21, 2024  
2024-2025 Undergraduate and Graduate Catalog 
    
2024-2025 Undergraduate and Graduate 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)