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é
I
indécidabilité algorithmique
2
ressources en auto-formation :
indécidabilité algorithmique
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
2
résultats
page 1
sur 1
Résultats de
1 à 2
cours / présentation, démonstration
21/04/2010
Les ingrédients des algorithmes
Auteur(s)
:
Dowek Gilles, Viéville Thierry, Archambault Jean-Pierre, Baccelli Emmanuel, Wack Benjamin
Description
:
Pour programmer un ordinateur, le plus important ce sont les méthodes mises en œuvre. Découvrez les ingrédients à combiner pour créer ces algorithmes !
algorithme
programme
séquence d'instructions
boucle
condition
variable
fonction
langage de programmation
erreur
preuve de programme
indécidabilité algorithmique
syntaxe d'un programme
sémantique d'un programme
fuscia
cours / présentation, démonstration
03/04/2007
P = NP, un problème à un million de dollars ?
Auteur(s)
:
Delahaye Jean-Paul
Description
:
Le problème P = NP est le problème fondamental du calcul mathématique. À partir de quel moment un énoncé difficile à démontrer et jugé très probable doit-il être adopté comme nouvel axiome ?
complexité
problème NP-complet
indécidabilité algorithmique
hypothèse de Riemann
axiome
fuscia
1