Recenzje książki «Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления», 1 opinia

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

Zaloguj się, aby ocenić książkę i dodać recenzję
Ograniczenie wiekowe:
0+
Data wydania na Litres:
12 listopada 2015
Data napisania:
2012
Objętość:
241 str.
ISBN:
978-5-4439-0013-1
Całkowity rozmiar:
1.7 МБ
Całkowita liczba stron:
241
Właściciel praw:
МЦНМО
Format pobierania:
Tekst, format audio dostępny
Średnia ocena 4,7 na podstawie 317 ocen
Audio
Średnia ocena 4,2 na podstawie 745 ocen
Tekst, format audio dostępny
Średnia ocena 4,8 na podstawie 18 ocen
Tekst, format audio dostępny
Średnia ocena 4,8 na podstawie 101 ocen
Tekst
Średnia ocena 4,9 na podstawie 31 ocen
Audio
Średnia ocena 4,4 na podstawie 7 ocen
Tekst, format audio dostępny
Średnia ocena 4,3 na podstawie 51 ocen