Logické uvažovanie so schémami a vetami: Používanie hyperdôkazu

Pôvodný názov:

Logical Reasoning with Diagrams and Sentences: Using Hyperproof

Obsah knihy:

Balík kurzov Logické uvažovanie so schémami a vetami vyučuje princípy analytického uvažovania a konštrukcie dôkazov pomocou starostlivo vytvorenej kombinácie učebnice, stolových a online materiálov. Tento balík sa určite stane základným zdrojom informácií v celom rade kurzov zahŕňajúcich logické uvažovanie vrátane formálnej lingvistiky, filozofie, matematiky a informatiky.

Na rozdiel od tradičného formálneho spracovania uvažovania tento balík využíva grafické aj výrokové reprezentácie, ktoré odrážajú bežné situácie v každodennom uvažovaní, kde sú informácie vyjadrené v mnohých formách, ako napríklad hľadanie cesty na určité miesto pomocou mapy a adresy. Učí tiež študentov, ako zostavovať a kontrolovať logickú platnosť rôznych dôkazov - dôsledkov a nedôsledkov, konzistencie a nekonzistencie a nezávislosti - pomocou intuitívneho dôkazového systému, ktorý rozširuje štandardné spracovanie dôkazov o sentenciálne, grafické a heterogénne pravidlá odvodzovania, čo umožňuje študentom sústrediť sa skôr na obsah dôkazu než na syntaktickú štruktúru. Vychádzajúc zo široko používaných balíkov učebníc Tarski's World and Language, Proof and Logic, Logical Reasoning with Diagrams and Sentences obsahuje viac ako tristo cvičení, z ktorých väčšinu možno hodnotiť pomocou online hodnotiacej služby Grade Grinder.

Je podporená rozsiahlou webovou stránkou, prostredníctvom ktorej majú študenti a vyučujúci prístup k online videoprednáškam autorov.

A umožňuje inštruktorom vytvárať vlastné cvičenia a hodnotiť prácu svojich študentov.

Logické uvažovanie so schémami a vetami je rozšírená revízia balíka kurzov Hyperproof.