Utilisateur:STyx/Livres/Logique et preuve formelle
(Redirigé depuis Utilisateur:STyx/Livres/Logique et preuve formels)
|
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 ] | |||||||||
Logique et preuve formelle
[modifier | modifier le code]- Logique classique
- Logique classique
- Calcul des prédicats
- Calcul des propositions
- Calcul des séquents
- Loi de Peirce
- Systèmes logiques
- Logique minimale
- Logique intuitionniste
- Logique combinatoire
- Système à la Hilbert
- Logique linéaire
- Système F
- Correspondance de Curry-Howard
- Correspondance de Curry-Howard
- Théorie des types
- Type vide
- Type unité
- Fonction récursive
- Type récursif
- Induction structurelle
- Inférence de types
- Assistant de preuve
- Calcul des constructions
- Coq (logiciel)
- Langages
- Lambda-calcul
- Programmation fonctionnelle
- Haskell Curry
- Haskell
- ML (langage)
- Filtrage par motif
- Langage d'assemblage typé
- Référence (informatique)
- Type (informatique)
- Type abstrait
- Type algébrique de données
- Théorème du point fixe de Kleene
- Curryfication