Course page Home page Home page CoursesNew course

Models of computation: Mathematical Logic course | Zoonk

27. Models of computation

Presents Turing machines, register machines, recursive functions, and the lambda calculus as models of effective computation. Learners implement small computations and compare the models through the Church–Turing thesis.

Mathematical Logic

Create this chapter

This chapter is part of the course, but it hasn't been created yet. Create it to see all of its lessons.

Create chapterNBack to courseEsc