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

Базы данных


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

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

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

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

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

Экземпляры всего: 1
АБУ (1)
Свободны: АБУ (1)
Найти похожие
3.
   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)
Найти похожие
4.
   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)
Найти похожие
5.
   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)
Найти похожие
6.
   16
   И 255

    Ивлев, Юрий Васильевич.
    Содержательная семантика модальной логики / Ю. В. Ивлев. - Москва : Издательство Московского университета, 1985. - 170 с. - Библиогр.: с. 166. - 0.75 р.
ГРНТИ
02.21
УДК
16
ББК Ю41
Рубрики: Логика
Кл.слова (ненормированные):
Модальная логика -- Логическая семантика -- Семантика -- Формальная логика -- Логика высказываний -- Логика предикатов

Экземпляры всего: 2
АБН (2)
Свободны: АБН (2)
Найти похожие
7.
   16
   К 210

    Караваев, Эдуард Федорович.
    Основания временной логики / Э. Ф. Караваев ; Министерство высшего и среднего специального образования РСФСР. - Ленинград : Издательство Ленинградского университета, 1983. - 176 с. - 1.70 р., 1.70 р.
ГРНТИ
02.21
УДК
16
ББК Ю4

Кл.слова (ненормированные):
Логика времени -- Временная логика -- Модальная логика


Доп.точки доступа:
Министерство высшего и среднего специального образования РСФСР
Экземпляры всего: 2
АБН (1), Х (1)
Свободны: АБН (1), Х (1)
Найти похожие
8.
   16
   Л 694

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


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

    Костюк, Владимир Николаевич.
    Элементы модальной логики / В. Н. Костюк. - Киев : Наукова думка, 1978. - 179 с. - Библиогр.: с. 176-179. - 1.80 р., 1.80 р.
ГРНТИ
02.21
УДК
16
ББК Ю4
Рубрики: Логика
Кл.слова (ненормированные):
Модальная логика -- Алетическая логика -- Логика предикатов

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

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


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

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


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

    Целищев, Виталий Валентинович.
    Философские проблемы семантики возможных миров / В. В. Целищев ; Академия наук СССР, Сибирское отделение, Институт истории, филологии и философии. - Новосибирск : Наука. Сибирское отделение, 1977. - 191 с. - Библиогр.: с. 186-190. - 0.60 р.
ГРНТИ
02.21
УДК
16
003
ББК Ю41
Рубрики: Логика
Кл.слова (ненормированные):
логическая семантика -- модальная логика


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

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

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

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


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

   
    Семантика модальных и интенсиональных логик : сборник статей : перевод с английского / сост., ред., авт. вступ. ст. В. А. Смирнов. - Москва : Прогресс, 1981. - 424 с. - (Общественный науки за рубежом. Философия и социология). - Библиогр. в конце ст. - 1.60 р., 1.60 р.
ГРНТИ
02.21
УДК
16
ББК Ю4г-6
Рубрики: Логика--Сборники
Кл.слова (ненормированные):
МОДАЛЬНАЯ ЛОГИКА -- ЛОГИЧЕСКАЯ СЕМАНТИКА


Доп.точки доступа:
Смирнов, Владимир Александрович \сост., ред., авт. вступ. ст.\
Экземпляры всего: 3
Х (1), АБН (2)
Свободны: Х (1), АБН (2)
Найти похожие
16.
   16
   Ф 563

   
    Философские проблемы модальной и интенсиональной логики / Московский государственный университет им. М. В. Ломоносова ; ред. В. Г. Кузнецов. - Москва : [б. и.], 1982. - 79 с. - 00.30 р., 0.30 р.
ГРНТИ
02.21
УДК
16
ББК Ю4г-6
Рубрики: Логика
Кл.слова (ненормированные):
МОДАЛЬНАЯ ЛОГИКА -- ИНТЕНСИОНАЛЬНАЯ ЛОГИКА


Доп.точки доступа:
Кузнецов, В. Г. \ред.\; Московский государственный университет им. М. В. Ломоносова
Экземпляры всего: 2
Х (1), АБН (1)
Свободны: Х (1), АБН (1)
Найти похожие
17.
   16
   Ц 342

    Целищев, Виталий Валентинович.
    Понятие объекта в модальной логике / В. В. Целищев ; Академия наук СССР, Институт истории, филологии и философии. - Новосибирск : Наука, 1978. - 174 с. - Библиогр.: с. 169-172. - 00.80 р.
ГРНТИ
02.21
УДК
16
ББК Ю4в017
Рубрики: Логика
Кл.слова (ненормированные):
объект и субъект (логика) -- модальная ЛОГИКА


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

    Целищев, Виталий Валентинович.
    Философские проблемы логики : (семантические аспекты) / В. В. Целищев, В. В. Петров. - Москва : Высшая школа, 1984. - 128 с. - Библиогр.: с. 123-124. - 1.50 р., 1.50 р.
ГРНТИ
02.21
УДК
16
ББК Ю4в017
Рубрики: Логика
Кл.слова (ненормированные):
логическая семантика -- модальная ЛОГИКА -- логика (философские проблемы)


Доп.точки доступа:
Петров, Василий Викторович
Экземпляры всего: 3
Х (1), АБН (2)
Свободны: Х (1), АБН (2)
Найти похожие
19.
   517
   С 476

    Слинин, Ярослав Анатольевич.
    Современная модальная логика : развитие теории алет. модальностей (1920-1960 гг.) / Я. А. Слинин. - Ленинград : Ленинградский государственный университет, 1976. - 104 с. - 0.44 р.
ГРНТИ
27.03
УДК
510.64
Рубрики: Неклассические, формальные логические системы
Кл.слова (ненормированные):
МОДАЛЬНАЯ ЛОГИКА

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

   
    Упражнения по логике : [Основы логики. Основные направления современного развития логики. Основы аргументации] : сборник / Э. Ф. Караваев, В. И. Кобзарь, С. И. Ладушкин [и др.] ; под ред. Л. Г. Тоноян. - Москва : Проспект, 2014. - 258 с. - Библиогр.: с. 257-258. - ISBN 978-5-392-12169-4 : 325 р.
ГРНТИ
02.21
УДК
16(076.1)
ББК Ю4я73-4
Рубрики: Логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
ЛОГИКА (УПРАЖНЕНИЯ) -- МОДАЛЬНАЯ ЛОГИКА -- ДЕОНТИЧЕСКАЯ ЛОГИКА -- ЭРОТЕТИЧЕСКАЯ ЛОГИКА -- ЭПИСТЕМИЧЕСКАЯ ЛОГИКА -- ВРЕМЕННАЯ ЛОГИКА -- АРГУМЕНТАЦИЯ (ЛОГИКА) -- ДИАЛОГИ (ВИДЫ)


Доп.точки доступа:
Караваев, Э. Ф.; Кобзарь, В. И.; Ладушкин, С. И.; Тоноян, Л. Г. \ред.\
Экземпляры всего: 1
ЧЗГ (1)
Свободны: ЧЗГ (1)
Найти похожие
 1-20    21-21 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 30.06.2024
Число запросов 18517
Число посетителей 281
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)