Программное обеспечение

В ИЛКиРЛ работает группа программных систем под руководством Новодворского А.Е., в которой работают  Смирнов А.В., Михалев А.В., Бережнев А., Новодворский П., Аникин В. Группа обеспечивает внутренние нужды института, поддерживает работу Web-сервера и занимается инициативной разработкой программного обеспечения.
Специалисты группы привлекаются крупными фирмами как эксперты по системной
интеграции, миграции данных, внедрению современных информационных технологий,
настройке и созданию программных систем.
Среди наших инициативных програмных разработок:

DEDUCTIO

Программа поддержки интерактивного поиска вывода.
См. также "Логика и компьютер. Вып.3 Доказательство и его поиск." (В.А.Смирнов, В.И.Маркин, А.Е.Новодворский, А.В.Смирнов)
Разработана Смирновым А.В. и Новодворским А.Е. при активной поддержке В.А.Смирнова.

MEDDIAG

программа-тренажер по диагностике внутренних болезней, который вошел в состав комплекта учебников "Логика и клиническая диагностика. Теоретические основы" и "Логика и клиническая диагностика. Компьютерный практикум".

Совместно с фирмой IPLabs мы осуществляем проект по продвижению ОС Linux в России. Мы считаем распространение программ с открытыми исходными текстами по открытой лицензии принципиально важным для свободного развития программистского и научного сообществ и лучшей профилактикой любого рода тоталитаризма.
На сервере www.iplabs.ru/Linux вы найдете обзоры, переводы и аналитические материалы, подготовленные в рамках этого проекта. Пакеты русификации для дистрибутивов Linux SuSE и Mandrake лежат на FTP, для Debian - у Пети Новодворского., Перевод книги "Linux installation and getting started версия 3.2" находится здесь. Текст 1998 г. Переводчик - М.Гильман.