Тест сдан на "5". Благодарю за работу))
Информация о работе
Подробнее о работе
Математическая логика (Вариант 2)
- 7 страниц
- 2018 год
- 44 просмотра
- 0 покупок
Гарантия сервиса Автор24
Уникальность не ниже 50%
Фрагменты работ
нет
Задание 1
Составить множество истинности предиката: Р(х) = {х2 - 9=0}
Задание 2
Изобразить с помощью диаграмм Эйлера-Венна область истинности предиката:
Задание 3
Составить п.н.ф. формулы логики предикатов
Задание 4
Указать свободные и связанные переменные в формуле
Задание 5
Составить предикат, область истинности которого заштрихована на рисунке:
Задание 6
Для формул записать результаты каждой из следующих подстановок:
∫_(х,у,z)^(Aᴠ¯С,А,B)▒〖(L),〗 ∫_(х,у,z)^(DᴧC,¯B,В)▒〖(М)〗
Задание 7
Применяя правило подстановки, доказать, что формула доказуема:
((В→С)→¯С) → (( ¯А →¯С) →(( В→С) ᴠ ¯А) → ¯С
Задание 8
Применяя правила вывода, установить доказуемость формулы
(⊢D,⊢C)/(⊢СᴧD)
Список используемой литературы
Контрольная работа по предмету "Математическая логика" (Вариант 2) была сделана в мае 2018 года (вуз неизвестен - заказчик не сказал).
В содержании не видно часть задания, так как оно набрано в эмуляторе формул. В файле все нормально, уверяю Вас.
Работа была успешно сдана - заказчик претензий не имел.
Если хотите получить дополнительную информацию, то выберите меня исполнителем этого заказа и я Вам её предоставлю....
1. Игошин В.И. Математическая логика и теория алгоритмов: Учеб. пособие для студ. высш. учеб. заведений. – М.: Изд. центр «Академия», 2004. – 448 с.
2. Идиатулин В.С. Математическая логика. Курс лекций. Задачник-практикум и решения: Учебное пособие. 4-е изд. / В.С. Идиатулин. – СПб.: Лань П, 2016. – 288 c.
3. Колмогоров А.Н. Математическая логика: Дополнительные главы / А.Н. Колмогоров, А.Г. Драгалин. – М.: УРСС, 2015. – 240 c.
4. Математическая логика и теория алгоритмов: учебное пособие / И.А.Блатов, О.В.Старожилова – Самара: ПГУТИ, 2017. –214 с.
5. Пайсон Б.Д. Математическая логика: учебное пособие для студентов математических специальностей педагогических вузов. – 2-е изд., исправ. и доп. – Барнаул: Изд-во БГПУ, 2006. – 168 с.
Форма заказа новой работы
Не подошла эта работа?
Закажи новую работу, сделанную по твоим требованиям
