Deductions

Οι εκπτώσεις είναι εκπαιδευτικό λογισμικό που έχει σχεδιαστεί για να βοηθήσει τους μαθητές να μάθουν αποδείξεις στην τυπική λογική. Είναι προορίζεται να χρησιμοποιηθεί από εκπαιδευτικούς και μαθητές του κολεγιακού επιπέδου λογικής μαθήματα φιλοσοφίας, των μαθηματικών και της επιστήμης των υπολογιστών. Δίνει άμεση ανατροφοδότηση σε κάθε στάδιο του απόδειξη, παρέχει συμβουλές σχετικά με το πώς να ολοκληρώσει τις αποδείξεις, και έρχεται με μια σειρά από εκπαιδευτικά βίντεο που εξηγούν και να αναθεωρήσει αρκετές δύσκολες έννοιες στη λογική. Μειώσεις φιλοδοξεί να επιλύσει τα τρία προβλήματα που κάνουν τις αποδείξεις το πιο δύσκολο στοιχείο της τυπικής λογικής μαθημάτων: δεν γνωρίζει αν οι κανόνες αυτοί εφαρμόζονται σωστά, να κολλήσει στη μέση του πιστοποιητικού, καθώς και η αβεβαιότητα σχετικά με τους κανόνες και τις στρατηγικές. Μειώσεις αντιμετωπίζει αυτά τα θέματα επισημαίνοντάς λάθη, συμπεριλαμβανομένου ενός κινητήρα υπόδειξη να υποβάλουν προτάσεις για το πώς να ολοκληρώσει μια απόδειξη, και με σεμινάρια πολυμέσων για να βοηθήσει τους μαθητές μέσα από πολύπλοκους κανόνες. Χαρακτηριστικά σημεία: 1. Συγγράμματα: Μειώσεις έχει σχεδιαστεί για να λειτουργεί απρόσκοπτα με τα ακόλουθα εγχειρίδια: (i) η λογική Βιβλίου (από Bergmann, Moor, και Nelson), (ii) Μια σύγχρονη τυπική λογική Primer (από τον Paul Teller), (iii ) Μια σοβαρή Εισαγωγή στη Μαθηματική Λογική (από τον Tony Roy). 2. Επισήμανση Λάθη - Μειώσεις σημαίες λάθη στις αποδείξεις που μόλις εμφανίζονται. Αυτό είναι σημαντικό, γιατί όταν οι μαθητές διδάσκονται για πρώτη φορά αποδείξεις, Αποκοπές αποτρέπει τους μαθητές από την εκμάθηση των κανόνων λάθος. 3. Συμβουλή κινητήρα - Μειώσεις παρέχει συμβουλές σχετικά με το πώς να ολοκληρώσετε αποδείξεις. Όταν οι μαθητές να κολλήσουν στη μέση μιας απόδειξης, Μειώσεις υποδεικνύει πώς να κάνει πρόοδο. 4. Πολυμέσα Tutorials - Μειώσεις έρχεται με μια σειρά από σεμινάρια πολυμέσων, χωρίζονται σε δύο ομάδες: πώς να χρησιμοποιούν Μειώσεις να μάθουν τη λογική, και πώς να χρησιμοποιήσει τους κανόνες της λογικής. 5. Ευελιξία - Μειώσεις έχει σχεδιαστεί για να λειτουργεί με πολλά διαφορετικά συστήματα λογικής και εγχειρίδια. Οι τυποποιημένες και οι εναλλακτικές σύμβολα περιλαμβάνονται, καθώς και τους κανόνες που μπορεί να ενεργοποιηθεί και να απενεργοποιηθεί ξεχωριστά. 6. Σύγχρονη Σχεδιασμός - Μειώσεις παρέχει ένα σύγχρονο περιβάλλον εργασίας. Ως μια νέα θέση σε ένα πεδίο που δεν έχει δει πολλές ενημερώσεις των τελευταίων ετών (πολλά λογική προγράμματα που έχουν γραφτεί για DOS, τα Windows 9x, ή είναι υποτυπώδεις βοηθητικές εφαρμογές Java), Αφαιρέσεις αξιοποιεί τις τεχνολογίες του Mac OS X για να παρέχει ένα καθαρό περιβάλλον εργασίας χρήστη, drag-and-drop υποστήριξη, καθώς και ένα ολοκληρωμένο σύστημα βοήθειας. . 7. πιο αποτελεσματική από ό, τι Χαρτί - Μειώσεις φροντίζει τις λεπτομέρειες μοντάζ προσαρμόζοντας αυτόματα τις αποδείξεις όταν προστεθούν γραμμές, διαγραφεί ή μετακινηθεί

Τι είναι καινούργιο σε αυτήν την έκδοση:

• προσθέσετε υποστήριξη για το σύστημα λογικής Βιβλίο PD + κανόνας
  
• προστεθεί υποστήριξη για προσιτή εισαγωγή ND σύστημα κανόνας +
  
• προστιθέμενη δυνατότητα να εξάγει έκπτωση σε ένα αρχείο κειμένου
  
• προστιθέμενη δυνατότητα να εξάγει έκπτωση σε ένα απόσπασμα LaTeX

Περιορισμοί :

Μόνο το ακόλουθους κανόνες έκπτωσης είναι διαθέσιμα στην δοκιμαστική έκδοση: Προϋπόθεση, Κοίμηση της Θεοτόκου, Επανάληψη, Σύζευξη Εισαγωγή, Σύζευξη Εξάλειψη, υπό όρους Εισαγωγή, υπό όρους Εξάλειψη, Tilde Εισαγωγή, Tilde Εξάλειψη