Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=модальная логика<.>)
Общее количество найденных документов : 21
Показаны документы с 1 по 10
 1-10    11-21   21-21 
1.
   16
   Б 865

    Бочаров, Вячеслав Александрович.
    Введение в логику : учебник для студентов вузов, изучающих философские дисциплины / В. А. Бочаров, В. И. Маркин. - Москва : ИНФРА-М : ФОРУМ, 2008. - 560 с. - (Высшее образование). - ISBN 978-5-8199-0365-0 : 264.90 р., 264.90 р., 289.85 р.
ГРНТИ
02.21
УДК
16(075.8)
ББК Ю4я73
Рубрики: Логика--Учебники для высших учебных заведений
Кл.слова (ненормированные):
Логический анализ языка -- Логика высказываний -- Логика предикатов -- Силлогистика -- Модальная логика -- Логика времени -- Интуиционистская логика -- Понятие (логика)


Доп.точки доступа:
Маркин, Владимир Ильич
Экземпляры всего: 17
Х (1), АБУ (15), ЧЗГ (1)
Свободны: Х (1), АБУ (15), ЧЗГ (1)
Найти похожие
2.
   681
   Д 706

   
    Достоверный и правдоподобный вывод в интеллектуальных системах : учебное пособие для студентов вузов, обучающихся по направлению "Прикладная математика и информатика" / В. Н. Вагин [и др.] ; ред.: В. Н. Вагин, Д. А. Поспелова. - Изд. 2-е, испр. и доп. - Москва : ФИЗМАТЛИТ, 2008. - 710, [1] с. - Библиогр.: с. 648-678. - Предм. указ.: с. 679-710. - ISBN 978-5-9221-0962-8 : 496.80 р., 496.80 р.
ГРНТИ
20.15.05
УДК
681.518
519.816](075.8)
Рубрики: Информационные системы--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ -- ГРАФЫ СВЯЗЕЙ -- МОДАЛЬНАЯ ЛОГИКА -- ПРОЛОГ (ЯЗЫК ПРОГРАММИРОВАНИЯ)


Доп.точки доступа:
Вагин, Вадим Николаевич; Головина, Елена Юрьевна; Загорянская, Анастасия Анатольевна; Фомина, Марина Владимировна; Вагин, В. Н. \ред.\; Поспелова, Д. А. \ред.\
Экземпляры всего: 2
Х (1), ЧЗЕ (1)
Свободны: Х (1), ЧЗЕ (1)
Найти похожие
3.
   16
   И253

    Ивин, Александр Архипович.
    Логика : пособие для учащихся / А. А. Ивин. - Москва : Просвещение, 1996. - 206 с. - ISBN 5-09-006843-7 : 12500.00 р.
ГРНТИ
02.21
УДК
16(07)
ББК Ю4я7
Рубрики: Логика--Учебные издания для средней школы
Кл.слова (ненормированные):
логика высказываний -- Логика и язык -- модальная логика -- индуктивные рассуждения -- спор (логика)

Экземпляры всего: 3
АБУ (2), АБЗ (1)
Свободны: АБУ (2), АБЗ (1)
Найти похожие
4.
41195

    Спирин, А. Д.
    Логика [Электронный ресурс] : учебное пособие / Спирин А. Д. - Москва : Всероссийский государственный университет юстиции (РПА Минюста России), 2015. - 130 с. - ISBN 978-5-00094-084-6 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
16
ББК 87.4я73

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

Перейти: Перейти к просмотру издания
Свободных экз. нет
Найти похожие
5.
   16
   И 253

    Ивин, Александр Архипович.
    Логика : [учебное пособие для вузов] / А. А. Ивин. - Москва : Высшая школа, 2004. - 304 с. : ил. - ISBN 5-06-005117-X : 183.80 р., 250.00 р.
ГРНТИ
02.21
УДК
16(075.8)
ББК Ю4я73
Рубрики: Логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
ИНТУИТИВНАЯ ЛОГИКА -- НЕКЛАССИЧЕСКАЯ ЛОГИКА -- МОДАЛЬНАЯ ЛОГИКА -- ОЦЕНОЧНЫЕ ВЫСКАЗЫВАНИЯ -- НОРМАТИВНЫЕ ВЫСКАЗЫВАНИЯ -- ДОКАЗАТЕЛЬСТВО (ЛОГИКА) -- ОПРОВЕРЖЕНИЕ (ЛОГИКА) -- ИНДУКТИВНЫЕ РАССУЖДЕНИЯ -- СОФИЗМЫ -- ЛОГИЧЕСКИЕ ПАРАДОКСЫ -- ИСКУССТВО СПОРА

Экземпляры всего: 15
АБЗ (14), АБУ (1)
Свободны: АБЗ (14), АБУ (1)
Найти похожие
6.
   16
   Л 694

   
    Логико-семантические исследования : сборник статей / Академия наук Грузинской ССР, Институт философии. - Тбилиси : Мецниереба, 1981. - 144 с. - Библиогр. в конце ст. - 1.15 р.
ГРНТИ
02.21
УДК
16
003
ББК Ю41
Рубрики: Логика--Сборники
Кл.слова (ненормированные):
логическая семантика -- модальная логика


Доп.точки доступа:
Академия наук Грузинской ССР; Институт философии
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
7.
   16
   Л 694

   
    Логическая семантика и модальная логика : сборник статей / Академия наук СССР, Институт философии ; ред. П. В. Таванец. - Москва : Наука, 1967. - 278 с. - Библиогр. в конце ст. - 1.24 р.
ГРНТИ
02.21
УДК
16
4
ББК Ю41
Рубрики: Логика--Сборники
Кл.слова (ненормированные):
логическая семантика -- модальная логика


Доп.точки доступа:
Таванец, П. В. \ред.\; Академия наук СССРИнститут философии
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
8.
   16
   Л 694

   
    Логический вывод / Академия наук СССР , Институт философии. - Москва : [б. и.], 1979. - 311 с. - 1.90 р.
ГРНТИ
02.21
УДК
16
ББК Ю4
Рубрики: Логика
Кл.слова (ненормированные):
Релевантная логика -- Временная логика -- Модальная логика -- Интуиционистская логика


Доп.точки доступа:
Академия наук СССР ; Институт философии
Экземпляры всего: 1
АБН (1)
Свободны: АБН (1)
Найти похожие
9.
   16
   И 255

    Ивлев, Юрий Васильевич.
    Модальная логика / Ю. В. Ивлев. - Москва : Издательство Московского университета, 1991. - 223 с. - 2.90 р.
ГРНТИ
02.21
УДК
16
ББК Ю4г-6
Рубрики: Логика
Кл.слова (ненормированные):
модальная логика

Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
10.
   16
   М 744

   
    Модальные и интенсиональные логики и их применение к проблемам методологии науки / Академия наук СССР, Институт философии. - Москва : Наука, 1984. - 366 с. - 3 р.
ГРНТИ
02.21
УДК
16
ББК Ю4г-6
Рубрики: Логика
Кл.слова (ненормированные):
МОДАЛЬНАЯ ЛОГИКА -- интенсиональная логика


Доп.точки доступа:
Академия наук СССР; Институт философии
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
 1-10    11-21   21-21 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 07.08.2024
Число запросов 35176
Число посетителей 474
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)