Recherche en cours
Par mots-clef
=
calculabilité
Affiner ma recherche
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
17
résultats
section 1-1
sur 2
résultats
1 à 12
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.
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
UNIT
Alan Turing, itinéraire d?un précurseur
Description
:
Retracer le parcours scientifique d?Alan Turing c?est explorer en mathématiques, surprendre en physique et recommencer en biologie? C?est suivre un cheminement intellectuel qui témoigne d?une grande liberté d?esprit.
Date
:
21-12-2012
Format
:
Document HTML
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
UNIT
Algorithmes, mode d?emploi
Description
:
Les algorithmes permettent de mécaniser calculs et traitements. Ils sont à la base du moindre programme où se combinent leurs ingrédients. Leur étude révèle les potentiels et les limites de l?informatique.
Date
:
27-11-2008
Format
:
Document HTML
Auteur
:
Viéville Thierry
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
Canal-u.fr
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 ...
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
Canal-u.fr
Introduction à la calculabilité
Description
:
Qu'est-ce que le calcul en Informatique ? Dans la première partie on s'intéresse à l'aspect épistémologique : comment s'est-on interessé au problème de la calculabilité en informatique ? on abordera ensuite les bases de la calculabilité : qu'est-ce qu'un système de programmation ? quelles sont les ...
Date
:
05-06-2013
Format
:
video/mp4
Auteur
:
PAPAZIAN Christophe
Thème
:
Mathématiques, Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
master, formation continue
UNIT
La pensée informatique
Description
:
Peut-on définir un mode de pensée spécifique à l?informatique ? La pensée informatique est présentée ici comme un ensemble d?attitudes et de connaissances universellement applicables.
Date
:
15-01-2009
Format
:
Document HTML
Auteur
:
Wing Jeannette
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
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 ...
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
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é.
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
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 rapid ...
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
Canal-u.fr
Les théorèmes de Gödel : fin d?un espoir ?
Description
:
En 1931, Kurt Gödel (1906 - 1978) démontrait, dans un article révolutionnaire, qu'un système d'axiomes cohérent et suffisamment expressif est susceptible de générer des énoncés dont la validité ne peut être démontrée dans le cadre des règles mêmes qui gouvernent la formulation de ces énoncés et leur ...
Date
:
22-02-2006
Format
:
video/mp4
Auteur
:
DESHOUILLERS Jean-Marc
Thème
:
Généralités - Sciences fondamentales, Mathématiques
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
enseignement supérieur
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...
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
Canal-u.fr
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 g ...
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
Afficher section
2
sur 2