Avis des lecteurs
Résumé:Les commentaires sur ce manuel de FLE mettent en évidence un mélange d'expériences, certains louant la clarté et le logiciel d'accompagnement, tandis que d'autres expriment leur frustration quant à la nécessité d'acheter de nouvelles copies pour accéder au logiciel et à la qualité de l'enseignement. Alors que beaucoup trouvent de la valeur dans les explications et les outils du livre, plusieurs utilisateurs ont rapporté des problèmes significatifs avec les pépins du logiciel et la structure générale du livre.
Avantages:⬤ Le livre est bien écrit, les explications sont claires et l'accent est mis sur le développement de l'intuition.
⬤ Le logiciel d'accompagnement et le service de notation automatique améliorent l'apprentissage et permettent une application pratique des preuves.
⬤ Il est utile dans divers domaines tels que la programmation logique et l'architecture des bases de données.
⬤ De nombreux utilisateurs ont trouvé le logiciel utile une fois installé.
⬤ Les utilisateurs doivent acheter de nouvelles copies pour accéder au logiciel essentiel ; les copies usagées peuvent être rendues inutilisables.
⬤ Le logiciel peut présenter des problèmes et des inconvénients, ce qui entraîne une certaine frustration.
⬤ Certains utilisateurs ont trouvé les exercices du livre difficiles par rapport aux exemples, ce qui a entraîné une certaine confusion.
⬤ Des rapports font état d'un contrôle de qualité médiocre en ce qui concerne l'état et l'exhaustivité des copies vendues.
(basé sur 65 avis de lecteurs)
Titre original :
Language, Proof, and Logic: Second Edition [With Software]
Contenu du livre :
Language Proof and Logic est disponible sous la forme d'un livre physique avec le logiciel inclus et sous la forme d'un ensemble téléchargeable comprenant le logiciel et le livre au format PDF. La version électronique est disponible auprès de Openproof atgradegrinder.net....
L'ensemble manuel/logiciel couvre le langage du premier ordre selon une méthode appropriée pour les premiers et seconds cours de logique. Un service de notation en ligne permet de noter instantanément les solutions à des centaines d'exercices sur ordinateur. Il est conçu pour être utilisé par les professeurs de philosophie enseignant un cours de logique aux étudiants de premier cycle en philosophie, en informatique, en mathématiques et en linguistique.
Le matériel d'introduction est présenté de manière systématique et accessible. Les chapitres avancés comprennent des preuves de solidité et de complétude pour la logique propositionnelle et la logique des prédicats, ainsi qu'une esquisse accessible du premier théorème d'incomplétude de Godel. Ce livre convient à un large éventail de cours, depuis les premiers cours de logique pour les étudiants de premier cycle (philosophie, mathématiques et informatique) jusqu'aux premiers cours de logique pour les étudiants de deuxième cycle.
Le logiciel comprend quatre programmes :
Tarski's World, une nouvelle version du programme populaire qui enseigne le langage de base du premier ordre et sa sémantique ;
Fitch, un environnement de preuve par déduction naturelle pour donner et vérifier des preuves du premier ordre ;
Boole, un programme qui facilite la construction et la vérification de tables de vérité et de notions connexes (tautologie, conséquence tautologique, etc.) ;
Submit, un programme qui permet aux étudiants de soumettre les exercices réalisés avec les programmes ci-dessus au Grade Grinder, le service de notation automatique.
Les rapports de notation sont renvoyés à l'étudiant et, s'il le souhaite, à son professeur, éliminant ainsi la nécessité d'une vérification fastidieuse des devoirs. Tous les programmes sont disponibles pour les systèmes Windows et Macintosh. Les enseignants n'ont pas besoin d'utiliser les programmes eux-mêmes pour pouvoir profiter de leur valeur pédagogique. Pour en savoir plus sur le logiciel, consultez le site gradegrinder.net.
Le prix d'un nouvel ensemble texte/logiciel comprend un identifiant d'enregistrement, qui doit être utilisé chaque fois qu'un travail est soumis au service de notation. Une fois activé, l'identifiant n'est pas transférable.
Autres informations sur le livre :
| ISBN : | 9781575866321 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
| Année de publication : | 2011 |
| Nombre de pages : | 650 |
Achat:
Actuellement disponible, en stock.
![Langage, preuve et logique : Deuxième édition [avec logiciel] - Language, Proof, and Logic: Second Edition [With Software]](/_/1/993/1993581-1828.webp)