Лекції з математичної логіки та теорії алгоритмів. Частина 2. Мови і обчислення 112491

Книга написана за матеріалами лекцій і семінарів, що проводилися авторами для студентів молодших курсів мехмату МГУ.

У ній розповідається про основні поняття математичної логіки (логіка висловлювань, мови першого порядку, выразимость, обчислення висловлювань, можна розв'язати теорії, теорема про повноту, початку теорії моделей). Виклад розрахований на учнів математичних шкіл, студентів-математиків та всіх, хто цікавиться математичною логікою.

Книга містить близько 200 завдань різної труднощі.