Najpopularniejsze pierwsze
Хорошая книга для начального знакомства с математической логикой. Всё основное, о чём стоит знать программистам есть. Не понял, правда, почему в теореме 45 смешиваются понятия корректности и непротиворечивости.
Zaloguj się, aby ocenić książkę i dodać recenzję
Niedostępne w sprzedaży
Gatunki i tagi
Ograniczenie wiekowe:
0+Data wydania na Litres:
12 listopada 2015Data napisania:
2012Objętość:
241 str. ISBN:
978-5-4439-0013-1Całkowity rozmiar:
1.7 МБCałkowita liczba stron:
241Właściciel praw:
МЦНМОFormat pobierania:
Recenzje książki «Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления», 1 opinia