Rezensionen zum Buch «Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления», 1 Bewertung

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

Einloggen, um das Buch zu bewerten und eine Bewertung zu hinterlassen

Genres und Tags

Altersbeschränkung:
0+
Veröffentlichungsdatum auf Litres:
12 November 2015
Schreibdatum:
2012
Umfang:
241 S.
ISBN:
978-5-4439-0013-1
Gesamtgröße:
1.7 МБ
Gesamtanzahl der Seiten:
241
Rechteinhaber:
МЦНМО
Download-Format:
Entwurf, audioformat verfügbar
Средний рейтинг 4,5 на основе 48 оценок
18+
Text
Средний рейтинг 4,7 на основе 132 оценок
Entwurf
Средний рейтинг 4,6 на основе 21 оценок
Audio
Средний рейтинг 4,1 на основе 1017 оценок
Text, audioformat verfügbar
Средний рейтинг 4,7 на основе 997 оценок
Text, audioformat verfügbar
Средний рейтинг 4,4 на основе 18 оценок
Entwurf
Средний рейтинг 4,3 на основе 51 оценок
Audio
Средний рейтинг 4,8 на основе 5215 оценок
Audio
Средний рейтинг 4,6 на основе 1058 оценок
Entwurf
Средний рейтинг 4,9 на основе 211 оценок
Text PDF
Средний рейтинг 4 на основе 4 оценок