Математическая логика и теория алгоритмов, 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 заданий»
Отзывы
-
20.11
Виктория, большое вам спасибо! Очень быстро все, даже не ожидала ))
Екатерина -
11.11
Сергей, большое Вам спасибо, защитила на отлично! Сказали, хорошая работа. Этого бы не было без Ваше
Наталья -
01.11
Это все благодаря вам. Я уже по вашим материалам тут все изучаю. Спасибо огромное вам и автору! Гос
Оксана