категории | RSS

Релиз открытого инструментария для изучения логики LogiCola 3.0

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

DimonVideo
2024-05-10T22:50:02Z

Здесь находятся
всего 0. За сутки здесь было 0 человек
Яндекс.Метрика