Материал организован так, что знакомство с графами происходит в процессе решения самых разнообразных задач, в формулировках условий которых не упоминаются графы. Для решения их требуется увидеть…
Нашей целью является обеспечение достаточно конкретной информацией, без углубления в сложные математические описания, чтобы слушатель мог понять основные идеи и возможности этого направления.
Специальности: Программист, Математик
Одной из основных целей при разработке структур данных является формирование математических понятий, которые пока не входят в классическую математику, но требуют формального описания и…
Дается описание машин Тьюринга, алгорифмов Маркова, "машины абак" и как наиболее реалистичной модели вычислительного автомата - модели с адресуемой памятью РАМ. Приводятся основные сведения о формальных языках и способах их конструктивного задания, а также теоретические основы логического программирования. Важность этих вопросов вытекает не только из общенаучных проблем развития математики, но также из практических задач общества, использующего вычислительную технику в производстве, экономике, инженерных расчетах и заинтересованного в адекватном представлении о возможностях вычислительных автоматов.
Данный курс является вводным курсом в высшую математику. Достаточно строго и формально (на уровне приводимых определений и понятий), но в то же время содержательно и на примерах, рассматриваются…
Рассматриваются модели выбора решений в условиях неопределенности и несовпадения интересов сторон, участвующих в экономических взаимодействиях. Основное внимание уделено вопросам анализа…
Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные…
Рассмотрен самый простой и важный класс дискретных функций - булевы функции: их различные представления, связь с логикой высказываний, основные логические тождества ("законы логики"), дизъюнктивные…
Курс знакомит с двумя представлениями булевых функций с помощью специальных классов ориентированных графов без циклов: логическими схемами (схемами из функциональных элементов) и упорядоченными …
Даются основные понятия теории групп, колец и полей. Приводится определение комплексного числа, примеры основных операций с комплексными числами, рассмотрены тригонометрическая форма записи…
Курс содержит как лекции, посвященные классическим численным методам анализа и линейной алгебры, так и решению дифференциальных уравнений.
В курсе затрагивается широкий круг вопросов, связанных с вычислениями в кольцах целых чисел, многочленов и дифференциальных многочленов.