Диплом

Написать дипломную работу по программированию
Тема диплома: Системи побудови виведень на неокласичних логіках
Програма моделює виведення в певному секвенційному численні (у нас їх 5), в першому наближенні - пропозиційного рівня

40-45 страниц,нужен код, уникальность больше 90%, бакалавр
За основу тексту диплому краще взяти slide (перенести на папір, при потребі доповнити зі статей) (прикріплю слайди как знайду автора)
Додаю приклади виведень в усіх цих численнях, типу оригінальні доведення, хоч щось має бути