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

Logické uvažovanie so schémami a vetami: Používanie hyperdôkazu (David Barker-Plummer)

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.

Ďalšie údaje o knihe:

ISBN:9781575869513
Autor:
Vydavateľ:
Jazyk:anglicky
Väzba:Mäkká väzba
Rok vydania:2017
Počet strán:227

Nákup:

Momentálne k dispozícii, na sklade.

Ďalšie knihy autora:

Logické uvažovanie so schémami a vetami: Používanie hyperdôkazu - Logical Reasoning with Diagrams...
Balík kurzov Logické uvažovanie so schémami a...
Logické uvažovanie so schémami a vetami: Používanie hyperdôkazu - Logical Reasoning with Diagrams and Sentences: Using Hyperproof
Jazyk, dôkaz a logika: so softvérom - Language, Proof, and Logic: Second Edition With Software...
Language Proof and Logic je k dispozícii ako...
Jazyk, dôkaz a logika: [so softvérom] - Language, Proof, and Logic: Second Edition [With Software]

Diela autora vydali tieto vydavateľstvá:

© Book1 Group - všetky práva vyhradené.
Obsah tejto stránky nesmie byť kopírovaný ani použitý čiastočne alebo v celku bez písomného súhlasu vlastníka.
Posledná úprava: 2024.11.13 22:11 (GMT)