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

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

Log in, to rate the book and leave a review
А. Х. Шень
et al.
Text PDF
1
review
Not for sale
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:

People read this with this book

Рассвет ЖатвыSuzanne Collins
Text, audio format available
Average rating 4,7 based on 306 ratings
Трансерфинг себяVadim Zeland
Audio
Average rating 4,2 based on 744 ratings
Демон скучающийVadim Panov
Text, audio format available
Average rating 4,8 based on 18 ratings
Трансерфинг реальности. Ступени I, II, III, IV, VVadim Zeland
Audio
Average rating 4,6 based on 883 ratings
Убийства в пляжных домиках. Детективное агентство «Благотворительный магазин»Peter Boland
Audio
Average rating 4,7 based on 104 ratings
Морана и Тень. ПлетущаяЛия Арден
Text, audio format available
Average rating 4,8 based on 98 ratings
Граф Рысев – 9Алекс Ключевской (Лёха)
Text
Average rating 5 based on 25 ratings
Тайна мертвого ректора. Книга 2Виктор Дашкевич
Audio
Average rating 4,7 based on 1759 ratings
Демон скучающийVadim Panov
Audio
Average rating 4,5 based on 4 ratings
Дитя прибояЕрофей Трофимов
Text, audio format available
Average rating 4,3 based on 50 ratings

Other books by the author

Лекции по дискретной математикеА. Х. Шень и др.
Text PDF
Average rating 4 based on 4 ratings