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

Базы данных


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

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

    Новиков, Петр Сергеевич.
    Элементы математической логики / П. С. Новиков. - Москва : Физматлит, 1959. - 400 с. - 1.11 р., 1.11 р.
ГРНТИ
27
УДК
51
Рубрики: Математика
Кл.слова (ненормированные):
Математическая логика -- Алгебра высказываний -- Исчисление высказываний -- Логика предикатов -- Аксиоматическая арифметика -- Теория доказательств

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

    Гиндикин, Семен Григорьевич.
    Алгебра логики в задачах / С. Г. Гиндикин. - Москва : Наука, 1972. - 288 с. : ил. - 00.76 р., 00.76 р.
ГРНТИ
27.03
УДК
510.6(075)
Рубрики: Математическая логика--Учебно-методические пособия
Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ (ФУНКЦИИ) -- ФУНКЦИОНАЛЬНО ЗАМКНУТЫЕ КЛАССЫ -- ЭЛЕМЕНТЫ ВЕРОЯТНОСТНОЙ ЛОГИКИ -- МНОГОЗНАЧНЫЕ ЛОГИКИ -- ЛОГИКА ПРЕДИКАТОВ

Экземпляры всего: 6
Х (1), АБУ (5)
Свободны: Х (1), АБУ (5)
Найти похожие
3.
   517
   Н 731

    Новиков, Петр Сергеевич.
    Элементы математической логики / П. С. Новиков. - 2-е изд., испр. - Москва : Наука, 1973. - 400 с. - (Математическая логика и основания математики). - 1.43 р., 1.43 р.
ГРНТИ
27
УДК
517
Рубрики: Математика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- АКСИОМАТИЧЕСКАЯ АРИФМЕТИКА -- ЭЛЕМЕНТЫ ТЕОРИИ ДОКАЗАТЕЛЬСТВ

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

    Новиков, Петр Сергеевич.
    Конструктивная математическая логика с точки зрения классической / П. С. Новиков. - Москва : Наука, 1977. - 328 с. - (Математическая логика и основания математики). - Библиогр.: с. 318. - 1.43 р., 1.43 р.
ГРНТИ
27
УДК
517
Рубрики: Математика
Кл.слова (ненормированные):
Математическая логика -- Алгебра высказываний -- Исчисление высказываний -- Логика предикатов -- Аксиоматическая арифметика

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

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

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

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

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

    Вольвачев, Раймонд Трофимович.
    Элементы математической логики и теории множеств : учебное пособие для математических специальностей вузов / Р. Т. Вольвачев. - Минск : Издательство "Университетское", 1986. - 112 с. - 00.30 р., 00.30 р.
ГРНТИ
27
УДК
510.6
Рубрики: Математика
Кл.слова (ненормированные):
элементы логики высказываний -- логика предикатов -- логические операции -- теория множеств

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

    Бочаров, Вячеслав Александрович.
    Основы логики : учебник / В. А. Бочаров, В. И. Маркин. - Москва : Космополис, 1994. - 272 с. - (Программа "Обновление гуманитарного образования в России"). - ISBN 5-900360-11-3 : 2500.00 р., 10000.00 р., 2500.00 р.
ГРНТИ
02.21
УДК
16(075.8)
ББК Ю4я73
Рубрики: Логика--Учебники для высших учебных заведений
Кл.слова (ненормированные):
Логика -- логика высказываний -- логика предикатов -- дедукция -- силлогистика -- понятие (логика) -- рассуждения (логика)


Доп.точки доступа:
Маркин, Владимир Ильич
Экземпляры всего: 6
Х (1), АБУ (5)
Свободны: Х (1), АБУ (5)
Найти похожие
9.
   16
   С243

    Светлов, Виктор Александрович.
    Практическая логика : учебник / В. А. Светлов. - Санкт-Петербург : Издательство Русского Христианского гуманитарного института, 1995. - 472 с. - ISBN 5-88812-001-4 : 40.00 р., 40.00 р., 26.00 р., 25000.00 р., 27000.00 р.
02.21
УДК
16(075.8)
ББК Ю4я73
Рубрики: Логика--Учебники для высших учебных заведений
Кл.слова (ненормированные):
Логика высказываний -- суждение -- понятие -- логика предикатов -- умозаключение

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

   
    Логика предикатов : методические указания по изучению курса логики / Пермский государственный университет, Кафедра философии ; сост. В. Х. Зеленкин. - Пермь : [б. и.], 1997. - 63 с. - 0.00 р.
ГРНТИ
02.21
УДК
161/162(07)
ББК Ю433я7
Рубрики: Логика--Методические пособия
Кл.слова (ненормированные):
Логика предикатов


Доп.точки доступа:
Зеленкин, Владимир Харитонович \сост.\; Пермский государственный университет. Кафедра философии
Экземпляры всего: 3
ЧЗГ (1), АБУ (2)
Свободны: ЧЗГ (1), АБУ (2)
Найти похожие
 1-10    11-20   21-30   31-38 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 13.07.2024
Число запросов 7000
Число посетителей 354
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)