6 Résultats
Introduction à la métalogique du calcul propositionnel, cet ouvrage contient non seulement l’initiation aux concepts de base du domaine (syntaxe, sémantique, consistance, complétude, etc.), mais ég...
Voir la fiche (La logique propositionnelle et ses variantes)
Dépister, repérer, identifier les difficultés et les troubles d'apprentissage - guide
Ce guide de référence sur les difficultés et les troubles d’apprentissage s’adresse aux intervenants oeuvrant auprès d’enfants, d’adolescents et de jeunes adultes de milieux scolaires, de centres d...
Voir la fiche (Pour une intervention précoce)
Un calcul logique, au sens large, est une méthode de résolution appliquée au traitement d’une structure propositionnelle. Les propositions constituant cette structure peuvent aussi bien être des ex...
Voir la fiche (Calcul en logique du premier ordre)
À la fin du XVIIIe siècle, Emmanuel Kant pouvait encore voir dans les mathématiques le modèle même des jugements synthétiques a priori, c’est-à-dire dotés d’un contenu intuitif propre quoique non d...
Voir la fiche (Intuition et déduction en mathématiques)
Les 50 plus grandes théories en mathématique
Le nombre Pi, la poussée d’Archimède et la trigonométrie ne sont pour vous que de lointains souvenirs d’école. Les équations comme les polynômes ou les fractales vous laissent pantois. Mathématique...
Voir la fiche (Mathématiques en 30 secondes)
La logique arithmétique est la logique interne de l'arithmétique, c'est la traduction ou l'interprétation de la logique formelle dans le langage de l'arithmétique. Cette arithmétique n'est pas l'a...
Voir la fiche (Logique arithmétique : L'arithmétisation de la logique)
