Jul 06, 2020  
Rensselaer Catalog 2019-2020 
    
Rensselaer Catalog 2019-2020
Add to Portfolio (opens a new window)

CSCI 4420 - Computability and Logic


This course covers basic concepts and results in mathematical logic and computability theory, including decision procedures, automated theorem proving techniques for truth-functional and first-order logic, axiomatizations of set theory and arithmetic, Turing Machines, Abacus Machines, recursive functions, the Church-Turing Thesis, the halting problem, undecidability of first-order logic, undecidability of arithmetic, and Godel’s incompleteness results.

Prerequisites/Corequisites: Prerequisites: PHIL 2140 or CSCI 2200.

When Offered: Spring term odd-numbered years.



Cross Listed: Cross listed as MATH 4030 and PHIL 4420. Students cannot obtain credit for this course and MATH 4030 or PHIL 4420.

Credit Hours: 4



Add to Portfolio (opens a new window)