Биркгоф Г. Теория решеток

В книге нашли отражение два направления современного комбинаторного анализа - теория перечисления и теория упорядоченных структур. Написана ясно и четко, содержит много примеров и упражнений. Главы: Отображения, решетки, комбинаторные функции, функции инцидентности, производящие функции, матроиды, комбинаторная теория упорядочения.

Москва, "Финансы и статистика", 2006. 368 с. Рассматриваются основные темы дискретной математики и математической логики: теория множеств, элементы комбинаторики, теория графов, теория переключательных функций и автоматов, теория кодирования, формальная логика, логические исчисления, формальные теории и теория алгоритмов, элементы теории нечетких множеств.

Теория структур — молодая ветвь математики, оформившаяся в качестве самостоятельной научной дисциплины менее двадцати лет тому назад. Даже само основное понятие, которое является предметом изучения этой теории, еще не имеет общепринятого названия - в американской литературе преимущественно употребляется термин «lattice», в немецкой — «Verband». В советской литературе используется, как правило, термин «структура»; он принят и в настоящем переводе...

М.: Мир, 1982. 456 с. Современная монография по теории решеток - одному из направлений алгебры, имеющему глубокие связи с различными областями математики. Содержит большое количество упражнений разной трудности, а также около 200 открытых проблем. Включен новый материал, полученный от автора, известного канадского математика. Для специалистов по алгебре и смежным разделам математики. Полезна как учебное пособие студентам-математикам.

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

Скан с тетради преподавателя. Теория множеств. Булева алгебра, алгебра логики, математическая логика, исчисление высказываний. Теория графов. Теория автоматов.rn

Логика. Теория множеств. Теория графов. Логика предикатов. Теория простейших автоматов. Комбинаторика.

Лекции по основам дискретной математики. Скомп. справка в html, 176 Кб. Основы дискретной математики. Содержание. Теория множеств. Изоморфизм, автоморфизм, гомоморфизм. Бинарные операции. Теория групп. Теория групп (продолжение). Кольца, тела, поля. Теория алгебр. Тождества, бинарные операции. Исчисление высказываний. Теория кодирования. Теория графов. Эйлеровы пути, гамильтоновы пути. Кратчайшие пути в графе. Виды графов. Применение графов. Тео...

Теория множеств. Логика высказываний. Логика предикатов. Метод резолюций. Система Генцена. Система Аристотеля. Примеры неклассических логик. Теория Автоматов. Теория графов. Теория групп. Теория алгоритмов. Понятие алгоритма. Конкретизация понятия алгоритма. Сложность вычислений. Машины Тьюринга. Нормальные алгорифмы Маркова. Рекурсивные функции. Формальные грамматики. Функциональное программирование. Логическое программирование....

К: Просвита, 2003 г. , 288 с. Множества. Теория отношений. Отображения. Функции. Мощность множеств. Отношение порядка. Решетки. Строение и представление решеток. Графы. Булева алгебра. Логика высказываний. Формальные теории. Исчисление высказываний. Теория предикатов первого порядка. Автоматическое доказательство теорем. Свойства теорий первого порядка. Теория алгоритмов.