Дискретная математика
Математика
  • формат gif, htm
  • размер 118.41 КБ
  • добавлен 07 сентября 2010 г.
Петухин. Лекции по дискретной математике
Петухин. Лекции по дискретной математике. Скомп. справка в html.

Содержание.
Алгебраические системы.
Общие понятия и определения.
Понятие алгебраической системы.
Алгебраические системы, алгебры и модели.
Изоморфизм алгебраических систем.
Подсистемы алгебраических систем.
Прямое произведение алгебраических систем.
Примеры алгебраических систем.
Числа со сложением и умножением.
Векторы на плоскости.
Алгебра подмножеств.
Классы алгебраических систем.
Графы.
Частично-упорядоченные множества.
Решётки.
Булевы алгебры.
Группы и полугруппы.
Графы.
Основные понятия.
Маршруты, цепи и циклы.
Раскраска, плоские графы.
Комбинаторные задачи на графах.
Литература.
Булевы функции.
Понятие булевой функции.
Суперпозиция функций.
Двойственные функции.
Разложение функции по переменным.
Литература.
Математическая логика.
Предмет математической логики.
Пример формальной системы.
Структура раздела.
Аксиоматический метод.
Аксиомы натуральных чисел.
Начальные задачи.
Сложение.
Порядок.
Наименьший элемент.
Умножение.
Системы Пеано.
Логика высказываний.
Объектный язык и метаязык.
Пропозициональные формулы.
Доказательство свойств формул по индукции.
Разбор формул.
Семантика.
Нормальные формы.
Выполнимость.
Логическое следование.
Пропозициональный вывод.
Правила для конъюнкции и импликации.
Правило введения посылки.
Корректность правил вывода.
Правила для отрицания и правила противоречия.
Правила для дизъюнкции.
Корректность и полнота логики высказываний.
Логика предикатов.
Язык логики предикатов.
Свободные и связанные переменные.
Представление предложений русского языка предикатными формулами.
Подстановка.
Семантика.
Выполнимость.
Логическое следование.
Выводы в логике предикатов.
Правила для кванторов всеобщности.
Правила для кванторов существования.
Корректность и полнота логики предикатов.
Функциональные символы и равенство: синтаксис.
Функциональные символы и равенство: семантика.
Выводы в логике первого порядка.
Теории первого порядка.
Пример: Теория линейного порядка.
Арифметика первого порядка.
Нестандартные модели арифметики.
Теорема неполноты Гёделя.
Похожие разделы
Смотрите также

Виленкин Н.Я. Комбинаторика

  • формат djvu
  • размер 2.58 МБ
  • добавлен 26 января 2009 г.
Классический учебник для тех, кто хочет не просто знать, но и понимать комбинаторику. Всё описано с примерами. Лучшие рекомендации с форумов по Дискретной математике.

Ермаков В.И., Ерохина Т.А. и др. Практикум по дискретной математике

  • формат pdf
  • размер 31.36 МБ
  • добавлен 16 января 2011 г.
Сост.: Ермаков В. И., Ерохина Т. А., Локуциевский В. О., Максименко М. Н., Шеметкова О. Л. Изд-во: РЭА им. Г. В. Плеханова, 2007. -91 с. Практикум составлен с учётом программы по дискретной математике. В работе даётся теоретическое изложения материала по каждому из разделов дисциплины, а также задания для проведения практических занятий. Для студентов факультета информатики специальности 010502.65 "Прикладная математика (в экономике)" и экономик...

Ерош И.Л., Сергеев М.Б., Соловьев Н.В. Дискретная математика: Учеб. пособие

  • формат pdf
  • размер 806.23 КБ
  • добавлен 21 апреля 2009 г.
СПбГУАП. СПб. , 2005 - 144 с. Учебное пособие содержит как традиционные разделы дискретной математики: теорию множеств, булеву алгебру, комбинаторику, теорию графов, – так и ряд разделов, которые обычно не входят в учебники по дискретной математике, но исключительно важны для специалистов в области вычислительной техники, а именно: теорию дискретных групп, теорию чисел, теорию разрядных вычислений.

Задачи по дискретной математике (+ ответы и примеры решения)

Контрольная работа
  • формат rtf
  • размер 3.69 МБ
  • добавлен 27 апреля 2011 г.
Задачи по дискретной математике (+ ответы и примеры решения) Решебник содержит решения задач дискретной математики: диаграммы Эйлера-Венна; высказывание в виде формулы логики высказываний и формулы логики предикатов; СДНФ и СКНФ булевой функции. При помощи алгоритма Вонга и метода резолюции определяется является ли клауза теоремой. и др.

Лекции по дискретной математике

Статья
  • формат doc, rtf
  • размер 230.78 КБ
  • добавлен 05 января 2009 г.
Предмет дискретной математики, ее структура и содержание. Связь дискретной математики с другими дисциплинами. Дискретные структуры. Подмножества. Алгебра множеств. Декартово произведение множеств. Соответствия. Отношения. Отношения эквивалентности и порядка. Замыкание отношений. Функции. Алгебры и их морфизмы. Основы теории графов. Начальные понятия. Части графа и операции с ними. Деревья. Циклы в графах. Планарность и раскраски графов. Переключа...

Лекции по дискретной математике

Статья
  • формат doc
  • размер 319.58 КБ
  • добавлен 05 ноября 2007 г.
Все лекции по дискретной математике факультета Информационных технологий. Элементы общей алгебры. Различные виды алгебраических структур. Элементы математической логики. Логические функции. Булевы алгебры. Булевы алгебры и теория множеств. Полнота и замкнутость. Язык логики предикатов. Комбинаторика. Графы: основные понятия и операции. Маршруты, цепи и циклы. Некоторые классы графов и их частей. rn

Лекции по основам дискретной математики

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

Пантелеев В.И. Тринадцать лекций по дискретной математике

  • формат pdf
  • размер 592.42 КБ
  • добавлен 22 марта 2009 г.
Излагается материал курса дискретной математики (комбинаторика, булевы функции, помехоустойчивое кодирование).

Попырин А.В. Компьютеризированный учебник по дискретной математике с использованием среды Matematica

  • формат pdf
  • размер 157.86 КБ
  • добавлен 02 февраля 2010 г.
В статье описывается структура учебного пособия по дискретной математике, называемое компьютеризированным учебником и предусматривающего систематическое применение среды Matematica. Приводятся примеры использования встроенных функций среды и функций, размещённых в стандартном дополнении DiskreteMath, при изучении комбинаторики и теории графов

Солопов Ю.И. Лекции по дискретной математике: учебное пособие

  • формат doc
  • размер 2.54 МБ
  • добавлен 20 сентября 2011 г.
- Белгород. Изд-во БГТУ, 2008. - 116с. Учебное пособие является некоторым введением в мир дискретной математики. В нём изложены основные разделы дискретной матема-тики: множества, комбинаторика, основы математической логики, гра-фы. Приведены определения основных понятий, рассмотрены и проиллюстрированы примерами. Основное внимание уделено рассмотрению прикладных оптимизационных задач и алгоритмам их решений.rn