Библиотека ТУСУРа

Базы данных

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

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

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

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

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

Поисковый запрос: (<.>K=БУЛЕВЫ АЛГЕБРЫ<.>)

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

510
З-153


    Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов [Электронный ресурс] : учебное пособие / М. М. Глухов [и др.]. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 109-110. - ISBN 978-5-8114-0853-5 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
~РУБ 510

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- БУЛЕВЫ АЛГЕБРЫ -- ПРЕДИКАТЫ -- ОТНОШЕНИЯ -- МИНИМИЗАЦИЯ -- ДИСКРЕТНАЯ МАТЕМАТИКА -- ИСЧИСЛЕНИЕ

Доп.точки доступа:
Глухов, Михаил Михайлович
Козлитин, Олег Алексеевич
Шапошников, Виталий Анатольевич
Шишков, Алексей Борисович

Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/167678/#1
Постоянная гиперссылка

51
З-981

    Зюзьков, Валентин Михайлович.
    Введение в математическую логику [Электронный ресурс] : учебное пособие / В. М. Зюзьков ; ред. С. В. Макаров ; рец. П. А. Крылов. - 2-е изд., испр. - Электрон. текстовые дан. - СПб. : Лань, 2018. - on-line : рис., табл., фот. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 256-260. - Предм. указ.: с. 261-265. - ISBN 978-5-8114-3053-6 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
~РУБ 51

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- БУЛЕВЫ АЛГЕБРЫ -- ВЫЧИСЛИМОСТЬ -- СОФИЗМЫ -- ПАРАДОКСЫ -- ТЕОРИЯ МНОЖЕСТВ -- ТАВТОЛОГИИ -- РАВНОСИЛЬНОСТИ -- ТЕОРЕМЫ ГЁДЕЛЯ -- ЛАМБДА-ИСЧИСЛЕНИЕ -- ИНДУКЦИЯ

Доп.точки доступа:
Макаров, С. В. \ред.\
Крылов, П. А. \рец.\

Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/107935/#1
Постоянная гиперссылка

51
Ш447

    Шелупанов, Александр Александрович.
    Математическая логика и теория алгоритмов : Учебное пособие / А. А. Шелупанов, В. М. Зюзьков. - Томск : STT, 2001. - 176 с. : фото. - Библиогр.: с. 173-174. - ISBN 5-93629-031-X : 44.00 р., 44.00 р., 55.00 р., 15.83 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
510.51(075.8)
~РУБ 51

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

Имеются экземпляры в отделах: , аунл (24 экз.), счз1 (2 экз.)
Свободны: аунл (23), счз1 (2)
Постоянная гиперссылка

Статистика за 18.06.2024
Число запросов	33801
Число заказов	0

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