Темы для рефератов
:
Календарь и система счисления майя.
Древние вычислительные машины. Стоунхедж и сибирские костяные календари.
Египетские, вавилонские и греческие методы вычислений.
Методы вычислений в «Альмагесте» Птолемея.
Эволюция позиционных систем счисления (вавилоняне, майя, индо-арабская система).
Метод исчерпывания Архимеда и его аксиомы для объемов и площадей.
Суперэкспоненциальная система Архимеда для обозначения больших чисел.
Методы вычислений в средние века.
Доказательство Кузанского непротиворечивости догмата о триединстве Бога.
Решение уравнений 3-ей и 4-той степеней. Появление мнимых чисел.
Спиноза: попытка применения математических методов к этике.
«Я стоял на плечах гигантов». Ньютон и его предшественники в создании анализа бесконечно малых.
Лейбниц и идея calculus universalis.
Ферма, Декарт и появление алгебраической символики.
Проективная геометрия.
Гаусс, Лобачевский, Бойяи, Риман: от классической геометрии к современной.
История открытия Нептуна и Плутона.
Кватернионы, р-адические числа и другие расширения числового поля.
Группы и симметрии. Шубниковские группы.
Нестандартный анализ и анализ бесконечно малых: сравнение.
История и решение 10—той проблемы Гильберта.
Примеры применения идеальных конструкций для перехода от одних практических результатов к другим.
Теорема Оревкова и парадокс изобретателя.
Неполнота теорий. Теоремы Геделя и Тарского.
Классификация двумерных многообразий и разрешимость проблемы их эквивалентности.
Яблоко Куратовского и другие парадоксальные следствия аксиомы выбора.
Математика с аксиомой деретминированности.
Появление первых механических вычислительных машин.
Появление программного управления (Жаккард).
Автоматы 18 века и их отличие от современных автоматов.
Аналитическая машина Беббиджа.
Августа Ада Лавлейс и появление программирования.
Аналоговые машины.
Первые машины Цузе.
Марк-1 и ЭНИАК.
Первые советские проекты вычислительных машин. МЭСМ.
Первые серийные вычислительные машины (США, СССР и Европа).
Проект пятого поколения (Япония). История его создания и причины неудачи.
Алгоритм приближенного перебора Шеннона и его некорректность (Арлазаров, Адельсон-Вельский и др.)
Проблема обучения для ЭВМ. Известные подходы к ее решению.
ЭЛИЗА и проблема общения на естественном языке.
Работы Т. Винограда и проблема понимания предложений естественного языка.
Зарождение вычислительной лингвистики в США и в СССР.
Общий решатель
задач.
Проблема машинного поиска доказательства теорем.
Р. Луллий и появление идеи автоматического синтеза знания.
Дж. Буль и появление алгебры логики.
Появление теории алгоритмов (Карри, Тьюринг, Пост, Черч, Гильберт).
Какие понятия программирование заимствовало из логики?
Проблемы, связанные с представлением действительных чисел в машине.
Понятия доказательных и гарантированно точных вычислений.
Богданов и появление теории систем.
Берталанффи и появление математической теории систем. Основные ее понятия.
Понятие обратной связи. Примеры моделей с обратной связью.
Дискуссии вокруг кибернетики на раннем этапе ее развития.
Некорректные задачи и некоторые из методов их регуляризации.
Определение понятия "Искусственный интеллект". Основные направления исследований.
Основные понятия теории измерений.
Задачи, решаемые методами Data Mining. Особенность этих задач.
Задачи автоматической классификации (таксономии). Постановка и методы решения.
Содержание и методы решения задач выбора информативных характеристик.
Постановка и методы решения задачи распознавания образов.
Обнаружение ошибок и заполнение пробелов в таблицах данных.
Метрика в пространстве знаний. Задачи анализа знаний (Knowledge Mining).
Древние вычислительные машины. Стоунхедж и сибирские костяные календари. Роль астрономии в развитии математики.
Египетские, вавилонские и средневековые методы вычислений. Влияние позиционной системы счисления.
Разложение функции в ряд Фурье. Приближение произвольных периодических движений гармониками (принцип часовых механизмов).
Зарождение идеи вычислительной машины и программирования.
Первые вычислительные машины в Германии, США, Европе и СССР.
БЭСМ-1, Стрела, М-2 и М-20.
Понятие адресности системы команд. 0, 1, 2, 3, 4-адресные машины.
Методы формального описания синтаксиса языков программирования. Первые языки и трансляторы.
Понятие разделения времени. Первые операционные системы.
Автомат и полугруппа. Поведение автомата без входа. Неразрешимость множества простых чисел автоматом.
Отрицательная и положительная обратная связь. Устойчивость и неустойчивость. Предельные циклы. Простейшие катастрофы.
Примеры некорректных задач. Простейшие методы регуляризации некорректных задач.
Понятие схемы программ. Абстрактная интерпретация.
Понятие аннотированной программы. Пред- и постусловия. Характеризация простейших операторов.
Общая идея кибернетики. Примеры успешных кибернетических аналогий.
Проблема машинного поиска доказательства теорем.
Р. Луллий и появление идеи автоматического синтеза знания.
Дж. Буль и появление алгебры логики.
Появление теории алгоритмов (Карри, Тьюринг, Пост, Черч, Гильберт).
Какие понятия программирование заимствовало из логики?
Проблемы, связанные с представлением действительных чисел в машине.
Понятия доказательных и гарантированно точных вычислений.
Богданов и появление теории систем.
Берталанффи и появление математической теории систем. Основные ее понятия.
Понятие обратной связи. Примеры моделей с обратной связью.
Дискуссии вокруг кибернетики на раннем этапе ее развития.
Некорректные задачи и некоторые из методов их регуляризации.
Зачетные вопросы
Определение понятия "Искусственный интеллект". Основные направления исследований.
Основные понятия теории измерений.
Задачи, решаемые методами Data Mining. Особенность этих задач.
Задачи автоматической классификации (таксономии). Постановка и методы решения.
Содержание и методы решения задач выбора информативных характеристик.
Постановка и методы решения задачи распознавания образов.
Обнаружение ошибок и заполнение пробелов в таблицах данных.
Метрика в пространстве знаний. Задачи анализа знаний (Knowledge Mining).
Древние вычислительные машины. Стоунхедж и сибирские костяные календари. Роль астрономии в развитии математики.
Египетские, вавилонские и средневековые методы вычислений. Влияние позиционной системы счисления.
Разложение функции в ряд Фурье. Приближение произвольных периодических движений гармониками (принцип часовых механизмов).
Зарождение идеи вычислительной машины и программирования.
Первые вычислительные машины в Германии, США, Европе и СССР.
БЭСМ-1, Стрела, М-2 и М-20.
Понятие адресности системы команд. 0, 1, 2, 3, 4-адресные машины.
Методы формального описания синтаксиса языков программирования. Первые языки и трансляторы.
Понятие разделения времени. Первые операционные системы.
Автомат и полугруппа. Поведение автомата без входа. Неразрешимость множества простых чисел автоматом.
Отрицательная и положительная обратная связь. Устойчивость и неустойчивость. Предельные циклы. Простейшие катастрофы.
Примеры некорректных задач. Простейшие методы регуляризации некорректных задач.
Понятие схемы программ. Абстрактная интерпретация.
Понятие аннотированной программы. Пред- и постусловия. Характеризация простейших операторов.
Общая идея кибернетики. Примеры успешных кибернетических аналогий.