Основы дискретной математики
(курс лекций)
-
Теория множеств
-
Изоморфизм, автоморфизм, гомоморфизм
-
Бинарные операции. Теория групп
-
Теория групп (продолжение)
-
Кольца, тела, поля
-
Теория алгебр
-
Тождества, бинарные операции
-
Исчисление высказываний
-
Теория кодирования
-
Теория графов
-
Эйлеровы пути, гамильтоновы пути
-
Кратчайшие пути в графе
-
Виды графов
-
Применение графов
-
Теория автоматов
-
Теория формальных грамматик
Программа GRIN - описание здесь
(автор Виталий Печенкин здесь)
демонстрационная версия здесь
Толковый словарь по теории графов В.А. Евстигнеева и В.Н. Касьянова здесь