Дискретная математика для лингвистов: продолжение

На этой странице будут появляться различные материалы и объявления, связанные с курсом «Дискретная математика для лингвистов-2», читаемого для студентов 4-го курса отделения лингвистики в 2015/2016 учебном году.

Лекции читает: Михайлович Анна Витальевна. Семинары ведет: А.В. Михайлович (anna@mikhaylovich.com)

Материалы по теме лекций

лекция	тема	материалы
1-3	Функции алгебры логики. Таблицы истинности. Формулы. Эквивалентные преобразования. Разложение функции по переменной. СДНФ. Полином Жегалкина. Классы монотонных, линейных, самодвойственных функций, функций, сохраняющих константу.	1. Н.П. Редькин. Дискретная математика. Глава III, параграфы 1-4. 2. С.В. Яблонский. Введение в дискретную математику. Глава 1, параграфы 1-4, начало параграфа 6 (описание классов). 3. Ещё тут и тут (файлы лучше скачать, у них горизонтальная ориентация)
4	Алгебра высказываний.	И.А. Лавров. Математическая логика. Глава 2, параграфы 2.1, 2.2.
5	Алгебра предикатов.	1. И.А. Лавров. Математическая логика. Глава 2, параграфы 2.3, 2.4. 2. Н.П. Редькин. Дискретная математика. Глава 3, параграфы 1-4.
6	Исчисление высказываний	И.А. Лавров. Математическая логика. Глава 6, параграфы 6.1, 6.2.
7	Графы. Основные определения. Деревья. Свойства деревьев (эквивалентные определения). Оценка числа раскладок деревьев.	1. О. Оре. Теория графов. Глава 1; глава 3, параграфы 2.1 - 2.4; глава 4, параграф 4.1 2. Н.П. Редькин. Дискретная математика. Глава 2, параграфы 1, 3, 4.
8	Изоморфизм графов. Необходимые условия изоморфизма.	Изоморфизм графов
7	Эйлеровы циклы. Задачи с применением эйлеровых циклов (слова с неповторяющимися подсловами.	1. О. Оре. Теория графов. Глава 3, параграфы 3.1, 3.2. 2. М. Холл. Комбинаторика. Глава 9, параграфы 9.1, 9.2 Немного картинок
8	Планарные графы. Раскраска графов. Раскраска планарных графов.	Ф.Харари. Теория графов. Глава 1, с.17-18; Глава 11, с.126-128; Глава 12, с. 151-152,с. 155-156.
9	Связь алгебры высказываний и исчисления высказываний (теорема адекватности для ИВ).	1. И.А. Лавров. Математическая логика. Глава 6, параграф 6.4 2. Ещё тут (файл лучше скачать, у него горизонтальная ориентация)

Домашние задания

дедлайн	файл
03.10	Домашнее задание 3
10.10	Домашнее задание 4
17.10	Домашнее задание 5
24.10	Домашнее задание 6
	Домашнее задание для подготовки к контрольной
13.11	Домашнее задание 8
27.11	Домашнее задание 9 На эту страничку ссылается задача 4.
04.12	Домашнее задание 10
18.12 (23:59:59 МСК)	Обязательное домашнее задание
11.12	Домашнее задание 11