9 résultats pour "godel"
- Qu'est-ce que le théorème de Gödel ?
- Gödel, Kurt - mathématiques.
- Qui était GODEL (Kurt) ?
- Gödel, théorèmes de - mathématiques.
- THEOREMES D'INCOMPLETUDE DE GODEL
- Kurt Gödel - Le théorème d'Incomplétude
-
L'informatique a bouleversé notre pratique professionnelle, aussi bien que notre vie
quotidienne.
calculateur ordinateur - Introduction Les livres informatique - machine à calculer, page 2516, volume 5 La logique formelle L'informatique ne peut pas être réduite à une technique issue du calcul automatique ; elle trouve également ses origines dans la logique formelle. L'origine de la logique. Les sources de la logique du XX e siècle remontent au moins à Aristote (notion de syllogisme). Euclide et Ératosthène formulèrent des algorithmes ; le mathématicien arabe al-Khārazmi (vers 780-...
- Gödel Kurt, 1906-1978, né à Brünn (aujourd'hui Brno), mathématicien autrichien.
-
algorithme - Définition.
microprocesseurs Risc sont construits sur les analyses qui en découlent. À un deuxième niveau, plus opérationnel, l'algorithmique s'intéresse aux portions de programmes qui correspondent à des tâches élémentaires et qu'on retrouve dans beaucoup de programmes. Contrairement à la situation précédente, où l'on n'en tenait pratiquement pas compte, les caractéristiques des machines elles-mêmes jouent un rôle important. Par exemple, l'étude de l'opération de tri, une des plus fréquentes...