Математическая логика и теория алгоритмов, 9 заданий
| Цена, руб. | 400 |
| Номер работы | 5126 |
| Предмет | Математика |
| Тип работы | Контрольная |
| Объем, стр. | 7 |
| Оглавление | 1.Совершенные дизъюнктивные нормальные формы, совершенные конъюнктивные нормальные формы. 1.1.Построить таблицы истинности для следующих формул алгебры высказываний и привести эти формулы к СДНФ и СКНФ. 6. ((x∨z)∧¬y)→¬(y→z); 16. x∨¬(z→y)→¬(¬y∧z); 2. Логическое следствие в алгебре высказываний 1.2 Проверить истинность соотношений тремя способами (используя определение логического следствия и пп. 3,4 теоремы 2. ⊢ 3. Исчисление высказываний 1.3 Пусть – формулы исчисления высказываний. Построить вывод формулы исчисления высказываний из данного множества гипотез. 4. Алгебраические системы 1.4. Построить подсистему алгебраической системы A, порожденную множеством (через обозначен булеан множества B, т.е. множество всех подмножеств множества B). 5. Формулы логики предикатов 1.5. Выписать все подформулы данной формулы сигнатуры Σ={+,∙,≤,0} и определить свободные и связанные переменные формулы. 6. Истинность формулы логики предикатов в алгебраической системе. 1.7 Написать формулу , такую что 〈N;≤〉⊨Φ, 〈Z;≤〉⊭Φ; 7.Логическое следствие в логике предикатов 1.8 Пусть – формулы логики предикатов, и. . Доказать следующие соотношения. 8.Исчисление предикатов 2.0 Пусть – формулы исчисления предикатов. Построить вывод формулы исчисления предикатов из данного множества гипотез. ⊢ ; 9. Пренексная нормальная форма 2.1 Пусть – атомарные формулы логики предикатов. Привести следующие формулы логики предикатов к пренексной нормальной форме. " |
| Цена, руб. | 400 |
Заказать работу «Математическая логика и теория алгоритмов, 9 заданий»
Отзывы
-
25.04
Спасибо за помощь! Только статистику пришлось немного переделать. Вместе с научным руководителем, о
Марина -
17.04
Рецензия на отлично, спасибо!!!
Марина - 15.04 Михаил