Библиотека БГПУ

Главная

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

Описание

Базы данных

Книги- результаты поиска

Вид поиска

Книги

Периодические издания

Выпускные квалификационные работы

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

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

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

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

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

   22.12
   И 26

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

ББК 22.12я73
Рубрики: Высшая математика
Кл.слова (ненормированные):
математическая логика -- алгоритмы -- теория алгоритмов -- алгебра -- булевы функции -- формализованные исчесления -- предикаты -- логика предикатов -- аксиоматический метод -- информатика -- компьютеры -- искусственный интеллект -- учебное пособие для вузов

Экземпляры всего: 84
Ч.з.1 (5), Аб.2 (59), Аб.3 (20)
Свободны: Ч.з.1 (5), Аб.2 (59), Аб.3 (20)
Найти похожие

87.4
З-47

Зегет, В.
Элементарная логика [Текст] / В. Зегет; пер. И. М. Морозовой; под ред. Е.Б. Кузиной. - М. : Высш. шк., 1985. - 255, [1] с. - 0.90 р.

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

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

   22.1
   И 26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие для физ.-мат. спец. пед. ин-тов / В. И. Игошин. - Саратов : Изд-во Сарат. ун-та, 1991. - 255, [1] с. - Библиогр.: с. 250-252. - ISBN 5-292-00259-3 : 3.00 р.

ББК 22.122я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
учебное пособие для вузов -- алгебра высказываний -- булевы функции -- логика предикатов -- аксиоматические теории -- теория алгоритмов

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

   87.4
   Б 86

    Бочаров, Вячеслав Александрович.
    Основы логики [Текст] : учеб. для студ. вузов / В. А. Бочаров, В. И. Маркин ; МГУ им. М.В. Ломоносова. - М. : ИД "Форум" : ИНФРА-М, 2008. - 333 с. - (Классический университетский учебник : осн. в 2002 г.). - ISBN 978-5-8199-0169-4 : 134.90 р.

ББК 87.4я73-1
Рубрики: Логика
Кл.слова (ненормированные):
логика высказываний -- логика предикатов -- доказательства -- силлогистика -- понятия -- определения -- индукция -- дедукция -- рассуждения -- учебник для вузов

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

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

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