Resultats de la cerca
Matèries dins de la cerca
Matèries dins de la cerca
- интуиционистская логика
- арифметические функции 3
- комбинаторная логика 3
- логические функции 3
- модальная логика 3
- модель крипке 3
- чистое исчисление 3
- Логика 2
- предикаты 2
- реализация функций 2
- Алгоритмы, теория 1
- Вычислительный интеллект 1
- Математическая логика 1
- Множеств теория (основания математики) 1
- Непрерывная логика 1
- автоматизация 1
- алгоритмы 1
- вывод 1
- высказывания 1
- вычисления 1
- генерирование 1
- интеллектуальные системы 1
- история 1
- исчисление 1
- классическая логика 1
- логика групп 1
- логические исследования 1
- математическая логика 1
- машины Тьюринга 1
- метод резолюций 1
-
1
-
2
-
3
-
4
-
5
Элементы неклассических логик и моделей вычислений учебно-методическое пособие
Publicat Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2015Obtenir text complet
Obtenir text complet
Electrònic Llibre -
6
Некоторые элементы неклассических логик и лямбда-исчисления учебно-методическое пособие
Publicat Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017Obtenir text complet
Obtenir text complet
Electrònic Llibre -
7
Неклассические логики и лямбда-исчисление: некоторые элементы
Publicat Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021Obtenir text complet
Obtenir text complet
Electrònic Llibre