Raționament logic cu diagrame și propoziții: Utilizarea hiperprobei

Titlul original:

Logical Reasoning with Diagrams and Sentences: Using Hyperproof

Conținutul cărții:

Pachetul de cursuri Logical Reasoning with Diagrams and Sentences predă principiile raționamentului analitic și ale construcției dovezilor folosind o combinație atent elaborată de manuale, desktop și materiale online. Acest pachet va fi cu siguranță o resursă esențială într-o gamă largă de cursuri care încorporează raționamentul logic, inclusiv lingvistică formală, filosofie, matematică și informatică.

Spre deosebire de tratamentele formale tradiționale ale raționamentului, acest pachet utilizează atât reprezentări grafice, cât și sentențiale pentru a reflecta situațiile comune din raționamentul cotidian, în care informațiile sunt exprimate în mai multe forme, cum ar fi găsirea drumului către o locație folosind o hartă și o adresă. De asemenea, îi învață pe studenți cum să construiască și să verifice validitatea logică a unei varietăți de dovezi - de consecință și non-consecvență, consistență și inconsistență și independență - folosind un sistem intuitiv de dovezi care extinde tratamentele standard de dovezi cu reguli de inferență sentențială, grafică și eterogenă, permițând studenților să se concentreze pe conținutul dovezilor mai degrabă decât pe structura sintactică. Bazându-se pe pachetele de cursuri Tarski's World and Language, Proof and Logic, utilizate pe scară largă, Logical Reasoning with Diagrams and Sentences conține mai mult de trei sute de exerciții, dintre care majoritatea pot fi evaluate prin serviciul de evaluare online Grade Grinder.

Este susținut de un site web extins prin care studenții și instructorii pot accesa prelegeri video online ale autorilor.

Și permite instructorilor să își creeze propriile exerciții și să evalueze munca elevilor lor.

Logical Reasoning with Diagrams and Sentences este o revizuire extinsă a pachetului de cursuri Hyperproof.