Date d'impression :
07.09.15
Page: http://test.sup-numerique.gouv.fr/pid31942/moteur-de-ressources.html
MOTEUR DE RESSOURCES
Consultez la rubrique :
Moteur de ressources
Fermer
Niv. 1
Niv. 2
Accueil du moteur de ressources
Ressources en auto-formation par mot-clé
L
logique mathématique
5
ressources en auto-formation :
logique mathématique
Rechercher
Tous les mots
Un des mots
L'expression exacte
FILTRES
1
1
Retour
Imprimer
Flux RSS
Date
Date
Titre
Auteur(s)
Affichage 10
Affichage 10
Affichage 20
Affichage 50
Affichage 100
5
résultats
page 1
sur 1
Résultats de
1 à 5
cours / présentation, démonstration
24/11/2008
Calculer / Penser
Auteur(s)
:
Geffroy Yves, Liarte Aurélien, Viéville Thierry
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
cours / présentation, démonstration
08/06/2012
Du rêve à la réalité des preuves
Auteur(s)
:
Delahaye Jean-Paul
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
cours / présentation, démonstration
10/02/2006
En toute logique : une origine de l’ordinateur
Auteur(s)
:
Prost Frédéric
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
cours / présentation, démonstration
30/09/2009
La vérité et la machine
Auteur(s)
:
Werner Benjamin
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
cours / présentation, outil, exercice, liste de références
21/09/2012
Preuves de programmes en coq
Auteur(s)
:
Bertot Yves
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
1