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 325 ratings
Трансерфинг себяVadim Zeland
Audio
Average rating 4,2 based on 745 ratings
Демон скучающийVadim Panov
Text, audio format available
Average rating 4,8 based on 20 ratings
Убийства в пляжных домиках. Детективное агентство «Благотворительный магазин»Peter Boland
Audio
Average rating 4,7 based on 111 ratings
Морана и Тень. ПлетущаяЛия Арден
Text, audio format available
Average rating 4,8 based on 110 ratings
Трансерфинг реальности. Ступени I, II, III, IV, VVadim Zeland
Audio
Average rating 4,6 based on 887 ratings
Граф Рысев – 9Алекс Ключевской (Лёха)
Text
Average rating 4,9 based on 42 ratings
Тайна мертвого ректора. Книга 2Виктор Дашкевич
Audio
Average rating 4,7 based on 1767 ratings
Демон скучающийVadim Panov
Audio
Average rating 4,5 based on 8 ratings
Дитя прибояЕрофей Трофимов
Text, audio format available
Average rating 4,3 based on 51 ratings

Other books by the author

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