Beliebte zuerst
Хорошая книга для начального знакомства с математической логикой. Всё основное, о чём стоит знать программистам есть. Не понял, правда, почему в теореме 45 смешиваются понятия корректности и непротиворечивости.
Einloggen, um das Buch zu bewerten und eine Rezension zu hinterlassen
Nicht zum Verkauf
Genres und Tags
Altersbeschränkung:
0+Veröffentlichungsdatum auf Litres:
12 November 2015Schreibdatum:
2012Umfang:
241 S. ISBN:
978-5-4439-0013-1Gesamtgröße:
1.7 МБGesamtanzahl der Seiten:
241Rechteinhaber:
МЦНМОDownload-Format:
Rezensionen zum Buch «Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления», 1 Bewertung