Graduate Catalog 2023-2024

MATH 7410 Logic and Mathematical Language

Analysis and investigation of mathematical logic issues. It includes areas such as demonstration theory, logical language theory, computability theory, and logic in computer science. Practice and evaluation of logical programming systems and applications to computer science and artificial intelligence.

Credits

3