Фундаментальная библиотека ФГБОУ ВО СПХФУ Минздрава России

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A

Главная

ИРБИС64+

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

Описание

Базы данных

ЭБС IPRBooks- результаты поиска

Вид поиска

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

Картотека журнальных статей

Систематический имидж-каталог

Авторефераты диссертаций

Учебники и учебно-методические пособия СПХФУ

ЭБС IPRBooks

ЭБС Консультант студента

ЭБС Юрайт

Диссертации, защищенные в СПХФУ

Журнальный фонд СПХФУ

Библиотечный фонд техникума

ВКР

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

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

Поисковый запрос: (<.>K=пропозициональная логика<.>)

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

IPRBooks-72122

72122

Зюзьков, В. М.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Зюзьков В. М. - Томск : Томский государственный университет систем управления и радиоэлектроники, Эль Контент, 2015. - 236 с. - ISBN 978-5-4332-0197-2 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510

ББК 22.1

Кл.слова (ненормированные):
аксиоматический метод -- алгоритм -- вычислимая функция -- математическая логика -- множество -- пропозициональная логика
Аннотация: Учебное пособие содержит теоретический материал, изучение которого предусмотрено программой курса «Математическая логика и теория алгоритмов» направлений подготовки бакалавров «Информатика и вычислительная техника» и «Управление в технических системах».

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

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

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

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

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