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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

Поисковый запрос: (<.>K=математическая логика<.>)

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

1-20 21-40 41-60 61-80 81-95

А
А 552

    Алшаиа, Хайдер Яхья Атоун.
    Метод и алгоритм обработки данных на основе идентификаторов в специализированном вычислительном устройстве [Текст] : автореф. дис. на соиск. ученой степ. канд. технических наук. Спец. 05.13.05 - Элементы и устройства вычислительной техники и систем управления / Х. Я. А. Алшаиа ; науч. рук. В. П. Добрица. - Курск : Юго-западный гос. ун-т, 2021. - 20 с. : рис. - Библиогр.: с. 18-20

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

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

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

519
А 651

    Андерсон, Джеймс.
    Дискретная математика и комбинаторика : Пер. с англ. / Д. А. Андерсон ; пер. : М. М. Белова. - М. ; СПб. ; Киев : Вильямс, 2004. - 957[3] с. : ил., табл. - Библиогр.: с. 850-855. - Предм.-имен. указ.: с. 942-953. - ISBN 5-8459-0498-6 : 607.00 р.

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

Кл.слова (ненормированные):
учебные пособия -- дискретная математика -- комбинаторика -- математическая логика -- теория множеств -- теория графов -- теория алгоритмов -- теория чисел -- теория вероятностей -- алгебра -- теория вычислений
Доп.точки доступа:
Белова, М. М. \пер.\

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

681.3
А 955

   Ахо, Альфред
    Теория синтаксического анализа, перевода и компиляции : в 2 т.: пер. с англ. / А. В. Ахо, Дж. Д. Ульман. - М. : Мир, 1978 - .
   Т. 1 : Синтаксический анализ. - М. : Мир, 1978. - 612 с. : ил. - Библиогр.: с. 575-589. - Б. ц.

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

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

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

519
Б 125

    Бабичева, Ирина Владимировна.
    Дискретная математика. Контролирующие материалы к тестированию [Электронный ресурс] : учебное пособие / И. В. Бабичева ; рец.: А. А. Колоколов, В. А. Далингер. - 2-е изд., испр. - Электрон. текстовые дан. - СПб. : Лань, 2022. - on-line : табл., рис. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 156-157. - ISBN 978-5-8114-1456-7 : Б. ц.

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

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

Доп.точки доступа:
Колоколов, А. А. \рец.\
Далингер, В. А. \рец.\

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

519.1
Б 125

    Бабичева, Ирина Владимировна.
    Дискретная математика. Контролирующие материалы к тестированию [Текст] : учебное пособие / И. В. Бабичева. - 2-е изд., испр. - СПб. ; М. ; Краснодар : Лань, 2013. - 160 с. : рис., табл. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 156-157. - ISBN 978-5-8114-1456-7 : 213.95 р.

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

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

Перейти к внешнему ресурсу http://www.e.lanbook.com
Имеются экземпляры в отделах: , счз1 (1 экз.), аунл (4 экз.)
Свободны: счз1 (1), аунл (4)
Постоянная гиперссылка

51
Б 189

    Байиф, Жан-Клод.
    Логические задачи [Текст] : научное издание / Ж. К. Байиф ; пер. Ю. Н. Сударев ; ред. И. М. Яглом. - М. : Мир, 1983. - 172 с. - Пер. с фр. - Б. ц.

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

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЗАДАЧНИКИ
Доп.точки доступа:
Сударев, Ю. Н. \пер.\
Яглом, Исаак Моисеевич \ред.\

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

621.31
Б 264

    Бартоломей, Петр Иванович.
    Электроэнергетика: информационное обеспечение систем управления [Электронный ресурс] : учебное пособие для вузов / П. И. Бартоломей, В. А. Тащилин ; рец.: А. В. Дружинин, Б. Б. Зобнин, П. М. Ерохин ; Уральский федеральный университет имени первого Президента России Б. Н. Ельцина. - Электрон. текстовые дан. - М. : Юрайт ; Екатеринбург : Издательство Уральского университета, 2020. - on-line : рис., схемы, табл. - (Высшее образование). - Библиогр.: с. 107. - ISBN 978-5-534-10914-6(Изд-во Юрайт). - ISBN 978-5-7996-1912-1(Изд-во Урал. ун-та) : Б. ц.

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

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

Доп.точки доступа:
Тащилин, Валерий Александрович
Дружинин, А. В. \рец.\
Зобнин, Б. Б. \рец.\
Ерохин, П. М. \рец.\
Уральский федеральный университет имени первого Президента России Б. Н. Ельцина

Перейти к внешнему ресурсу https://urait.ru/viewer/elektroenergetika-informacionnoe-obespechenie-sistem-upravleniya-453346#page/1
Постоянная гиперссылка

519.1
Б 823

    Борзунов, Сергей Викторович.
    Задачи по дискретной математике [Текст] : учебное пособие / С. В. Борзунов, С. Д. Кургалин. - СПб. : БХВ-Петербург, 2016. - 520 с. : рис., табл. - (Учебная литература для вузов). - Библиогр.: с. 499-509. - Указ. имен: с. 510. - Предм. указ.: с. 511-520. - ISBN 978-5-9775-3672-1 : 1062.00 р.

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

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

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

512
В 240


    Введение в алгебру и математический анализ [Электронный ресурс] : учебное пособие для вузов / Е. А. Павлов [и др.]. - Электрон. текстовые дан. - СПб. : Лань, 2023. - on-line : табл., рис. - (Высшее образование). - Библиогр.: с. 64. - ISBN 978-5-507-44894-4 : Б. ц.

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

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

Доп.точки доступа:
Павлов, Евгений Александрович
Рудницкий, Олег Иванович
Фурменко, Александр Иванович
Шамилев, Тимур Мидатович

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

10.

512
В 670

    Волгин, Леонид Иванович.
    Алгебраические логики: элементы теории, взаимоотношения, реляторная схемотехника : научное издание / Л. И. Волгин ; Федеральное агентство по образованию, Ульяновский государственный технический университет (Ульяновск), Тольятинская государственная академия сервиса. - Ульяновск : УлГТУ, 2005. - 250 с. - Библиогр.: с. 249-256. - ISBN 5-89146-558-2 : 78.00 р.

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

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

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

11.

51
В 710

    Вольвачев, Раймонд Трофимович.
    Элементы математической логики и теории множеств : Учебное пособие для вузов / Р. Т. Вольвачев. - Минск : Университетское, 1986. - 108[4] с. : ил. - Библиогр.: с. 110. - Б. ц.

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

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

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

12.

681.3
В949

    Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - .
   Вып. 122 : Прикладные аспекты математической логики : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1987. - 166[2] с. : ил. - Библиогр. в конце ст. - (в пер.) : Б. ц.

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

Кл.слова (ненормированные):
вычислительные системы -- логическое программирование -- базы данных -- математическая логика
Доп.точки доступа:
Косарев Ю. Г. \ред.\
Ершов, Ю. Л. \ред.\
Гончаров, С. С. \ред.\
Академия наук СССР. Сибирское отделение
Институт математики

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

13.

681.3
В949

    Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - .
   Вып. 129 : Теория алгоритмов и ее приложения : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1989. - 198[4] с. : ил. - Библиогр. в конце ст. - (в пер.) : Б. ц.

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

Кл.слова (ненормированные):
вычислительные системы -- теория алгоритмов -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- нумерации -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- прикладная логика
Доп.точки доступа:
Косарев Ю. Г. \ред.\
Ершов, Ю. Л. \ред.\
Гончаров, С. С. \ред.\
Академия наук СССР. Сибирское отделение
Институт математики

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

14.

004
Г 127

    Гагарина, Лариса Геннадьевна.
    Алгоритмы и структуры данных [Текст] : учебное пособие для вузов / Л. Г. Гагарина, В. Д. Колдаев. - М. : Финансы и статистика, 2009. - 304 с. : ил. - Библиогр.: с. 267. - ISBN 978-5-279-03351-5 : 362.23 р.

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

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

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

15.

510
Г 134

    Гаек, Петр.
    Автоматическое образование гипотез. Математические основы общей теории [Текст] : научное издание / П. Гаек, Т. Гавранек ; ред. Д. А. Поспелов. - М. : Наука, 1984. - 280 с. - (Проблемы искусственного интеллекта). - Пер. с англ. - Б. ц.

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

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа:
Гавранек, Томаш
Поспелов, Д. А. \ред.\

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

16.

519
Г 168

    Галушкина, Юлия Ивановна.
    Конспект лекций по дискретной математике. С упражнениями и контрольными работами : / Ю. И. Галушкина, А. Н. Марьямов. - М. : Айрис-Пресс, 2007. - 173[3] с. : ил. - (Высшее образование). - Библиогр.: с. 174. - ISBN 978-5-8112-2599-6 : 127.00 р.

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

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

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

17.

519
Г 168

    Галушкина, Юлия Ивановна.
    Конспект лекций по дискретной математике. С упражнениями и контрольными работами [Текст] : курс лекций / Ю. И. Галушкина, А. Н. Марьямов. - 2-е изд. - М. : Айрис-Пресс, 2008. - 176 с. : ил. - (Высшее образование). - Библиогр.: с. 174. - ISBN 978-5-8112-3322-9 : 132.00 р.

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

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

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

18.

510
Г 474

    Гильберт, Давид.
    Основания математики. Логические исчисления и формализация арифметики [Текст] : научное издание / Д. Гильберт, П. Бернаис ; ред. С. И. Адян. - 2-е изд. - М. : Наука, 1982. - 556 с. - (Математическая логика и основания математики). - Пер. с нем. - Б. ц.

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

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ФУНДАМЕНТАЛЬНАЯ МАТЕМАТИКА
Доп.точки доступа:
Бернаис, Пауль
Адян, С. И. \ред.\

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

19.

51
Г 474

    Гильберт, Давид.
    Основания математики. Теория доказательств [Текст] : научное издание / Д. Гильберт, П. Бернаис ; ред. С. И. Адян. - 2-е изд. - М. : Наука, 1982. - 656 с. - (Математическая логика и основания математики). - Пер. с нем. - Б. ц.

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

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ФУНДАМЕНТАЛЬНАЯ МАТЕМАТИКА
Доп.точки доступа:
Бернаис, Пауль
Адян, С. И. \ред.\

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

20.

517
Г 671

    Горбатов, Вячеслав Афанасьевич.
    Основы дискретной математики : учебное пособие для вузов / В. А. Горбатов. - М. : Высшая школа, 1986. - 310[2] с. : ил. - Библиогр.: с. 304-305. - Предм. указ.: с. 306-309. - 01.00 р.

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

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

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

1-20 21-40 41-60 61-80 81-95

Статистика за 04.07.2024
Число запросов	15898
Число заказов	0

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