Курс для студентов 1 курса Отделения теоретической и прикладной лингвистики (ОТиПЛ) Филологического факультета МГУ.
Вводятся основные понятия математики (множества, функции, отношения), рассматриваются задачи по комбинаторике, по выражению понятий в языке логики предикатов.
Список всех тем лекций
Лекция 1. Логический язык.
Лекция 2. Имена и переменные. Кванторы.
Лекция 3. Множества.
Лекция 4. Бинарные отношения.
Лекция 5. Специальные свойства отношений.
Лекция 6. Отношения эквивалентности. Арифметика вычетов.
Лекция 7. Отношения порядка и их свойства.
Лекция 8. Мощность множеств.
Лекция 9. Теорема Кантора.
Лекция 10. Равномощность множеств.
Лекция 11. Равномощность интервала (0,1) и множества всех подмножеств натурального ряда. Теорема Кантора.
Лекция 12. Сравнение мощностей множеств. Операции над множествами.
Лекция 13. Сложение и умножение порядков.
Лекция 14. Комплексные числа. Часть 1.
Лекция 15. Комплексные числа. Часть 2.
Лекция 16. Комбинаторные задачи.
Лекция 17. Размещения и перестановки.
Лекция 18. Решение комбинаторных задач. Формулы включения-исключения.
