Notre catalogue de ressources
Naviguer par :
Menu
Toutes les ressources
Nouveautés
Recherche avancée
Par thème
Par auteur
Produite par UNIT
Aide
Recherche en cours
Par mots-clef
=
démonstration
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.
5
résultats
section 1
sur 1
résultats
1 à 5
UNIT
Douglas Engelbart, inventeur et visionnaire
Description
:
Douglas Engelbart est à l?origine de nombreuses innovations technologiques qui ont grandement influencé l?informatique personnelle. Retour sur ces inventions et la vision qui les avait motivées.
Date
:
15-11-2013
Description complète
Douglas Engelbart, inventeur et visionnaire
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
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.
Date
:
01-08-2011
Description complète
Du rêve à la réalité des preuves
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
L?informatique au c?ur des limites de l?esprit
Description
:
Les concepts d?algorithmes et de programmes informatiques ont été utilisés par le logicien autrichien Kurt Gödel dans les années 1930, bien avant l?apparition du premier ordinateur afin de démontrer deux théorèmes d?une très grande profondeur, qui portent sur les limites de l?esprit et de la logique ...
Date
:
07-09-2022
Description complète
L?informatique au c?ur des limites de l?esprit
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
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.
Date
:
11-12-2008
Description complète
La vérité et la machine
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Mathématiques : notions de base (Filière Linguistique Préparatoire aux Études en France - FILIPÉ)
Description
:
Module du programme e-learning FILIPE qui vise à favoriser la préparation linguistique, interculturelle et scientifique des étudiants non francophones poursuivant leurs études en France. Ce module a pour but de vous entraîner à la compréhension orale des cours de mathématiques en français. Il vous a ...
Date
:
01-07-2006
Description complète
Mathématiques : notions de base (Filière Linguistique Préparatoire aux Études en France - FILIPÉ)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
Afficher section
2
sur 1