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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

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

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

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

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

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

510
П 784


    Программирование: математическая логика [Электронный ресурс] : учебное пособие для вузов / М. В. Швецкий [и др.] ; рец.: К. Р. Пиотровская, И. Ю. Матюшичев. - 2-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line. - (Высшее образование). - Библиогр.: с. 663-672. - ISBN 978-5-534-11009-8 : Б. ц.

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

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

Доп.точки доступа:
Швецкий, Михаил Владимирович
Демидов, Михаил Владимирович
Голанова, Анна Викторовна
Кудрявцева, Ирина Андреевна
Пиотровская, К. Р. \рец.\
Матюшичев, И. Ю. \рец.\

Перейти к внешнему ресурсу https://urait.ru/viewer/programmirovanie-matematicheskaya-logika-439066#page/1
Постоянная гиперссылка

34
О-136


    Обеспечение равенства полов: политика стран Западной Европы : Пер. с англ. / Пер. Елена Мезенцева. - М. : Идея-Пресс, 2000. - 312 с. - Библиогр.: с. 277-312. - ISBN 5-7333-0027-2 (в пер.) : 101.90 р.

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

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

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

Шифр: М101216/2011/1
Журнал

Мехатроника, автоматизация, управление : теоретический и прикладной научно-технический журнал. - М. : Новые технологии. - ISSN 1684-6427. - Выходит ежемесячно
2011г. N 1

Содержание:
Пшихопов, В. Х. Блочный синтез робастных автоматических систем при ограничениях на управления и координаты состояния / В. Х. Пшихопов, М. Ю. Медведев
Кл.слова: синтез нелинейных систем, многосвязность, функция Ляпунова
Ким, Д. П. Алгебраический метод синтеза линейных непрерывных систем управления / Д. П. Ким
Кл.слова: передаточная функция, астатизм, время регулирования
Иванов, А. С. Кибернетический подход к моделированию разнородных процессов в мехатронных системах / А. С. Иванов, Р. Ю. Лапковский, Д. А. Уков
Кл.слова: моделиррвание, эргатические системы, сложные системы
Крыженовский, Г. А. Интеллектуальные транспортные системы и обратные задачи оптимизации / Г. А. Крыженовский, В. А. Солодухин
Кл.слова: процессы принятия решений, банк данных, мотивация ЛПР
Петухов, И. В. К вопросу обеспечения надежности эргатических систем управления / И. В. Петухов
Кл.слова: человек-оператор, учет человеческого фактора, повышение надежности работы
Мелешин, И. С. Оценка основного сопротивления поезда метрополитена на основе фильтра Калмана / И. С. Мелешин
Кл.слова: нелинейная фильтрация, модель движения поезда, сопротивление движению
Новик, А. Ю. Модели и методы прогнозирования показателей качества листового стекла / А. Ю. Новик, В. А. Иващенко
Кл.слова: автоматизированное управление, фильтры Брауна, нейронные сети
Фрадков, А. Л. Многомаятниковый мехатронный комплекс / А. Л. Фрадков, Б. Р. Андриевский, К. Б. Бойков
Кл.слова: канал связи, нелинейные колебания, цепочка маятников
Солдаткин, В. В. Концепция построения и синтез конструктивных параметров неподвижного многоканального аэрометрического приемника системы воздушных сигналов вертолета / В. В. Солдаткин
Кл.слова: высотно-скоростные параметры, информативные сигналы , построение
Алексеев, К. Б. Об одном способе определения динамических параметров космического летательного аппарата в полете / К. Б. Алексеев, А. В. Шадян
Кл.слова: асимметрия, твердое тело, тензор инерции
Челноков, Ю. Н. Переориентация круговой орбиты космического аппарата с тремя точками переклюбчения управления / Ю. Н. Челноков, И. А. Панкратов
Кл.слова: кватернион, импульс, равенства длин
Басыров, А. Г. Планирование параллельной обработки информации в высокопроизводительных вычислительных сисстемах бортовых комплексов управления космическими аппаратами / А. Г. Басыров, Д. М. Лебедев, А. Б. Мастин
Кл.слова: директивный срок, независимые задания, современные технологии
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

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

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

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