Deductions

Скріншот програми:
Deductions
Дані програми:
Версія: 1.3
Дата завантаження: 2 Jan 15
Розробник: Wandering Mango
Ліцензія: Shareware
Ціна: 24.99 $
Популярність: 36
Розмір: 6098 Kb

Rating: 2.8/5 (Total Votes: 4)

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

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

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

Обмеження

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

Схожі програми

Інші програми розробника Wandering Mango

Intuition
Intuition

13 Dec 14

Deductions

Коментар не знайдено
додати коментар
Включіть картинки!
Пошук за категоріями