Výsledky vyhledávání
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
- ламбда-исчисление
- Математическая логика 1
- автореферентные высказывания 1
- аксиома выбора 1
- аксиоматизация 1
- аксиоматизация геометрии 1
- аксиоматика пеано 1
- аксиоматика цермело френкеля 1
- аксиоматические теории 1
- алгоритмика 1
- алгоритмически неразрешимые проблемы 1
- алгоритмы 1
- булевы алгебры 1
- булевы функции 1
- бурбаки 1
- вещественные числа 1
- выводимость 1
- выполнимые 1
- выразимость 1
- высказывания 1
- вычисление ламбда-выражений 1
- вычислимость 1
- геометрические построения 1
- геометрия 1
- диаграммы эйлера венна 1
- единственность 1
- задачи 1
- значение ламбда-исчисления 1
- индукция 1
- интерпретация формул 1
-
1
-
2
Введение в математическую логику
Vydáno Санкт-Петербург, Лань, 2022Získat plný text
Získat plný text
Elektronický zdroj Kniha