Accès plus rapide que le navigateur!
34 relations: Alan Turing, Barbara (syllogisme), Calcul des prédicats, Compilateur, Coq (logiciel), Correspondance de Curry-Howard, Décidabilité, Fonction d'ordre supérieur, Fonction logique, Forme normale, Formule propositionnelle, Harvard University Press, Harvey Friedman, Haskell Curry, Henk Barendregt, Henry Maurice Sheffer, Informatique, Informatique théorique, Jean van Heijenoort, Jean-Pierre Ginisti, Lambda-calcul, Logique intuitionniste, Logique mathématique, Mathématiques, Modus ponens, Moses Schönfinkel, Notations infixée, préfixée, polonaise et postfixée, Prémisse, Presses universitaires de France, Programmation fonctionnelle, Réécriture (informatique), Robert Feys, Système à la Hilbert, Théorie des types.
Alan Turing
Alan Turing vers 1938. Alan Mathison Turing, né le à Londres et mort le à Wilmslow, est un mathématicien et cryptologue britannique, auteur de travaux qui fondent scientifiquement l'informatique.
Nouveau!!: Logique combinatoire et Alan Turing · Voir plus »
Barbara (syllogisme)
Diagramme de Venn d'un syllogisme en Barbara. Barbara est un terme de la logique aristotélicienne désignant le mode AAA de la première figure de syllogisme.
Nouveau!!: Logique combinatoire et Barbara (syllogisme) · Voir plus »
Calcul des prédicats
En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique.
Nouveau!!: Logique combinatoire et Calcul des prédicats · Voir plus »
Compilateur
En informatique, un compilateur est un programme qui transforme un code source en un code objet.
Nouveau!!: Logique combinatoire et Compilateur · Voir plus »
Coq (logiciel)
Coq est un assistant de preuve utilisant le langage Gallina, développé par l'équipe de l’Inria au sein du laboratoire du CNRS et en partenariat avec l'École polytechnique, le CNAM, l'Université Paris Diderot et l'Université Paris-Sud (et antérieurement l'École normale supérieure de Lyon).
Nouveau!!: Logique combinatoire et Coq (logiciel) · Voir plus »
Correspondance de Curry-Howard
La correspondance de Curry-Howard, appelée également isomorphisme de Curry-de Bruijn-Howard, correspondance preuve/programme ou correspondance formule/type, est une série de résultats à la frontière entre la logique mathématique, l'informatique théorique et la théorie de la calculabilité.
Nouveau!!: Logique combinatoire et Correspondance de Curry-Howard · Voir plus »
Décidabilité
En logique mathématique, le terme décidabilité recouvre deux concepts liés: la décidabilité logique et la décidabilité ''algorithmique''.
Nouveau!!: Logique combinatoire et Décidabilité · Voir plus »
Fonction d'ordre supérieur
En mathématiques et en informatique, les fonctions d'ordre supérieur sont des fonctions qui ont au moins une des propriétés suivantes.
Nouveau!!: Logique combinatoire et Fonction d'ordre supérieur · Voir plus »
Fonction logique
Il existe deux grands types de fonctions logiques.
Nouveau!!: Logique combinatoire et Fonction logique · Voir plus »
Forme normale
Dans un système formel de description de formules (termes, propositions, grammaires, etc.) les formes normales sont des formules qui satisfont certaines « bonnes » propriétés qui en font d'une certaine façon des formules plus adéquates que d'autres.
Nouveau!!: Logique combinatoire et Forme normale · Voir plus »
Formule propositionnelle
En logique mathématique une proposition, ou formule propositionnelle, ou expression propositionnelle est une expression construite à partir de connecteurs et de variables propositionnelles.
Nouveau!!: Logique combinatoire et Formule propositionnelle · Voir plus »
Harvard University Press
Harvard University Press (HUP, que l'on peut traduire en « Presses universitaires de Harvard »), établie le en tant que filiale de l'université Harvard, est une maison d'édition universitaire américaine publiant des ouvrages académiques.
Nouveau!!: Logique combinatoire et Harvard University Press · Voir plus »
Harvey Friedman
Harvey Friedman (p. 38.) est un mathématicien logicien à l'université d'État de l'Ohio.
Nouveau!!: Logique combinatoire et Harvey Friedman · Voir plus »
Haskell Curry
Haskell Brooks Curry (né le et mort le) est un logicien et mathématicien américain.
Nouveau!!: Logique combinatoire et Haskell Curry · Voir plus »
Henk Barendregt
Hendrik Pieter (Henk) Barendregt, né en 1947 est un mathématicien néerlandais spécialisé dans la logique mathématique.
Nouveau!!: Logique combinatoire et Henk Barendregt · Voir plus »
Henry Maurice Sheffer
Henry Maurice Sheffer (septembre 1882 - 1964) est un logicien américain.
Nouveau!!: Logique combinatoire et Henry Maurice Sheffer · Voir plus »
Informatique
bibliothèque d'Art et d'Archéologie de Genève (2017). L'informatique est un domaine d'activité scientifique, technique, et industriel concernant le traitement automatique de l'information numérique par l'exécution de programmes informatiques hébergés par des dispositifs électriques-électroniques: des systèmes embarqués, des ordinateurs, des robots, des automates Ces champs d'application peuvent être séparés en deux branches.
Nouveau!!: Logique combinatoire et Informatique · Voir plus »
Informatique théorique
Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique.
Nouveau!!: Logique combinatoire et Informatique théorique · Voir plus »
Jean van Heijenoort
Jean Louis Maxime van Heijenoort, (–) est un pionnier français de la logique mathématique.
Nouveau!!: Logique combinatoire et Jean van Heijenoort · Voir plus »
Jean-Pierre Ginisti
Jean-Pierre Ginisti, professeur de logique à l'université Lyon III Jean Moulin, est un spécialiste français de la logique combinatoire, de la théorie formelle de la définition et de l’axiomatique.
Nouveau!!: Logique combinatoire et Jean-Pierre Ginisti · Voir plus »
Lambda-calcul
Le lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application.
Nouveau!!: Logique combinatoire et Lambda-calcul · Voir plus »
Logique intuitionniste
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 constructive.
Nouveau!!: Logique combinatoire et Logique intuitionniste · Voir plus »
Logique mathématique
La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du, qui s'est donné comme objet l'étude des mathématiques en tant que langage.
Nouveau!!: Logique combinatoire et Logique mathématique · Voir plus »
Mathématiques
Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.
Nouveau!!: Logique combinatoire et Mathématiques · Voir plus »
Modus ponens
Le modus ponens, ou détachement, est une figure du raisonnement logique concernant l'implication.
Nouveau!!: Logique combinatoire et Modus ponens · Voir plus »
Moses Schönfinkel
Moses Schönfinkel Moses Schönfinkel (en Моисей Эльевич Шейнфинкель, Moisseï Elievitch Cheïnfinkel) est un logicien et mathématicien juif soviétique né le à Ekaterinoslav (aujourd’hui Dnipro, en Ukraine) et mort en 1942 à Moscou.
Nouveau!!: Logique combinatoire et Moses Schönfinkel · Voir plus »
Notations infixée, préfixée, polonaise et postfixée
Les notations infixée (ou infixe), préfixée (ou préfixe) et postfixée (ou postfixe) sont des formes d'écritures d'expressions algébriques qui se distinguent par la position relative qu'y prennent les opérateurs et leurs opérandes.
Nouveau!!: Logique combinatoire et Notations infixée, préfixée, polonaise et postfixée · Voir plus »
Prémisse
Une prémisse est une proposition, une affirmation avancée en support à une conclusion.
Nouveau!!: Logique combinatoire et Prémisse · Voir plus »
Presses universitaires de France
Les Presses universitaires de France (PUF) sont une maison d'édition fondée en 1921 par un collège de professeurs.
Nouveau!!: Logique combinatoire et Presses universitaires de France · Voir plus »
Programmation fonctionnelle
La programmation fonctionnelle est un paradigme de programmation de type déclaratif qui considère le calcul en tant qu'évaluation de fonctions mathématiques.
Nouveau!!: Logique combinatoire et Programmation fonctionnelle · Voir plus »
Réécriture (informatique)
En informatique théorique, la réécriture (ou récriture) est un modèle de calcul dans lequel il s’agit de transformer des objets syntaxiques (mots, termes, lambda-termes, programmes, preuves, graphes, etc.) en appliquant des règles bien précises.
Nouveau!!: Logique combinatoire et Réécriture (informatique) · Voir plus »
Robert Feys
Robert Feys (-) était un chanoine, logicien et philosophe belge, professeur à l'Université de Louvain (Belgique)De Raeymaeker, Louis.
Nouveau!!: Logique combinatoire et Robert Feys · Voir plus »
Système à la Hilbert
En logique, les systèmes à la Hilbert servent à définir les déductions formelles en suivant un modèle proposé par David Hilbert au début du: un grand nombre daxiomes logiques exprimant les principales propriétés de la logique que l'on combine au moyen de quelques règles, notamment la règle de modus ponens, pour dériver de nouveaux théorèmes.
Nouveau!!: Logique combinatoire et Système à la Hilbert · Voir plus »
Théorie des types
En mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques.
Nouveau!!: Logique combinatoire et Théorie des types · Voir plus »
