Дискретная математика и математическая логика
- Автор(ы)
- Будько А.Е
- Год
- 2015
- Язык
- rus
- Теги
- Математика физика
Аннотация
Дискретная математика и математическая логика Год издания : 2015 Автор : Будько А.Е. Жанр или тематика : Дискретная математика Издательство : БрГУ имени А.С. Пушкина ISBN : Нет Язык : Русский Формат : PDF Качество : Издательский макет или текст (eBook) Интерактивное оглавление : Да Количество страниц : 293 Описание : Электронный учебно-методический комплекс для студентов физико-математического факультета специальностей «Прикладная математика», «Экономическая кибернетика» Примеры страниц Оглавление Оглавление Введение Программный материал Примерный тематический план 1 Алгебра высказываний 1.1 Теоретическая часть 1.1.1 Высказывания. Операции над высказываниями 1.1.2 Формулы 1.1.3 Равносильные формулы 1.1.4 Тавтологии 1.1.5 Логические следствия 1.2 Практическая часть 1.2.1 Высказывания. Операции над высказываниями 1.2.2 Формулы 1.2.3 Равносильные формулы 1.2.4 Тавтологии 1.2.5 Логическое следствие 1.2.6 Логические задачи 1.2.7 Теоремы 1.3 Контрольные тесты 2 Логика предикатов 2.1 Теоретическая часть 2.1.1 Предикаты 2.1.2 Кванторы 2.1.3 Формулы 2.1.4 Равносильность 2.1.5 Нормальные формы 2.1.6 Проблема разрешения 2.1.7 Применение языка логики предикатов для записи математических предложений 2.2 Практическая часть 2.2.1 Предикаты 2.2.2 Кванторы 2.2.3 Формулы логики предикатов 2.2.4 Равносильность 2.2.5 Выполнимость формул 2.2.6 Нормальные формулы 2.2.7 Запись предложений с помощью операций логики предикатов 2.3 Контрольные тесты 3 Комбинаторный анализ 3.1 Теоретическая часть 3.1.1 Правила суммы, произведения 3.1.2 Выборки. Размещения 3.1.3 Сочетания 3.1.4 Разбиения 3.1.5 Формула бинома Ньютона 3.1.6 Полиномиальная формула 3.1.7 Формула включений и исключений 3.1.8 Задача о беспорядках 3.1.9 Рекуррентные соотношения. Задача о кроликах 3.1.10 Решение рекуррентных соотношений 3.1.11 Производящие функции 3.1.12 Разбиения чисел 3.2 Практическая часть 3.2.1 Правила суммы, произведения 3.2.2 Выборки. Размещения. Сочетания 3.2.3 Разбиения 3.2.4 Формула бинома Ньютона. Полиномиальная формула 3.2.5 Формула включений и исключений. Задача о беспорядках 3.2.6 Рекуррентные соотношения. Решение рекуррентных соотношений 3.2.7 Производящие функции 3.3 Контрольные тесты 4 Булевы функции 4.1 Теоретическая часть 4.1.1 Понятие булевой функции 4.1.2 Формулы 4.1.3 Равносильность 4.1.4 Нормальные формулы 4.1.5 Полнота и замкнутость 4.1.6 Важнейшие замкнутые классы 4.1.7 Свойства полноты и замкнутости 4.1.8 Представление о результатах Поста 4.2 Практическая часть 4.2.1 Функции. Равносильность 4.2.2 Специальные виды формул 4.2.3 Полнота, замкнутость 4.2.4 Замкнутые классы 4.3 Контрольные тесты 5 Приложение 5.1 Терминологический словарь 5.1.1 Алгебра высказываний 5.1.2 Логика предикатов 5.1.3 Комбинаторный анализ 5.1.4 Булевы функции 5.2 Основные формулы комбинаторики 5.3 Список важнейших равносильностей 5.3.1 Список важнейших равносильностей логики высказываний 5.3.2 Список важнейших равносильностей логики предикатов Литература Заглавная стр