Математическая логика (Вариант 2)

Раздел
Математические дисциплины
Просмотров
293
Покупок
0
Антиплагиат
Не указан
Размещена
6 Мар 2021 в 17:39
ВУЗ
Не указан
Курс
3 курс
Стоимость
300 ₽
Файлы работы   
1
Каждая работа проверяется на плагиат, на момент публикации уникальность составляет не менее 40% по системе проверки eTXT.
doc
Математическая логика (Вариант 2)
336 Кбайт 300 ₽
Описание

Сделана в мае 2018 года (вуз неизвестен - заказчик не сказал).

В оглавлении не видно часть задания, так как оно набрано в эмуляторе формул. В файле все нормально, уверяю Вас.

Работа была успешно сдана - заказчик претензий не имел.

Уникальность работы по Antiplagiat.ru на 06.03.2021 г. составила 73%.

Свои готовые работы, я могу оперативно проверить на оригинальность по Antiplagiat .ru и сообщить Вам результат.

Оглавление

Задание 1

Составить множество истинности предиката: Р(х) = {х2 - 9=0}

Задание 2

Изобразить с помощью диаграмм Эйлера-Венна область истинности предиката:  

Задание 3

Составить п.н.ф. формулы логики предикатов  

Задание 4

Указать свободные и связанные переменные в формуле  

Задание 5

Составить предикат, область истинности которого заштрихована на рисунке:

 

Задание 6

Для формул  записать результаты каждой из следующих подстановок:

∫_(х,у,z)^(Aᴠ¯С,А,B)▒〖(L),〗    ∫_(х,у,z)^(DᴧC,¯B,В)▒〖(М)〗

Задание 7

Применяя правило подстановки, доказать, что формула доказуема: 

((В→С)→¯С) → (( ¯А →¯С) →(( В→С) ᴠ ¯А) → ¯С 

Задание 8

Применяя правила вывода, установить доказуемость формулы

(⊢D,⊢C)/(⊢СᴧD)

Список используемой литературы

Список литературы

1. Игошин В.И. Математическая логика и теория алгоритмов: Учеб. пособие для студ. высш. учеб. заведений. – М.: Изд. центр «Академия», 2004. – 448 с.

2. Идиатулин В.С. Математическая логика. Курс лекций. Задачник-практикум и решения: Учебное пособие. 4-е изд. / В.С. Идиатулин. – СПб.: Лань П, 2016. – 288 c.

3. Колмогоров А.Н. Математическая логика: Дополнительные главы / А.Н. Колмогоров, А.Г. Драгалин. – М.: УРСС, 2015. – 240 c.

4. Математическая логика и теория алгоритмов: учебное пособие / И.А.Блатов, О.В.Старожилова – Самара: ПГУТИ, 2017. –214 с.

5. Пайсон Б.Д. Математическая логика: учебное пособие для студентов математических специальностей педагогических вузов. – 2-е изд., исправ. и доп. – Барнаул: Изд-во БГПУ, 2006. – 168 с.

Вам подходит эта работа?
Похожие работы
Математическая логика
Контрольная работа Контрольная
18 Ноя в 00:44
12
0 покупок
Математическая логика
Контрольная работа Контрольная
18 Ноя в 00:36
12
0 покупок
Математическая логика
Контрольная работа Контрольная
18 Ноя в 00:30
11
0 покупок
Математическая логика
Контрольная работа Контрольная
18 Ноя в 00:24
13
0 покупок
Математическая логика
Задача Задача
9 Ноя в 21:49
36 +2
0 покупок
Другие работы автора
Государственное управление
Курсовая работа Курсовая
1 Ноя в 19:16
47
0 покупок
Экономическая теория
Контрольная работа Контрольная
1 Ноя в 18:54
76 +1
0 покупок
Педагогическая психология
Контрольная работа Контрольная
1 Ноя в 15:02
73 +1
0 покупок
Муниципальное управление
Дипломная работа Дипломная
1 Ноя в 14:35
47
0 покупок
Гражданский процесс
Контрольная работа Контрольная
1 Ноя в 14:14
75
0 покупок
Маркетинг
Курсовая работа Курсовая
1 Ноя в 14:01
76
0 покупок
Экологическое право
Контрольная работа Контрольная
1 Ноя в 13:44
67 +1
0 покупок
Гражданское право
Статья Статья
1 Ноя в 10:02
41 +1
0 покупок
Психология личности
Курсовая работа Курсовая
1 Ноя в 09:40
70 +1
0 покупок
Специальная педагогика (дефектология)
Курсовая работа Курсовая
1 Ноя в 09:25
64 +1
0 покупок
Философия
Контрольная работа Контрольная
1 Ноя в 09:11
61
0 покупок
Уголовное право
Курсовая работа Курсовая
1 Ноя в 08:54
82 +1
2 покупки
Юриспруденция
Курсовая работа Курсовая
31 Окт в 19:43
37 +3
0 покупок
Финансовое право
Задача Задача
31 Окт в 19:19
34
0 покупок
Государственное право
Контрольная работа Контрольная
31 Окт в 19:09
38 +2
0 покупок
Предпринимательское право
Контрольная работа Контрольная
31 Окт в 18:17
77
0 покупок
Информационное право
Курсовая работа Курсовая
31 Окт в 18:05
38 +1
0 покупок
Международные экономические отношения
Отчет по практике Практика
31 Окт в 10:41
53
0 покупок
Международные экономические отношения
Статья Статья
31 Окт в 10:24
35 +1
0 покупок
Темы журнала
Показать ещё
Прямой эфир