G. Japaridze: TEACHING
Spring 2013
- CSC 8510 Theory of Computability [graduate]
- MAT 5930 Logic [undergraduate]
Previously taught
courses
- CSC 4170 Theory of
Computation [undergraduate]
- MAT 7670 Mathematical Logic [graduate]
- Logic and Computation [graduate]
- 可计算性逻辑
(Computability Logic) [graduate]
- CSC
4140/9010 Theory of Information [graduate]
- CSC 1300
Discrete Structures [undergraduate]
- CSC 8400 Computer
Organization [graduate]