Résultats de la recherche
- La logique mathématique ou métamathématique est une discipline des mathématiques inventée à la fin du XIXe siècle, qui s'est donné comme objet l'étude...48 kio (6 015 mots) - 23 juin 2024 à 01:21
- Pour les articles homonymes, voir Théorie de la complexité. La théorie de la complexité est le domaine des mathématiques, et plus précisément de l'informatique...20 kio (2 437 mots) - 17 janvier 2024 à 11:51
- Pour les articles homonymes, voir Ensemble et Ensemble (homonymie). La théorie des ensembles est une branche des mathématiques, créée par le mathématicien...33 kio (4 537 mots) - 26 janvier 2024 à 10:37
- En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, calcul des relations, logique quantificationnelle[réf. nécessaire]...31 kio (4 231 mots) - 10 juillet 2024 à 10:11
- La théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est un domaine de la logique mathématique et de l'informatique théorique...20 kio (2 450 mots) - 17 juillet 2024 à 15:23
- Pour les articles homonymes, voir Turing. En informatique théorique, une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques...24 kio (2 582 mots) - 5 juillet 2024 à 10:34
- Cet article traite des significations particulières qu'a pris le terme « décidabilité » en mathématiques et en informatique. Pour une approche plus générale...20 kio (2 689 mots) - 15 mai 2023 à 20:17
- Pour les articles homonymes, voir Notation. On utilise en mathématiques un ensemble de notations pour condenser et formaliser les énoncés et les démonstrations...13 kio (2 003 mots) - 25 juin 2024 à 10:58
- Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la...47 kio (6 618 mots) - 6 juin 2024 à 21:56
- Pour un caractère ressemblant à celui du quantificateur universel, voir Ɐ et Petite capitale a culbuté. Pour les articles homonymes, voir Quantificateur...9 kio (1 043 mots) - 18 juin 2024 à 12:57
- Pour les articles homonymes, voir Négation. En logique et en mathématiques, la négation est un opérateur logique unaire. Il sert à nier une proposition...4 kio (518 mots) - 16 janvier 2024 à 13:31
- Pour les articles homonymes, voir Table (homonymie). Une table de vérité (parfois appelée fonction de vérité) est une table mathématique utilisée en logique...26 kio (1 890 mots) - 19 juillet 2024 à 14:27
- La logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve...42 kio (4 949 mots) - 19 juillet 2024 à 08:56
- L'analyse de la complexité d'un algorithme consiste en l'étude formelle de la quantité de ressources (par exemple de temps ou d'espace) nécessaire à l'exécution...11 kio (1 096 mots) - 22 avril 2024 à 13:13
- En théorie des langages, les langages rationnels ou langages réguliers ou encore langages reconnaissables peuvent être décrits de plusieurs façons équivalentes :...35 kio (5 523 mots) - 29 avril 2022 à 22:22
- Cet article est une ébauche concernant les mathématiques et l’informatique théorique. Vous pouvez partager vos connaissances en l’améliorant (comment ...5 kio (845 mots) - 18 décembre 2023 à 03:13
- La correspondance de Curry-Howard, appelée également isomorphisme de Curry-de Bruijn-Howard, correspondance preuve/programme ou correspondance formule/type...10 kio (1 028 mots) - 23 juin 2024 à 18:28
- En logique, un ensemble de symboles est couramment utilisé pour exprimer la représentation logique. Le tableau suivant répertorie de nombreux symboles...14 kio (190 mots) - 19 juillet 2024 à 08:56
- Pour les articles homonymes, voir Réécriture. En informatique théorique, la réécriture (ou récriture) est un modèle de calcul dans lequel il s’agit de...20 kio (2 426 mots) - 19 juillet 2024 à 14:32
- Un système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont...9 kio (1 236 mots) - 7 février 2024 à 18:56