Модальная логика

Модальная логика

מידע ביבליוגרפי
מחבר ראשי:	Ивлев Ю. В. Юрий Васильевич
שפה:	רוסית
יצא לאור:	Москва, Изд-во МГУ, 1991
נושאים:	модальная логика семантика
פורמט:	ספר
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=158674

פריטים דומים

Логика изменения и модальная логика
מאת: Солодухин О. А. Олег Анатольевич
יצא לאור: (Ростов-на-Дону, Изд-во Ростовского ун-та, 1989)

Модальная логика: пер. с англ.
מאת: Фейс Р. Роберт
יצא לאור: (Москва, Наука, 1974)

Логика и онтология
יצא לאור: (Москва, Наука, 1978)

Модальная логика оценок и норм с точки зрения содержательной этики и права
מאת: Лобовиков В. О. Владимир Олегович
יצא לאור: (Красноярск, Изд-во Красноярского ун-та, 1984)

Содержательная семантика модальной логики
מאת: Ивлев Ю. В. Юрий Васильевич
יצא לאור: (Москва, Изд-во МГУ, 1985)

"Возможные миры" в философии и логике
מאת: Фатиев Н. И. Никита Игоревич
יצא לאור: (Иркутск, Изд-во Иркутского ун-та, 1993)

Семантика модальных и интенсиональных логик: пер. с англ.
יצא לאור: (Москва, Прогресс, 1981)

Значение и необходимость. Исследование по семантике и модальной логике: пер. с англ.
מאת: Карнап Р. Рудольф
יצא לאור: (Москва, Изд-во иностранной литературы, 1959)

Философские проблемы логики. Семантические аспекты
מאת: Целищев В. В. Виталий Валентинович
יצא לאור: (Москва, Высшая школа, 1984)

Логика норм
מאת: Ивин А. А. Александр Архипович
יצא לאור: (Москва, Изд-во Московского ун-та, 1973)

Философские основания научной теории
יצא לאור: (Новосибирск, Наука, 1985)

Логика: учебное пособие для вузов
מאת: Ивин А. А. Александр Архипович
יצא לאור: (Москва, Высшая школа, 2004)

Предметная область в логической семантике: монография
מאת: Бессонов А. В. Александр Владимирович
יצא לאור: (Новосибирск, Наука, 1985)

Современная логика и методология науки: сборник научных статей
יצא לאור: (Москва, Изд-во МГУ, 1987)

Неклассические логики и лямбда-исчисление: некоторые элементы
מאת: Грибанов Д. В.
יצא לאור: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021)

Некоторые элементы неклассических логик и лямбда-исчисления учебно-методическое пособие
מאת: Малышев Д. С.
יצא לאור: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017)

Элементы неклассических логик и моделей вычислений учебно-методическое пособие
מאת: Малышев Д. С.
יצא לאור: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2015)

Логическое программирование и моделирование систем: учебное пособие
מאת: Новосельцев В. Б. Виталий Борисович
יצא לאור: (Томск, Изд-во ТПУ, 2008)

Логика. Общий курс формальной логики: учебник для вузов
מאת: Грядовой Д. И. Дмитрий Иосифович
יצא לאור: (Москва, ЮНИТИ, 2010)

Математическая логика
מאת: Гладкий А. В. Алексей Всеволодович
יצא לאור: (Москва, Изд-во Российского ГГУ, 1998)

Логика вопросов и ответов: пер. с англ.
מאת: Белнап Н.
יצא לאור: (Москва, Прогресс, 1981)

Элементы модальной логики: монография
מאת: Костюк В. Н. Владимир Николаевич
יצא לאור: (Киев, Наукова думка, 1978)

Понятие объекта в модальной логике
מאת: Целищев В. В. Виталий Валентинович
יצא לאור: (Новосибирск, Наука, 1978)

Особенности изменения модальной семантики глагола MUSSEN в немецком языке; Вестник Томского государственного педагогического университета; № 6 (183)
מאת: Бабакина Т. Н. Татьяна Николаевна
יצא לאור: (2017)

Математика метаматематики: пер. с англ.
מאת: Расева Е. Елена
יצא לאור: (Москва, Наука, 1972)

Теория логического вывода
יצא לאור: (Москва, Наука, 1973)

Логическое программирование и моделирование систем: учебное пособие
מאת: Новосельцев В. Б. Виталий Борисович
יצא לאור: (Томск, Изд-во ТПУ, 2008)

Вып. 5; Логические исследования
יצא לאור: (1998)

Логические теории временных контекстов (временная логика)
מאת: Ишмуратов А. Т. Анатолий Темиргалиевич
יצא לאור: (Киев, Наукова думка, 1981)

Логика: [учебное пособие]
מאת: Бартон В. И. Виталий Иванович
יצא לאור: (Минск, Новое знание, 2008)

Модальные и интенсиональные логики и их применение к проблемам методологии науки
יצא לאור: (Москва, Наука, 1984)

Использование модальной логики для проектирования оболочек экспертных систем; Известия Томского политехнического университета [Известия ТПУ]; Т. 308, № 4
מאת: Ларионов Д. С.
יצא לאור: (2005)

Элементы логики действий
מאת: Блинов А. Л. Аркадий Леонидович
יצא לאור: (Москва, Наука, 1991)

Математическая логика: учебное пособие
מאת: Лавров И. А. Игорь Андреевич
יצא לאור: (Москва, Академия, 2006)

Неклассические логики и их применение; Вопросы кибернетики
יצא לאור: (1982)

Логика и логическая семантика: Сборник трудов: пер. с нем.
מאת: Фреге Г. Готтлоб
יצא לאור: (Москва, Аспект Пресс, 2000)

Философско-методологические аспекты релевантной логики
מאת: Войшвилло Е. К. Евгений Казимирович
יצא לאור: (Москва, Изд-во МГУ, 1988)

Логика: учебник
מאת: Ивлев Ю. В. Юрий Васильевич
יצא לאור: (Москва, Изд-во МГУ, 1992)

Нечеткие множества и теория возможностей. Последние достижения: пер. с англ.
יצא לאור: (Москва, Радио и связь, 1986)

Достоверный и правдоподобный вывод в интеллектуальных системах
יצא לאור: (Москва, Физматлит, 2004)