Курс для студентов 1 курса Отделения теоретической и прикладной лингвистики (ОТиПЛ) Филологического факультета МГУ. 

Вводятся основные понятия математики (множества, функции, отношения), рассматриваются задачи по комбинаторике, по выражению понятий в языке логики предикатов.

Список всех тем лекций

Лекция 1. Логический язык.

Лекция 2. Имена и переменные. Кванторы.

Лекция 3. Множества.

Лекция 4. Бинарные отношения.

Лекция 5. Специальные свойства отношений.

Лекция 6. Отношения эквивалентности. Арифметика вычетов.

Лекция 7. Отношения порядка и их свойства.

Лекция 8. Мощность множеств.

Лекция 9. Теорема Кантора.

Лекция 10. Равномощность множеств.

Лекция 11. Равномощность интервала (0,1) и множества всех подмножеств натурального ряда. Теорема Кантора.

Лекция 12. Сравнение мощностей множеств. Операции над множествами.

Лекция 13. Сложение и умножение порядков.

Лекция 14. Комплексные числа. Часть 1.

Лекция 15. Комплексные числа. Часть 2.

Лекция 16. Комбинаторные задачи.

Лекция 17. Размещения и перестановки.

Лекция 18. Решение комбинаторных задач. Формулы включения-исключения.