Feb 26, 2020  
Rensselaer Catalog 2008-2009 
Rensselaer Catalog 2008-2009 [Archived Catalog]

Add to Portfolio

PHIL 4420 - Computability and Logic

A team-based, project-oriented, hands-on introduction to the great concepts and discoveries in logic and computability, including Turing Machines, first-order logic, the limitations of computing machines, Godel’s incompleteness results, and so forth. A hands-on laboratory component is included.

Prerequisites/Corequisites: Prerequisite: PHIL 2140.

When Offered: Spring term annually .

Credit Hours: 4

Add to Portfolio