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