Reviews of the book «Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления», 1 review

Хорошая книга для начального знакомства с математической логикой. Всё основное, о чём стоит знать программистам есть. Не понял, правда, почему в теореме 45 смешиваются понятия корректности и непротиворечивости.

Log in, to rate the book and leave a review
Age restriction:
0+
Release date on Litres:
12 November 2015
Writing date:
2012
Volume:
241 p.
ISBN:
978-5-4439-0013-1
Total size:
1.7 МБ
Total number of pages:
241
Copyright holder:
МЦНМО
Download format:
Draft, audio format available
Средний рейтинг 4,6 на основе 44 оценок
18+
Text
Средний рейтинг 4,7 на основе 116 оценок
Audio
Средний рейтинг 4,1 на основе 1015 оценок
Draft
Средний рейтинг 4,6 на основе 18 оценок
Text, audio format available
Средний рейтинг 4,7 на основе 992 оценок
Text, audio format available
Средний рейтинг 4,4 на основе 18 оценок
Draft
Средний рейтинг 4,3 на основе 48 оценок
Audio
Средний рейтинг 4,6 на основе 1058 оценок
Audio
Средний рейтинг 4,8 на основе 5215 оценок
Draft
Средний рейтинг 4,9 на основе 211 оценок
Text PDF
Средний рейтинг 4 на основе 4 оценок