Torthaí cuardaigh
Topaicí molta laistigh de do chuardach.
Topaicí molta laistigh de do chuardach.
- модальная логика
- семантика 4
- арифметические функции 3
- интуиционистская логика 3
- комбинаторная логика 3
- логика 3
- логические функции 3
- математическая логика 3
- модель крипке 3
- чистое исчисление 3
- Visual Prolog 2
- логические системы 2
- логическое программирование 2
- методология 2
- программы 2
- реализация функций 2
- структурные имплицитные модели 2
- труды учёных ТПУ 2
- учебные пособия 2
- электронный ресурс 2
- язык 2
- Вывод Логика 1
- Кибернетика 1
- Логика 1
- Логика Методология 1
- Логика формальная 1
- Логическая семантика 1
- Математическая кибернетика 1
- Наука Логико-гносеологический анализ 1
- Научная теория Философия 1
-
1
Логическое программирование и моделирование систем учебное пособие
Foilsithe / Cruthaithe Томск, Изд-во ТПУ, 2008LEABHAR -
2
-
3
Использование модальной логики для проектирования оболочек экспертных систем
Foilsithe / Cruthaithe 2005Faigh an téacs iomlán
Leictreonach Caibidil leabhair -
4
Логика. Общий курс формальной логики учебник для вузов
Foilsithe / Cruthaithe Москва, ЮНИТИ, 2010LEABHAR -
5
Логическое программирование и моделирование систем учебное пособие электронный ресурс
Foilsithe / Cruthaithe Томск, Изд-во ТПУ, 2008Faigh an téacs iomlán
Leictreonach LEABHAR -
6
Современная логика и методология науки сборник научных статей
Foilsithe / Cruthaithe Москва, Изд-во МГУ, 1987LEABHAR -
7
Ошибки управления. Психологические причины. Метод автоматизированного анализа
Foilsithe / Cruthaithe Таллин, Валгус, 1985LEABHAR -
8
-
9
Философские проблемы логики. Семантические аспекты
Foilsithe / Cruthaithe Москва, Высшая школа, 1984LEABHAR -
10
-
11
-
12
-
13
-
14
-
15
Значение и необходимость. Исследование по семантике и модальной логике пер. с англ.
Foilsithe / Cruthaithe Москва, Изд-во иностранной литературы, 1959LEABHAR -
16
Элементы неклассических логик и моделей вычислений учебно-методическое пособие
Foilsithe / Cruthaithe Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2015Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach LEABHAR -
17
Некоторые элементы неклассических логик и лямбда-исчисления учебно-методическое пособие
Foilsithe / Cruthaithe Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach LEABHAR -
18
Неклассические логики и лямбда-исчисление: некоторые элементы
Foilsithe / Cruthaithe Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach LEABHAR