Geum.ru

Программы и учебный план отделения теоретической и прикладной лингвистики Издательство Московского университета 2009

Вид материалаДокументы
Подобный материал:
1   ...   39   40   41   42   43   44   45   46   ...   55

Цикл  VII. Основы математики

Язык математики

1. Семантические парадоксы.


Парадокс лжеца. Парадоксы Ришара, Берри, Греллинга.

2. Начальные понятия семиотики и логики.


Алфавит, буква, слово в алфавите. Формула, переменная, форма. Область допустимых значений переменной относительно формы. Связанное и свободное вхождение переменных. Имя, денотат имени, именная форма. Высказывание, высказывательная форма.

3. Логика высказываний.


3.1. Алфавит языка логики высказываний: переменные для высказываний, логические связи, формулы логики высказываний.

3.2. Истинностные таблицы для отрицания, конъюнкции, дизъюнкции, импликации, эквиваленции, штриха Шеффера, стрелки Пирса. Законы логики (тавтологии), противоречия, равносильные высказывательные формы. Законы исключенного третьего, снятия двойного отрицания, контрапозиции, дистрибутивности, де Моргана, др. Применение языка логики высказываний для описания фрагментов естественных языков.

3.3. Выражение одних пропозициональных связок через другие. Полные системы связок. Булевы функции, сопряженные с формулами логики высказываний. Возможность выражения произвольной булевой функции посредством формулы. Контактные схемы, их связь с формулами логики высказываний и булевыми функциями.

4. Кванторы.


Кванторы общности и существования, соотношения между ними. Однотипность квантора общности и конъюнкции, квантора существования и дизъюнкции. Законы коммутации кванторов и импликации.

5. Числовые системы.


Натуральное число и его запись (q-ичная, q 2, 3, 4, римская, др.). Целое число, его запись. Рациональное число и его запись в виде дроби, в виде тройки натуральных чисел. q-ично рациональные числа. Действительное число и его запись в виде бесконечной
q-ичной дроби. Иррациональное, алгебраическое, трансцендентное число. Комплексное число, его запись. Число, сопряженное данному. Тригонометрическая форма комплексного числа, аргумент, модуль. Показательная форма комплексного числа. Формула Муавра. Теорема Безу. Основная теорема алгебры.

6. Начальные понятия теории множеств.


6.1. Множество (совокупность), элемент множества, принадлежность элемента множеству. Способы задания множеств. Равенство множеств. Пустое множество. Подмножество, собственное подмножество. Подмножества числовой прямой: отрезки (сегменты), интервалы, полуинтервалы.

6.2. Теоретико-множественные операции объединения, пересечения, разности, симметрической разности. Универсум, дополнение множества. Выражение одних теоретико-множественных операций через другие. Объединение и пересечение элементов произвольной совокупности множеств.

6.3. Кортеж над множеством, компонента кортежа, длина кортежа. Размещение над множеством. Прямое произведение множеств, степень множества, проекция множества.

7. Отношения и порядки.


7.1. Отношение между элементами двух множеств. Область определения, множество значений отношения. Дополнение отношения. Инверсия пары, инверсия отношения. Образ, полный прообраз множества при отношении. Композиция отношений. Ассоциативность композиции. Инверсия композиции.

7.2. Бинарное отношение на множестве. Основные свойства отношений: рефлексивность, иррефлексивность, симметричность, антисимметричность, транзитивность, связанность.

7.3. Отношение эквивалентности. Разбиение множества на классы. Сопряженность разбиения множества и отношения на множестве. Единственность разбиения, сопряженного с данным отношением эквивалентности.

7.4. Отношения строгого и нестрогого порядка. Частично упорядоченное множество. Наибольший, наименьший элемент. Максимальный, минимальный элемент. Верхняя (нижняя) грань подмножества частично упорядоченного множества. Точная верхняя (нижняя) грань. Линейный порядок. Вполне упорядоченное множество.

8. Множества и их мощности.


8.1. Всюду определенное, функциональное, сюръективное, инъективное отношение между элементами двух множеств. Биекция. Равномощность (эквивалентность) множеств. Сравнение мощностей двух множеств.

8.2. n-элементное множество, конечное множество. Бесконечное множество. Счетное множество. Существование счетного подмножества у всякого бесконечного множества. Мощность объединения не более чем счетной совокупности не более чем счетных множеств. Счетность множества рациональных чисел, множества алгебраических чисел.

8.3. Несчетность множества действительных чисел. Сравнение мощностей множества и совокупности всех его подмножеств. Множества мощности континуума. Континуальность множества иррациональных чисел, множества трансцендентных чисел, множества комплексных чисел. Континуальность множества всех подмножеств натурального ряда.

9. Элементы комбинаторики.


Основные принципы комбинаторики. Установление эквивалентностей, позволяющих обосновать корректность понятий числа
k-элементных подмножеств n-элементного множества, числа размещений из n по k. Числовые выражения для Cnk , Ank , Pn. Установление эквивалентностей, используемых при их получении. Перестановка с повторениями, сочетание с повторениями. Бином Ньютона. Формула включения и исключения.

литература

Обязательная литература


Александров П. С. Введение в теорию множеств и общую топологию. М., 1977. [С. 7–33.]

Ежов И. И., Скороход А. В., Ядренко М. И. Элементы комбинаторики. М., 1977. [С. 5–64.]

Курант Р., Роббинс Г. Что такое математика? Элементарный очерк идей и методов. М., 1967. [С. 24–130.]

Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. М., 1995. [С. 7–35, 50–62, 74–88.]

Мендельсон Э. Введение в математическую логику. М., 1984. [С. 19–35, 60–63.]

Чёрч А. Введение в математическую логику. М., 1960. [С. 15–63.]

Шиханович Ю. А. Введение в современную математику. М., 1965. [С. 29–297.]

Дополнительная литература


Бурбаки Н. Теория множеств. М., 1965. [С. 23–30.]

Виленкин Н. Я. Популярная комбинаторика. М., 1975. [С. 73–117.]

Клини С. К. Математическая логика. М., 1973. [С. 11–46, 93–132.]

Кук Д., Бейз Г. Компьютерная математика. М., 1990. [С. 10–132.]

Новиков П. С. Элементы математической логики. М., 1973. [С. 36–65, 123–135.]

Столл Р. Р. Множества, логика, аксиоматические теории. М., 1968. [С. 9–138.]

Фор Р., Кофман А., Дени-Папен М. Современная математика. М., 1966. [С. 9–53.]

Френкель А., Бар-Хиллел И. Основания теории множеств. М., 1966. [С. 11–28.]

Хаусдорф Ф. Теория множеств. М., 1937. [С. 7–42.]

Программу составили Е. Ю. Ногина, В. Е. Плиско