Bewertung:
Die Rezensionen zu diesem FOL-Lehrbuch zeigen eine Mischung von Erfahrungen, wobei einige die Klarheit und die begleitende Software loben, während andere ihre Frustration über die Notwendigkeit des Kaufs neuer Exemplare für den Softwarezugang und die Qualität des Unterrichts zum Ausdruck bringen. Während viele die Erklärungen und Hilfsmittel des Buches für wertvoll erachten, berichteten mehrere Nutzer von erheblichen Problemen mit der Software und der Gesamtstruktur des Buches.
Vorteile:⬤ Das Buch ist gut geschrieben, mit klaren Erklärungen und einem Schwerpunkt auf der Entwicklung von Intuition.
⬤ Die begleitende Software und der automatische Bewertungsservice verbessern das Lernen und ermöglichen die praktische Anwendung in Beweisen.
⬤ Es ist nützlich für verschiedene Bereiche wie logische Programmierung und Datenbankarchitektur.
⬤ Viele Nutzer fanden die Software nach der Installation hilfreich.
⬤ Die Benutzer müssen neue Kopien erwerben, um Zugang zu wichtiger Software zu erhalten; gebrauchte Kopien können unbrauchbar werden.
⬤ Die Software kann fehlerhaft und unbequem sein, was zu Frustration führt.
⬤ Einige Benutzer fanden die Übungen im Buch im Vergleich zu den Beispielen schwierig, was zu Verwirrung führte.
⬤ Es gibt Berichte über schlechte Qualitätskontrollen in Bezug auf Zustand und Vollständigkeit der verkauften Exemplare.
(basierend auf 65 Leserbewertungen)
Language, Proof, and Logic: Second Edition [With Software]
Language Proof and Logic ist als physisches Buch mit der enthaltenen Software und als herunterladbares Paket mit Software und dem Buch im PDF-Format erhältlich. Die vollelektronische Version ist bei Openproof atgradegrinder.net. erhältlich.
Das Lehrbuch/Software-Paket deckt die Sprache erster Ordnung in einer Methode ab, die für erste und zweite Kurse in Logik geeignet ist. Ein Online-Bewertungsdienst benotet sofort die Lösungen zu Hunderten von Computerübungen. Es ist für Philosophie-Dozenten gedacht, die einen Logik-Kurs für Studenten der Philosophie, Informatik, Mathematik und Linguistik unterrichten.
Das einführende Material wird in systematischer und zugänglicher Weise präsentiert. Zu den Kapiteln für Fortgeschrittene gehören Beweise für die Solidität und Vollständigkeit von Aussagen- und Prädikatenlogik sowie eine verständliche Skizze von Godels erstem Unvollständigkeitssatz. Das Buch eignet sich für ein breites Spektrum von Kursen, von ersten Logikkursen für Studenten (Philosophie, Mathematik und Informatik) bis hin zu einem ersten Logikkurs für Doktoranden.
Das Softwarepaket enthält vier Programme:
Tarski's World, eine neue Version des beliebten Programms, das die grundlegende Sprache erster Ordnung und ihre Semantik lehrt;
Fitch, eine Umgebung für Beweise durch natürliche Deduktion zur Erstellung und Überprüfung von Beweisen erster Ordnung;
Boole, ein Programm, das die Konstruktion und Überprüfung von Wahrheitstabellen und verwandten Begriffen (Tautologie, tautologische Konsequenz, usw.) erleichtert;
Submit, ein Programm, mit dem die Studierenden die mit den oben genannten Programmen bearbeiteten Aufgaben an den Grade Grinder, den automatischen Benotungsdienst, übermitteln können.
Die Noten werden an den Schüler und auf Wunsch auch an den Lehrer zurückgeschickt, so dass die mühsame Kontrolle der Hausaufgaben entfällt. Alle Programme sind für Windows- und Macintosh-Systeme verfügbar. Die Lehrkräfte müssen die Programme nicht selbst verwenden, um ihren pädagogischen Nutzen auszuschöpfen. Mehr über die Software finden Sie unter gradegrinder.net.
Im Preis eines neuen Text-/Softwarepakets ist eine Registrierungs-ID enthalten, die jedes Mal verwendet werden muss, wenn eine Arbeit an den Benotungsdienst übermittelt wird. Einmal aktiviert, ist die Registrierungs-ID nicht übertragbar.
| ISBN: | 9781575866321 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2011 |
| Seitenzahl: | 650 |
Derzeit verfügbar, auf Lager.
