Résultats de la recherche
- Ne doit pas être confondu avec Théorème de complétude de Gödel. Les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique...77 kio (10 563 mots) - 14 septembre 2024 à 03:24
- Pour les articles homonymes, voir Isomorphisme (chimie) et Isomorphisme institutionnel. En mathématiques, un isomorphisme entre deux ensembles structurés...8 kio (1 156 mots) - 8 décembre 2023 à 10:50
- Pour les articles homonymes, voir Modèle. Cet article ne cite pas suffisamment ses sources (décembre 2022). Si vous disposez d'ouvrages ou d'articles de...32 kio (4 984 mots) - 19 juillet 2024 à 13:42
- Ne doit pas être confondu avec Théorèmes d'incomplétude de Gödel. En logique mathématique, le théorème de complétude du calcul des prédicats du premier...23 kio (3 431 mots) - 2 octobre 2024 à 23:15
- Cet article est une ébauche concernant la logique et les mathématiques. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations...7 kio (880 mots) - 11 août 2024 à 16:33
- En informatique théorique, la complexité descriptive est une branche de la théorie de la complexité et de la théorie des modèles, qui caractérise les classes...9 kio (1 063 mots) - 19 juin 2021 à 18:33
- Pour les articles homonymes, voir Structure. Ne doit pas être confondu avec Structure (mathématiques). Cet article est une ébauche concernant la logique...7 kio (1 100 mots) - 8 décembre 2021 à 09:33
- En logique mathématique, la sémantique de Kripke est une sémantique formelle utilisée pour les logiques non-classiques comme la logique intuitionniste...26 kio (4 183 mots) - 16 octobre 2023 à 16:56
- Cet article est une ébauche concernant les mathématiques et la logique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations...2 kio (277 mots) - 20 août 2023 à 08:04
- En logique mathématique, la skolémisation d'une formule du calcul des prédicats est une transformation de cette formule, qui, dans le cas d'une forme prénexe...7 kio (1 206 mots) - 11 novembre 2019 à 09:26
- Pour les articles homonymes, voir Interprétation. Cet article est une ébauche concernant la logique, les mathématiques et l’informatique théorique. Vous...12 kio (1 562 mots) - 15 juillet 2024 à 11:13
- Cet article est une ébauche concernant la logique et les mathématiques. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations...2 kio (226 mots) - 19 décembre 2017 à 16:59
- Ne doit pas être confondu avec K-théorie. Cet article est une ébauche concernant les mathématiques et la logique. Vous pouvez partager vos connaissances...3 kio (354 mots) - 29 mars 2022 à 01:48
- Cet article ne cite pas suffisamment ses sources (avril 2023). Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web...5 kio (616 mots) - 25 avril 2024 à 10:00
- La théorie des modèles finis est un sous-domaine de la théorie des modèles. Cette dernière est une branche de la logique mathématique qui traite de la...25 kio (3 928 mots) - 18 avril 2024 à 15:05
- En logique mathématique, plus précisément en théorie des modèles, un modèle non standard d'une théorie est un modèle de celle-ci dont l'ensemble de base...1 kio (175 mots) - 4 janvier 2021 à 18:27
- Pour les articles homonymes, voir Type. En théorie des modèles, un type est un ensemble de formules à une même variable libre, consistant avec une théorie...3 kio (521 mots) - 19 février 2024 à 08:03
- Cet article est une ébauche concernant les mathématiques. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations...2 kio (240 mots) - 5 janvier 2022 à 01:04
- En logique mathématique, une théorie complète est une théorie qui est équivalente à un ensemble maximal cohérent de propositions ; ceci signifie qu'elle...4 kio (445 mots) - 8 mars 2024 à 10:05
- Cet article est une ébauche concernant les mathématiques. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations...2 kio (417 mots) - 23 juin 2019 à 23:39