Математическая логика
| Цена, руб. | 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 |
Заказать работу «Математическая логика»
Отзывы
-
17.04
Рецензия на отлично, спасибо!!!
Марина - 15.04 Михаил
-
04.04
Большое, Человеческое-СПАСИБО Вас Сергей, автору!!! Приятного вечера!
Владимир