Разработчик Малик Пиара представил открытого инструментария для изучения логики LogiCola 3.0. Исходный код проекта опубликован на GitHub под лицензией MIT. Новая версия LogiCola с открытым исходным кодом работает в браузере и доступна на всех основных платформах, включая мобильные устройства.
LogiCola — это программное обеспечение, разработанное, чтобы помочь учащимся изучать логику. Его создал Гарри Генслером (ушёл из жизни в 2022 году, Пиара хотел с ним встретиться, но не успел это сделать), который также является автором Introduction to Logic («Введение в логику»), одного из самых известных учебников в этой области для подготовительных и начальных курсов по логике. Учебное пособие Генслера и его программное обеспечение до сих пор присутствуют во многих вводных курсах по логике в вузах по всему миру. Последняя версия проекта LogiCola (Classic Logicola) была выпущена почти 20 лет назад и изначально работала только на ПК с Windows.
LogiCola 2. Первый релиз для Windows в 2008 году.
Оригинальная версия LogiCola для DOS, выпущенная 37 лет назад.
По словам автора, текущая сборка LogiCola 3.0, выглядит чистой и современной, но в ней нет оригинальной атмосферы. Все эти проблемы Пиара осознаёт и учитывает, чтобы оперативно вносить правку в код продукта.
Главной особенностью первого выпуска LogiCola 3.0 является режим викторины по значениям и определениям (набор Q). И ещё один режим для пропозициональных переводов (набор C).
Режим викторины в LogiCola 3.0. Предложения для пропозиционального перевода визуализируются с помощью LaTeX.
Пиара пояснил, что все задания проекта по-прежнему основаны на оригинальном учебнике Генслера «Введение в логику», так как их лучше смаковать вместе.
«Моё обязательство — продолжать создавать и поддерживать это программное обеспечение с открытым исходным кодом в течение следующих нескольких недель, месяцев и лет. Пока нет чётко определённого плана развития, но я уже работаю над контентом, связанным с силлогистической логикой и программным обеспечением для преподавателей и аудиторий (новая версия Logiskor)», — уточнил Пиара.
Источник: habr.com
Похожие новости:
Минцифры пересмотрит эксперимент по созданию российского аналога GitHub для его развёртывания на существующей платформе
Команда Nau Engine обновила FAQ и ответила на популярные вопросы по проекту игрового движка
AMD ведёт проект ZLUDA, чтобы обеспечить поддержку CUDA для графических процессоров AMD
AMD ведёт проект ZLUDA, чтобы обеспечить поддержку CUDA для графических процессоров AMD