Ragionamento logico con diagrammi e frasi: Usare l'iperprova

Titolo originale:

Logical Reasoning with Diagrams and Sentences: Using Hyperproof

Contenuto del libro:

Il pacchetto di courseware Logical Reasoning with Diagrams and Sentences (Ragionamento logico con diagrammi e frasi) insegna i principi del ragionamento analitico e della costruzione di prove utilizzando una combinazione accuratamente realizzata di libri di testo, desktop e materiali online. Questo pacchetto sarà sicuramente una risorsa essenziale in una serie di corsi che includono il ragionamento logico, tra cui linguistica formale, filosofia, matematica e informatica.

A differenza delle tradizionali trattazioni formali del ragionamento, questo pacchetto utilizza rappresentazioni sia grafiche che sentenziali per riflettere le situazioni comuni del ragionamento quotidiano in cui le informazioni sono espresse in molte forme, come ad esempio trovare la strada per un luogo utilizzando una mappa e un indirizzo. Inoltre, insegna agli studenti come costruire e verificare la validità logica di una serie di prove - di conseguenza e non conseguenza, di coerenza e incoerenza e di indipendenza - utilizzando un sistema di prove intuitivo che estende i trattamenti standard delle prove con regole di inferenza sentenziali, grafiche ed eterogenee, consentendo agli studenti di concentrarsi sul contenuto della prova piuttosto che sulla struttura sintattica. Basato sui pacchetti di courseware Tarski's World and Language, Proof and Logic, ampiamente utilizzati, Logical Reasoning with Diagrams and Sentences contiene più di trecento esercizi, la maggior parte dei quali può essere valutata con il servizio di valutazione online Grade Grinder.

È supportato da un ampio sito web attraverso il quale studenti e docenti possono accedere alle videolezioni online degli autori.

Permette agli insegnanti di creare i propri esercizi e di valutare il lavoro degli studenti.

Logical Reasoning with Diagrams and Sentences è una revisione ampliata del pacchetto di corsi Hyperproof.