16 résultats : calculabilité

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
16 résultats
page 1 sur 2
résultats 1 à 10
UNIT
Une révolution permanente
Description : Née au milieu du vingtième siècle avec les premiers calculateurs électroniques, l’informatique n’a cessé de se développer, touchant tous les secteurs d’activité.
Mots clés : histoire de l'informatique, ordinateur, théorie de la calculabilité, théorie de la complexité, loi de Moore, sciences du numérique, fuscia
Date : 31-01-2011
Format : Document HTML
Auteur : Berry Gérard
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
Canal-U
Calculer avec des modèles analogiques ou avec des aspects analogiques (série : Colloquium Jacques Morgenstern)
Description : Les modèles de calculs actuels de l'informatique sont des modèles digitaux: ils travaillent sur des bits, ou sur des symboles en nombre fini. Il y a de nombreux modèles, mais la thèse de Church-Turing (et ses variantes physique, ou effective) stipule que tous ...
Mots clés : calculabilité, complexité, informatique théorique, modèle de calcul analogique, machine de turing
Date : 15-03-2012
Format : video/mp4
Auteur : BOURNEZ Olivier
Thème : Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : master, doctorat
Droits : Droits réservés à l'éditeur et aux auteurs.
UNIT
Non, les ordinateurs ne seront jamais tout-puissants !
Description : Contrairement à une certaine croyance populaire, les ordinateurs et l’informatique en général ne permettent pas de résoudre tous les problèmes...
Mots clés : algorithme, complexité algorithmique, calculabilité, indécidabilité, optimisation, algorithme d'approximation, fuscia
Date : 01-09-2011
Format : Document HTML
Auteur : Brihaye Thomas, Bruyère Véronique, Mélot Hadrien
Thème : Mathématiques
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
Canal-U
Théorie algorithmique de l'information
Description : Qu'est-ce que l'information et comment la mesurer ? qu'est-ce que la complexité et comment la mesurer ? En 2013, les travaux d'application sur la mesure de la complexité continuent car on est encore loin d'avoir tout compris. Les solutions proposées jusqu'à présent sont trop simplifiées ou trop ...
Mots clés : invariance, calcul informatique, théorie complexité, théorie de l'information, complexité algorithmique, complexité Kolmogorov, La théorie de la calculabilité
Date : 05-06-2013
Format : video/mp4
Auteur : DELAHAYE Jean-Paul
Thème : Informatique, Systèmes
Type de la ressource pédagogique : cours / présentation
Niveau : master, formation continue
Droits : Droits réservés à l'éditeur et aux auteurs.
UNIT
Un calcul révolutionnaire
Description : Extraire la racine 1789-ème d’un nombre de 7000 chiffres : un exploit « révolutionnaire » ? Cela mérite réflexion...
Mots clés : jeu, fausse difficulté, calculabilité, cryptographie, fuscia
Date : 11-01-2008
Format : Document HTML
Auteur : Delahaye Jean-Paul
Thème : Mathématiques
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
UNIT
Alan Turing : du calculable à l’indécidable
Description : Peut-on tout calculer ? Toute propriété mathématique est-elle décidable ? Ces questions ont passionné les mathématiciens bien avant les premiers ordinateurs.
Mots clés : calculabilité, thèse de Church, machine de Turing, problème de la décision, fuscia
Date : 19-02-2004
Format : Document HTML
Auteur : Ganascia Jean-Gabriel
Thème : Mathématiques
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
Canal-U
Quelques rudiments de calculabilité et de complexité
Description : Dans cet exposé, Paul Gastin, à travers des exemples concrets tel que le jeu du Sudoku, pose les deux problématiques fondamentales de l'algorithmique théorique que sont calculabilité et complexité, en définissant les notions et en donnant des jalons historiques de Hilbert à Gödel et Turing sur les ...
Mots clés : diagonalisation, codage, science informatique, calculabilité, programme, complexité, modèle de calcul, réduction
Date : 02-06-2010
Format : video/mp4
Auteur : GASTIN Paul
Thème : Mathématiques
Type de la ressource pédagogique : cours / présentation
Niveau : formation continue
Droits : Droits réservés à l'éditeur et aux auteurs.
UNIT
Le calcul, une notion difficile à attraper
Description : Il faut attendre le vingtième siècle pour que l’on puisse répondre clairement à la question de savoir ce qu’est un calcul et donc ce qu’est un calculateur et ce qui peut être calculé.
Mots clés : calculabilité, machine de Turing, fonction, algorithme, thèse de Church, histoire de l'informatique, fuscia
Date : 10-04-2008
Format : Document HTML
Auteur : Giavitto Jean-Louis
Thème : Mathématiques
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
UNIT
La théorie de la complexité algorithmique pour calculer efficacement
Description : Planifier son trajet en voiture, trouver une bonne stratégie au jeu du go, trier ses chaussettes, résoudre un sudoku, optimiser une chaîne de production… Notre quotidien est jonché de problèmes à résoudre ; certains semblent faciles, d’autres beaucoup moins. La théorie de la complexité algorithmique ...
Mots clés : complexité algorithmique, calculabilité, NP-complet
Date : 24-05-2019
Format : Document HTML
Auteur : Lagarde Guillaume
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
Droits : Ce document est diffusé sous licence Creative Commons : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
UNIT
Le mauvais résultat tout de suite, ou le bon résultat trop tard ? (série : Colloquium Jacques Morgenstern)
Description : Je vais essayer d'illustrer par quelques exemples les progrès accomplis ces dernières années dans le domaine de l'arithmétique virgule flottante. Longtemps l'arithmétique flottante n'a été qu'une collection de recettes de cuisine: on avait le choix entre utiliser cette arithmétique, et obtenir r ...
Mots clés : fuscia, conférence, STIC, arithmétique des ordinateurs, opération arithmétique, implantation sur machine, algorithme, calculabilité, virgule flottante, fiabilité, précision, cohérence, division, arrondi correct, dépassement de capacité, multiprécision, numération
Date : 05-02-2004
Format : Vidéo MPEG
Auteur : Muller Jean-Michel
Thème : Mathématiques, Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : enseignement supérieur, doctorat
Public : apprenant, enseignant
Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)