INF 760 - Advanced Theoretical Foundations of Informatics
Credits 3
Advanced course to cover mathematical methods for information modeling, analysis, and manipulation. Requires various research article reading and discussions. Topics include proof techniques, first-order logic, computability theory, complexity theory, model theory, and statistics.