6.042[J] Mathematics for Computer Science

Class Info

The central results of modern logic: the completeness of predicate logic, recursive functions, the incompleteness of arithmetic, the unprovability of consistency, the indefinability of truth, Skolem-Löwenheim theorems, and nonstandard models.

This class has no prerequisites.

6.042[J] will not be offered this semester. It will be instructed by V. McGee.

Lecture occurs 1:00 PM to 2:30 PM on Mondays, Wednesdays and Fridays in 32-044.

This class counts for a total of 12 credits. This class counts as a HASS H. This is a graduate-level class.

You can find more information on MIT OpenCourseWare at the Recursion site or on the 6.042[J] Stellar site.

MIT 6.042[J] Mathematics for Computer Science Related Textbooks
MIT 6.042[J] Mathematics for Computer Science On The Web
lecture problem hanoi recursive guessing python newton crazy eights

© Copyright 2015