|  |
 |
 <-- Back to List
Computability, Logic & Undecidability
PHIL G4136
Credits:3 pts.
Basics of computability, recursion theory and undecidability results, combined with elements of mathematical logic, and paying attention to historical and philosophical aspects.
Course Sections
| |
|
|
