Logikai érvelés diagramokkal és mondatokkal: Hyperproof használata

Eredeti címe:

Logical Reasoning with Diagrams and Sentences: Using Hyperproof

Könyv tartalma:

A Logical Reasoning with Diagrams and Sentences tananyagcsomag az analitikus érvelés és a bizonyításszerkesztés alapelveit tanítja a tankönyv, az asztali és az online anyagok gondosan összeállított kombinációjával. Ez a csomag minden bizonnyal nélkülözhetetlen segédeszköz lesz a logikai érvelést tartalmazó kurzusok széles skáláján, beleértve a formális nyelvészetet, a filozófiát, a matematikát és az informatikát.

Az érvelés hagyományos formális kezelésétől eltérően ez a csomag grafikus és mondattani reprezentációkat egyaránt használ, hogy tükrözze a mindennapi érvelés gyakori helyzeteit, amikor az információ többféle formában jelenik meg, mint például egy hely megtalálása egy térkép és egy cím segítségével. A csomag megtanítja a diákokat arra is, hogyan konstruáljanak és ellenőrizzék a különböző bizonyítások logikai érvényességét - a következetesség és a nem-következetesség, a konzisztencia és az inkonzisztencia, valamint a függetlenség - egy intuitív bizonyítási rendszer segítségével, amely a szabványos bizonyításkezelést kiegészíti a mondattani, grafikus és heterogén következtetési szabályokkal, lehetővé téve a diákok számára, hogy a szintaktikai szerkezet helyett a bizonyítás tartalmára összpontosítsanak. A széles körben használt Tarski's World and Language, Proof and Logic tananyagcsomagokra építve a Logical Reasoning with Diagrams and Sentences több mint háromszáz feladatot tartalmaz, amelyek többsége a Grade Grinder online értékelő szolgáltatással értékelhető.

Kiterjedt weboldal támogatja, amelyen keresztül a hallgatók és az oktatók hozzáférhetnek a szerzők online videoelőadásaihoz.

És lehetővé teszi az oktatók számára, hogy saját feladatokat készítsenek, és értékeljék diákjaik munkáját.

A Logical Reasoning with Diagrams and Sentences a Hyperproof tananyagcsomag kibővített változata.