An Introduction to Formal Logic: Second Edition
Destiné à un cours pour les étudiants en philosophie, mathématiques, linguistique ou informatique, et excellent pour l'auto-apprentissage.
La motivation est donnée pour chaque concept formel et chaque étape de la construction d'une logique formelle en termes de formalisation du raisonnement. Des résumés sont donnés à des moments importants du livre pour que les étudiants sachent ce qu'ils font et où ils vont - Des critères de formalisation sont développés pour chaque étape de la construction d'une logique formelle en termes de formalisation du raisonnement.
Les critères de formalisation sont développés et appliqués à la formalisation des raisonnements en langage ordinaire sous forme d'analyse d'exemples.
Plus de 300 exemples travaillés - Plus de 500 exercices avec leurs corrigés.
Plus de 500 exercices dont les corrigés sont disponibles sur le web - Plus de 300 exemples travaillés - Plus de 500 exercices dont les corrigés sont disponibles sur le web.
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)