| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


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

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
В текущей базе данных найдено документов :17
 В других БД по вашему запросу найдено:Электронный каталог (13)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=модальная логика<.>)
Общее количество найденных документов : 17
Показаны документы с 1 по 17
1.

Вид документа : Многотомное издание
Шифр издания : 898288
16(082)/Л 69
Заглавие : Логические исследования = Logical investigations: научное издание. Вып. 1
Выходные данные : Москва: Наука, 1993
Колич.характеристики :
Примечания : Библиогр.
ISBN (в пер.), Цена 5-02-008103-5: 180.00 р.
УДК : 16(082)
Предметные рубрики: логика-- логика
Ключевые слова (''Своб.индексиров.''): релевантная логика --матричная логика --модальная логика --символическая логика --логика
Найти похожие
2.

Вид документа : Многотомное издание
Шифр издания : 777727
16(082)/Л 69
Заглавие : Логические исследования = Logical Investigations: научное издание. Вып. 6
Выходные данные : Москва: Росспэн, 1999
Колич.характеристики :315, [5] с
ISBN (в пер.), Цена 5-8243-0046-1: 56.00 р.
УДК : 16(082)
Предметные рубрики: логика-- логика
Ключевые слова (''Своб.индексиров.''): логика--силлогистика--модальная логика--семантика--философская логика--логическая философия--релевантная логика
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 802936
62-506.2/Д 70
Автор(ы) : Вагин, Вадим Николаевич, Головина, Елена Юрьевна, Загорянская, Анастасия Анатольевна, Фомина, Марина Владимировна
Заглавие : Достоверный и правдоподобный вывод в интеллектуальных системах : научное издание
Выходные данные : Москва: ФИЗМАТЛИТ, 2004
Колич.характеристики :703, [1] с.: ил.
Примечания : Библиогр.
ISBN (в пер.), Цена 5-9221-0474-8: 180.00 р.
УДК : 004.8
Предметные рубрики: вычислительная техника-- искусственный интеллект
Ключевые слова (''Своб.индексиров.''): интеллектуальные системы--модальная логика--дедуктивный вывод--абдукция--принятие решений--индуктивные методы
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 250125
16(075)/Ж 79
Автор(ы) : Жоль, Константин Константинович
Заглавие : Логика : учеб. пособие для студентов вузов
Выходные данные : Москва: ЮНИТИ[-ДАНА], 2004
Колич.характеристики :396, [4] с
Серия: Bibliotheca studiorum / отв. ред. А. Е. Конверский
Примечания : Библиогр.: с. 383-384, 385-396
ISBN (в пер.), Цена 5-238-00664-0: 159.159 р.
УДК : 16(075.8)
Предметные рубрики: логика-- логика
Ключевые слова (''Своб.индексиров.''): логика--научное познание--высказывания--предикаты--интуиционизм--конструктивизм--модальная логика--вероятностей теория--логическая семантика--кибернетика
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 002907
16(075)/С 37
Заглавие : Символическая логика : учеб. для студентов и аспирантов филос. фак. ун-тов
Выходные данные : Санкт-Петербург: Изд-во С.-Петерб. ун-та , 2005
Колич.характеристики :504, [4] с
Коллективы : С.-Петерб. гос. ун-т
ISBN (в пер.), Цена 5-288-02447-2: 394.59 р.
УДК : 16(075.8)
Предметные рубрики: логика-- логика
Ключевые слова (''Своб.индексиров.''): символическая логика--высказывания--предикаты--математическая логика--модальная логика --деонтическая логика--временная логика --вопросы--логика
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 595405
16(075)/И 25
Автор(ы) : Ивин, Александр Архипович
Заглавие : Логика : для юристов : учеб. пособие для студентов вузов, обучающихся по специальности 021100 "Юриспруденция"
Выходные данные : Москва: Гардарики, 2005
Колич.характеристики :287, [1] с
Серия: Disciplinae
ISBN (в пер.), Цена 5-8297-0177-4: 135.07 р.
УДК : [16:34](075.8)
Предметные рубрики: логика-- логика
Ключевые слова (''Своб.индексиров.''): логика--право--высказывания--модальная логика--доказательства--язык--аргументация--споры--нормы
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 493242
16(075)/И 25
Автор(ы) : Ивин, Александр Архипович
Заглавие : Логика : учеб. для гуманитар. вузов
Выходные данные : Москва: ФАИР-ПРЕСС: Гранд, 2003
Колич.характеристики :318, [2] с
ISBN (в пер.), Цена 5-8183-0045-5: 105.00 р.
УДК : 16(075.8)
Предметные рубрики: логика-- логика
Ключевые слова (''Своб.индексиров.''): логика--имена--высказывания--язык--смысл--модальная логика--доказательства--опровержение--индукция--понимание--аргументация--споры
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 257124
171Н211Н252/Л 68
Автор(ы) : Лобовиков, Владимир Олегович
Заглавие : Математическая этика, метафизика и естественное право. (Алгебра метафизики как алгебра формальной аксиологии) : научное издание
Выходные данные : Екатеринбург: УрО РАН, 2007
Колич.характеристики :408, [4] с
Коллективы : Ин-т философии Урал. отд-ния РАН
ISBN (в пер.), Цена 5-7691-1785-0: 110.00 р.
УДК : 17 + 111 + 929 + 34:1
Предметные рубрики: этика-- этика
философия-- метафизика-- философия науки
Ключевые слова (''Своб.индексиров.''): этика--математическая этика--метафизика--персоналии--мораль--аксиология--модальная логика--естественное право--право--философия права
Найти похожие
9.

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

Вид документа : Однотомное издание
Шифр издания : 16(075)/Г 44
Автор(ы) : Гетманова А. Д.
Заглавие : Логика : учебник для студ. вузов . -6-е изд.
Выходные данные : М.: ОМЕГА-Л: Высшая школа, 2002
Колич.характеристики :416 с. ; 20см
ISBN, Цена 5-901386-52-3: 145.00 р.
ГРНТИ : 02.21.01.33
УДК : 16(075.8)
ББК : 87.4я7
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): философия--логика--суждение--мышление--умозаключение--аргументация--аналогия--гипотеза--интуитивная логика--конструктивная логика--модальная логика--многозначная логика--паранепротиворечивая логика
Аннотация: Включена глава по методике преподавания логики, центральные темы снабжены интересными логическими задачами.
Найти похожие
11.

Вид документа : Однотомное издание
Шифр издания : 007(075)/Д 25
Автор(ы) : Девятков В. В.
Заглавие : Системы искусственного интеллекта : учеб. пособие для студ. вузов
Выходные данные : М.: МГТУ, 2001
Колич.характеристики :352 с.: ил.; 25см
Серия: Информатика в техническом университете
ISBN, Цена 5-7038-1727-7: 78.00 р.
ГРНТИ : 28.23.01.33
УДК : 007:159(075.8)
ББК : 5.05
Предметные рубрики: Кибернетика-- Искусственный интеллект
Ключевые слова (''Своб.индексиров.''): искусственный интеллект--кибернетика--системы искусственного интеллекта--типы исчислений--мультиагентность--модальность--модальная логика
Аннотация: Изложены современные вопросы теории и практики систем искусственного интеллекта. Рассмотрены различные типы исчислений, используемых для создания систем искусственного интеллекта, включая такие их свойства, как мультиагентность, нечеткость, модальность и т. п. Для студентов, аспирантов, инженеров, научных работников.
Найти похожие
12.

Вид документа : Однотомное издание
Шифр издания : 16/И 25
Автор(ы) : Ивин А. А.
Заглавие : Логика норм : научное издание
Выходные данные : М.: Изд-во Моск. ун-та, 1973
Колич.характеристики :122 с.: ил., табл.; 21 см
Примечания : Библиогр.: с. 114-121 (235 назв.)
Цена : 0.48 р.
ГРНТИ : 02.21
УДК : 16
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): абсолютная логика норм--модальная логика--редукция нормативных логик--классификация норм--корреляция обязанностей
Аннотация: В книге исследуются наиболее интересные абсолютные логики норм, строится непарадоксальная относительная логика норм, выявляются связи абсолютных и относительных нормативных логик и указываются способы редукции этих логик к теории логических модальностей.
Найти похожие
13.

Вид документа : Однотомное издание
Шифр издания : 510/Т 33
Заглавие : Теория логического вывода : научное издание
Выходные данные : М.: Наука, 1973
Колич.характеристики :272 с.: граф., рис., табл.; 20 см
Коллективы : Ин-т философии (Москва), Акад. наук СССР
Примечания : Библиогр.: с. 270
Цена : 0.76 р.
ГРНТИ : 27.03
УДК : 510.6
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): логическое следование--теория кванторов--логика классов--модальная логика--парадокс зенона--логические операции
Аннотация: Даны проблемы теории логического следования, в которых анализируются роль и место этой теории в логике, философии и методологии науки, рассматриваются проблемы общей теории дедукции, теории кванторов, логики классов, модальной логики, логики пространственно-временных отношений.
Найти похожие
14.

Вид документа : Однотомное издание
Шифр издания : 87.4я73
Автор(ы) : Бочаров, Вячеслав Александрович, Маркин, Владимир Ильич
Заглавие : Введение в логику. Университетский курс : учебник для вузов
Выходные данные : Москва: Форум: ИНФРА-М, 2008
Колич.характеристики :560 с
Серия: Высшее образование
Примечания : Предм. указ.: с. 542 - 554
ISBN, Цена 978-5-8199-0365-0: 313 р.
ББК : 87.4я73
Предметные рубрики: Логика-- Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): виды языков --исчисление предикатов--категориальный анализ языка--логика времени--логика высказываний--логика предикатов--логическая форма--логические законы--логические теории--многозначная логика--модальная логика--определение--понятие--правдоподобные рассуждения--силлогистика--теория--учебники для вузов--функциональный анализ языка--язык--языковая система--языковые выражения
Аннотация: Учебник представляет основное содержание курса лекций по логике, который автор в течение ряда лет читал на философском факультете Московского университета им. М. В. Ломоносова.
Найти похожие
15.

Вид документа : Однотомное издание
Шифр издания : 87.4
Автор(ы) : Ивин, Александр Архипович
Заглавие : Строгий мир логики
Выходные данные : Москва: Педагогика, 1988
Колич.характеристики :128 с.: ил.
Серия: Библиотечка Детской энциклопедии "Ученые - школьнику"
Цена : 0.35 р.
ББК : 87.4
Предметные рубрики: Логика-- Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): дедукция--диалектические противоречия--доказательства--законы логики--индукция--интуиционистская логика--контрапозиция--косвенное доказательство--логика и наука--логика и творчество--модальная логика--неявные противоречия--ошибки--парадокс рассела--парадокс санчо пансы--парадоксы--прямое доказательство--разделительное доказательство--тождество--формализация доказательства--язык логики
Аннотация: В книге рассказывается о науке логике. Читатели познакомятся с принципами человеческого мышления, типичными ошибками в доказательствах и опровержениях, основными законами логики. Книга будет способствовать повышению культуры мышления школьников, лучшему усвоению ими основ наук.
Найти похожие
16.

Вид документа : Однотомное издание
Шифр издания : 87.4я73
Автор(ы) : Бочаров, Вячеслав Александрович, Маркин, Владимир Ильич
Заглавие : Введение в логику. Университетский курс : учебник для высш. учеб. заведений . -2-е изд., испр. и доп.
Выходные данные : Москва: ФОРУМ: ИНФРА-М, 2011
Колич.характеристики :560 с
Серия: Высшее образование
Примечания : Предм. указ.: с. 547 - 559
ISBN, Цена 978-5-8199-0465-7: 362.89 р.
ББК : 87.4я73
Предметные рубрики: Логика-- Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): виды языков --исчисление предикатов--категориальный анализ языка--логика времени--логика высказываний--логика предикатов--логическая форма--логические законы--логические теории--многозначная логика--модальная логика--правдоподобные рассуждения--силлогистика--учебники для вузов--функциональный анализ языка--язык--языковая система--языковые выражения
Аннотация: Учебник представляет основное содержание курса лекций по логике, который автор в течение ряда лет читал на философском факультете Московского университета им. М. В. Ломоносова.
Найти похожие
17.

Вид документа : Однотомное издание
Шифр издания : 22.14
Автор(ы) : Биркгоф Г.
Заглавие : Теория решеток
Выходные данные : Москва: Наука, 1984
Колич.характеристики :566 с
Цена : 03.10 р.
ББК : 22.14
Предметные рубрики: Математика-- Алгебра
Ключевые слова (''Своб.индексиров.''): аксиома хаусдорфа--алгебра отношений--алгебры ньюмена--банаховы решетки--борелевские алгебры--брауэрова логика--брауэровы решетки--булев изоморфизм--булевы алгебры--булевы кольца--булевы решетки--векторные решетки--интеграл стилтьеса--кольца (матем.)--компактификация--лемма швана--линейные операторы--логика--метрические пространства--метрические решетки--множества--модальная логика--моноиды--неподвижная точка--орторешетки--подпрямое разложение--принцип ремарка--проблема суслина--проблемы биркгофа--решетки--решетки фон неймана--решеточно упорядоченные группы--решеточные многочлены--свободные алгебры--связи галуа--структура решеток--теорема арнольда--теорема гливенко--теорема ивасавы--теорема куроша-оре--теорема перона--теорема стоуна--теоремы--теоремы александера и тихонова--теоремы жордана-гельдера--теория вероятностей--теория идеалов--теория решеток--типы решеток--топологические пространства--топологические решетки--топология--трансфинитная индукция--условие жордана-дедекинда--функция мебиуса--эргодическая теорема
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)