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:
Audio
Average rating 4,2 based on 866 ratings
Draft, audio format available
Average rating 4,9 based on 42 ratings
Draft
Average rating 4,8 based on 223 ratings
Audio
Average rating 4,8 based on 5103 ratings
Text, audio format available
Average rating 4,7 based on 7052 ratings
Text, audio format available
Average rating 4,7 based on 652 ratings