Deductions

Удръжки е образователен софтуер, който ще помогне на учениците да учат доказателства в формалната логика. Той е предназначен да се използва от инструктори и студенти на логически курсове на ниво колеж по философия, математика и компютърни науки. Тя дава незабавна обратна връзка на всеки етап от доказателство, осигурява съвети за това как да завърши доказателства, и идва с набор от видео уроци, които обясняват и преразглеждане на редица предизвикателни понятия в логиката. Удръжки има за цел да реши три проблемите, които правят доказателства най-трудният компонент на формалната логика курсове: Не се знае дали правила се прилагат правилно, затъване в средата на доказателство, и несигурността относно правилата и стратегиите. Удръжки се занимава с тези въпроси от спадащата грешки, включително и намек двигателя да прави предложения за това как да попълнят доказателства, и като мултимедийни уроци, за да помогне на учениците чрез комплексни правила. Характеристики същественото: 1. Учебници: Удръжки е проектиран да работи безпроблемно със следните учебници: (I) The Logic книга (от Bergmann, Moor, и Нелсън), (II) A Modern формалната логика Primer (от Paul Teller), (III ) A Serious Въведение в Математическа логика (от Tony Roy). 2. Маркиране на грешки - Удръжки знамена грешки в доказателствата, веднага след като те се появят. Това е важно, защото, когато учениците се учат първо доказателства, Удръжки предотвратява студенти от обучение грешни правила. 3. Съвет Engine - Удръжки предоставя съвети за това как да завърши доказателства. Когато учениците се заби в средата на доказателство, Удръжки подсказва как да се постигне напредък. 4. Мултимедийни уроци - Удръжки идва с набор от мултимедийни уроци, разделени на две групи: Как да използвате Удръжки да научите логика, и как да се използват правилата на логиката. 5. гъвкавост - Удръжки е проектирано да работи с много различни логически системи и учебници. Включени са двата стандартни и алтернативни символи, както и правила, които могат да бъдат включвани и изключвани индивидуално. 6. модерен дизайн - Удръжки осигурява модерен интерфейс. Като нов влизане в област, която не е видял много новини през последните години (много логически програми са написани за DOS, Windows 9x, или са недоразвити Java аплети), Удръжки лостове технологии на Mac OS X, за да се осигури чист потребителски интерфейс, влачене и пускане подкрепа, и всеобхватна система за помощ. . 7. по-ефективно, отколкото на хартия - Удръжки се грижи за данните за редактиране като автоматично регулира доказателства, когато са добавени линии, отстранени или са преместени

Какво ново в тази версия:

• добавена поддръжка за управление система Logic Book PD +
  
• добавена поддръжка за достъпна Въведение ND + правило система
  
• добавена възможността за износ на приспадане във файл Текст
  
• добавена възможността за износ на приспадане на LaTeX фрагмент

<силни> Ограничения :

Единствено следните правила за приспадане се предлагат в пробната версия: Помещение, Успение Богородично, Повтаряне, Конюнкция Въведение, Конюнкция Елиминиране, Conditional Въведение, Conditional Елиминиране, Тилда Въведение, Тилда Елиминиране