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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

Поисковый запрос: (<.>K=МАТЕМАТИЧЕСКАЯ ЛОГИКА<.>)

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

1-10 11-20 21-30 31-40 41-50 51-60

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

2.

А
Т 187

    Таныгин, Максим Олегович.
    Методы, модели и вычислительные устройства обработки атрибутивных данных ограниченного размера [Текст] : автореферат диссертации на соискание ученой степени доктора технических наук. Спец. 05.13.05 - Элементы и устройства вычислительной техники и систем управления / М. О. Таныгин ; науч. конс. С. Г. Емельянов. - Курск, 2022. - 39 с. : граф., рис., схемы, табл. - Библиогр.: с. 34-39

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

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

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

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

4.

519
М 215

    Мальцев, Иван Анатольевич.
    Дискретная математика [Электронный ресурс] : учебное пособие / И. А. Мальцев. - 2-е изд., испр. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line : рис., табл. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 278-279. - Предм. указ.: с. 280-287. - ISBN 978-5-8114-1010-1 : Б. ц.

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

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

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

5.

А
А 552

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

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

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

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

6.

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

7.

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

8.

510
С 280

    Северцев, Николай Алексеевич.
    Введение в безопасность [Электронный ресурс] : учебное пособие для вузов / Н. А. Северцев, А. В. Бецков ; рец.: А. И. Дивеев, И. В. Переездчиков. - 2-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2021. - on-line : табл. - (Высшее образование). - Библиогр.: с. 172-176. - ISBN 978-5-534-05710-2 : Б. ц.

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

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

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

Перейти к внешнему ресурсу https://urait.ru/viewer/vvedenie-v-bezopasnost-468288#page/1
Постоянная гиперссылка

9.

51
М 340

    Математическая энциклопедия / ред. И. М. Виноградов. - М. : Советская энциклопедия, 1977 - . - (Энциклопедии. Словари. Справочники).
   Т. 3 : Коо-Од / ред.: В. И. Битюцков [и др.]. - 1982. - 1184 столбца : ил. - 15.83 р.

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

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

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

10.

519
М 744


    Моделирование систем и процессов [Электронный ресурс] : учебник для вузов / В. Н. Волкова [и др.] ; Отв. ред.: В. Н. Волкова, В. Н. Козлов ; рец.: М. Б. Игнатьев, И. Б. Арефьев, А. А. Емельянов. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., табл. - (Высшее образование). - Библиогр.: с. 387-388. - Предм. указ.: с. 441-444. - Имен. указ.: с. 445-449. - ISBN 978-5-9916-7322-8 : Б. ц.

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

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

Доп.точки доступа:
Волкова, Виолетта Николаевна
Горелова, Галина Викторовна
Козлов, Владимир Николаевич
Лыпарь, Юрий Иванович
Паклин, Николай Борисович
Волкова, Виолетта Николаевна \отв. ред.\
Козлов, Владимир Николаевич \отв. ред.\
Игнатьев, М. Б. \рец.\
Арефьев, И. Б. \рец.\
Емельянов, А. А. \рец.\

Перейти к внешнему ресурсу https://urait.ru/viewer/modelirovanie-sistem-i-processov-450218#page/1
Постоянная гиперссылка

1-10 11-20 21-30 31-40 41-50 51-60

Стандартный

Расширенный

По словарю

Статистика за 14.06.2024
Число запросов	22797
Число заказов	0

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