Linguaggio, prova e logica: Seconda edizione [con software]

Recensioni dei lettori

Le recensioni di questo libro di testo FOL evidenziano un mix di esperienze: alcuni lodano la chiarezza e il software di accompagnamento, mentre altri esprimono frustrazione per la necessità di acquistare nuove copie per accedere al software e per la qualità dell'insegnamento. Sebbene molti trovino valore nelle spiegazioni e negli strumenti del libro, diversi utenti hanno segnalato problemi significativi con i problemi del software e con la struttura generale del libro.

⬤ Il libro è ben scritto, con spiegazioni chiare e un'attenzione particolare alla costruzione dell'intuizione.
⬤ Il software di accompagnamento e il servizio di valutazione automatica migliorano l'apprendimento e consentono l'applicazione pratica delle prove.
⬤ È utile per vari campi, come la programmazione logica e l'architettura dei database.
⬤ Molti utenti hanno trovato il software utile una volta installato.

⬤ Gli utenti devono acquistare nuove copie per accedere al software essenziale; le copie usate possono essere rese inutili.
⬤ Il software può essere difettoso e scomodo, con conseguente frustrazione.
⬤ Alcuni utenti hanno trovato gli esercizi del libro difficili rispetto agli esempi, generando confusione.
⬤ Sono stati segnalati scarsi controlli di qualità per quanto riguarda le condizioni e la completezza delle copie vendute.

(basato su 65 recensioni dei lettori)

Titolo originale:

Language, Proof, and Logic: Second Edition [With Software]

Contenuto del libro:

Language Proof and Logic è disponibile come libro fisico con il software incluso e come pacchetto scaricabile di software e libro in formato PDF. La versione interamente elettronica è disponibile presso Openproof atgradegrinder.net..

Il pacchetto testo/software copre il linguaggio del primo ordine con un metodo appropriato per il primo e il secondo corso di logica. Un servizio di valutazione on-line valuta istantaneamente le soluzioni a centinaia di esercizi al computer. È stato progettato per essere utilizzato da docenti di filosofia che tengono un corso di logica a laureati in filosofia, informatica, matematica e linguistica.

Il materiale introduttivo è presentato in modo sistematico e accessibile. I capitoli avanzati includono prove di solidità e completezza per la logica proposizionale e dei predicati, nonché uno schizzo accessibile del primo teorema di incompletezza di Godel. Il libro è adatto a un'ampia gamma di corsi, dai primi corsi di logica per laureati (filosofia, matematica e informatica) ai primi corsi di logica per laureati.

Il pacchetto software comprende quattro programmi:

Tarski's World, una nuova versione del popolare programma che insegna il linguaggio del primo ordine e la sua semantica;

Fitch, un ambiente di prove di deduzione naturale per fornire e verificare prove del primo ordine;

Boole, un programma che facilita la costruzione e la verifica di tabelle di verità e nozioni correlate (tautologia, conseguenza tautologica, ecc.);

Submit, un programma che consente agli studenti di inviare gli esercizi svolti con i programmi precedenti a Grade Grinder, il servizio di valutazione automatica.

I rapporti di valutazione vengono restituiti allo studente e, se richiesto, al suo insegnante, eliminando la necessità di un noioso controllo dei compiti. Tutti i programmi sono disponibili per sistemi Windows e Macintosh. Gli insegnanti non devono necessariamente utilizzare i programmi per poterne sfruttare il valore pedagogico. Ulteriori informazioni sul software sono disponibili su gradegrinder.net.

Il prezzo di un nuovo pacchetto testo/software comprende un ID di registrazione, che deve essere utilizzato ogni volta che si invia il lavoro al servizio di valutazione. Una volta attivato, l'ID di registrazione non è trasferibile.