Utilisateur:Franck Dernoncourt/Livres/Mathématique logique et informatique théorique 1
Apparence
|
Ce livre utilisateur est une collection d'articles Wikipédia générée par un utilisateur qui peut être facilement sauvegardée, rendue sous forme électronique et commandée comme livre imprimé. Si vous êtes le créateur de ce livre et que vous avez besoin d'aide, voyez Aide:Livres (conseil généraux) et Projet:Livres Wikipédia (questions et assistance). | ||||||||
[ Télécharger en PDF ]
[ Charger dans le Créateur de livres ] [ Commander le livre imprimé ] |
|||||||||
[ FAQ ] [ Problèmes ] [ Aide ] [ Projet Wikipédia ] [ Modifications récentes ] |
Mathématique logique et informatique théorique[modifier | modifier le code]
- Automate fini
- Calculabilité
- David Hilbert
- Distribution de Dirac
- Georg Cantor
- H.S.M. Coxeter
- Henri Poincaré
- Hypercube
- Informatique théorique
- Logique d'ordre supérieur
- Machine de Turing
- Mécanique quantique
- Sémantique des langages de programmation
- Thèse de Church
- Théorie des automates
- Théorie des files d'attente
- Théorie des langages
- Théorie du chaos