Lumea lui Tarski: Revizuită și extinsă

Recenzii ale cititorilor

În general, cartea a primit recenzii mixte. În timp ce unii utilizatori au găsit-o utilă și bine implementată, în special în ceea ce privește îmbunătățirea raționamentului logic și învățarea logicii de ordinul întâi, alții s-au confruntat cu probleme semnificative de utilizare din cauza compatibilității software învechite. Cartea este lăudată pentru valoarea sa educațională, dar criticată pentru lipsa de informații clare cu privire la cerințele sistemului.

Accesibil, util pentru învățarea logicii de primă ordine, exerciții bine implementate, stare excelentă la sosire, livrare rapidă de la Amazon, răspuns de susținere din partea echipei Stanford U. pentru depanare și un supliment bun de învățare.

Software învechit care funcționează numai pe mașini Power PC, lipsa de informații clare privind compatibilitatea, dificultăți în procesul de instalare și înregistrare, asistență telefonică deconectată, iar unii utilizatori își exprimă frustrarea cu privire la configurarea complicată.

(pe baza a 9 recenzii ale cititorilor)

Titlul original:

Tarski's World: Revised and Expanded

Conținutul cărții:

Lumea lui Tarski este o metodă inovatoare și interesantă de introducere a studenților în limbajul logicii de ordinul întâi.

Utilizând pachetul de cursuri, studenții stăpânesc rapid semnificațiile conectivelor și ale calificativelor și devin în curând fluenți în limbajul simbolic aflat în centrul logicii moderne. Programul permite studenților să construiască lumi tridimensionale și apoi să le descrie în logica de ordinul întâi.

Programul, compatibil cu formatele Macintosh și Windows, conține, de asemenea, un instrument de corecție unic și eficient, sub forma unui joc, care îi conduce metodic pe studenți înapoi prin erorile lor dacă evaluează greșit propozițiile din lumile construite. O caracteristică nouă în această ediție revizuită și extinsă este accesul elevilor la Grade Grinder, un serviciu inovator de notare pe internet care oferă feedback precis și în timp util elevilor, oricând au nevoie. Elevii pot trimite soluții pentru cele peste 100 de exerciții ale programului către Grade Grinder pentru evaluare, iar rezultatele sunt returnate rapid elevilor și, opțional, și profesorului.

O interfață bazată pe web permite, de asemenea, instructorilor să gestioneze temele și notele pentru clasele lor. Destinat să completeze un text standard de logică, Tarski's World este un instrument esențial pentru a-i ajuta pe studenți să învețe limbajul logicii.