Il mondo di Tarski: Rivisto e ampliato

Recensioni dei lettori

Nel complesso, il libro ha ricevuto recensioni contrastanti. Mentre alcuni utenti lo hanno trovato utile e ben implementato, soprattutto per migliorare il ragionamento logico e l'apprendimento della logica del primo ordine, altri hanno riscontrato notevoli problemi di usabilità a causa della compatibilità con il software obsoleto. Il libro viene lodato per il suo valore educativo, ma criticato per la mancanza di informazioni chiare sui requisiti di sistema.

Economico, utile per l'apprendimento della logica del primo ordine, esercizi ben implementati, ottime condizioni all'arrivo, consegna rapida da parte di Amazon, risposta di supporto da parte del team della Stanford U. per la risoluzione dei problemi e un buon supplemento di apprendimento.

Software obsoleto che funziona solo su macchine Power PC, mancanza di informazioni chiare sulla compatibilità, difficoltà nel processo di installazione e registrazione, assistenza telefonica scollegata e alcuni utenti esprimono frustrazione per la complicata configurazione.

(basato su 9 recensioni dei lettori)

Titolo originale:

Tarski's World: Revised and Expanded

Contenuto del libro:

Il mondo di Tarski è un metodo innovativo ed entusiasmante per introdurre gli studenti al linguaggio della logica del primo ordine.

Utilizzando il pacchetto del corso, gli studenti padroneggiano rapidamente il significato dei connettivi e dei qualificatori e diventano presto fluenti nel linguaggio simbolico al centro della logica moderna. Il programma permette agli studenti di costruire mondi tridimensionali e di descriverli in logica del primo ordine.

Il programma, compatibile con i formati Macintosh e Windows, contiene anche uno strumento correttivo unico ed efficace sotto forma di gioco, che conduce metodicamente gli studenti a ripercorrere i loro errori se valutano erroneamente le frasi nei mondi costruiti. Una novità assoluta di questa edizione riveduta e ampliata è l'accesso degli studenti a Grade Grinder, un innovativo servizio di valutazione basato su Internet che fornisce un feedback accurato e tempestivo agli studenti ogni volta che ne hanno bisogno. Gli studenti possono inviare le soluzioni degli oltre 100 esercizi del programma a Grade Grinder per la valutazione, e i risultati vengono restituiti rapidamente agli studenti e, facoltativamente, anche all'insegnante.

Un'interfaccia basata sul Web consente inoltre agli insegnanti di gestire i compiti e i voti per le loro classi. Pensato come supplemento a un testo di logica standard, Il mondo di Tarski è uno strumento essenziale per aiutare gli studenti ad apprendere il linguaggio della logica.