Научная Библиотека Пермского Государственного Университета

Главная

Упрощенный режим

Базы данных

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

Вид поиска

Основная библиотечная БД

Труды учёных ПГНИУ

Диссертации

Журналы

Рациональное природопользование

Иностранная периодика

Дореволюционная периодика

Библиотека юридичеcкого факультета (статьи)

Туризм

История Пермского университета

Продолжающиеся издания

Музейный книжный фонд

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

в найденном

Найдено в других БД:

Труды учёных ПГНИУ (2)

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

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

Поисковый запрос: (<.>K=логика предикатов<.>)

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

1-20 21-38

   16
   Б 865

    Бочаров, Вячеслав Александрович.
    Основы логики : учебник для студентов вузов, обучающихся по гуманитарным и естественнонаучным специальностям / В. А. Бочаров, В. И. Маркин. - Москва : ФОРУМ : ИНФРА-М, 2005. - 336 с. - (Классический университетский учебник). - ISBN 5-8199-0169-X. - ISBN 5-16-002293-7 : 82.50 р., 82.50 р.

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

ББК Ю4я73
Рубрики: Логика--Учебники для высших учебных заведений
Кл.слова (ненормированные):
Логика -- Логика предикатов -- Силлогистика -- Логика высказываний -- Рассуждения -- Дедукция -- Доказательства (логика) -- Понятие (логика)

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

   517
   Г 977

    Гуц, Александр Константинович.
    Математическая логика и теория алгоритмов : Учеб. пособие / Омский гос. ун-т. - Омск : Наследие: Диалог-Сибирь, 2003. - 108 с. - Библиогр.: с. 105-107. - ISBN 5-8239-0126-7 : 50.00 р.

27.03.19	27.03.17
УДК	510.6	510.51](075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Алгоритмы--Теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- Логика высказываний -- Логика предикатов -- Алгоритмы

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

   16
   Б 865

    Бочаров, Вячеслав Александрович.
    Основы логики : учебник для вузов / В. А. Бочаров, В. И. Маркин. - Москва : ИНФРА-М, 2000. - 296с. - (Высшее образование). - ISBN 5-86225-595-8 : 33.00 р.

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

ББК Ю4я73
Рубрики: Логика--Учебники для высших учебных заведений
Кл.слова (ненормированные):
Силлогистика -- Логика предикатов

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

   16
   Б 865

    Бочаров, Вячеслав Александрович.
    Основы логики : учебник для вузов / В. А. Бочаров, В. И. Маркин. - Москва : ИНФРА-М, 2001. - 296 с. - (Высшее образование). - ISBN 5-16-000496-3 : 50.00 р., 55.00 р.

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

ББК Ю4я73
Рубрики: Логика--Учебники для высших учебных заведений
Кл.слова (ненормированные):
Логика предикатов -- Силлогистика

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

   517
   Л 656

    Лихтарников, Леонид Моисеевич.
    Математическая логика : Курс лекций. Задачник-практикум и решения: Учеб. пособие / Л. М. Лихтарников, Т. Г. Сукачева. - СПб. : Лань, 1999. - 288 с. - (Учебники для вузов). - Библиогр.: с. 282. - ISBN 5-8114-0082-9 : 60.00 р.

ГРНТИ	27.03.19
УДК	510.6(075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- Исчисление высказываний -- Логика предикатов -- Алгоритмы -- Практикумы -- Сборники задач

Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

   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)
Найти похожие

16
Ш 96

Шуман, Андрей Николаевич.
Современная логика: теория и практика / А. Н. Шуман. - Минск : Экономпресс, 2004. - 416 с. - Библиогр.: с. 339-389. - ISBN 985-6479-35-5 : 247.50130.60, 247.50 р.

УДК

ББК Ю4
РУБ 16
Рубрики: Логика
Кл.слова (ненормированные):
Логика -- Логика высказываний -- Логика предикатов -- Алгебра логики -- Множеств теория -- Алгебраические системы -- Вероятностная логика -- Неформальная логика

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

   16
   Н 512

    Ненашев, Михаил Иванович.
    Введение в логику : учебное пособие по философии для студентов социально-гуманитарных и экономических специальностей и направлений подготовки / М. И. Ненашев. - Москва : Гардарики, 2004. - 352 с. - (disciplinae). - Библиогр.: с. 352. - ISBN 5-8297-0173-1 : 66.90 р., 62.80 р., 66.90 р.

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

ББК Ю4я73
Рубрики: Логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
ЛОГИКА ВЫСКАЗЫВАНИЙ -- ПОНЯТИЕС -- СУЖДЕНИЕ -- УМОЗАКЛЮЧЕНИЯ ДЕДУКТИВНЫЕ -- ДОКАЗАТЕЛЬСТВО (ЛОГИКА) -- ОПРОВЕРЖЕНИЕ (ЛОГИКА) -- ЛОГИКА ПРЕДИКАТОВ -- НЕКЛАССИЧЕСКИЕ ЛОГИКИ

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

   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)
Найти похожие

11.

   517
   З-981

    Зюзьков, В. М.
    Математическая логика и теория алгоритмов : учебное пособие / В. М. Зюзьков, А. А. Шелупанов ; Томский государственный университет систем управления радиоэлектроники (ТУСУР). - Томск : Томский межвузовский центр дистанционного образования, 2001. - 154 с. - 105.60 р., 105.60 р.

27.03.19	27.03.17
УДК	510.6	510.51](075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Алгоритмы--Теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Множеств теория -- Логика высказываний -- Булевы алгебры -- Логика предикатов

Доп.точки доступа:
Шелупанов, А. А.; Томский государственный университет систем управления радиоэлектроники (ТУСУР)
Экземпляры всего: 10
Х (1), ЧЗЕ (1), АБУ (8)
Свободны: Х (1), ЧЗЕ (1), АБУ (8)
Найти похожие

12.

   517
   И 269

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - Москва : Академия, 2004. - 448 с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 5-7695-1363-2 : 201.40 р., 201.40 р.

27.03.19	27.03.17
УДК	510.6	510.51](075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Алгоритмы--Теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМОВ ТЕОРИЯ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ

Экземпляры всего: 20
Х (1), ЧЗЕ (1), АБУ (18)
Свободны: Х (1), ЧЗЕ (1), АБУ (18)
Найти похожие

13.

   517
   И 269

    Игошин, Владимир Иванович.
    Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов / В. И. Игошин. - 3-е изд., стер. - Москва : Академия, 2007. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301. - ISBN 5-7695-3728-0 : 193.10 р., 193.10 р.

27.03
УДК	510.6	510.51](076.1)

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

Экземпляры всего: 30
Х (1), ЧЗЕ (1), АБУ (28)
Свободны: Х (1), ЧЗЕ (1), АБУ (28)
Найти похожие

14.

   16
   Б 865

    Бочаров, Вячеслав Александрович.
    Основы логики : учебник для студентов высших учебных заведений, обучающихся по гуманитарным и естественнонаучным специальностям / В. А. Бочаров, В. И. Маркин. - Москва : ФОРУМ : ИНФРА-М, 2008. - 333 с. - (Классический университетский учебник / редсовет: В.А. Садовничий). - Предм. указ.: с. 325-333. - ISBN 978-5-8199-0169-4. - ISBN 978-5-16-002293-2 : 97.90 р., 200.00 р.

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

ББК Ю4я73
Рубрики: Логика--Учебники для высших учебных заведений
Кл.слова (ненормированные):
ЛОГИКА ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- ДЕДУКЦИЯ -- СИЛЛОГИСТИКА -- ПОНЯТИЕ (ЛОГИКА) -- ОПРЕДЕЛЕНИЯ (ЛОГИКА) -- ПРАВДОПОДОБНЫЕ РАССУЖДЕНИЯ -- ИНДУКЦИЯ ОБОБЩАЮЩАЯ -- АНАЛОГИЯ

Доп.точки доступа:
Маркин, Владимир Ильич
Экземпляры всего: 30
БЮФ (2), АБУ (28)
Свободны: БЮФ (2), АБУ (28)
Найти похожие

15.

   517
   Л 656

    Лихтарников, Леонид Моисеевич.
    Математическая логика : курс лекций: задачник-практикум и решения: учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 3-е изд., испр. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2008. - 276 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273 (12 назв.). - ISBN 978-5-8114-0082-9 : 255.80 р., 255.80 р.

ГРНТИ	27.03.19
УДК	510.6(075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- Исчисление высказываний -- Логика предикатов -- Алгоритмы

Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Экземпляры всего: 3
Х (1), ЧЗЕ (1), АБУ (1)
Свободны: Х (1), ЧЗЕ (1), АБУ (1)
Найти похожие

16.

   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)
Найти похожие

17.

   517
   С 892

    Судоплатов, Сергей Владимирович.
    Математическая логика и теория алгоритмов : учебник для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова ; Министерство образования РФ, Новосибирский государственный технический университет. - Москва : Инфра-М ; Новосибирск : НГТУ, 2008. - 224 с. : рис. - (Высшее образование). - Библиогр.: с. 212-214. - ISBN 978-5-16-001975-8. - ISBN 978-5-7782-0458-4 : 118.80 р., 118.80 р., 100.00 р., 100 р.

ГРНТИ	27.03.19	27.03.17
УДК	510.6	510.51](075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Алгоритмы--Теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МОДЕЛЕЙ ТЕОРИЯ -- АЛГОРИТМОВ ТЕОРИЯ -- НЕКЛАССИЧЕСКИЕ ЛОГИКИ -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ

Доп.точки доступа:
Овчинникова, Елена Викторовна; Министерство образования РФНовосибирский государственный технический университет
Экземпляры всего: 18
Х (1), АБУ (16), ЧЗЕ (1)
Свободны: Х (1), АБУ (16), ЧЗЕ (1)
Найти похожие

18.

   519
   А 603

    Аляев, Юрий Александрович.
    Дискретная математика и математическая логика : учебник для студентов вузов / Ю. А. Аляев, С. Ф. Тюрин. - Москва : Финансы и статистика, 2006. - 366 с. : ил. - Библиогр.: с. 355-357. - ISBN 5-279-03045-7 : 116.80 р., 116.80 р.

ГРНТИ	27.01.33
УДК	519.1	510.6](075.8)

Рубрики: Математика--Учебники для высших учебных заведений
Кл.слова (ненормированные):
ДИСКРЕТНАЯ МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- КОМБИНАТОРИКА -- ГРАФОВ ТЕОРИЯ (МАТЕМАТИКА) -- БУЛЕВЫ АЛГЕБРЫ -- КОДИРОВАНИЯ ТЕОРИЯ -- АЛГОРИТМЫ -- УМОЗАКЛЮЧЕНИЕ -- ЛОГИКА ПРЕДИКАТОВ -- ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ (МАТЕМАТИКА)

Доп.точки доступа:
Тюрин, Сергей Феофентович
Экземпляры всего: 33
Х (1), ЧЗЕ (1), АБУ (31)
Свободны: Х (1), ЧЗЕ (1), АБУ (31)
Найти похожие

19.

   16
   П 580

    Попов, Юрий Петрович.
    Логика : учебное пособие для студентов вузов, обучающихся по направлению подготовки 520400 (030100)-философия и специальности 020100 (030101)-философия / Ю. П. Попов. - 3-е изд., перераб. и доп. - Москва : КНОРУС, 2009. - 304 с. - Библиогр.: с. 295. - ISBN 978-5-390-00251-3 : 150 р.
    Содержание:
Традиционная логика
Символическая логика
Основные законы логики
Важнейшие направления в развитии логики и нерешенные проблемы

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

ББК Ю4я73
Рубрики: Логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
СУЖДЕНИЕ (ЛОГИКА) -- УМОЗАКЛЮЧЕНИЕ (ЛОГИКА) -- ДОКАЗАТЕЛЬСТВО (ЛОГИКА) -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ

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

20.

   517
   Г 858

    Гринченков, Дмитрий Валерьевич.
    Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий. - Москва : КНОРУС, 2010. - 206, [2] с. : ил. - Библиогр.: с. 205-206. - ISBN 978-5-406-00120-2 : 140.00 р., 112.20 р.

ГРНТИ	27.03.19	27.03.17
УДК	510.6	510.51](075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
БУЛЕВА АЛГЕБРА -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- АЛГОРИТМОВ ТЕОРИЯ -- БУЛЕВЫ ФУНКЦИИ -- КВАЙНА-МАК КЛАСКИ МЕТОД -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМ РЕДУКЦИИ -- ПРОЛОГ (ЯЗЫК ПРОГРАММИРОВАНИЯ)

Доп.точки доступа:
Потоцкий, Сергей Иванович
Экземпляры всего: 11
Х (1), ЧЗЕ (1), АБУ (9)
Свободны: Х (1), ЧЗЕ (1), АБУ (9)
Найти похожие

1-20 21-38

Тематический навигатор

Статистика обращений

Статистика за 29.06.2024
Число запросов	35306
Число посетителей	563
Число заказов	0

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