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:
Audio
Средний рейтинг 4,1 на основе 1074 оценок
Tekst
Средний рейтинг 4,9 на основе 1501 оценок
Audio
Средний рейтинг 4,7 на основе 372 оценок
Tekst, format audio dostępny
Средний рейтинг 4,2 на основе 128 оценок
Audio
Средний рейтинг 4 на основе 68 оценок
Tekst
Средний рейтинг 3,9 на основе 655 оценок
Tekst PDF
Средний рейтинг 4,6 на основе 32 оценок
Audio
Средний рейтинг 4,8 на основе 5287 оценок
Tekst, format audio dostępny
Средний рейтинг 4,7 на основе 7209 оценок
Audio
Средний рейтинг 4,5 на основе 158 оценок
Tekst PDF
Средний рейтинг 4 на основе 4 оценок