Rechercher une ressource pédagogique : logique mathématique

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.

FILTRES

6 résultats
section 1 sur 1
résultats 1 à 6
UNIT
UNIT
28.10.2008
Calculer / Penser
Description : Comment s’articulent calculer et penser ? Ce sujet - ou l’une de ses déclinaisons - est proposé à la réflexion des élèves de terminale en cours de philosophie.
  • raisonnement
  • logique mathématique
  • algorithme
  • cognition
  • neurosciences
  • fuscia
UNIT
UNIT
01.08.2011
Du rêve à la réalité des preuves
Description : Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens.
  • assistant de preuve
  • preuve formelle
  • preuve de programme
  • logique mathématique
  • démonstration
  • complexité
  • fuscia
UNIT
UNIT
06.02.2006
En toute logique : une origine de l’ordinateur
Description : L’ordinateur résout toutes sortes de problèmes n’ayant aucun lien apparent entre eux. Comment, à travers les siècles, s’est développé le principe à partir duquel a pu être imaginée une telle machine universelle ?
  • ordinateur
  • logique mathématique
  • théorie des ensembles
  • machine de Turing
  • problème de la décision
  • histoire de l'informatique
  • fuscia
UNIT
UNIT
11.12.2008
La vérité et la machine
Description : Peut-on être sûr de la vérité d’une preuve ? Cette preuve de la preuve, comment l’obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.
  • preuve de programme
  • preuve formelle
  • logique mathématique
  • démonstration
  • Coq
  • théorème des quatre couleurs
  • fuscia
UNISCIEL (unisciel)
UNISCIEL (unisciel)
10.09.2019
[OUI-SI] Logique et raisonnement
Description : Pour utiliser le dispositif, vous devez créer votre compte sur la plate-forme et vous inscrire gratuitement au cours. Les activités qui sont au cœur des mathématiques, sont le calcul et le raisonnement. Il ne s’agit pas de les dissocier dans l’activité globale. En revanche, dans l’apprentissage ...
  • logique mathématique
  • ensembles
  • applications
UNIT
UNIT
21.09.2012
Preuves de programmes en coq
Description : Le système Coq fournit un langage de programmation symbolique et un cadre logique pour raisonner sur les algorithmes décrits. Dans ce cours, nous décrivons les points clefs du langage de programmation, basé sur la programmation fonctionnelle, et du cadre logique de vérification, basé sur la logique ...
  • Coq
  • assistant de preuve
  • programmation fonctionnelle sûre
  • preuve de programme
  • logique mathématique
  • méthode formelle
  • calcul des constructions
  • correction de logiciel
  • algorithmique certifiée
  • théorie des types
  • logiciel libre
  • récursion
  • fuscia