Tarski's World: Zmieniony i rozszerzony

Opinie czytelników

Ogólnie rzecz biorąc, książka otrzymała mieszane recenzje. Podczas gdy niektórzy użytkownicy uznali ją za pomocną i dobrze wdrożoną, szczególnie w zakresie poprawy logicznego rozumowania i nauki logiki pierwszego rzędu, inni napotkali poważne problemy z użytecznością ze względu na przestarzałą kompatybilność oprogramowania. Książka jest chwalona za swoją wartość edukacyjną, ale krytykowana za brak jasnych informacji na temat wymagań systemowych.

Niedroga, pomocna w nauce logiki pierwszego rzędu, dobrze zaimplementowane ćwiczenia, świetny stan w momencie dostawy, szybka dostawa z Amazon, pomocna reakcja zespołu Stanford U. na rozwiązywanie problemów i dobry dodatek do nauki.

Przestarzałe oprogramowanie, które działa tylko na komputerach Power PC, brak jasnych informacji o kompatybilności, trudności w instalacji i procesie rejestracji, rozłączona pomoc telefoniczna, a niektórzy użytkownicy wyrażają frustrację z powodu skomplikowanej konfiguracji.

(na podstawie 9 opinii czytelników)

Oryginalny tytuł:

Tarski's World: Revised and Expanded

Zawartość książki:

Tarski's World to innowacyjna i ekscytująca metoda wprowadzania studentów w język logiki pierwszego rzędu.

Korzystając z pakietu szkoleniowego, studenci szybko opanowują znaczenie łączników i kwalifikatorów, a wkrótce stają się biegli w symbolicznym języku stanowiącym rdzeń współczesnej logiki. Program pozwala uczniom budować trójwymiarowe światy, a następnie opisywać je w logice pierwszego rzędu.

Program, kompatybilny z formatami Macintosh i Windows, zawiera również unikalne i skuteczne narzędzie korekcyjne w postaci gry, która metodycznie prowadzi uczniów z powrotem przez ich błędy, jeśli źle oceniają zdania w skonstruowanych światach. Zupełną nowością w tej poprawionej i rozszerzonej edycji jest dostęp uczniów do Grade Grinder, innowacyjnej internetowej usługi oceniania, która zapewnia dokładne i terminowe informacje zwrotne dla uczniów, kiedy tylko tego potrzebują. Studenci mogą przesyłać rozwiązania ponad 100 ćwiczeń programu do Grade Grinder w celu oceny, a wyniki są szybko zwracane studentom i opcjonalnie również nauczycielowi.

Interfejs internetowy pozwala również instruktorom zarządzać zadaniami i ocenami dla swoich klas. Przeznaczony jako uzupełnienie standardowego tekstu logiki, Tarski's World jest niezbędnym narzędziem pomagającym studentom w nauce języka logiki.