Deductions

De aftrek is educatieve software die is ontworpen om studenten te helpen leren bewijzen in de formele logica. Het is bedoeld om te worden gebruikt door docenten en studenten van het college-niveau logica cursussen in de filosofie, wiskunde en informatica. Het geeft onmiddellijke feedback in elke fase van een bewijs, geeft tips over hoe om te bewijzen voltooien, en wordt geleverd met een set van video tutorials die uitleggen en bekijk de verschillende uitdagende concepten in de logica. Aftrek is gericht op de drie problemen die bewijzen het moeilijkste onderdeel van de formele logica cursussen te lossen: niet te weten of de regels correct worden toegepast, vast komen te zitten in het midden van een bewijs, en onzekerheid over de regels en strategieën. Inhoudingen lost deze problemen door verslapt fouten, waaronder een hint engine om suggesties over hoe je een bewijs te voltooien, en het hebben van multimedia tutorials om studenten te helpen door middel van complexe regels te maken. Kenmerken Highlights: 1. Leerboeken: Aftrek is ontworpen om naadloos samen te werken met de volgende handboeken: (i) De Logic Boek (door Bergmann, Moor, en Nelson), (ii) Een moderne formele logica Primer (door Paul Teller), (iii ) A Serious Inleiding tot wiskundige logica (door Tony Roy). 2. Flagging Fouten - Aftrek vlaggen fouten in bewijzen zodra ze zich voordoen. Dit is belangrijk, want als studenten eerst leren bewijzen, Inhoudingen voorkomt dat studenten van het leren van de verkeerde regels. 3. Hint Motor - Aftrek geeft tips over hoe om te bewijzen voltooien. Wanneer de studenten vast komen te zitten in het midden van een bewijs, Aftrek suggereert hoe om vooruitgang te boeken. 4. Multimedia Tutorials - Aftrek geleverd met een set van multimedia tutorials, verdeeld in twee groepen: hoe Onttrekking gebruiken om logica te leren, en hoe je de logica regels gebruiken. 5. Flexibiliteit - Aftrek is ontworpen om te werken met veel verschillende logische systemen en leerboeken. Zowel de standaard als alternatieve symbolen zijn inbegrepen, evenals regels die kunnen worden in- en uitgeschakeld afzonderlijk. 6. Modern Design - Aftrek biedt een moderne interface. Als nieuwe vermelding in een gebied dat veel updates niet heeft gezien in de afgelopen jaren (veel logica programma's zijn geschreven voor DOS, Windows 9x, of zijn rudimentaire Java-applets), Aftrek maakt gebruik van de technologieën van Mac OS X op een schone user interface te bieden, drag-and-drop ondersteuning, en een uitgebreide Help-systeem. . 7. efficiënter dan Papier - Aftrek zorgt voor het bewerken van gegevens door automatisch bewijzen wanneer lijnen worden toegevoegd, verwijderd of verplaatst

Wat is nieuw in deze release:

• ondersteuning toegevoegd voor The Logic Book PD + regel systeem
  
• ondersteuning toegevoegd voor toegankelijke inleiding ND + regel systeem
  
• toegevoegd mogelijkheid om een ​​inhouding te exporteren naar een tekstbestand
  
• toegevoegd mogelijkheid om een ​​inhouding te exporteren naar een LaTeX fragment

Beperkingen

Alleen de na aftrek regels zijn beschikbaar in de proefversie: Vertrekken, Hemelvaart, Herhaling, Conjunctie Inleiding, Conjunctie Eliminatie, Voorwaardelijke Inleiding, Voorwaardelijke Eliminatie, Tilde Inleiding, Tilde Eliminatie