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

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

Bibliographic Details
Corporate Author:	Академия наук СССР Институт философии
Other Authors:	Таванец П. В. (редактор)
Language:	Russian
Published:	Москва, Наука, 1973
Subjects:	Вывод > Логика логические выводы теория дедукция кванторы модальная логика пространственно-временные отношения
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=355045

Similar Items

Теория логического вывода
by: Смирнов В. А. Владимир Александрович
Published: (Москва, РОССПЭН, 1999)

Математическая теория логического вывода: сборник переводов
Published: (Москва, Наука, 1967)

Система принципов построения дедуктивных теорий
by: Кедровский О. И. Олег Иванович
Published: (Киев, Выща школа, 1990)

Предметная область в логической семантике: монография
by: Бессонов А. В. Александр Владимирович
Published: (Новосибирск, Наука, 1985)

Логика: [учебное пособие]
by: Бартон В. И. Виталий Иванович
Published: (Минск, Новое знание, 2008)

Кн. 1; Логика как часть теории познаний и научной методологии
Published: (1994)

Модальные и интенсиональные логики и их применение к проблемам методологии науки
Published: (Москва, Наука, 1984)

Содержательная семантика модальной логики
by: Ивлев Ю. В. Юрий Васильевич
Published: (Москва, Изд-во МГУ, 1985)

Вып. 5; Логические исследования
Published: (1998)

Основания математической логики: пер. с англ.
by: Карри Х. Хаскелл
Published: (Москва, Мир, 1969)

Математическая логика: учебник
by: Никольская И. Л. Инна Львовна
Published: (Москва, Высшая школа, 1981)

Что такое математическая логика?
by: Калужнин Л. А. Лев Аркадьевич
Published: (Москва, Наука, 1964)

Логика: учебное пособие для вузов
by: Ивин А. А. Александр Архипович
Published: (Москва, Высшая школа, 2004)

Логическое программирование и моделирование систем: учебное пособие
by: Новосельцев В. Б. Виталий Борисович
Published: (Томск, Изд-во ТПУ, 2008)

Модальная логика
by: Ивлев Ю. В. Юрий Васильевич
Published: (Москва, Изд-во МГУ, 1991)

Логический вывод
Published: (Москва, Наука, 1979)

Логика норм
by: Ивин А. А. Александр Архипович
Published: (Москва, Изд-во Московского ун-та, 1973)

Логика и теория познания: межвузовский сборник
Published: (Ленинград, Изд-во ЛГУ, 1990)

Логика изменения и модальная логика
by: Солодухин О. А. Олег Анатольевич
Published: (Ростов-на-Дону, Изд-во Ростовского ун-та, 1989)

"Возможные миры" в философии и логике
by: Фатиев Н. И. Никита Игоревич
Published: (Иркутск, Изд-во Иркутского ун-та, 1993)

Логика и онтология
Published: (Москва, Наука, 1978)

Мысли о современной математике и ее изучении
by: Кудрявцев Л. Д. Лев Дмитриевич
Published: (Москва, Наука, 1977)

Логическое программирование и моделирование систем: учебное пособие
by: Новосельцев В. Б. Виталий Борисович
Published: (Томск, Изд-во ТПУ, 2008)

Модальная логика: пер. с англ.
by: Фейс Р. Роберт
Published: (Москва, Наука, 1974)

Элементы модальной логики: монография
by: Костюк В. Н. Владимир Николаевич
Published: (Киев, Наукова думка, 1978)

ДСМ-метод автоматического порождения гипотез. Логические и эпистемологические основания
Published: (Москва, Либроком, 2009)

Логика: учебник
by: Кириллов В. И. Вячеслав Иванович
Published: (Москва, Проспект, 2021)

Логика. Общий курс формальной логики: учебник для вузов
by: Грядовой Д. И. Дмитрий Иосифович
Published: (Москва, ЮНИТИ, 2010)

Логические методы анализа научного знания
by: Смирнов В. А. Владимир Александрович
Published: (Москва, Наука, 1987)

Обольстить логикой. Выводы на все случаи жизни
by: Дрёссер К. Кристоф
Published: (Москва, Лаборатория знаний, 2025)

Логика: учебник
by: Ивин А. А. Александр Архипович
Published: (Москва, Гардарики, 2003)

Основы логики: учебник
by: Бочаров В. А. Вячеслав Александрович
Published: (Москва, Инфра-М, 2009)

Философские основания научной теории
Published: (Новосибирск, Наука, 1985)

Понятие объекта в модальной логике
by: Целищев В. В. Виталий Валентинович
Published: (Новосибирск, Наука, 1978)

Основания математики. Логические исчисления и формализация арифметики.
by: Гильберт Д. Давид
Published: (Москва, Наука, 1979)

Основания математики. Логические исчисления и формализация арифметики.
by: Гильберт Д. Давид
Published: (Москва, Наука, 1982)

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

Дискретная математика. Математика для менеджера в примерах и упражнениях: учебное пособие
by: Москинова Г. И. Галина Ивановна
Published: (Москва, Логос, 2007)

Математика метаматематики: пер. с англ.
by: Расева Е. Елена
Published: (Москва, Наука, 1972)

Исследование алгоритмов логического вывода; Информационные технологии в науке, управлении, социальной сфере и медицине
by: Осадчая И. А.
Published: (2015)