?
Дискретный анализ. Формальные системы и алгоритмы
М. :
ООО "Контакт Плюс", 2010.
Эта книга является учебным пособием по математической логике и теории алгоритмов. Она написана на основе материалов курса "Дискретный анализ", читаемого многие годы для студентов факультета управления и прикладной математики Московского физико-технического института.
Для студентов, специализирующихся на прикладной математике.
Приоритетные направления:
математика
Язык:
русский
Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника".
Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и ...
Добавлено: 12 ноября 2023 г.
М. : Изд-во механико-математического факультета МГУ, 2016
Сборник содержит материалы XII Международного семинара «Дискретная математика и ее приложения» имени академика О.Б. Лупанова, проходившего на механико-математическом факультете МГУ имени М. В. Ломоносова с 20 по 25 июня 2016 г. при поддержке Российского фонда фундаментальных исследований (проект 16–01–20345). Для студентов, аспирантов и научных работников в области дискретной математики и математической кибернетики. ...
Добавлено: 29 августа 2016 г.
CEUR Workshop Proceedings, 2018
Добавлено: 11 декабря 2018 г.
Эта книга является учебным пособием по основам высшей ал- гебры. Она написана на основе материалов курса «Дискретный анализ», проводимого многие годы для студентов ФУПМ МФТИ. В ней излагаются начала теории групп, теории колец и теории по- лей. Особое внимание уделено конечным полям. В качестве примера приложений конечных полей приводятся начальные сведения по теории кодов, исправляющих ...
Добавлено: 17 октября 2014 г.
Pham S. K., Antipov D., Sirotkin Alexander и др., Journal of Computational Biology 2013 Vol. 20 No. 4 P. 359-371
Добавлено: 21 марта 2014 г.
Kazan : -, 2013
Труды 7-ого весеннего/летнего коллоквиума молодых исследователей в области программной инженерии (SYRCoSE 2013), 30-31 мая 2013 г. - Казань, Россия.
Сборник содержит статьи, представленные на 7-ом весеннем/летнем коллоквиуме молодых исследователей в области программной инжeнерии (SYRCoSE 2013), проводимом в Казани З0 и 31 мая 2013 г. Отбор статей производился на основе рецензирования материалов программным комитетом. На коллоквиум допускались ...
Добавлено: 8 июня 2013 г.
М. : Издательство ИПМ РАН, 2015
Сборник содержит материалы X молодежной научной школы по дискретной матема- тике и ее приложениям, проходившей в Москве с 5 по 11 октября 2015 г. Для студентов, аспирантов и научных работников в области дискретной математики и математической ки- бернетики. Информация о молодежных школах по дискретной математике в сети Интернет по адресу: http://keldysh.ru/dmschool/. ...
Добавлено: 11 января 2016 г.
Учебник содержит лекционный материал по дисциплине "Дискретная математика", а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы.
Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные ...
Добавлено: 12 ноября 2023 г.
Камкин А., Петренко А., Терехов А., Perm : -, 2012
Сборник содержит статьи, представленные на 6-ом весеннем/летнем коллоквиуме молодых исследователей в области программной инженерии (SYRCoSE 2012), проводимом в Перми 30 и 31 мая 2012 г. Отбор статей производился на основе рецензирования материалов программным комитетом. На коллоквиум допускались как полные статьи, так и краткие сообщения, описывающие текущие исследования.
Программа коллоквиума охватывает следующие темы: технологии разработки программ; языки ...
Добавлено: 20 сентября 2012 г.
Улан-Удэ : Издательство Бурятского госуниверситета, 2017
Сборник содержит материалы 5-й школы-семинара «Синтаксис и семантика логических систем», проходившей в Улан-Удэ с 8 по 12 августа 2017 г. Тематика конференции включает следующие направления: теория моделей и универсальная алгебра; теория булевых и конечнозначных функций; формальные языки и логические исчисления; математическая логика в образовании; ...
Добавлено: 22 сентября 2017 г.
Макаров И. А., Токмакова Л. Р., М. : Издательский дом НИУ ВШЭ, 2015
Учебно-методический комплекс предназначен для слушателей подготовительного отделения магистратуры по направлению «Математика и информатика» профиля подготовки «Прикладная математика и информатика» и может быть использован только в рамках образовательной программы подготовительного отделения магистратуры НИУ ВШЭ.
УМК содержит программу дисциплины, методические рекомендации преподавателю и студентам, календарно-тематический план, а также обширные материалы для самостоятельной подготовки. Программа написана в соответствии с ...
Добавлено: 17 сентября 2014 г.
Саратов : Издательство Саратовского университета, 2011
В сборнике представлены статьи сотрудников механико-математического факультета СГУ. Это исследования по алгебре, геометрии, дискретной математике, информатике, матанализу, спектральной теории операторов, теории приближений и т.д. ...
Добавлено: 18 февраля 2013 г.
М. : Издательство ИПМ РАН, 2013
Сборник содержит материалы IX молодежной научной школы по дискретной математике и ее приложениям, проходившей в Москве с 16 по 21 сентября 2013 г.). Для студентов, аспирантов и научных работников в области дискретной математики и математической кибернетики. ...
Добавлено: 24 октября 2013 г.
Красноярск : ИВМ СО РАН, 2013
Труды Пятой Международной конференции «Системный анализ и информационные технологии» САИТ-2013 (19–25 сентября 2013 г., г.Красноярск, Россия): ...
Добавлено: 18 ноября 2013 г.
Гафаров Е. Р., Лазарев А. А., Вернер Ф., Annals of Operations Research 2012 Vol. 196 No. 1 P. 247-261
Добавлено: 24 ноября 2012 г.
Малышев Д. С., Дискретный анализ и исследование операций 2020 Т. 27 № 4 С. 104-130
Задача о рёберной раскраске для заданного графа состоит в том, чтобы минимизировать количество цветов, достаточное для окрашивания его рёбер так, чтобы соседние рёбра были окрашены в разные цвета. Для всех классов графов, определяемых запрещением подграфов с не более чем 6 рёбрами каждый, известен
сложностной статус этой задачи. В настоящей работе данный результат улучшается и получена полная ...
Добавлено: 25 декабря 2020 г.
Alexandrov D. E., Galkin V. V., Zobnin A.I. и др., Journal of Mathematical Sciences 2009 Vol. 163 No. 5 P. 469-486
Добавлено: 1 октября 2014 г.
Развит метод рандомизированного прогнозирования, основанный на генерации ансамблей энтропийно-оптимальных прогнозных траекторий. Последние генерируются рандомизированными моделями динамической регрессии, содержащими случайные параметры, измерительные шумы и случайный вход. Функции плотности распределения вероятностей случайных параметров и измерительных шумов оцениваются с использованием реальных данных в рамках процедуры рандомизированного машинного обучения. Генерация ансамблей прогнозных траекторий осуществляется путем сэмплирования энтропийно-оптимальных распределений вероятностей. ...
Добавлено: 31 октября 2020 г.
Крючков М. В., Русаков С. В., Вестник Ижевского государственного технического университета 2015 № 2(66) С. 110-112
В работе описаны результаты тестирования нейросетевого технического индикатора тренда по данным биржевого курса нефти марки Brent в 2014 году. Апробация модели проводилась на трех временных интервалах, характеризующихся своими особенностями. ...
Добавлено: 31 августа 2015 г.
Грибанов Д. В., Малышев Д. С., Discrete Applied Mathematics 2017 Vol. 227 P. 13-20
Добавлено: 23 апреля 2017 г.
Беклемишев Л. Д., Оноприенко А. А., Математический сборник 2015 Т. 206 № 9 С. 3-20
Формулируются системы преобразований термов, число шагов работы которых на произвольном входе конечно, но не ограничивается никакой вычислимой функцией, доказуемо тотальной в арифметике Пеано PА. Тем самым, утверждение о сходимости таких систем не доказуемо в PA. Эти системы получаются из независимого комбинаторного утверждения, известного как принцип червя; их также можно рассматривать как вариант хорошо известной игры Геракла и гидры, ...
Добавлено: 13 марта 2016 г.
Литвин Ю. В., Абрамов И. В., Технологии техносферной безопасности 2016 № 66
Расширен подход к оценке случайного времени прибытия пожарных боевых расчётов на объект защиты, времени их занятости и свободного горения. Получены некоторые количественные оценки с использованием рассмотренных аналитических методов и имитации ...
Добавлено: 27 августа 2016 г.
Бабаш А. В., М. : ИНФРА-М, РИОР, 2013
Пособие предназначено для студентов высших учебных заведений, обучающихся по специальности «Прикладная информатика (в экономике)». Оно также содержит методический материал для ряда инновационных курсов лекций по профилю «Информационная безопасность» и может быть использовано и для блока дисциплин этого профиля. Ряд представленных результатов полезен специалистам и аспирантам, специализирующихся в указанной области. ...
Добавлено: 14 января 2014 г.