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.