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

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

Zaloguj się, aby ocenić książkę i dodać recenzję
Niedostępne w sprzedaży
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:
18+
Tekst
Средний рейтинг 4,8 на основе 84 оценок
Szkic, format audio dostępny
Средний рейтинг 4,7 на основе 31 оценок
Szkic
Средний рейтинг 4,5 на основе 15 оценок
Audio
Средний рейтинг 4,2 на основе 1013 оценок
Szkic
Средний рейтинг 4,4 на основе 46 оценок
Tekst, format audio dostępny
Средний рейтинг 4,1 на основе 7 оценок
Szkic
Средний рейтинг 4,7 на основе 75 оценок
Tekst, format audio dostępny
Средний рейтинг 4,7 на основе 986 оценок
Audio
Средний рейтинг 4,6 на основе 1058 оценок
Szkic
Средний рейтинг 4,8 на основе 45 оценок
Tekst PDF
Средний рейтинг 4 на основе 4 оценок