Данный исследовательский проект посвящен разработке и внедрению функционального калькулятора логических выражений, реализованного с использованием возможностей современных электронных таблиц. Проект направлен на создание наглядного и доступного инструмента для изучения и применения законов булевой алгебры и логических операций. Пользователи смогут вводить сложные логические формулы, состоящие из переменных, конъюнкции, дизъюнкции, отрицания и импликации, а система автоматически рассчитает результат для всех возможных комбинаций входных значений. Особое внимание уделяется интерактивности и визуализации получаемых истинностных таблиц, что способствует лучшему пониманию абстрактных логических конструкций. Этот инструмент призван упростить процесс обучения и решения задач, связанных с формальной логикой, делая его более интуитивно понятным и менее трудоемким. Разработанный калькулятор может быть адаптирован для различных образовательных платформ и использоваться как самостоятельный учебный ресурс.
Идея проекта заключается в имплементации мощного калькулятора для работы с логическими выражениями, используя привычный и широкодоступный инструментарий электронных таблиц. Это позволит студентам и преподавателям легко строить и анализировать истинностные таблицы для любых логических формул без необходимости программирования.
Итоговым продуктом станет электронная таблица с предопределенными функциями и макросами, которая будет функционировать как калькулятор логических выражений. Продукт позволит пользователям вводить произвольные логические выражения и получать результат их вычисления, представленный в виде истинностной таблицы.
Традиционное изучение формальной логики часто связано с ручным построением истинностных таблиц, что является монотонным и подверженным ошибкам процессом, особенно для сложных выражений. Это может отвлекать от понимания самих логических принципов и затруднять освоение материала.
Актуальность проекта обусловлена растущей потребностью в доступных и интерактивных образовательных инструментах для изучения дискретной математики и основ информатики. Калькулятор в электронных таблицах предоставляет удобный и наглядный способ ознакомления с основами логики.
Основная цель проекта – создание эффективного и интуитивно понятного инструмента для расчета и визуализации логических выражений. Это позволит значительно упростить процесс обучения и практического применения методов формальной логики в образовательных учреждениях.
Целевая аудитория проекта – студенты, изучающие дисциплины, связанные с дискретной математикой, информатикой, программированием и логикой. Инструмент также будет полезен преподавателям для демонстрации и объяснения логических операций.
Для реализации проекта потребуются персональный компьютер с установленным программным обеспечением для работы с электронными таблицами (например, Microsoft Excel, Google Sheets, LibreOffice Calc) и базовые знания синтаксиса формул и функций.
Отвечает за имплементацию логики вычислений и создание формул для преобразования пользовательского ввода в истинностные значения, обеспечивая корректность расчетов.
Проводит анализ требований к калькулятору, определяет набор поддерживаемых логических операций и структуру представления данных в электронных таблицах.
Проверяет работоспособность калькулятора на различных входных данных и выражениях, выявляет и документирует ошибки, оценивает точность результатов.
Отвечает за организацию рабочего пространства в электронной таблице, проектирует удобный и интуитивно понятный интерфейс для ввода выражений и просмотра результатов.
Выполнил: ФИО
Руководитель: ФИО
