Дискретная математика
Математика
  • формат pdf
  • размер 249.9 КБ
  • добавлен 28 ноября 2008 г.
Фоминых Е.А. Лекции по дискретной математике: функциональные системы с операциями
Функциональные системы с операциями.
Алгебра логики.
Функции алгебры логики.
Равенство функций и эквивалентность формул.
СДНФ.
Операция замыкания.
Полнота.
Важнейшие замкнутые классы.
Критерий полноты.
к-значная логика.
Функции к-значной логики. Аналог СДНФ.
Операция замыкания и полнота.
Алгоритм распазнования полноты.
Теорема Кузнецова о полноте.
Критерий слупецкого.
Особенности к-значных логик.
Похожие разделы
Смотрите также

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

  • формат 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

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

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

Петухин. Лекции по дискретной математике

  • формат gif, htm
  • размер 118.41 КБ
  • добавлен 07 сентября 2010 г.
Петухин. Лекции по дискретной математике. Скомп. справка в html. Содержание. Алгебраические системы. Общие понятия и определения. Понятие алгебраической системы. Алгебраические системы, алгебры и модели. Изоморфизм алгебраических систем. Подсистемы алгебраических систем. Прямое произведение алгебраических систем. Примеры алгебраических систем. Числа со сложением и умножением. Векторы на плоскости. Алгебра подмножеств. Классы алгебраических систе...

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

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

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

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

Судоплатов С.В., Овчинникова Е.В. Элементы дискретной математики

  • формат djvu
  • размер 3.6 МБ
  • добавлен 01 ноября 2009 г.
Учебник. - М.: Инфра-М, Новосибирск, Изд. НГТУ. – 2002г. -280 с. Может служить справочным пособием по дискретной математике. Элементы теории множеств. Алгебраические системы. Числовые системы. Элементы теории графов. Комбинаторика. Алгебра логики. Формальные исчисления.