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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

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

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

510
Г 554

    Глухов, Михаил Михайлович.
    Математическая логика. Дискретные функции. Теория алгоритмов [Электронный ресурс] : учебное пособие / М. М. Глухов, А. Б. Шишков ; рец.: В. Б. Алексеев, В. П. Зязин. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line : табл. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 398-401. - ISBN 978-5-8114-1344-7 : Б. ц.

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

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

Доп.точки доступа:
Шишков, Алексей Борисович
Алексеев, В. Б. \рец.\
Зязин, В. П. \рец.\

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

519
Е 793

    Ерусалимский, Яков Михайлович.
    Дискретная математика. Теория и практикум [Электронный ресурс] : учебник / Я. М. Ерусалимский ; ред. С. В. Макаров ; рец.: О. П. Кузнецов, Т. М. Леденева. - Электрон. текстовые дан. - СПб. : Лань, 2018. - on-line : ил., рис., схемы. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 457-469. - Библиогр.: с. 470-472. - ISBN 978-5-8114-2908-0 : Б. ц.

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

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

Доп.точки доступа:
Макаров, С. В. \ред.\
Кузнецов, О. П. \рец.\
Леденева, Т. М. \рец.\

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

004
Г 474

    Гильмутдинов, Владимир Исламович.
    Информатика [Текст] : учебное пособие для самостоятельной работы студентов всех специальностей / В. И. Гильмутдинов, А. Д. Кононов, А. А. Кононов ; Федеральное агентство по образованию, Государственное образовательное учреждение высшего профессионального образования, Воронежский государственный архитектурно-строительный университет. - Воронеж : Воронежский государственный архитектурно-строительный университет, 2010. - 54 с. : рис. - Библиогр.: с. 53. - ISBN 978-5-89040-270-7 : 184.47 р.

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

Кл.слова (ненормированные):
СИСТЕМЫ СЧИСЛЕНИЯ -- ФОРМАТЫ ДАННЫХ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- АРИФМЕТИЧЕСКИЕ УСТРОЙСТВА -- ЛОГИЧЕСКИЕ УСТРОЙСТВА -- МАССИВЫ -- ОБРАБОТКА ИНФОРМАЦИИ -- УЧЕБНЫЕ ПОСОБИЯ
Доп.точки доступа:
Кононов, Александр Давыдович
Кононов, Андрей Александрович
Федеральное агентство по образованию
Государственное образовательное учреждение высшего профессионального образования
Воронежский государственный архитектурно-строительный университет (Воронеж)

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

62-5
К 280

    Касаткин, Валентин Николаевич.
    Азбука кибернетики [Текст] : / В. Н. Касаткин. - М. : Молодая гвардия, 1968. - 160 с. : ил. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
007
~РУБ 62-5

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

Свободных экз. нет
Постоянная гиперссылка

51
И 269

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин. - 4-е изд., стереотип. - М. : Академия, 2010. - 448 с. : ил., табл. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 978-5-7695-7045-2 : 400.00 р., 408.00 р.

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

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

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

004
В 166

   Вальциферов, Юрий Викторович
    Информатика : учебное пособие / Ю. В. Вальциферов, В. П. Дронов ; Международный консорциум "Электронный университет", Московский государственный университет экономики, статистики и информатики, Евразийский открытый институт. - М. : [б. и.], 2005 - .
   Ч. 1 : Арифметические и логические основы ЭВМ. - М. : Московский государственный университет экономики, статистики и информатики, 2005. - 252 с. : ил. - Библиогр.: с. 250-251. - ISBN 5-7764-0543-2 : 94.92 р.

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

Кл.слова (ненормированные):
СИСТЕМЫ СЧИСЛЕНИЯ -- КОДИРОВАНИЕ ИНФОРМАЦИИ -- АРИФМЕТИЧЕСКИЕ ОПЕРАЦИИ -- ЛОГИКА -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ТАБЛИЦЫ ИСТИННОСТИ -- ТЕОРИЯ ПРЕДИКАТОВ -- УЧЕБНЫЕ ПОСОБИЯ
Доп.точки доступа:
Дронов, Виктор Петрович
Международный консорциум "Электронный университет"
Московский государственный университет экономики, статистики и информатики
Евразийский открытый институт

Имеются экземпляры в отделах: , аунл (7 экз.), Юридическое отделение Института инноватики ТУСУР (10)
Свободны: аунл (7), Юридическое отделение Института инноватики ТУСУР (10)
Постоянная гиперссылка

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

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