Resultados de procura

Логическое программирование и моделирование систем учебное пособие por Новосельцев В. Б. Виталий Борисович

Модальная логика por Ивлев Ю. В. Юрий Васильевич

Использование модальной логики для проектирования оболочек экспертных систем por Ларионов Д. С.

Ligazón do recurso

Логика. Общий курс формальной логики учебник для вузов por Грядовой Д. И. Дмитрий Иосифович

Логическое программирование и моделирование систем учебное пособие электронный ресурс por Новосельцев В. Б. Виталий Борисович

Ligazón do recurso

Современная логика и методология науки сборник научных статей

Ошибки управления. Психологические причины. Метод автоматизированного анализа por Котик М. А. Михаил Аркадьевич

Философские основания научной теории

Философские проблемы логики. Семантические аспекты por Целищев В. В. Виталий Валентинович

Неклассические логики и их применение

Логика норм por Ивин А. А. Александр Архипович

Теория логического вывода

Логика и онтология

Математика метаматематики пер. с англ. por Расева Е. Елена

Значение и необходимость. Исследование по семантике и модальной логике пер. с англ. por Карнап Р. Рудольф

Элементы неклассических логик и моделей вычислений учебно-методическое пособие por Малышев Д. С.

Ligazón do recurso
Ligazón do recurso

Некоторые элементы неклассических логик и лямбда-исчисления учебно-методическое пособие por Малышев Д. С.

Ligazón do recurso
Ligazón do recurso

Неклассические логики и лямбда-исчисление: некоторые элементы por Грибанов Д. В.

Ligazón do recurso
Ligazón do recurso