Сначала популярные
Хорошая книга для начального знакомства с математической логикой. Всё основное, о чём стоит знать программистам есть. Не понял, правда, почему в теореме 45 смешиваются понятия корректности и непротиворечивости.
Войдите, чтобы оценить книгу и оставить отзыв
Нет в продаже
Жанры и теги
Возрастное ограничение:
0+Дата выхода на Литрес:
12 ноября 2015Дата написания:
2012Объем:
241 стр. ISBN:
978-5-4439-0013-1Общий размер:
1.7 МБОбщее кол-во страниц:
241Правообладатель:
МЦНМОФормат скачивания:
Отзывы на книгу «Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления», 1 отзыв