Bewertung:

Insgesamt erhielt das Buch gemischte Kritiken. Während einige Nutzer es als hilfreich und gut implementiert empfanden, insbesondere bei der Verbesserung des logischen Denkens und dem Erlernen der Logik erster Ordnung, hatten andere aufgrund der veralteten Softwarekompatibilität erhebliche Probleme mit der Benutzerfreundlichkeit. Das Buch wird für seinen pädagogischen Wert gelobt, aber für den Mangel an klaren Informationen über die Systemanforderungen kritisiert.
Vorteile:Erschwinglich, hilfreich für das Erlernen der Logik erster Ordnung, gut umgesetzte Übungen, hervorragender Zustand bei der Ankunft, prompte Lieferung von Amazon, unterstützende Antwort des Teams der Stanford U. zur Fehlerbehebung und eine gute Lernergänzung.
Nachteile:Veraltete Software, die nur auf Power PC-Rechnern läuft, Mangel an klaren Kompatibilitätsinformationen, Schwierigkeiten bei der Installation und Registrierung, keine telefonische Unterstützung, und einige Benutzer äußern Frustration über die komplizierte Einrichtung.
(basierend auf 9 Leserbewertungen)
Tarski's World: Revised and Expanded
Tarski's World ist eine innovative und aufregende Methode, um Studenten in die Sprache der Logik erster Ordnung einzuführen.
Mit Hilfe des Lernprogramms lernen die Schüler schnell die Bedeutung von Konnektiven und Qualifizierern kennen und beherrschen bald die symbolische Sprache, die den Kern der modernen Logik bildet. Das Programm ermöglicht es den Schülern, dreidimensionale Welten zu bauen und sie dann in der Logik erster Ordnung zu beschreiben.
Das Programm, das mit Macintosh- und Windows-Formaten kompatibel ist, enthält auch ein einzigartiges und effektives Korrekturwerkzeug in Form eines Spiels, das die Schüler methodisch auf ihre Fehler zurückführt, wenn sie die Sätze in den konstruierten Welten falsch bewerten. Eine brandneue Funktion in dieser überarbeiteten und erweiterten Ausgabe ist der Zugang der Schüler zu Grade Grinder, einem innovativen internetbasierten Benotungsdienst, der den Schülern genaues und zeitnahes Feedback gibt, wann immer sie es brauchen. Die Schüler können Lösungen für die mehr als 100 Übungen des Programms zur Bewertung an den Grade Grinder senden, und die Ergebnisse werden schnell an die Schüler und optional auch an den Lehrer zurückgesendet.
Über eine webbasierte Schnittstelle können auch Lehrkräfte die Aufgaben und Noten für ihre Klassen verwalten. Tarski's World ist als Ergänzung zu einem Standard-Logik-Text gedacht und ist ein unverzichtbares Hilfsmittel, um Schülern beim Erlernen der Sprache der Logik zu helfen.