Зарегистрироваться
Восстановить пароль
FAQ по входу

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

  • Файл формата zip
  • размером 308,60 КБ
  • содержит документ формата rtf
  • Добавлен пользователем , дата добавления неизвестна
  • Описание отредактировано
Задачи по математической логике (+примеры решения и комментарии)
2014 г.
Элементы алгебры высказываний.
Логические операции над высказываниями.
Равносильные формулы алгебры высказываний.
Нормальные формы.
Логические следствия.
Решение задач с помощью алгебры высказываний.
Исследование рассуждений.
Получение логических следствий из данных формул и посылок для данных логических следствий.
Необходимые и достаточные условия.
Анализ и синтез релейно-контактных схем.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация

Смотри также

Подробнее

Воротников С.М. Введение в математическую логику. Части 1 - 2

  • doc
Учебно-практическое пособие. – Комсомольск-на-Амуре: Комсомольский-на-Амуре государственный технический университет, 2003. — 61 с. По содержанию данное пособие, является методической основой для изучения следующих вводных разделов математической логики и ее приложений: формулы логики высказываний и операции над ними; упрощение записи формул; доказательство равносильности,...
  • 2,50 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

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

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

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

  • rtf
Решебник содержит подробное решение задач по основным темам математической логики в т. ч. способы решения логических задач типа "Кто есть кто? " методами графов, табличным способом, сопоставлением трех множеств; тактических, истинностных задач, на нахождение пересечения множеств или их объединения. Буквенные ребусы и примеры со звездочками.
  • 621,56 КБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов

  • djvu
М.: Академия, 2007. — 304 с. — ISBN 5-7695-3728-0. Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Сборник состоит из четырнадцати параграфов в 5 главах:...
  • 4,29 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Колмогоров А.Н., Драгалин А.Г. Математическая логика (Введение в математическую логику + Математическая логика. Дополнительные главы)

  • djvu
М.: КомКнига, 2006. — 240 с. — (Классический университетский учебник). В настоящее издание включены учебники А.Н. Колмогорова и А.Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики....
  • 3,34 МБ
  • дата добавления неизвестна
  • описание отредактировано
Наверх