whatsappWhatsApp: +79119522521
telegramTelegram: +79119522521
Логин Пароль
и
для авторов
Выполненные ранее работы и работы на заказ

Санкт-Петербургский государственный технологический институт (технический университет)

Математическая логика

Методичка 2018
Методичка 2018. Титульный лист

Министерство науки и высшего образования Российской Федерации
федеральное государственное бюджетное образовательное учреждение
высшего образования
"Санкт-Петербургский государственный технологический институт
(технический университет)"
Кафедра систем автоматизированного проектирования и управления
А.В. Козлов
Математическая логика и теория алгоритмов
Практикум к выполнению лабораторных работ
для студентов заочной формы обучения
"Информатика и вычислительная техника"
Санкт-Петербург
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 и обосновать её справедливость методом математической индукции.

Работа выполнена в формате Word+копия в PDF

В14 Кр1

Вариант 14

Исходные данные:
Исследовать на равносильность формулы f1, f2 и f3

Цена: 1000 р.        

В01 Кр1, В01 Кр2, В02 Кр1, В02 Кр2, В03 Кр1, В03 Кр2, В05 Кр1, В05 Кр2, В06 Кр1, В06 Кр2, В08 Кр1, В08 Кр2, В11 Кр1, В11 Кр2, В13 Кр1, В13 Кр2, В14 Кр1, В14 Кр2, В15 Кр1, В15 Кр2, В16 Кр1, В16 Кр2, В17 Кр1, В17 Кр2, В19 Кр1, В19 Кр2, В20 Кр1, В20 Кр2, В21 Кр1, В21 Кр2, В23 Кр1, В23 Кр2, В24 Кр1, В24 Кр2, В25 Кр1, В25 Кр2

показать все



Другие предметы, которые могут Вас заинтересовать:

Методы оптимизации

Мы используем cookie. Продолжая пользоваться сайтом,
вы соглашаетесь на их использование.   Подробнее