G. Japaridze: TEACHING

Spring 2024

• CSC 8510 Theory of Computability [graduate]

Previously taught courses

• CSC 4170 Theory of Computation [undergraduate]
• CSC 8510 Theory of Computability [graduate]
• Advances in Mathematical Logic: Computability logic [graduate]
• CSC5930.002/CSC9010.007  Logic [combined undergraduate+graduate]
• MAT 5930 Logic [undergraduate] 
• CSC 4170 Theory of Computation [undergraduate]
• MAT 7670 Mathematical Logic  [graduate]
• Logic and Computation [graduate]
• Computability and Complexity [graduate]
• 可计算性逻辑 (Computability Logic)  [graduate]
• CSC 4140/9010 Theory of Information  [combined undergraduate+graduate]
• CSC 1300 Discrete Structures  [undergraduate]
• CSC 8400 Computer Organization  [graduate]