Deductions

Odliczenia jest oprogramowanie edukacyjne, mające na celu pomóc uczniom w nauce dowodów w logice formalnej. Jest on przeznaczony do stosowania przez instruktorów i studentów uczelni poziomu kursów logiki w filozofii, matematyki i informatyki. To daje natychmiastową informację zwrotną na każdym etapie dowodu, dostarcza wskazówek na temat jak wypełnić dowody i jest wyposażony w zestaw samouczków wideo, które wyjaśniają i przeglądu kilka trudnych pojęć w logice. Odliczeń ma na celu rozwiązać trzy problemy, które sprawiają, że dowody najtrudniejszych elementów formalnych kursów logicznych: nie wiedząc, czy przepisy są stosowane prawidłowo, utknięcie w środku dowodu, a niepewność co do zasad i strategii. Odliczenia rozwiązuje te problemy słabnącym błędów, w tym silniku podpowiedź o sugestie na temat jak wypełnić dowód, a po samouczki multimedialne dla studentów przez skomplikowane przepisy. Najważniejsze funkcje: 1. Podręczniki: Odliczenia jest przeznaczony do współpracy z następującymi podręczników: (i) Logika Book (Bergmann, Moor, i Nelson), (ii) Nowoczesny logiki formalnej Primer (Paul Teller), (iii ) Poważne Wprowadzenie do logiki matematycznej (Tony Roy). 2. Flagowanie Błędy - Błędy w flag Odliczenia dowodów, gdy tylko się pojawią. Jest to ważne, ponieważ gdy studenci są pierwsze nauki dowody, Odliczenia zapobiega studentów z nauki niewłaściwych zasad. 3. Porada Silnik - Odliczenia dostarcza wskazówek na temat jak wypełnić dowodów. Kiedy uczniowie utknąć w środku dowodu, Odliczenia sugeruje jak dokonać postępu. 4. Multimedia Poradniki - Odliczenia pochodzi z zestawem ćwiczeń multimedialnych, podzielone na dwie grupy: w jaki sposób korzystają z odliczeń, aby dowiedzieć się logiką i jak korzystać z zasad logiki. 5. Elastyczność - Odliczenia jest przeznaczony do pracy z wielu różnych systemów logicznych i podręczników. Zarówno standardowe i alternatywne symbole są włączone, a także zasad, które mogą być włączane i wyłączane indywidualnie. 6. Modern Design - Odliczenia oferuje nowoczesny interfejs. Jako nowy wejścia w polu, że nie widziałem wiele nowości w ostatnich latach (wiele programów logiczne są pisane dla DOS, Windows 9x, lub są szczątkowe apletów Java), Odliczenia wykorzystuje technologie systemu Mac OS X, aby zapewnić przejrzysty interfejs użytkownika, Wsparcie przeciągnij i upuść, a rozbudowany system pomocy. . 7. bardziej wydajny niż księgi - Odliczenia dba o szczegóły edycji poprzez automatyczne dostosowanie dowodów, gdy wiersze są dodawane, usuwane lub przenoszone

Co nowego w tym wydaniu:

• dodano wsparcie dla systemu reguły logicznej Book PD +
  
• dodano wsparcie dla systemu Dostępna Wprowadzenie reguły + ND
  
• dodaje możliwość eksportowania odliczenia do pliku tekstowego
  
• dodaje możliwość eksportowania odliczenia do fragmentu LaTeX

Ograniczenia :

Tylko Poniższe zasady odliczeń są dostępne w wersji próbnej: Lokal, Wniebowzięcie, Powtarzanie, Koniunkcja Wstęp, Koniunkcja Eliminacja Warunkowo Wprowadzenie Warunkowo Eliminacja, Tylda Wstęp, Tylda Eliminacja