May 25, 2022  
2017-2018 Graduate Catalog 
    
2017-2018 Graduate Catalog ARCHIVED CATALOG: CONTENT MAY NOT BE CURRENT. USE THE DROP DOWN ABOVE TO ACCESS THE CURRENT CATALOG.

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.

Prerequisites
INF 700