Электронный каталог

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

Рубрики: Основания математики. Математическая логика

Кл.слова (ненормированные):
математическая логика -- теория алгоритмов
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ

Доп.точки доступа:
Палютин, Е.А.

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

22.12
И 26
Игошин, В. И.
    Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для студ. вузов / В. И. Игошин. - 4-е изд., стер. - М. : Академия, 2008. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 9785769552724 : 1830.00 тг. - Текст : непосредственный.
ББК 22.12

Рубрики: Основания математики. Математическая логика

Кл.слова (ненормированные):
Алгебра высказываний -- Формулы алгебры -- Булевы функций -- Логика предикатов -- математическая логика -- теория алгоритмов -- задачи -- упражнения
Аннотация: Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов.
Держатели документа:
ЗКГУ
Экземпляры всего: 16
чз2 (5), ау (11)
Свободны: чз2 (5), ау (9)