Данный проект посвящен разработке программного инструмента, способного анализировать и определять истинность пользовательских логических выражений. Система будет оперировать базовыми логическими операторами: 'and' (конъюнкция), 'or' (дизъюнкция) и 'not' (отрицание). Пользователь сможет вводить логические переменные и строить сложные выражения, а программа на основе заложенных алгоритмов будет вычислять конечный результат – истину или ложь. Особое внимание уделяется созданию интуитивно понятного интерфейса и обеспечению корректности вычислений для широкого спектра входных данных, что делает разработку актуальной для образовательных и практических целей в области дискретной математики и информатики.
Идея проекта заключается в создании интерактивного программного средства, позволяющего студентам и всем интересующимся глубже понять принципы работы логических операторов и построения логических функций. Программа упростит процесс проверки правильности логических цепочек, демонстрируя ход вычислений.
В результате будет создана работающая программа, которая принимает на вход логические выражения, заданные пользователем, и выводит результат их оценки (истина/ложь). Продукт будет обладать возможностью ввода как простых, так и сложных, вложенных логических конструкций.
Одной из распространенных трудностей для начинающих в изучении информатики и математической логики является понимание и вычисление истинности сложных логических выражений. Ручная проверка может быть трудоемкой и подверженной ошибкам, особенно при работе с большим количеством переменных и операций.
Актуальность проекта обусловлена фундаментальной важностью логики в компьютерных науках, искусственном интеллекте и цифровых технологиях. Программа послужит наглядным пособием для освоения основ булевой алгебры, важной как для академического обучения, так и для решения прикладных задач.
Основной целью проекта является разработка эффективного и надежного программного инструмента для автоматизированной проверки истинности логических выражений. Достижение этой цели позволит предоставить студентам и исследователям удобный ресурс для практического применения знаний в области формальной логики.
Целевой аудиторией проекта являются студенты, изучающие информатику, математику, программирование, а также все, кто интересуется основами формальной логики. Программа будет полезна как для самостоятельного обучения, так и в качестве вспомогательного инструмента на занятиях.
Для реализации проекта потребуются персональный компьютер с установленной средой разработки (например, Python с IDE PyCharm или VS Code), а также доступ к учебным материалам и библиотекам по теме разработки парсеров и реализации алгоритмов.
Отвечает за высокоуровневое проектирование программной системы, определение её структуры, модульности и взаимодействие компонентов. Определяет основные алгоритмы и структуры данных для эффективной обработки логических выражений.
Отвечает за создание и адаптацию пользовательского интерфейса, обеспечивая интуитивное взаимодействие с программой. Осуществляет проектирование элементов ввода, вывода и навигации, ориентируясь на удобство и доступность для пользователя.
Отвечает за имплементацию и оптимизацию алгоритмов вычисления истинности логических выражений. Обеспечивает корректное применение правил булевой алгебры и обрабатывает краевые случаи, гарантируя точность результатов.
Отвечает за систематическое тестирование разработанного модуля. Разрабатывает тестовые сценарии, проводит проверку функциональности, производительности и безопасности, выявляя и документируя ошибки для последующего исправления.
Выполнил: ФИО
Руководитель: ФИО
