Avis des lecteurs
Résumé:Dans l'ensemble, le livre a reçu des critiques mitigées. Si certains utilisateurs l'ont trouvé utile et bien mis en œuvre, notamment pour améliorer le raisonnement logique et apprendre la logique du premier ordre, d'autres ont rencontré d'importants problèmes d'utilisation en raison d'une compatibilité logicielle dépassée. Le livre est loué pour sa valeur éducative mais critiqué pour le manque d'informations claires sur les exigences du système.
Avantages:Abordable, utile pour l'apprentissage de la logique du premier ordre, exercices bien mis en œuvre, bon état à l'arrivée, livraison rapide par Amazon, réponse positive de l'équipe de Stanford U. pour le dépannage, et un bon complément d'apprentissage.
Inconvénients:Logiciel dépassé qui ne fonctionne que sur des machines Power PC, manque d'informations claires sur la compatibilité, difficultés dans l'installation et le processus d'enregistrement, assistance téléphonique déconnectée, et certains utilisateurs expriment leur frustration face à la complexité de l'installation.
(basé sur 9 avis de lecteurs)
Titre original :
Tarski's World: Revised and Expanded
Contenu du livre :
Le monde de Tarski est une méthode innovante et passionnante pour initier les étudiants au langage de la logique du premier ordre.
En utilisant le didacticiel, les étudiants maîtrisent rapidement la signification des connecteurs et des qualificateurs et deviennent rapidement à l'aise dans le langage symbolique qui est au cœur de la logique moderne. Le programme permet aux étudiants de construire des mondes en trois dimensions et de les décrire en logique du premier ordre.
Le programme, compatible avec les formats Macintosh et Windows, contient également un outil de correction unique et efficace sous la forme d'un jeu, qui ramène méthodiquement les étudiants à leurs erreurs s'ils évaluent mal les phrases dans les mondes construits. Une toute nouvelle caractéristique de cette édition révisée et augmentée est l'accès des étudiants à Grade Grinder, un service de notation innovant basé sur Internet qui fournit des commentaires précis et opportuns aux étudiants lorsqu'ils en ont besoin. Les étudiants peuvent soumettre les solutions de plus de 100 exercices du programme à Grade Grinder pour évaluation, et les résultats sont renvoyés rapidement aux étudiants et, en option, à l'enseignant également.
Une interface web permet également aux enseignants de gérer les devoirs et les notes de leurs classes. Conçu comme un complément à un texte de logique standard, Tarski's World est un outil essentiel pour aider les étudiants à apprendre le langage de la logique.
Autres informations sur le livre :
| ISBN : | 9781575864846 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
| Année de publication : | 2007 |
| Nombre de pages : | 144 |
Achat:
Actuellement disponible, en stock.
