Математическая логика
Цена, руб.400
Номер работы1474
ПредметЛогика
Тип работы Контрольная
Объем, стр.17
ОглавлениеЛабораторная работа 1.
Задание 1.
Упростить выражение:
Задание 2.
Используя основные эквивалентности исчисления высказываний, проверить следующие равносильности:

Задание 3.
Привести следующие формулы к минимальной ДНФ

Задание 4.
Привести следующие формулы к минимальной КНФ

Задание 5.
Привести следующие формулы к виду СДНФ

Лабораторная работа №2.
Задание.
В коробке лежат шары: большие и маленькие, красные и зеленые, темные и светлые. Из коробки надо достать шар, удовлетворяющий условиям:
4.1. Если шар светлый, то он может быть маленьким только тогда, когда он красный.
4.2. Шар может быть большим и светлым, если он зеленый.
4.3. Если шар большой, то для того чтобы он был зеленым, достаточно, чтобы он был темным.
Свести эти условия к двум простейшим.

Лабораторная работа №3.
Задание 3.
Проверить правильность логического вывода, используя метод прямого преобразования, метод семантических таблиц, метод резолюций и метод лок-резолюций.
╞ .

Лабораторная работа №4.

Задание 8.
Привести следующие формулы логики предикатов сначала к предваренной нормальной форме (ПНФ), затем к сколемовской нормальной форме (СНФ) и стандартной сколемовской форме (ССФ).
;

Лабораторная работа №5.

Задание.
Перевести выражения естественного языка на язык исчисления предикатов:
Существуют такие действительные числа , , что сумма чисел и больше, чем произведение чисел и .

Лабораторная работа №6.

Задание.
Проверить правильность следующих умозаключений тремя способами: методом семантических таблиц и методом резолюций.
Некоторые республиканцы любят всех демократов. Ни один республиканец не любит ни одного социалиста. Следовательно, ни один демократ не является социалистом.

Лабораторная работа №7.

Задание 3
Разработать тьюринговые функциональные схемы для решения следующих задач:
Дано число в унарной системе счисления. Определить, делится ли оно на 3?
Список использованной литературы:

1.Лихтарников Л.М. Математическая логика и теория алгоритмов / Л.М. Лихтарников. Т.Г., Сукачева. М.: Факториал, 2000. 420 с.
2. Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд. М.: Факториал. 1998. 450 с.
3. Карпов Ю.Г. Теория автоматов / Ю.Г. Карпов. М.: Питер.2002. 435 с.
4. Холопкина Л.В. Математическая логика и теория алгоритмов: учеб. пособие для вузов / Л.В. Холопкина. Воронеж: ВГТУ, 2008. 162 с.
Цена, руб.400
Если у Вас есть вопросы по содержанию, оплате и срокам доставки готовой работы, отправьте письмо на 3344664@mail.ru

Заказать работу «Математическая логика»

Ваше имя *E-mail *
E-mail *
Обязательно поставьте галочку, что Вы не робот
Форма оплаты
Оплата картой, электронные кошельки, с мобильного телефона. Мгновенное поступление денег. С комиссией платежной системы
Оплата вручную с карты, электронных кошельков и т.д. После перевода обязательно сообщите об оплате на 3344664@mail.ru

Файл готовой работы отправляется на емейл в срок от нескольких минут до нескольких часов.