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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

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

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

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

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

А
Т 187

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

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

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

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

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

А
А 552

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

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

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

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

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

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

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

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

11.

51
П 121

    Павлов, Евгений Александрович.
    История отечественной математики [Электронный ресурс] : учебное пособие / Е. А. Павлов ; ред. С. В. Макаров. - 2-е изд., испр. - Электрон. текстовые дан. - СПб. : Лань, 2020. - on-line : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 85-88. - ISBN 978-5-8114-4664-3 : Б. ц.

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

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

Доп.точки доступа:
Макаров, С. В. \ред.\

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

12.

519
М 333

    Матвеев, Александр Иванович.
    Математические методы системного анализа [Электронный ресурс] : учебное пособие / А. И. Матвеев ; рец. Г. В. Куповых ; ред. Т. С. Спирина. - Электрон. текстовые дан. - СПб. : Лань, 2020. - on-line : рис., табл. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 126. - ISBN 978-5-8114-4857-9 : Б. ц.

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

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

Доп.точки доступа:
Куповых, Г. В. \рец.\
Спирина, Т. С. \ред.\

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

13.

51
Т 157

    Тактаров, Николай Григорьевич.
    Справочник по высшей математике для студентов вузов [Текст] : справочное издание / Н. Г. Тактаров. - Изд. стер. - М. : ЛИБРОКОМ, 2018. - 879 с. : граф., рис., табл. - Имен. указ.: с. 846-847. - Предм. указ.: с. 848-875. - ISBN 978-5-397-06077-6 : 780.00 р.

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

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

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

14.

004
З-128

    Забуга, Александр Александрович.
    Теоретические основы информатики для бакалавров и специалистов [Текст] : учебное пособие / А. А. Забуга. - СПб. : ПИТЕР, 2014. - 206 с. : рис., табл., фот. - (Стандарт третьего поколения. Учебное пособие). - Библиогр.: с. 195-198. - Алф. указ.: с. 199-205. - ISBN 978-5-496-00744-3 : 331.00 р.

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

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

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

15.

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

16.

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

17.

517
Ф 531

    Филимоненкова, Надежда Викторовна.
    Множества и отображения. Интенсивное введение в математический анализ для студентов технических вузов [Электронный ресурс] : учебное пособие / Н. В. Филимоненкова, П. А. Бакусов ; ред. Т. С. Спирина ; рец.: В. И. Антонов, В. С. Кацуба, Г. В. Якунина ; худож. Е. А. Власова. - Электрон. текстовые дан. - СПб. : Лань, 2017. - on-line : ил., рис., табл. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 178. - ISBN 978-5-8114-2391-0 : Б. ц.

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

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

Доп.точки доступа:
Бакусов, Павел Анатольевич
Спирина, Т. С. \ред.\
Антонов, В. И. \рец.\
Кацуба, В. С. \рец.\
Якунина, Г. В. \рец.\
Власова, Е. А. \худож.\

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

18.

519.1
П 820

    Просветов, Георгий Иванович.
    Дискретная математика: задачи и решения [Текст] : учебно-практическое пособие / Г. И. Просветов. - 2-е изд., доп. - М. : Альфа-Пресс, 2016. - 240 с. : ил., табл. - Библиогр.: с. 233-234. - ISBN 978-5-94280-419-0 : 253.00 р.

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

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

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

19.

62-5
О-753


    Основы кибернетики. Математические основы кибернетики [Текст] : учебное пособие / А. И. Галушкин [и др.] ; ред. К. А. Пупков. - М. : Высшая школа, 1974. - 416 с : граф., рис., табл. - Библиогр.: с. 405-406. - Алф. указ.: с. 407-411. - 00.88 р.

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

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

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

20.

004
Р 821

    Рубашкин, Валерий Шлемович.
    Представление и анализ смысла в интеллектуальных информационных системах [Текст] . Вып. 15 / В. Рубашкин. - М. : Наука. Гл. ред. физ.-мат. лит., 1989. - 192 с. - (Проблемы искусственного интеллекта). - ISBN 5-02-014213-1 : 1.60 р.

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

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

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

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

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

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