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
Average rating 4,9 based on 33 ratings
Audio
Average rating 4,2 based on 865 ratings
Draft
Average rating 4,8 based on 195 ratings
Text, audio format available
Average rating 4,7 based on 7050 ratings
Text
Average rating 5 based on 28 ratings
Audio
Average rating 4,8 based on 5100 ratings