Разработчик Малик Пиара представил открытого инструментария для изучения логики 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
