Кафедра информационных систем и технологий (Нижний Новгород)

АБB
АБB
АБB

Обычная версия сайта

Книга

Ontology-Based Evolution of Domain-Oriented Languages: Models, Methods and Tools for User Interface Design in General-Purpose Software Systems

Babkin E., Ulitin B.

Switzerland: Springer, 2023.

Статья

Inpainting Semantic and Depth Features to Improve Visual Place Recognition in the Wild

Semenkov I., Karpov A., Savchenko A. et al.

IEEE Access. 2024. Vol. 12. P. 5163-5176.

Глава в книге

Facial Expression Recognition with Adaptive Frame Rate based on Multiple Testing Correction

Savchenko A.

In bk.: Proceedings of the 40th International Conference on Machine Learning: Volume 202: International Conference on Machine Learning, 23-29 July 2023, Honolulu, Hawaii, USA. Vol. 202: International Conference on Machine Learning, 23-29 July 2023, Honolulu, Hawaii, USA. PMLR, 2023. P. 30119-30129.

Препринт

DAREL: Data Reduction with Losses for Training Acceleration of Real and Hypercomplex Neural Networks

Demidovskij A., Трутнев А. И., Тугарев А. М. et al.

NeurIPS 2023 Workshop. ZmuLcqwzkl. OpenReview, 2023

Все публикации

Кто читает:: Кафедра информационных систем и технологий (Нижний Новгород) (Факультет информатики, математики и компьютерных наук (Нижний Новгород))

Статус:: Курс обязательный

Когда читается:: 1-й курс, 3, 4 модуль

Преподаватель

Логвинова Кира Владимировна

Полная версия программы учебной дисциплины

Аннотация

На данном курсе изучаются несколько разделов дискретной математики: теория множеств, логические функции, алгебра логики, комбинаторика и графы. На курсе Вы научитесь осуществлять вычисления и преобразования, связанные с объектами теории чисел, решать конструктивно-исследовательские задачи и пользоваться основными методами применения алгоритмов.

Цель освоения дисциплины

Ознакомление студентов с фундаментальными основами дискретной математики (математической логики, основой теории множеств, теории моделей, теории доказательств и теории вычислимости)
Целями освоения дисциплины является ознакомление студентов с фундаментальными основами дискретной математики (математической логики, основой теории множеств, теории моделей, теории доказательств и теории вычислимости). Основной целью освоения дисциплины является: приобретение студентами теоретических знаний и навыков решения задач по теории множеств, логике высказываний, теории моделей, теории алгоритмов и теории вычислимости , комбинаторике, и теории графов; приобретение студентами навыков и компетенций по формализации на строгом математическом языке знаний, относящихся к различным предметным областям, возникающих в этих областях проблем и задач; овладение методами построения дискретных моделей предметных областей.
Приобретение студентами теоретических знаний и навыков решения задач по теории множеств, логике высказываний, теории моделей, теории алгоритмов и теории вычислимости, комбинаторике, и теории графов
Приобретение студентами навыков и компетенций по формализации на строгом математическом языке знаний, относящихся к различным предметным областям, возникающих в этих областях проблем и задач
Овладение методами построения дискретных моделей предметных областей

Планируемые результаты обучения

Вычисление метрических и структурных характеристик графов.
Графическое представление заданного отношения с определением его свойств.
Определение полноты заданной системы булевых функций
Подсчет числа перестановок, сочетаний и размещений при различных спецификациях. Подсчет числа объектов через формулу включений-исключений.