Logical Reasoning with Diagrams and Sentences: Using Hyperproof
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.
Im Gegensatz zu traditionellen formalen Behandlungen des logischen Denkens werden in diesem Paket sowohl grafische als auch sententielle Darstellungen verwendet, um häufige Situationen des alltäglichen Denkens zu reflektieren, in denen Informationen in vielen Formen ausgedrückt werden, wie z.B. den Weg zu einem Ort mit Hilfe einer Karte und einer Adresse zu finden. Es lehrt die Schüler auch, wie man die logische Gültigkeit einer Vielzahl von Beweisen konstruiert und prüft - von Konsequenz und Nicht-Konsequenz, Konsistenz und Inkonsistenz und Unabhängigkeit - unter Verwendung eines intuitiven Beweissystems, das Standard-Beweisverfahren mit satzartigen, grafischen und heterogenen Inferenzregeln erweitert, so dass sich die Schüler auf den Inhalt der Beweise konzentrieren können und nicht auf die syntaktische Struktur. Aufbauend auf den weit verbreiteten Tarski's World and Language, Proof and Logic Kursunterlagen, enthält Logical Reasoning with Diagrams and Sentences mehr als dreihundert Übungen, von denen die meisten mit dem Grade Grinder Online Assessment Service bewertet werden können.
Es wird von einer umfangreichen Website unterstützt, über die Studierende und Lehrende auf Online-Videovorträge der Autoren zugreifen können.
Und ermöglicht es Lehrkräften, ihre eigenen Übungen zu erstellen und die Arbeit ihrer Schüler zu bewerten.
Logical Reasoning with Diagrams and Sentences ist eine erweiterte Überarbeitung des Hyperproof-Kursmaterials.
| ISBN: | 9781575869513 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2017 |
| Seitenzahl: | 227 |
Derzeit verfügbar, auf Lager.
![Sprache, Beweisführung und Logik: Zweite Auflage [mit Software] - Language, Proof, and Logic: Second Edition [With Software]](/_/1/993/1993581-1828.webp)