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