Основной контент книги Лекции по математической логике и теории алгоритмов
Tekst PDF
Objętość 139 stron
2013 rok
Лекции по математической логике и теории алгоритмов
399 ₽
13,26 zł
O książce
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Zaloguj się, aby ocenić książkę i zostawić recenzję
Książka Юрия Белова, В. А. Соколова «Лекции по математической логике и теории алгоритмов» — pobierz w formacie pdf lub czytaj online. Zostaw komentarze i recenzje, głosuj na ulubione.
