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

Ван Хао, Мак-Нотон Р. Аксиоматические системы теории множеств

  • формат djvu
  • размер 445.67 КБ
  • добавлен 16 марта 2009 г.
М. : ИЛ, 1963. -55 с. Брошюра представляет собой развернутое изложение обзорного доклада, прочитанного первым из авторов — крупным специалистом по математической логике. В исключительно сжатой, но доступной и четкой форме авторам удалось изложить важнейшие современные аксиоматические обоснования теории абстрактных множеств. Эта отрасль весьма слабо представлена в советской математической литературе, а между тем современное бурное развитие исслед...

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

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

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

  • формат djvu
  • размер 4.29 МБ
  • добавлен 28 декабря 2008 г.
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Сборник состоит из четырнадцати параграфов в 5 главах: I. Алгебра высказываний; II. Булевы функции; III. Формализованное исчисление высказываний; IV. Логика предикатов; V. Эл...

Клини С. Введение в метаматематику

  • формат pdf
  • размер 10.14 МБ
  • добавлен 23 февраля 2011 г.
М.: Издательство иностранной литературы, 1957. - 526 с. Книга является самой обширной из имевшихся на момент её выхода в свет монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Книга предназначена для глубокого изучения предмета и рассчитана как на специалистов по математической логике и теории рекурсивных функций, так и н...

Клини С. Введение в метаматематику

  • формат djvu
  • размер 9.32 МБ
  • добавлен 22 апреля 2010 г.
М.: Издательство иностранной литературы, 1957. - 526 с. Книга является самой обширной из имевшихся на момент её выхода в свет монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Книга предназначена для глубокого изучения предмета и рассчитана как на специалистов по математической логике и теории рекурсивных функций, так и н...

Лекции по математической логике

Статья
  • формат doc
  • размер 168.15 КБ
  • добавлен 05 сентября 2008 г.
Лекции по математической логике. Основные понятия с примерами. Теория алгоритмов, Булевы функции, Логические Исчисления, Предикаты и кванторы.rn

Лекции по математической логике

Статья
  • формат doc
  • размер 386.76 КБ
  • добавлен 14 февраля 2007 г.
Операции логики Буля. Формы представления булевых операций. Методы доказательства в логике Буля. Задания на практическую работу по логике высказываний. Введение в логику высказываний. Построение доказательств в логике высказываний. Аксиоматический метод. Таблицы истинности. Метод Вонга. Метод натурального исчисления. Задания на практическую работу по логике высказываний. Примеры решения задач. Доказать методом натурального исчисления истинность с...

Пособие по Математической Логике

  • формат doc
  • размер 335 КБ
  • добавлен 09 января 2011 г.
Содержание. Введение. Исчисление высказываний. Высказывания. Формулы. Выполнимые и общезначимые формулы. Алгебраический подход. Дизъюнкты и нормальные формы. Логический вывод. Прямой вывод. Доказательство «от противного». Метод резолюций. Фразы Хорна. Примеры использования метода резолюций в логике высказываний. Непротиворечивость аксиом. Аксиоматизация логики высказываний. Исчисление предикатов. Предикаты. Применение логических связок. Кванторы....

Шпоры по математической логике

pottee
  • формат doc
  • размер 1.02 МБ
  • добавлен 07 января 2010 г.
Ответы по темам за 1 семестр математической логики. Ответы на экзаменационные билеты по математической логике всего 24 вопроса. Вопросы по темам от: 1) Двузначная логика, булевы функции, до 24) Множества и операции над ними.

Ячменева Н.Н. Математическая логика

  • формат pdf
  • размер 502.72 КБ
  • добавлен 22 октября 2009 г.
Метод. пособие по логике. Ростов-на-Дону. 2007г. – 42 с. Примеры решения задач по матем. логике. Темы пособия: 1. Алгебра высказываний. 2. Исчисление высказываний ИС генценовского типа. 3. Исчисление высказываний ИВ гильбертовского типа. 4. Общезначимость формул. 5. Логические программы.