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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

Поисковый запрос: (<.>K=КВАНТОРЫ<.>)

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

517
Ш 507

    Шершнев, В. Г.
    Математический анализ: сборник задач с решениями [Текст] : учебное пособие / рец.: О. В. Татарников, Г. Г. Вокин. - М. : ИНФРА-М, 2023. - 164 с. : рис., табл. - (Высшее образование). - Библиогр.: с. 162. - ISBN 978-5-16-018502-6 (print). - ISBN 978-5-16-102771-4 (online) : 872.00 р.

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

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

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

517
Б 903

    Будаев, В. Д.
    Математический анализ. Функции одной переменной [Текст] : учебник / В. Д. Будаев, М. Я. Якубсон. - СПб. ; М. ; Краснодар : Лань, 2012. - 544 с. : рис. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 531-. - Предм. указ.: с. 532-536. - Имен. указ.: с. 537. - ISBN 978-5-8114-1186-3 : 1030.26 р.

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

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

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

Шифр: К067075/2013/1
Журнал
Украина. Национальная академия наук Украины (Киев).

Кибернетика и системный анализ : международный научно-теоретический журнал/ Национальная академия наук Украины (Киев), Институт кибернетики им. В.М. Глушкова (Киев). - Киев, 1965 - . - ISSN 1019-5262. - Выходит раз в два месяца
2013г. N 1 . - 480.81, р.

Содержание:
Чеботарев, А. Н. Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L / А. Н. Чеботарев. - С.3-10
Кл.слова: языки программирования, кванторы, фиктивные состояния
Белан, С. Н. Выделение характеристических признаков изображений с помощью преобразования Радона и возможность его аппаратной реализации в клеточных автоматах / С. Н. Белан, Р. Л. Моторнюк. - С.11-18
Кл.слова: элементы, линейность, сдвиги
Елфимова, Л. Д. Новые клеточные методы умножения матриц / Л. Д. Елфимова. - С.19-29
Кл.слова: линейная алгебра, алгоритмы, матрицы
Голодников, А. Н. Интегрированное моделирование для управления состоянием продовольственной безопасности в Украине. I. Модель для управления экономической доступностью продуктов питания / А. Н. Голодников, Ю. М. Ермольев, Т. Ю. Ермольева. - С.30-42
Кл.слова: модели спроса, регулирование, цены
Гупал, А. М. Свойства процедур сепарации для дискретных объектов в моделях байесовских сетей / А. М. Гупал, Н. А. Гупал. - С.43-48
Кл.слова: сепарация, Маркова условие, дискретные объекты
Корхин, А. С. Об использовании априорной информации в регрессионном анализе / А. С. Корхин. - С.49-64
Кл.слова: сочетания, ограничения, случайные величины
Меликов, А. З. Численный метод анализа моделей систем массового обслуживания со скачкообразными приоритетами / А. З. Меликов, Л. А. Пономаренко, Сон Ким Чи. - С.65-72
Кл.слова: очереди, буфера, каналы
Мащенко, С. О. Задача математического программирования с нечетким множеством индексов ограничений / С. О. Мащенко. - С.73-81
Кл.слова: принятие решений, множества, неравенства
Ряшко, Л. Б. Спектральный критерий стохастической устойчивости инвариантных многообразий / Л. Б. Ряшко, И. А. Башкирцева. - С.82-90
Кл.слова: конусы, формулы, векторы
Воронин, А. Н. Компромиссный метод в задачах условной оптимизации / А. Н. Воронин. - С.91-95
Кл.слова: целевые функции, схемы, программирование
Марценюк, В. П. Метод построения оценки устойчивости и компартментной модели с запаздыванием / В. П. Марценюк, Н. М. Гандзюк. - С.96-101
Кл.слова: векторы, функции, матричные формы
Емец, О. А. Доказательство сходимости итерационного метода решения задачи комбинаторной оптимизации игрового типа на размещениях / О. А. Емец, Е. В. Ольховская. - С.102-114
Кл.слова: координаты, множества, математические модели
Дунаев, Б. Б. Оптимизация роста реального валового внутреннего продукта / Б. Б. Дунаев. - С.115-128
Кл.слова: экономика, рынки, прибыли
Лаврищева, Е. М. Генерирующее и сборочное программирование. Аспекты разработки семейств программных систем / Е. М. Лаврищева. - С.129-144
Кл.слова: комплексы, вариабельность, сборки
Шелестов, А. Ю. Информационная система агромониторинга на основе геопространственных данных / А. Ю. Шелестов, А. Н. Кравченко, С. В. Скакун. - С.145-154
Кл.слова: геопорталы, спутниковые данные, интерфейсы
Скуратовский, Р. В. Метод быстрого таймерного кодирования текстов / Р. В. Скуратовский. - С.154-160
Кл.слова: блочное кодирование, архивация
Баркалов, А. А. Модификация системы адресации микрокоманд в устройстве управления с разделением кодов / А. А. Баркалов, Л. А. Титаренко, А. Н. Мирошкин. - С.161-171
Кл.слова: интегральные схемы, адресация, алгоритмы
Панченко, Б. Е. Каркасный анализ предметной области: стационарные динамические задачи теории упругости для изотропных сред с произвольными неоднородностями / Б. Е. Панченко, А. М. Назаренко. - С.172-182
Кл.слова: плотность, модули сдвига, время
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка

16
Н 531

    Непейвода, Николай Николаевич.
    Прикладная логика : Учебное пособие / Николай Николаевич Непейвода ; Министерство общего и профессионального образования Российской Федерации, Удмурдский государственный университет. - Ижевск : Издательство Удмуртского университета, 1997. - 385 с. - (в пер.) : Б. ц.

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

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

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

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

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