Прошлые домены больше не функционируют, используйте адрес
ARHIVACH.HK.
24 декабря 2023 г. Архивач восстановлен после серьёзной аварии. К сожалению, значительная часть сохранённых изображений и видео была потеряна.
Подробности случившегося. Мы призываем всех неравнодушных
помочь нам с восстановлением утраченного контента!
1. Общая логика. Форма мышления. Знак и семиотика. Понятие - денотат, концепт. Суждение. Умозаключение. Истинность. Корректность. Синтаксис и семантика. Правила вывода. Силлогизм. Modus ponens. Modus tollens. Именная функция. Пропозициональная функция. Содержание понятия. Объём понятия. Абстрактные и конкретные понятия. Термины. Определения, реальные и номинальные. Остенсивные определения. Родовые и видовые понятия. Деление понятий. Классы. Операции с классами. Дедуктивные умозаключения. Необходимость и достаточность. Аналогии. Гипотезы. Теории. Верифицируемость, фальсифицируемость. Научный метод. Операционализм. Позитивизм.
2. Математическая логика. Формальные системы. Формальные языки. Формальные логики. Буквы, слова, термы, атомы, формулы. Суждения. Вывод. Аксиоматические системы. Языки первого порядка. Переменные. Функции и предикаты. Кванторы. Логические аксиомы. Теории с равенством и без равенства. Тавтология, теоремы о ней. Дедукция. Структура. Модель. Теорема компактности. Изоморфизм и гомоморфизм моделей. Подструктуры. Мощность моделей. Непротиворечивость, выполнимость. Категоричность. Арифметика Пеано. Математическая индукция. Генетическое, рекурсивное определение. Аксиоматическое определение.
3. Теория множеств. Наивная теория множеств. Множества, элементы, подмножества, семейства. Дополнение, объединение, пересечение, степень, законы де Моргана и др. Пара. Произведение. Отношение. Функция, операция. Структуры. Равномощность. Мощность. Теоремы о мощностях. Счётные, несчётные множества. Объёмное определение кардинала. Арифметика кардиналов. Упорядоченные множества. Подобие порядков и порядковый тип. Вполне упорядоченные множества. Ординалы, конечные и бесконечные. Натуральные числа. Кардиналы как ординалы. Алефы. Теорема Цермело. Мощность как алеф. Парадоксы. Аксиоматическая теория множеств. ZFC. Интерпретация всего вышесказанного в ZFC. Схема замены и её следствия. Аксиома выбора и её следствия, лемма Цорна. Интуитивный смысл классов, предикат как класс. NBG. Универсумы, аксиома Гротендика.
4. Общая алгебра. Алгебраические структуры. Моноид, группа, кольцо, тело, поле. Подструктуры. Модуль над кольцом, векторное пространство, базис Гамеля. Действие группы. Морфизмы групп, морфизмы модулей. Нормальные подгруппы, факторгруппы, теоремы о группах (гомоморфизм, Лагранж, Кэли и т.д.). Идеалы, двусторонние идеалы, факторкольца, вычеты. Кольцо частных. Целые числа, рациональные числа. Нормальные и композиционные ряды. Алгебры. Свободные группы, свободные модули, свободные алгебры. Многочлены, целые рациональные функции. Алгоритм Евклида. Алгебраические расширения, сепарабельные расширения. Трансцендентные расширения, базис трансцендентности. Пополнения и нормирования.
5. Линейная алгебра. Векторные пространства, линейные многообразия. Матрицы. Линейные операторы. Опеределители. Двойственность. Формы, билинейные и полуторалинейные формы. Жорданова форма. Квадратичные формы, симметрические формы, скалярное произведение, ортогональные базисы. Алгебры Клиффорда. Знакопеременные формы. Эрмитовы формы. Спектральные теоремы. Геометрия пространств со скалярным произведением. Алгоритм ортогонализации. Евклидовы и унитарные пространства. Ортогональные, унитарные, самосопряженные операторы. Геометрия квадратичных форм. Пространство Минковского. Аффинные пространства. Проективные пространства. Кэлерова метрика. Алгебраические многообразия.
6. Полилинейная алгебра. Тензорное произведение модулей. Тензорное произведение алгебр. Тензорная алгебра модуля. Симметрическая алгебра. Алгебра Грассмана. Теоремы о внешнем произведении. Определители. Двойственность. Историческое определение тензора, связь с формами. Тензорные поля.
7. "Аналитическая" геометрия. Прямоугольные и косоугольные координаты, полярные, сферические и цилиндрические координаты. Уравнения прямой. Расположение прямых. Конические сечения. Кривые второго порядка. Плоскость. Расположение плоскости и прямых. Поверхности второго порядка. Касательная плоскость. Ортогональные, аффинные, проективные преобразования. Однородные координаты. Тангенциальные координаты.