|
|
Currently teaching
CS 257: Logic and Artificial Intelligence
(Winter)
PHIL 150: Mathematical Logic
(Autumn)
PHIL 151: Metalogic
(Winter)
PHIL 250: Mathematical Logic
(Autumn)
PHIL 251: Metalogic
(Winter)
PHIL 356C: Logic and Artificial Intelligence
(Winter)
PHIL 357: Research Seminar on Logic and Cognition
(Autumn)
CS 499: Advanced Reading and Research
(Autumn)
CS 499P: Advanced Reading and Research
(Autumn)
PHIL 196: Tutorial, Senior Year
(Winter, Spring)
PHIL 197: Individual Work, Undergraduate
(Winter, Spring)
PHIL 197C: Curricular Practical Training
(Summer)
PHIL 240: Individual Work for Graduate Students
(Autumn, Winter, Spring)
PHIL 297C: Curricular Practical Training
(Summer)
PHIL 450: Thesis
(Autumn, Winter, Spring)
SYMSYS 190: Senior Honors Tutorial
(Autumn)
SYMSYS 196: Independent Study
(Autumn)
SYMSYS 290: Master's Degree Project
(Autumn, Winter, Spring)
SYMSYS 296: Independent Study
(Autumn)
SYMSYS 297: Teaching in Symbolic Systems
(Autumn)
|
Manage my profile