Соловьев Е.А. Учебник по дискретной математике

формат 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 г. Задачник соответствует курсу дискретной математики для студентов специальности "Прикладная математика" (на сайте выложен соответствующий учебник Эвнина "Дискретная математика")