Logiczne rozumowanie z diagramami i zdaniami: Korzystanie z Hyperproof

Oryginalny tytuł:

Logical Reasoning with Diagrams and Sentences: Using Hyperproof

Zawartość książki:

Das Kursmaterialpaket Logical Reasoning with Diagrams and Sentences lehrt die Prinzipien des analytischen Denkens und der Beweiskonstruktion anhand einer sorgfältig ausgearbeiteten Kombination aus Lehrbuch, Desktop- und Online-Materialien. Dieses Paket ist ein unverzichtbares Hilfsmittel in einer Reihe von Kursen, die logisches Denken beinhalten, einschließlich formaler Linguistik, Philosophie, Mathematik und Informatik.

W przeciwieństwie do tradycyjnych formalnych metod rozumowania, ten pakiet wykorzystuje zarówno reprezentacje graficzne, jak i zdaniowe, aby odzwierciedlić typowe sytuacje w codziennym rozumowaniu, w których informacje są wyrażane w wielu formach, takich jak znajdowanie drogi do lokalizacji za pomocą mapy i adresu. Uczy także studentów, jak konstruować i sprawdzać logiczną poprawność różnych dowodów - konsekwencji i niekonsekwencji, spójności i niespójności oraz niezależności - przy użyciu intuicyjnego systemu dowodzenia, który rozszerza standardowe metody dowodzenia o zdaniowe, graficzne i heterogeniczne reguły wnioskowania, pozwalając studentom skupić się na treści dowodu, a nie na strukturze syntaktycznej. Opierając się na szeroko stosowanych pakietach Tarski's World and Language, Proof and Logic, Logical Reasoning with Diagrams and Sentences zawiera ponad trzysta ćwiczeń, z których większość można ocenić za pomocą usługi oceny online Grade Grinder.

Jest wspierany przez obszerną stronę internetową, za pośrednictwem której studenci i instruktorzy mogą uzyskać dostęp do wykładów wideo online autorów.

Pozwala również instruktorom tworzyć własne ćwiczenia i oceniać pracę uczniów.

Logical Reasoning with Diagrams and Sentences to rozszerzona wersja pakietu Hyperproof.