Лобанов В.И. Инженерная логика против классической

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

Москва, 2004г. 960с. Книга адресована в первую очередь преподавателям и студентам технических специальностей. Она будет также полезна тем, кто интересуется дискретной математикой и желает изучить ее самостоятельно. Таблицы истинности, логика, доказательства. Теория множеств. Логика, целые числа и доказательства. Функции и матрицы. Алгоритмы и рекурсия. Графы, ориентированные графы и деревья. Теория чисел. Комбинаторика и вероятность. Алгебраичес...

Учебное пособие / Московский государственный университет экономики, статистики и. информатики, – М. , 2003, 127 с. Введение. Множества. Операции над множествами. Мощность множеств. Отображение множеств. Отношения на множествах. Тест. Математическая логика. Алгебра высказываний. Проблемы разрешимости. Нормальные формы. Исчисление высказываний. Логика предикатов. Тест. Теория графов. Графы. Деревья. Экстремальные задачи на графах. Вопросы для само...

Множества. Отображения и соответствия. Отношения. Натуральные числа. Логика высказываний. Логика предикатов. Формальные теории. Алгоритмы и вычислимость. Булевы функции. Элементы теории кодирования. Функции выбора и их логическая форма. Элементы комбинаторики. Биномиальная модель. Биномиальный ряд. Производящие. Рекуррентные последовательности. Числа Фибоначчи. Графы. Деревья. Доминирование. Внутренняя и внешняя устойчивость в графах.

Теория множеств. Графики, соответсвия, отношения. Решетки. Логика высказываний Предикаты. Автоматы.

Элементы теории множеств. Комбинаторика. Элементы теории графов. Логические исчисления. Логика высказываний.

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

МГТУ "Станкин", кафедра прикладной математики Двузначная логика: - Функции алгебры логики. - Суперпозиция и формулы. - Булева алгебра. - Алгебра Жегалкина. - Нормальные формы логических функций. - Минимизация функций. - Полнота и замкнутость. К-значная логика: - Элементарные функции. - Основные свойства элементарных функций. - Основные формы функций. - Представление функций полиномами. - Полнота и замкнутость. Элементы теории графов:...

Элементы теории множеств. Комбинаторика. Математическая логика Теория алгоритмов

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