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

Главная

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

Описание

Базы данных

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

Вид поиска

Книги

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

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

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

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

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

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

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

   22.1
   Е 80

    Ершов, Юрий Леонидович.
    Математическая логика [Текст] : учеб. пособие для мат. спец. вузов / Ю. Л. Ершов, Е. А. Палютин. - 2- изд., испр. и доп. - М. : Наука, 1987. - 336 с. - 0.40 р.

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

Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 7
Аб.2 (2), Ч.з.1 (5)
Свободны: Аб.2 (2), Ч.з.1 (5)
Найти похожие

   22.1
   И 26

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

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

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

22.1
Е 80

Ершов, Андрей Петрович.
Введение в теоретическое программирование. Беседы о методе [Текст] : учеб. пособие для студ. вузов, обучающихся по спец. "Прикладная математика" / А. П. Ершов. - М. : Наука, 1977. - 288 с. - 0.80 р.

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

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

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

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