Titre original :
Logical Reasoning with Diagrams and Sentences: Using Hyperproof
Contenu du livre :
Le didacticiel Logical Reasoning with Diagrams and Sentences enseigne les principes du raisonnement analytique et de la construction de preuves à l'aide d'une combinaison soigneusement élaborée de manuels, de documents de bureau et de matériel en ligne. Cet ensemble sera certainement une ressource essentielle dans une gamme de cours incorporant le raisonnement logique, y compris la linguistique formelle, la philosophie, les mathématiques et l'informatique.
Contrairement aux traitements formels traditionnels du raisonnement, cet ensemble utilise à la fois des représentations graphiques et sententielles pour refléter des situations courantes dans le raisonnement quotidien où l'information est exprimée sous de nombreuses formes, telles que trouver son chemin vers un endroit en utilisant une carte et une adresse. Il enseigne également aux étudiants comment construire et vérifier la validité logique d'une variété de preuves - de conséquence et de non-conséquence, de cohérence et d'incohérence, et d'indépendance - en utilisant un système de preuve intuitif qui étend les traitements de preuve standard avec des règles d'inférence sententielles, graphiques et hétérogènes, permettant aux étudiants de se concentrer sur le contenu de la preuve plutôt que sur la structure syntaxique. S'appuyant sur les didacticiels Tarski's World and Language, Proof and Logic, largement utilisés, Logical Reasoning with Diagrams and Sentences contient plus de trois cents exercices, dont la plupart peuvent être évalués par le service d'évaluation en ligne Grade Grinder.
Il s'appuie sur un site web complet qui permet aux étudiants et aux enseignants d'accéder à des conférences vidéo en ligne données par les auteurs.
Il permet aux enseignants de créer leurs propres exercices et d'évaluer le travail de leurs étudiants.
Logical Reasoning with Diagrams and Sentences (Raisonnement logique avec diagrammes et phrases) est une révision élargie du didacticiel Hyperproof.
Autres informations sur le livre :
| ISBN : | 9781575869513 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
| Année de publication : | 2017 |
| Nombre de pages : | 227 |
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)