Deductions

Отчисления в образовательное программное обеспечение разработано, чтобы помочь студентам научиться доказательства в формальной логике. Он предназначен для использования преподавателями и студентами уровня колледжа логических курсов в философии, математике и информатике. Это дает немедленную обратную связь на каждом этапе доказательства, предоставляет подсказки о том, как завершить доказательства, и поставляется с набором видео-уроки, которые объясняют и рассмотреть несколько сложных понятий в логике. Отчисления призвана решить три проблемы, которые делают доказательства наиболее трудно компонентов формальной логики курсов: не зная, правила применяются правильно, застрять в середине доказательства и неопределенности о правилах и стратегии. Отчисления решает эти проблемы с помощью маркировки ошибки, в том числе намек двигателя, чтобы сделать предложения о том, как завершить доказательство, и имеющий мультимедийные обучающие программы, чтобы помочь студентам через сложные правила. Ключевые особенности: 1. Учебники: Отчисления предназначен для безупречной работы со следующими учебниками: (I) Логика Книга (Бергманом, Мур, и Нельсон), (II) Современная формальная логика Грунтовка (Пол Теллер), (III ) Серьезный Введение в математическую логику (Тони Рой). 2. флажков ошибки - Отчисления флаги ошибки в доказательствах, как только они происходят. Это важно, потому что, когда студенты сначала научиться доказательства, вычеты предотвращает студентов от обучения неправильные правила. 3. Совет двигателя - Отчисления предоставляет подсказки о том, как завершить доказательства. Когда студенты застряли в середине доказательства, вычеты показывает, как добиться прогресса. 4. Мультимедийные учебники - Отчисления поставляется с набором мультимедийных обучающих, разделенного на две группы: как использовать вычеты узнать логику, и как использовать логические правила. 5. Гибкость - Отчисления предназначен для работы с различными логическими системами, и учебников. Оба стандартные и альтернативные символы включены, а также правил, которые могут быть включены и индивидуально. 6. Современный дизайн - Отчисления обеспечивает современный интерфейс. В новой записи в поле, не видел много обновлений в последние годы (многие логические программы пишутся для DOS, Windows 9x, или рудиментарные Java-апплеты), вычеты использует технологии на Mac OS X, чтобы обеспечить удобный пользовательский интерфейс, перетащить и падение поддержки, а также комплексная система помощи. . 7. более эффективным, чем бумаги - Отчисления заботится о деталях редактирования, автоматически регулируя доказательства, когда строки добавляются, удалить или переместить

Что нового В этом выпуске:

• Добавлена ​​поддержка системы правил логики Книга PD +
  
• добавлена ​​поддержка для предоставляющие Введение ND системы + правило
  
• Добавлена ​​возможность экспорта вычет в текстовый файл
  
• Добавлена ​​возможность экспорта вычет в LaTeX фрагменте

Ограничения

Только Следующие правила вычет доступны в пробной версии: Офисное помещение, Успенский, Повторение, введения конъюнкции, союз Ликвидация, Условная Введение, Условная Ликвидация, Тильда Введение, Тильда Ликвидация