Risultati della ricerca
Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
- интуиционистская логика
- арифметические функции 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
Математическая логика и теория алгоритмов учебное пособие
Pubblicazione Москва, Академия, 2013Libro -
2
-
3
-
4
-
5
Элементы неклассических логик и моделей вычислений учебно-методическое пособие
Pubblicazione Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2015Testo
Testo
Elettronico Libro -
6
Некоторые элементы неклассических логик и лямбда-исчисления учебно-методическое пособие
Pubblicazione Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017Testo
Testo
Elettronico Libro -
7
Неклассические логики и лямбда-исчисление: некоторые элементы
Pubblicazione Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021Testo
Testo
Elettronico Libro