Курс математической логики и теории вычислимости учебное пособие

Bibliographic Details
Main Author:	Герасимов, Александр Сергеевич
Format:	eBook
Language:	Russian
Published:	Санкт-Петербург Лема 2011
Edition:	Изд. 3-е, исправ. и доп.
Subjects:	математическая логика теория вычислимости алгоритмов теория язык логики предикатов язык логики высказываний исчисление гильбертовского типа секвенциальные исчисления метод резолюций элементарная арифметика Цермело-Френкеля теория множеств Тьюринга машины Маркова алгоритмы нормальные лямбда-исчисление исчисление предикатов Геделя теоремы о неполноте Хоара исчисление
Online Access:	https://www.lib.tsu.ru/limit/2024/koha001143399/koha001143399.pdf

Similar Items