Deductions

вирахувань освітнє програмне забезпечення розроблене, щоб допомогти студентам навчитися докази в формальної логіки. Він призначений для використання викладачами та студентами коледжу логічний рівень курсів з філософії, математики та інформатики. Це дає негайну зворотний зв'язок на кожному етапі докази, надає підказки про те, як завершити докази, і поставляється з набором відео-уроки, які пояснюють і розглянути кілька складних понять в логіці. Відрахування покликана вирішити три проблеми, які роблять докази найбільш важко компонентів формальної логіки курсів: не знаючи, правила застосовуються правильно, застрягти в середині докази і невизначеністю відносно правил і стратегій. Відрахування вирішує ці питання шляхом маркування помилки, у тому числі натяку двигуна вносити пропозиції про те, як завершити доказ, і має мультимедійні навчальні програми, щоб допомогти студентам через складні правила. Ключові особливості: 1. Підручники: Відрахування призначений для роботи спільно з наступними підручниками: (I) Logic Book (Бергманом, Мур, і Нельсон), (II) Сучасна формальна логіка Primer (Пол Теллер), (III ) Серйозний Введення в математичну логіку (Тоні Рой). 2. прапорців помилки - Відрахування прапори помилки в доказах, як тільки вони відбуваються. Це важливо, тому що, коли студенти спочатку навчитися докази, відрахування запобігає студентів від вивчення неправильних правила. 3. Рада двигуна - Відрахування надає підказки про те, як завершити докази. Коли студенти застрягли в середині докази, відрахування показує, як домогтися прогресу. 4. Мультимедіа Навчальні програми - Відрахування поставляється з набором мультимедійних навчальних програм, діляться на дві групи: Як використовувати відрахування дізнатися логіку, і як використовувати логічні правила. 5. Гнучкість - Відрахування призначений для роботи з різними логічними системами, і підручників. Як стандартні, так і альтернативні символи включені, а також правил, які можуть бути включені і індивідуально. 6. Сучасний дизайн - Відрахування забезпечує сучасний інтерфейс. У новому записі в полі, не бачив багато оновлень в останні роки (багато логічні програми, написані для DOS, Windows 9x або зародкові Java-аплети), відрахування використовує переваги технології Mac OS X, щоб забезпечити зручний користувальницький інтерфейс, Перетягніть і падіння підтримки, а також комплексна система допомоги. . 7. більш ефективним, ніж папери - Відрахування піклується про деталі редагування, автоматично регулюючи докази, коли лінії додаються, видаляються або переміщуються

Що нового У цьому випуску:

• Додана підтримка системи правил логіки Книга PD +
  
• Додана підтримка доступне введення ND системи + правила
  
• Додана можливість експорту вирахування в текстовий файл
  
• Додана можливість експорту вирахування в LaTeX фрагменті

Обмеження

Тільки Наступні правила відрахування надається в пробної версії: Приміщення, Успенський, повторення, введення кон'юнкції, союз Ліквідація умовному Введення в умовному Ліквідація, Тільда ​​Введення, Тільда ​​Ліквідація