Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

Область поиска

В текущей базе данных найдено документов :17

В других БД по вашему запросу найдено:

Электронный каталог (13)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>KL=модальная логика<.>)

Общее количество найденных документов : 17
Показаны документы с 1 по 17

Логические исследования [Текст] = Logical investigations : научное издание. - Москва : Наука.
Вып. 1. - 1993. - Библиогр. - ISBN 5-02-008103-5 (в пер.) : 180.00 р.

УДК

16(082)

Рубрики: логика--логика

Кл.слова (ненормированные):
релевантная логика -- матричная логика -- модальная логика -- символическая логика -- логика
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

Логические исследования [Текст] = Logical Investigations : научное издание. - Москва : Росспэн.
Вып. 6. - 1999. - 315, [5] с. - ISBN 5-8243-0046-1 (в пер.) : 56.00 р.

УДК

16(082)

Рубрики: логика--логика

Кл.слова (ненормированные):
логика -- силлогистика -- модальная логика -- семантика -- философская логика -- логическая философия -- релевантная логика
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

Достоверный и правдоподобный вывод в интеллектуальных системах [Текст] : научное издание / В. Н. Вагин [и др.]. - Москва : ФИЗМАТЛИТ, 2004. - 703, [1] с. : ил. - Библиогр. - ISBN 5-9221-0474-8 (в пер.) : 180.00 р.

УДК

004.8

Рубрики: вычислительная техника--искусственный интеллект

Кл.слова (ненормированные):
интеллектуальные системы -- модальная логика -- дедуктивный вывод -- абдукция -- принятие решений -- индуктивные методы
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского

Доп. точки доступа:
Вагин, Вадим Николаевич
Головина, Елена Юрьевна
Загорянская, Анастасия Анатольевна
Фомина, Марина Владимировна
Найти похожие

Жоль, Константин Константинович.
Логика [Текст] : учеб. пособие для студентов вузов / К. К. Жоль. - Москва : ЮНИТИ[-ДАНА], 2004. - 396, [4] с. - (Bibliotheca studiorum / отв. ред. А. Е. Конверский). - Библиогр.: с. 383-384, 385-396. - ISBN 5-238-00664-0 (в пер.) : 159.159 р.

УДК

16(075.8)

Рубрики: логика--логика

Кл.слова (ненормированные):
логика -- научное познание -- высказывания -- предикаты -- интуиционизм -- конструктивизм -- модальная логика -- вероятностей теория -- логическая семантика -- кибернетика
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

Символическая логика [Текст] : учеб. для студентов и аспирантов филос. фак. ун-тов / С.-Петерб. гос. ун-т ; под ред. Я. А. Слинина, Э. Ф. Караваева, А. И. Мигунова. - Санкт-Петербург : Изд-во С.-Петерб. ун-та , 2005. - 504, [4] с. - ISBN 5-288-02447-2 (в пер.) : 394.59 р.

УДК

16(075.8)

Рубрики: логика--логика

Кл.слова (ненормированные):
символическая логика -- высказывания -- предикаты -- математическая логика -- модальная логика -- деонтическая логика -- временная логика -- вопросы -- логика
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского

Доп. точки доступа:
Слинин, Я. А.
Караваев, Э. Ф.
Мигунов, А. И.
Найти похожие

Ивин, Александр Архипович.
Логика [Текст] : для юристов : учеб. пособие для студентов вузов, обучающихся по специальности 021100 "Юриспруденция" / А. А. Ивин. - Москва : Гардарики, 2005. - 287, [1] с. - (Disciplinae). - ISBN 5-8297-0177-4 (в пер.) : 135.07 р.

УДК

[16:34](075.8)

Рубрики: логика--логика

Кл.слова (ненормированные):
логика -- право -- высказывания -- модальная логика -- доказательства -- язык -- аргументация -- споры -- нормы
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

Ивин, Александр Архипович.
Логика [Текст] : учеб. для гуманитар. вузов / А. А. Ивин. - Москва : ФАИР-ПРЕСС : Гранд, 2003. - 318, [2] с. - ISBN 5-8183-0045-5 (в пер.) : 105.00 р.

УДК

16(075.8)

Рубрики: логика--логика

Кл.слова (ненормированные):
логика -- имена -- высказывания -- язык -- смысл -- модальная логика -- доказательства -- опровержение -- индукция -- понимание -- аргументация -- споры
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

Лобовиков, Владимир Олегович.
Математическая этика, метафизика и естественное право. (Алгебра метафизики как алгебра формальной аксиологии) [Текст] : научное издание / В. О. Лобовиков ; отв. ред. Н. В. Бряник ; Ин-т философии Урал. отд-ния РАН. - Екатеринбург : УрО РАН, 2007. - 408, [4] с. - ISBN 5-7691-1785-0 (в пер.) : 110.00 р.
Есть автограф: Экз. A974090 : Лобовиков, Владимир Олегович

УДК

111

929

34:1

Рубрики: этика--этика

философия--метафизика--философия науки

Кл.слова (ненормированные):
этика -- математическая этика -- метафизика -- персоналии -- мораль -- аксиология -- модальная логика -- естественное право -- право -- философия права
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского

Доп. точки доступа:
Бряник, Надежда Васильевна
Найти похожие

Достоверный и правдоподобный вывод в интеллектуальных системах [Текст] : учеб. пособие / В. Н. Вагин [и др.] ; под ред. В. Н. Вагина, Д. А. Поспелова. - 2-е изд., испр. и доп. - Москва : ФИЗМАТЛИТ, 2008. - 710, [2] с. : рис. - Библиогр.: с. 648-678. - Предм. указ.: с. 679-710. - ISBN 978-5-9221-0962-8 (в пер.) : 591.36 р.
Допущено М-вом образования РФ в качестве учеб. пособия для студентов вузов, обучающихся по направлениям "Прикладная математика и информатика", "Информатика и вычислительная техника" и специальностям "Прикладная информатика" (по направлениям) и "Прикладная математика и информатика". На обл. авт.: Вагин В. Г. и др.

УДК

004.8

10.

Гетманова, А. Д.
Логика [Текст] : учебник для студ. вузов / А. Д. Гетманова. - 6-е изд. - М. : ОМЕГА-Л : Высшая школа, 2002. - 416 с. ; 20см. - ISBN 5-901386-52-3 : 145.00 р.

ГРНТИ	02.21.01.33
УДК	16(075.8)

ББК 87.4я7

Рубрики: Философия--Логика

Кл.слова (ненормированные):
философия -- логика -- суждение -- мышление -- умозаключение -- аргументация -- аналогия -- гипотеза -- интуитивная логика -- конструктивная логика -- модальная логика -- многозначная логика -- паранепротиворечивая логика
Аннотация: Включена глава по методике преподавания логики, центральные темы снабжены интересными логическими задачами.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

11.

Девятков, В. В.
Системы искусственного интеллекта [Текст] : учеб. пособие для студ. вузов / В. В. Девятков. - М. : МГТУ, 2001. - 352 с. : ил. ; 25см. - (Информатика в техническом университете). - ISBN 5-7038-1727-7 : 78.00 р.

ГРНТИ	28.23.01.33
УДК	007:159(075.8)

ББК 5.05

Рубрики: Кибернетика--Искусственный интеллект

Кл.слова (ненормированные):
искусственный интеллект -- кибернетика -- системы искусственного интеллекта -- типы исчислений -- мультиагентность -- модальность -- модальная логика
Аннотация: Изложены современные вопросы теории и практики систем искусственного интеллекта. Рассмотрены различные типы исчислений, используемых для создания систем искусственного интеллекта, включая такие их свойства, как мультиагентность, нечеткость, модальность и т. п. Для студентов, аспирантов, инженеров, научных работников.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

12.

Ивин, А. А.
Логика норм [Текст] : научное издание / А. А. Ивин. - М. : Изд-во Моск. ун-та, 1973. - 122 с. : ил., табл. ; 21 см. - Библиогр.: с. 114-121 (235 назв.). - 0.48 р.

ГРНТИ	02.21
УДК	16

Рубрики: Философия--Логика

Кл.слова (ненормированные):
АБСОЛЮТНАЯ ЛОГИКА НОРМ -- МОДАЛЬНАЯ ЛОГИКА -- РЕДУКЦИЯ НОРМАТИВНЫХ ЛОГИК -- КЛАССИФИКАЦИЯ НОРМ -- КОРРЕЛЯЦИЯ ОБЯЗАННОСТЕЙ
Аннотация: В книге исследуются наиболее интересные абсолютные логики норм, строится непарадоксальная относительная логика норм, выявляются связи абсолютных и относительных нормативных логик и указываются способы редукции этих логик к теории логических модальностей.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

13.

Теория логического вывода [Текст] : научное издание / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Наука, 1973. - 272 с. : граф., рис., табл. ; 20 см. - Библиогр.: с. 270 . - 0.76 р.

ГРНТИ	27.03
УДК	510.6

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ -- ТЕОРИЯ КВАНТОРОВ -- ЛОГИКА КЛАССОВ -- МОДАЛЬНАЯ ЛОГИКА -- ПАРАДОКС ЗЕНОНА -- ЛОГИЧЕСКИЕ ОПЕРАЦИИ
Аннотация: Даны проблемы теории логического следования, в которых анализируются роль и место этой теории в логике, философии и методологии науки, рассматриваются проблемы общей теории дедукции, теории кванторов, логики классов, модальной логики, логики пространственно-временных отношений.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Таванец, П. В.
Найти похожие

14.

Бочаров, Вячеслав Александрович.
Введение в логику. Университетский курс [Текст] : учебник для вузов / В. А. Бочаров, В. И. Маркин. - Москва : Форум : ИНФРА-М, 2008. - 560 с. - (Высшее образование). - Предм. указ.: с. 542 - 554. - ISBN 978-5-8199-0365-0 : 313 р.

ББК 87.4я73

Рубрики: Логика--Общие вопросы логики

Кл.слова (ненормированные):
виды языков -- исчисление предикатов -- категориальный анализ языка -- логика времени -- логика высказываний -- логика предикатов -- логическая форма -- логические законы -- логические теории -- многозначная логика -- модальная логика -- определение -- понятие -- правдоподобные рассуждения -- силлогистика -- теория -- учебники для вузов -- функциональный анализ языка -- язык -- языковая система -- языковые выражения
Аннотация: Учебник представляет основное содержание курса лекций по логике, который автор в течение ряда лет читал на философском факультете Московского университета им. М. В. Ломоносова.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)

Доп. точки доступа:
Маркин, Владимир Ильич
Найти похожие

15.

Ивин, Александр Архипович.
Строгий мир логики [Текст] / А. А. Ивин. - Москва : Педагогика, 1988. - 128 с. : ил. - (Библиотечка Детской энциклопедии "Ученые - школьнику"). - 0.35 р.

ББК 87.4

Рубрики: Логика--Общие вопросы логики

Кл.слова (ненормированные):
дедукция -- диалектические противоречия -- доказательства -- законы логики -- индукция -- интуиционистская логика -- контрапозиция -- косвенное доказательство -- логика и наука -- логика и творчество -- модальная логика -- неявные противоречия -- ошибки -- парадокс Рассела -- парадокс Санчо Пансы -- парадоксы -- прямое доказательство -- разделительное доказательство -- тождество -- формализация доказательства -- язык логики
Аннотация: В книге рассказывается о науке логике. Читатели познакомятся с принципами человеческого мышления, типичными ошибками в доказательствах и опровержениях, основными законами логики. Книга будет способствовать повышению культуры мышления школьников, лучшему усвоению ими основ наук.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие

16.

Бочаров, Вячеслав Александрович.
Введение в логику. Университетский курс [Текст] : учебник для высш. учеб. заведений / В. А. Бочаров, В. И. Маркин. - 2-е изд., испр. и доп. - Москва : ФОРУМ : ИНФРА-М, 2011. - 560 с. - (Высшее образование). - Предм. указ.: с. 547 - 559. - ISBN 978-5-8199-0465-7 : 362.89 р.

ББК 87.4я73

Рубрики: Логика--Общие вопросы логики

Кл.слова (ненормированные):
виды языков -- исчисление предикатов -- категориальный анализ языка -- логика времени -- логика высказываний -- логика предикатов -- логическая форма -- логические законы -- логические теории -- многозначная логика -- модальная логика -- правдоподобные рассуждения -- силлогистика -- учебники для вузов -- функциональный анализ языка -- язык -- языковая система -- языковые выражения
Аннотация: Учебник представляет основное содержание курса лекций по логике, который автор в течение ряда лет читал на философском факультете Московского университета им. М. В. Ломоносова.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)

Доп. точки доступа:
Маркин, Владимир Ильич
Найти похожие

17.

Биркгоф, Г.
Теория решеток [Текст] / Г. Биркгоф. - Москва : Наука, 1984. - 566 с. - 03.10 р.

ББК 22.14

Рубрики: Математика--Алгебра

Кл.слова (ненормированные):
аксиома Хаусдорфа -- алгебра отношений -- алгебры Ньюмена -- банаховы решетки -- борелевские алгебры -- брауэрова логика -- брауэровы решетки -- булев изоморфизм -- булевы алгебры -- булевы кольца -- булевы решетки -- векторные решетки -- интеграл Стилтьеса -- кольца (матем.) -- компактификация -- лемма Швана -- линейные операторы -- логика -- метрические пространства -- метрические решетки -- множества -- модальная логика -- моноиды -- неподвижная точка -- орторешетки -- подпрямое разложение -- принцип Ремарка -- проблема Суслина -- проблемы Биркгофа -- решетки -- решетки фон Неймана -- решеточно упорядоченные группы -- решеточные многочлены -- свободные алгебры -- связи Галуа -- структура решеток -- теорема Арнольда -- теорема Гливенко -- теорема Ивасавы -- теорема Куроша-Оре -- теорема Перона -- теорема Стоуна -- теоремы -- теоремы Александера и Тихонова -- теоремы Жордана-Гельдера -- теория вероятностей -- теория идеалов -- теория решеток -- типы решеток -- топологические пространства -- топологические решетки -- топология -- трансфинитная индукция -- условие Жордана-Дедекинда -- функция Мебиуса -- эргодическая теорема
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)