Deductions

Vähennykset on opettavainen ohjelmisto on suunniteltu auttamaan opiskelijoita oppimaan todisteet virallisissa logiikkaa. Se on tarkoitettu käytettäväksi ohjaajien ja opiskelijoiden college-tason logiikka kursseja filosofian, matematiikan ja tietojenkäsittelyopin. Se antaa välitöntä palautetta kussakin vaiheessa todisteita, antaa vinkkejä siitä, miten täydellinen todisteet, ja mukana tulee joukko video tutorials, jotka selittävät ja arvostelu useita haastavia käsitteitä logiikkaa. Vähennykset pyritään ratkaisemaan kolme ongelmaa, jotka tekevät todisteet vaikein osa muodollista logiikkaa kurssit: ei tiedä onko koskevia sääntöjä sovelletaan oikein, juutu keskellä näyttöä, ja epävarmuus sääntöjä ja strategioita. Vähennykset näitä kysymyksiä hiipumassa virheitä, kuten vihje moottori tehdä ehdotuksia siitä, miten täydellinen todiste, ja ottaa multimedia tutorials auttaa opiskelijoita kautta monimutkaisia ​​sääntöjä. Ominaisuudet Highlights: 1. Oppikirjat: Vähennykset on suunniteltu toimimaan saumattomasti seuraavat oppikirjat: (i) Logic Kirja (by Bergmann, Moor, ja Nelson), (ii) Moderni Muodollinen Logic Primer (Paul Teller), (iii ) Vakava Johdatus Matemaattinen logiikka (Tony Roy). 2. Liputus Virheet - Vähennykset liput virheitä todisteiden heti kun ne tapahtuvat. Tämä on tärkeää, sillä kun opiskelijat ensin oppimista todisteita, Vähennyksiä estää opiskelijaa oppimisen väärä sääntöjä. 3. Vihje Moottori - Vähennykset antaa vinkkejä siitä, miten täydellinen todisteita. Kun opiskelijat juuttua keskellä näyttöä, Vähennyksiä ehdotetaan, miten edetä. 4. Multimedia Oppaat - Vähennykset mukana joukko multimedia tutorials, jaettu kahteen ryhmään: miten käyttää Vähennykset oppia logiikkaa, ja miten käyttää logiikkaa sääntöjä. 5. Joustavuus - Vähennykset on suunniteltu toimimaan monien eri logiikkaa järjestelmien ja oppikirjoja. Sekä vakio- ja vaihtoehtoiset symbolit ovat mukana, samoin kuin sääntöjä, jotka voidaan kytkeä päälle ja pois päältä erikseen. 6. Modern Design - Vähennykset tarjoaa modernin käyttöliittymän. Uutena tuloa kenttä, joka ei ole nähnyt monia päivityksiä viime vuosina (monet logiikkaohjelmaa on kirjoitettu DOS, Windows 9x, tai ovat alkeellisia Java-sovelmat), Vähennyksiä hyödyntää teknologiaa Mac OS X antaa puhtaan käyttöliittymän, vedä ja pudota-tuki, ja kattava auttaa järjestelmää. 7. tehokkaampaa kuin kirja - Vähennykset huolehtii editointi yksityiskohtia säätämällä automaattisesti todisteiden kun rivit, poistaa tai siirtää.

Mitä uutta tässä julkaisussa: