Esmalt populaarsed
Хорошая книга для начального знакомства с математической логикой. Всё основное, о чём стоит знать программистам есть. Не понял, правда, почему в теореме 45 смешиваются понятия корректности и непротиворечивости.
Logi sisse, et hinnata raamatut ja jätta arvustus
Pole müügil
Žanrid ja sildid
Vanusepiirang:
0+Ilmumiskuupäev Litres'is:
12 november 2015Kirjutamise kuupäev:
2012Objętość:
241 lk ISBN:
978-5-4439-0013-1Üldsuurus:
1.7 МБLehekülgede koguarv:
241Õiguste omanik:
МЦНМОAllalaadimise formaat:
Arvustused raamatule «Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления», 1 ülevaade