GEOTRUST SSL CERTIFICATE
Résultat de la recherche
37 recherche sur le mot-clé 'logique'
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer la page de recherche courante...](./images/print.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
texte imprimé
Paul Gochet, Auteur ; Pascal Gribomont, Auteur ; André Thayse, Auteur | Paris : Hermès science publications | Langage, cognition, calcul | 2000Présentation des systèmes axiomatiques des principales logiques modales pour le calcul de propositions et de prédicats et des sémantiques associées. Développement de la métathéorie de ces systèmes, description de preuves de complétude et de la t[...]![]()
texte imprimé
Gilles Doyon, Auteur ; Pierre Talbot, Auteur | Sainte Foy (Québec) : Griffon d'argile | Philosophie | 1986L'étude de la logique de l'inférence propositionnelle est ici conduite en empruntant au calcul moderne des propositions certaines de ses techniques. Destiné en priorité aux étudiants, le livre contient des exercices susceptibles de contribuer au[...]![]()
texte imprimé
![]()
texte imprimé
"Le raisonnement juridique a une logique spécifique. Sa structure s'adapte à donner un sens à l'ambiguïté, et à éprouver constamment si la société est parvenue à discerner les différences ou similarités." Avant de l'étudier systématiquement, pré[...]![]()
texte imprimé
Une étude sur les trois types de logique préconisés par les courants philosophiques actuels. Constatant une confusion dans l'approche de la réalité, l'auteur propose quelques perspectives de solutions pour les problèmes qui troublent présentemen[...]![]()
texte imprimé
Gilles Doyon, Auteur ; Pierre Talbot, Auteur | Sainte Foy (Québec) : Griffon d'argile | Philosophie | 1985![]()
texte imprimé
Au sommaire notamment : Dialogique temporelle et hybridation (L. Damien, M.-H. Gorisse, S. Rahman) ; Logiques dialogiques multivalentes (H. Rückert) ; Heuristique formelle et logiques modales non normales (L. Keiff) ; Sur les opérateurs rétrogra[...]![]()
texte imprimé
Gérard Roudaut, Auteur ; William Seck, Auteur ; Hubert Silly, Auteur | Levallois-Perret (Hauts-de-Seine) : Studyrama | Poche, ISSN 1952-0050 | 2006Recueil de QCM de mathématiques et de logique proposant différents types d'exercices avec corrigés détaillés : calcul, tests de logique à base de chiffres, de lettres et de figures, raisonnement logique.![]()
texte imprimé
Une approche de la logique comme description du fonctionnement valide de notre esprit est proposée. Avec une approche des techniques logiques élémentaires depuis la logique aristotélicienne jusqu'à la logique moderne, calcul des propositions et [...]![]()
texte imprimé
Constitue le cours de base des étudiants en sciences et en philosophie. La présentation de la logique formelle dans son contexte historique est accompagnée d'un exposé très clair des notions syntaxiques et sémantiques nécessaires au calcul des é[...]