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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

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

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

51
И 269

    Игошин, Владимир Иванович.
    Сборник задач по математической логике и теории алгоритмов [Текст] : учебное пособие / В. И. Игошин ; рец. В. Н. Салий. - 4-е изд., стереотип. - М. : КУРС ; М. : ИНФРА-М, 2019. - 392 с. : рис., табл. - (Бакалавриат). - ISBN 978-5-906818-08-9 (КУРС). - ISBN 978-5-16-011429-3 (ИНФРА-М, print). - ISBN 978-5-16-103684-6 (ИНФРА-М, online) : 1405.00 р.

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

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

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

519
С 440

    Скоба, Андрей Николаевич.
    Дискретная математика [Электронный ресурс] : учебное пособие / А. Н. Скоба, М. Л. Логанчук, Г. И. Саенко ; рец.: Д. В. Гринченков, П. В. Иванов ; Министерство науки и высшего образования РФ, Южно-Российский государственный политехнический университет имени М. И. Платова (Новочеркасск). - Электрон. текстовые дан. - Новочеркасск : ЮРГПУ (НПИ), 2022. - on-line : табл., рис. - Библиогр.: с. 94-95. - ISBN 978-5-9997-0804-5 : Б. ц.

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

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

Доп.точки доступа:
Логанчук, Мария Леонидовна
Саенко, Геннадий Иванович
Гринченков, Д. В. \рец.\
Иванов, П. В. \рец.\
Министерство науки и высшего образования РФ
Южно-Российский государственный политехнический университет имени М. И. Платова (Новочеркасск)

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

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
Постоянная гиперссылка

510
Ж 911

    Журавлев, Юрий Иванович.
    Дискретный анализ. Формальные системы и алгоритмы [Электронный ресурс] : учебное пособие для вузов / Ю. И. Журавлев, Ю. А. Флеров, М. Н. Вялый ; рец. В. К. Леонтьев. - 2-е изд., испр. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., табл. - (Высшее образование). - Библиогр.: с. 310-311. - Предм. указ.: с. 312-316. - ISBN 978-5-534-06279-3 : Б. ц.

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

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

Доп.точки доступа:
Флеров, Юрий Арсениевич
Вялый, Михаил Николаевич
Леонтьев, В. К. \рец.\

Перейти к внешнему ресурсу https://urait.ru/viewer/diskretnyy-analiz-formalnye-sistemy-i-algoritmy-452194#page/1
Постоянная гиперссылка

512
В 573

    Владимиров, Денис Артемьевич.
    Булевы алгебры [Текст] : научное издание / Д. А. Владимиров. - М. : Наука, 1969. - 318 с. : ил. - Библиогр.: с. 308-313. - Предм. указ.: с. 314-316. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
512.563
~РУБ 512

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

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

51
И 269

    Игошин, Владимир Иванович.
    Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учебное пособие для вузов / В. И. Игошин. - 4-е изд., стереотип. - М. : Академия, 2008. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301. - ISBN 978-5-7695-5272-4 : 304.00 р.

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

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

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

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)
Постоянная гиперссылка

51
Ш 241

    Шапорев, Сергей Дмитриевич.
    Математическая логика. Курс лекций и практических занятий : Учебное пособие для вузов / С. Д. Шапорев. - СПб. : БХВ-Петербург, 2005. - 410 с. : ил. - Библиогр.: с. 405. - Предм. указ.: с. 406-410. - ISBN 5-94157-702-8 : 101.15 р.

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

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

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

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

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