檢索結果
在您的搜尋 主題建議
在您的搜尋 主題建議
- интуиционистская логика
- арифметические функции 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
Элементы неклассических логик и моделей вычислений учебно-методическое пособие
出版 Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2015獲取全文
獲取全文
電子 圖書 -
6
Некоторые элементы неклассических логик и лямбда-исчисления учебно-методическое пособие
出版 Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017獲取全文
獲取全文
電子 圖書 -
7
Неклассические логики и лямбда-исчисление: некоторые элементы
出版 Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021獲取全文
獲取全文
電子 圖書