Дискретная математика
Математика
  • формат doc
  • размер 168.96 КБ
  • добавлен 02 июня 2007 г.
Соловьев Е.А. Учебник по дискретной математике
Теория множеств.
Логика высказываний.
Логика предикатов.
Метод резолюций.
Система Генцена.
Система Аристотеля.
Примеры неклассических логик.
Теория Автоматов.
Теория графов.
Теория групп.
Теория алгоритмов.
Понятие алгоритма.
Конкретизация понятия алгоритма.
Сложность вычислений.
Машины Тьюринга.
Нормальные алгорифмы Маркова.
Рекурсивные функции.
Формальные грамматики.
Функциональное программирование.
Логическое программирование.
Язык Пролог.
Объектно-ориентированное программирование.
Похожие разделы
Смотрите также

Акимов О.Е. Дискретная математика: логика, группы, графы

  • формат pdf
  • размер 16.1 МБ
  • добавлен 22 февраля 2011 г.
М.: Лаборатория базовых знаний, 2001. 352 с. Учебник по дискретной математике для студентов 1 курса, изучающих дискретную математику (в основном для студентов факультета информационных технологий). Аналогичный учебник 2003 года издания размером 65.97Mb выложил "Emilliane".

Акимов. Дискретная математика

  • формат pdf
  • размер 65.97 МБ
  • добавлен 27 октября 2010 г.
Учебник по дискретной математике для студентов 1 курса изучающих дискретную математику (в основном для студентов факультета информационных технологий). Год издания: 2003

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

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

Джеймс Вильямс. Дискретная математика и комбинаторика

  • формат djvu
  • размер 7.97 МБ
  • добавлен 12 ноября 2010 г.
2004 г. Современный учебник по дискретной математике. Содержит такие разделы, как математическая логика, теория множеств, комбинаторика, теория графов, теория алгоритмов и вычислений, общие сведения по теории вероятностей, алгебре и теории чисел. Книга адресована в первую очередь преподавателям и студентам.

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

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

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

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

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

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

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

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

Шур А.М. Комбинаторика слов

  • формат djvu
  • размер 3.6 МБ
  • добавлен 19 января 2011 г.
Екатеринбург: Изд-во Уральского университета, 2003. - 96 с. Пособие представляет собой первый учебник по комбинаторике слов на русском языке. Рассматриваются комбинаторные проблемы, связанные с понятиями "периодичность" и "избегаемость". Изложение опирается на базовый курс алгебры и дискретной математики. Адресовано аспирантам и студентам, специализирующимися в дискретной математике, компьютерной математике, теоретической информатике.

Эвнин А.Ю. Задачник по дискретной математике

  • формат pdf
  • размер 982.38 КБ
  • добавлен 29 января 2009 г.
Челябинск, ЮУрГУ, 1998 г. Задачник соответствует курсу дискретной математики для студентов специальности "Прикладная математика" (на сайте выложен соответствующий учебник Эвнина "Дискретная математика")