Благодарю за контрольную по логике)
Информация о работе
Подробнее о работе
Контрольная работа по дисциплине «Математическая логика» Вариант А
- 16 страниц
- 2014 год
- 292 просмотра
- 0 покупок
Гарантия сервиса Автор24
Уникальность не ниже 50%
Фрагменты работ
-
Упражнения для практического занятия № 1 3
Упражнения для практического занятия № 2 4
Упражнения для практического занятия № 3 6
Упражнения для практического занятия № 4 8
Упражнения для практического занятия № 5 10
Упражнения для практического занятия № 6 13
Список использованных источников 16
Описание
во всех заданиях буква г
и практическая 1 упражнение 3 буква б,
практическая 2 упражнения 1 и 2 буква и,
практическая 3 упражнение буква и,
практическая 4 упражнение 1 буква и,
практическая 5 упражнение 1 и 3 буква и,
практическая 6 упражнение 1 буква в, упражнение 2 буква и.
Упражнения для практического занятия № 1
Задание 1. Для приведенных формул логики высказываний построить соответствующие им логические функции в виде таблиц истинности, определить общезначимость, выполнимость (невыполнимость) и число моделей формулы:
а) ┐s → (┐t → r);
Решение.
Задание 2. Записать следующие утверждения в виде формул логики высказываний, построить таблицы истинности и определить обще значимость, выполнимость (невыполнимость) и число моделей полученных формул:
а) Если Сидоров поедет на автобусе, то его уволят с работы, если автобус опоздает.
Решение.
Задание 3. Преобразовать следующие формулы в КНФ:
а) (┐r & ┐t) ↔ (p ˅ q);
Решение.
Упражнения для практического занятия № 2
Задание 1. Используя метод резолюций доказать невыполнимость (или выполнимость) следующих множеств дизъюнктов. Применять произвольный порядок перебора дизъюнктов, а также, по указанию преподавателя, одну из следующих стратегий: предпочтение одночленам, линейную, насыщение уровня.
а) {(p ˅ q ˅ ┐s), (p ˅ ┐q), s, ┐p};
Решение.
...
1. Аляев Ю.А. Тюрин С.Ф. Дискретная математика и математическая логика. – М.: Финансы и статистика, 2006. – 368 с.
2. Бочаров В.А., Маркин В.И. «Основы логики: Учебник для вузов». – М.: Инфра-М, 2002.
3. Войшвенко Е.К., Дегтярев М.Г. «Логика: Учебник для вузов». – М.: Владос-пресс, 2001.
4. Германова А.Д. «Логика: Словарь и задачник: Учебное пособие для студентов вузов». – М.: Владос-пресс, 1998.
5. Гуц А.К. Математическая лоrика и теория алrоритмов. – Омск: Издательство Наследие. Диалог-Сибирь, 2003. – 108 с.
6. Иванов Е.А. «Логика: Учебник для юридических вузов». – М.: Бек, 1996.
7. Ивин А.А. «Логика. Учебник для гуманитарных факультетов». – М.: Фаир-пресс, 1999.
8. Логика. Учебное пособие для студентов вузов. – Ростов-на-Дону. Изд. «Феникс», 1996.
9. Марков А. А., Нагорный Н. М. Теория алгорифмов, изд. 2. – М.: ФАЗИС, 1996.
10. Марков А. А. Элементы математической логики. – М.: Изд-во МГУ, 1984.
11. Светлов В.А. Логика: Учебник. – М.: Логос, 2012.
12. Свободная онлайн-энциклопедия Википедия [Электронный ресурс]. – Режим доступа: http://ru.wikipedia.org/
13. Сковиков А.К. Логика: учебник и практикум. Серия: Бакалавр. Базовый курс. – М.: Юрайт, 2014.
14. Судоплатов С.В., Овчинникова Б.В. Математическая логика и теория алгоритмов: Учебник – М.: ИНФРА-М; Новосибирск: Изд-во НГТУ, 2004. – 224 с. – (Высшее образование).
15. В.А. Успенский, А.Л. Семёнов Теория алгоритмов: основные открытия и приложения – М., Наука, 1987, 288 c.
Форма заказа новой работы
Не подошла эта работа?
Закажи новую работу, сделанную по твоим требованиям
