Министерство науки и высшего образования Российской Федерации
федеральное государственное бюджетное образовательное учреждение
высшего образования
"Санкт-Петербургский государственный технологический институт
(технический университет)"
Кафедра систем автоматизированного проектирования и управления
А.В. Козлов Математическая логика и теория алгоритмов
Практикум к выполнению лабораторных работ
для студентов заочной формы обучения
"Информатика и вычислительная техника"
Санкт-Петербург
2018
Стоимость выполнения контрольных работ 1, 2 уточняйте при заказе
Вариант контрольной работы выбирается по двум последним цифрам зачетной книжки
Задание к контрольной работе №1:
Исследовать на равносильность формулы f1 , f2 и f3, заданные в дизъюнктивной нормальной форме, двумя способами:
1) путем их представления (на основе равносильных формул алгебры логики) в виде совершенных конъюнктивных нормальных форм с
подтверждением правильности реструктуризации исходных формул построением их таблиц истинности;
2) путем представления заданных формул f1 , f2 и f3 в виде полиномов Жегалкина, формируемых двояко:
а) на основе формулы Жегалкина;
б) на основе метода неопределённых коэффициентов.
Задание к контрольной работе №2:
Часть 1
1) Методом от противного выяснить, верно ли предложенное
логическое следование. Справедливость полученного вывода подтвердить
решением этой же задачи на основе определения понятия логического
следования.
2) Найти все не равносильные между собой и не тождественно
истинные формулы алгебры высказываний, являющиеся логическими
следствиями заданных формул-посылок F1, F2, ...
3) Найти все не равносильные между собой и не тождественно
ложные формулы алгебры высказываний, для которых заданная формула G
является логическим следствием. Часть 2
4) Построить релейно-контактную схему, заданную формулой A, и
определить её функцию проводимости; провести минимизацию схемы.
5) Вывести формулу для указанного ряда Sn и обосновать её справедливость методом математической индукции.
WhatsApp:
Telegram: +79119522521
