Результаты поиска

Предлагаемые темы внутри своего поиска.
  • Отображение 1 - 18 результаты of 18
Уточнить результаты
  1. 1
    Логическое программирование и моделирование систем учебное пособие

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

    Опубликовано Томск, Изд-во ТПУ, 2008
    Книга
  2. 2
    Модальная логика

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

    Опубликовано Москва, Изд-во МГУ, 1991
    Книга
  3. 3
    Использование модальной логики для проектирования оболочек экспертных систем

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

    Опубликовано 2005
    Полный текст
    Электронный ресурс Статья
  4. 4
    Логика. Общий курс формальной логики учебник для вузов

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

    Опубликовано Москва, ЮНИТИ, 2010
    Книга
  5. 5
    Логическое программирование и моделирование систем учебное пособие электронный ресурс

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

    Опубликовано Томск, Изд-во ТПУ, 2008
    Полный текст
    Электронный ресурс Книга
  6. 6
    Современная логика и методология науки сборник научных статей

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

    Опубликовано Москва, Изд-во МГУ, 1987
    Книга
  7. 7
    Ошибки управления. Психологические причины. Метод автоматизированного анализа

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

    Опубликовано Таллин, Валгус, 1985
    Книга
  8. 8
    Философские основания научной теории

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

    Опубликовано Новосибирск, Наука, 1985
    Книга
  9. 9
    Философские проблемы логики. Семантические аспекты

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

    Опубликовано Москва, Высшая школа, 1984
    Книга
  10. 10
    Неклассические логики и их применение

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

    Опубликовано 1982
    Книга
  11. 11
    Логика норм

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

    Опубликовано Москва, Изд-во Московского ун-та, 1973
    Книга
  12. 12
    Теория логического вывода

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

    Опубликовано Москва, Наука, 1973
    Книга
  13. 13
    Логика и онтология

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

    Опубликовано Москва, Наука, 1978
    Книга
  14. 14
    Математика метаматематики пер. с англ.

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

    Опубликовано Москва, Наука, 1972
    Книга
  15. 15
    Значение и необходимость. Исследование по семантике и модальной логике пер. с англ.

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

    Опубликовано Москва, Изд-во иностранной литературы, 1959
    Книга
  16. 16
    Элементы неклассических логик и моделей вычислений учебно-методическое пособие

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

    Опубликовано Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2015
    Полный текст
    Полный текст
    Электронный ресурс Книга
  17. 17
    Некоторые элементы неклассических логик и лямбда-исчисления учебно-методическое пособие

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

    Опубликовано Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017
    Полный текст
    Полный текст
    Электронный ресурс Книга
  18. 18
    Неклассические логики и лямбда-исчисление: некоторые элементы

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

    Опубликовано Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021
    Полный текст
    Полный текст
    Электронный ресурс Книга

Инструменты поиска: