Мунасыпов Н.А. Учебное пособие по Дискретной математике

формат pdf
размер 598.93 КБ
добавлен 23 февраля 2010 г.

Дискретная математика. ВТУ. Москва 2005. - 84 с.

Операции над множествами.
Алгебра Буля.
Отображение множеств.
Мощность множества.
Отношения (эквивалентность, толерантность, порядок).
Алгебра высказываний.
Математическая логика.
Логические операции.
Формулы алгебры высказываний.
Варианты импликации.
Функции алгебры высказываний.
Полные системы связок.
Проверка правильности рассуждений.
Нормальные формы.
Формул алгебры высказываний.
Логические отношения.
Проверка правильности рассуждений.
Нормальные формы формул алгебры высказываний.
Совершенные нормальные формы.
Алгебра высказываний и релейно-контактные схемы.
Исчисление высказываний.
Построение формулы алгебры высказываний по заданной логической функции.
Моделирование алгебры высказываний с помощью релейно-контактных схем.
Исчисление высказываний.
Символы, формулы, аксиомы исчисления высказываний.
Теорема дедукции.
Проблемы непротиворечивости, полноты, независимости аксиом исчисления высказываний.
Тренировочные задания.
Тесты.

Похожие разделы

Смотрите также

Баннаи Э., Ито Т. Алгебраическая комбинаторика. Схемы отношений

формат djvu
размер 3.61 МБ
добавлен 19 января 2011 г.

Мир, 1987. Книга известных математиков (США, Япония), систематически излагающая новый подход к решению разнообразных задач алгебры и комбинаторики, основанный на применении схем отношений. Для математиков разных специальностей, для аспирантов и студентов как учебное пособие по дискретной математике.

Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике

формат djvu
размер 7.17 МБ
добавлен 27 сентября 2010 г.

Сборник возник как пособие для практических занятий но курсу дискретной математики. Он содержит как упражнения, предназначенные для первоначального ознакомления с основными понятиями и фактами дискретной математики, так и задачи повышенной трудности, рассчитанные на такого читателя, который обладает достаточной математической культурой и специальной подготовкой. Книга будет полезна студентам университетов и других вузов, в которых изучаются дискр...

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

формат pdf
размер 806.23 КБ
добавлен 21 апреля 2009 г.

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

Ерусалимский Я. М. Дискретная математика: теория, задачи, приложения

формат djvu
размер 2.53 МБ
добавлен 05 сентября 2007 г.

Учебное пособие по дискретной математике. Содержит разделы: алгебра высказываний, алгебра предикатов и множеств, отображения, элементы комбинаторики, отношения, булевы функции, элементы теории алгоритмов и графов. Отдельный раздел составляют задачи и упражнения. Для студентов и преподавателей вузов, инженеров-системотехников, программистов

Ерусалимский Я.М. Дискретная математика: теория, задачи, приложения

формат pdf
размер 4.17 МБ
добавлен 04 января 2012 г.

М.: Вузовская книга, 2000. - 280 с. Учебное пособие по дискретной математике. Содержит разделы: - алгебра высказываний, - алгебра предикатов и множеств, - отображения, - элементы комбинаторики, - отношения, - булевы функции, - элементы теории алгоритмов и графов. Отдельный раздел составляют задачи и упражнения. Для студентов и преподавателей вузов, инженеров-системотехников, программистов

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

Контрольная работа

формат rtf
размер 3.69 МБ
добавлен 27 апреля 2011 г.

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

Нефедов В.Н., Осипова В.А. Курс дискретной математики

формат djvu
размер 4.74 МБ
добавлен 13 февраля 2011 г.

Учебное пособие. —М.; Изд-во МАИ, 1992. —264 с Излагаются основы современной дискретной математики. Рассматриваются вопросы, связанные с математической логикой, теорией алгебраических систем, комбинаторикой, теорией графов. Приводится ряд практических задач и даются алгоритмы их решения. Учебное пособие предназначено для студентов, обучающихся по специальности «Прикладная математика», но может оказаться полезным также и студентам экономических и...

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

формат doc
размер 2.54 МБ
добавлен 20 сентября 2011 г.

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

Чашкин А.В. Лекции по дискретной математике

формат pdf
размер 1.7 МБ
добавлен 12 мая 2010 г.

М.: МГУ Мехмат, 2007. 259 с. Учебное пособие содержит материалы лекций и семинарских занятий, составивших обязательный полугодовой курс дискретной математики, прочитанный автором студентам четвертого курса механико-математического факультета Московского государственного университета им. М. В. Ломоносова.

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

формат djvu
размер 3.6 МБ
добавлен 19 января 2011 г.

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