Kazan Federal University Digital Repository

Browsing Институт вычислительной математики и информационных технологий by Title

Browsing Институт вычислительной математики и информационных технологий by Title

Sort by: Order: Results:

  • Бикчентаев Айрат Мидхатович (2016)
    Установлены новые свойства пространства интегрируемых (относительно точного нормального полуконечного следа) операторов, присоединенных к полуконечной алгебре фон Неймана. Получено следовое неравенство для пары проекторов ...
  • Бикчентаев Айрат Мидхатович (2018)
    Исследованы след и коммутаторы измеримых операторов, присоединенных к алгебре фон Неймана
  • Мубаракзянов Рустам Гамирович (2017)
    В работе исследуется сожность проверки выполнимости различных видов бинарных программ. Обобщая простейшую из них (OBDD), показано начиная с какого момента проблема становится NP-полной.
  • Дябилкин, Дмитрий Александрович (2015)
    В пособии рассмотрены алгоритмы сортировки, основанные на модели сортирующей сети. Достоинством сортирующих сетей является то, что они могут выполнять несколько операций одновременно. Это позволяет создавать масштабируемые ...
  • Гусенков Александр Михайлович; Прокопьев Николай Аркадьевич (2018)
    В учебно-методическом пособии представлены пакеты, которые входят в состав ОС UNIX lex и yacc, а также вводная теоретическая часть по теории формальных языков, необходимых для понимания назначения и принципов работы данных ...
  • Гусенков Александр Михайлович; Прокопьев Николай Аркадьевич (2018)
    В учебно-методическом пособии представлены пакеты, которые входят в состав ОС UNIX lex и yacc, а также вводная теоретическая часть по теории формальных языков, необходимых для понимания назначения и принципов работы данных ...
  • Гусенков Александр Михайлович; Прокопьев Николай Аркадьевич (2024)
    В учебно-методическом пособии представлены генераторы лексических (lex) и синтаксических (yacc) анализаторов, а также основы теории конечных автоматов и формальных грамматик. Генератор lex по описанию лексем на языке ...
  • Гусенков Александр Михайлович; Прокопьев Николай Аркадьевич (2024)
    В учебном пособии представлены генераторы лексических (lex) и синтаксических (yacc) анализаторов, а также основы теории конечных автоматов и формальных грамматик. Генератор lex по описанию лексем на языке регулярных выражений ...
  • Симушкин Сергей Владимирович; Заикин Артем Александрович; Кареев Искандер Амирович; Салимов Рустем Фаридович (2020)
    В данном учебном пособии приводится набор типовых заданий по математической статистике с необходимым теоретическим описанием и инструкциями по выполнению. Пособие может служить основой для создания курсов по математической ...
  • Дубровин, Вячеслав Тимофеевич (Казанский государственный университет, 2010)
    В предлагаемом учебном пособии излагаются основы теории функций комплексного переменного в объеме, необходимом для студентов специальности "Прикладная математика". Каждая тема сопровождается набором решенных задач и задачами ...
  • Латыпов Рустам Хафизович; Столов Евгений Львович (2023)
    Данная книга основана на опыте применения тестирования для проверки знаний по предмету "Алгебра и геометрия", изучаемому на первом курсе университетов и технических вузов. Тестирование ориентировано на текущий контроль и ...
  • Заботин Игорь Ярославич; Фазылов Валерий Рауфович; Шульгина Оксана Николаевна (2019)
    В пособии приводятся алгоритмы решения некоторых известных задач дискретной оптимизации --- отыскания кратчайших путей, построения остовов минимального веса, нахождения наименьших вершинных покрытий и наибольших ...
  • Еникеев Арслан Ильясович (2023)
    Методическое пособие посвящено изучению функциональных методов программирования на языке SCALA. Язык SCALA является современным объектно- ориентированным языком программирования, включающим в себя в качестве подмножества ...
  • Кирилова Галия Ильдусовна; Пшеничный Павел Витальевич; Латыпов Рустам Хафизович (2014)
    Статья посвящена актуальным проблемам и перспективам функционирования информационно-образовательной среды профессиональной школы, раскрываемым на метауровне. В структуре информационных процессов в статье вводятся существенные ...
  • Лапин Александр Васильевич; Платонов Артем Андреевич (2016)
    Рассмотрена задача оптимального управления системой, описываемой задачей Дирихле для линейного параболического уравнения, при наличии поточечных ограничений на функцию управления и на состояние системы. Функцией управления ...
  • Глазырина Людмила Леонидовна; Глазырина Ольга Владимировна (2021)
  • Даутов Рафаил Замилович; Тимербаев Марат Равилевич (2021)
    Учебное пособие представляет собой первую часть курса лекций по по дисциплине "Численные методы", читаемого авторами студентам Института вычислительной математики и информационных тех- нологий Казанского (Приволжского) ...
  • Даутов Рафаил Замилович; Тимербаев Марат Равилевич (2021)
    Учебное пособие представляет собой вторую часть курса лекций по дисциплине "Численные методы", читаемого авторами студентам Института вычислительной математики и информационных техноло гий Казанского (Приволжского) ...
  • Юрин, Арнольд Менделевич (2015)
    Пособие представляет собой конспект лекций по некоторым темам дисциплины «Интеллектуальные системы», предназначенной для студентов направления «Фундаментальная информатика и информационные технологии».

Search DSpace


Advanced Search

Browse

My Account