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

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

Zaloguj się, aby ocenić książkę i dodać recenzję
А. Х. Шень
i in.
Tekst PDF
1
recenzja
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:

Z tą książką czytają

Ревизор: возвращение в СССР 37Серж Винтеркей
Szkic, format audio dostępny
Średnia ocena 4,9 na podstawie 35 ocen
Ревизор: возвращение в СССР 37Серж Винтеркей
Szkic
Średnia ocena 4,6 na podstawie 20 ocen
Трансерфинг себяVadim Zeeland
Audio
Średnia ocena 4,2 na podstawie 865 ocen
СедьмойSiergiej Łukjanienko
Szkic
Średnia ocena 4,8 na podstawie 204 ocen
Трансерфинг реальности. Ступени I, II, III, IV, VVadim Zeeland
Audio
Średnia ocena 4,6 na podstawie 950 ocen
Дорога к себеОльга Назарова
Tekst
Średnia ocena 5 na podstawie 30 ocen
Отдам дракона в хорошие руки!Марина Владимировна Ефиминюк
Tekst
Średnia ocena 4,9 na podstawie 85 ocen
Рассвет ЖатвыSuzanne Collins
Tekst, format audio dostępny
Średnia ocena 4,7 na podstawie 645 ocen
Убийства в пляжных домиках. Детективное агентство «Благотворительный магазин»Питер Боланд
Audio
Średnia ocena 4,8 na podstawie 569 ocen
Легкий способ бросить куритьAllen Carr
Audio
Średnia ocena 4,8 na podstawie 5100 ocen

Inne książki autora

Лекции по дискретной математикеА. Х. Шень и др.
Tekst PDF
Średnia ocena 4 na podstawie 4 ocen