Suchergebnisse
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- интуиционистская логика
- арифметические функции 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
Математическая логика и теория алгоритмов учебное пособие
Veröffentlicht Москва, Академия, 2013Buch -
2
-
3
-
4
-
5
Элементы неклассических логик и моделей вычислений учебно-методическое пособие
Veröffentlicht Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2015Volltext
Volltext
Elektronisch Buch -
6
Некоторые элементы неклассических логик и лямбда-исчисления учебно-методическое пособие
Veröffentlicht Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017Volltext
Volltext
Elektronisch Buch -
7
Неклассические логики и лямбда-исчисление: некоторые элементы
Veröffentlicht Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021Volltext
Volltext
Elektronisch Buch