Accès plus rapide que le navigateur!
20 relations: Algèbre linéaire, Automate fini, Calcul des séquents, Correspondance de Curry-Howard, Hypergraphe, Informatique théorique, Jean-Yves Girard, Lambda-calcul, Logique classique, Logique intuitionniste, Logique mathématique, Logiques sous-structurelles, Lois de De Morgan, London Mathematical Society, Modalité, Réseau de preuves, Système formel, Théorie de la complexité (informatique théorique), Théorie de la démonstration, Type (informatique).
Algèbre linéaire
L’algèbre linéaire est la branche des mathématiques qui s'intéresse aux espaces vectoriels et aux transformations linéaires, formalisation générale des théories des systèmes d'équations linéaires.
Nouveau!!: Logique linéaire et Algèbre linéaire · Voir plus »
Automate fini
Fig. 1: Une hiérarchie d'automates. Un automate fini ou automate avec un nombre fini d'états (en anglais ou ou FSM) est un modèle mathématique de calcul, utilisé dans de nombreuses circonstances, allant de la conception de programmes informatiques et de circuits en logique séquentielle aux applications dans des protocoles de communication, en passant par le contrôle des processus, la linguistique et même la biologie.
Nouveau!!: Logique linéaire et Automate fini · Voir plus »
Calcul des séquents
En logique mathématique et plus précisément en théorie de la démonstration, le calcul des séquents est un système de déduction créé par Gerhard Gentzen.
Nouveau!!: Logique linéaire et Calcul des séquents · 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 linéaire et Correspondance de Curry-Howard · Voir plus »
Hypergraphe
Les hypergraphes sont des objets mathématiques généralisant la notion de graphe.
Nouveau!!: Logique linéaire et Hypergraphe · 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 linéaire et Informatique théorique · Voir plus »
Jean-Yves Girard
Jean-Yves Girard, né en 1947 à Lyon, est un logicien et mathématicien contemporain, directeur de recherche au CNRS (émérite) au département de logique de la programmation de l'institut de mathématiques de Luminy (devenu l'Institut de Mathématiques de Marseille depuis le). Il a reçu la médaille d'argent du CNRS en 1983.
Nouveau!!: Logique linéaire et Jean-Yves Girard · 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 linéaire et Lambda-calcul · Voir plus »
Logique classique
La logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du en logique mathématique.
Nouveau!!: Logique linéaire et Logique classique · 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 linéaire 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 linéaire et Logique mathématique · Voir plus »
Logiques sous-structurelles
Les logiques sous-structurelles sont des logiques mathématiques où certaines règles d'inférence ne sont pas utilisées ou ont une utilisation restreinte.
Nouveau!!: Logique linéaire et Logiques sous-structurelles · Voir plus »
Lois de De Morgan
Les lois de De Morgan sont des identités entre propositions logiques.
Nouveau!!: Logique linéaire et Lois de De Morgan · Voir plus »
London Mathematical Society
The London Mathematical Society (LMS) est la plus importante société savante de mathématiques en Angleterre.
Nouveau!!: Logique linéaire et London Mathematical Society · Voir plus »
Modalité
Le mot modalité peut avoir plusieurs significations.
Nouveau!!: Logique linéaire et Modalité · Voir plus »
Réseau de preuves
Les réseaux de preuves, inventés par le logicien Jean-Yves Girard en 1986 dans le cadre de la logique linéaire, sont un outil de démonstration formel pour cette même logique (c'est-à-dire une alternative aux séquents qui sont aussi employés en logique classique et intuitionniste).
Nouveau!!: Logique linéaire et Réseau de preuves · Voir plus »
Système formel
Un système formel est une modélisation mathématique d'un langage en général spécialisé.
Nouveau!!: Logique linéaire et Système formel · Voir plus »
Théorie de la complexité (informatique théorique)
P est la classe des problèmes décidés en temps polynomial par une machine de Turing déterministe. La théorie de la complexité est le domaine des mathématiques, et plus précisément de l'informatique théorique, qui étudie formellement le temps de calcul, l'espace mémoire (et plus marginalement la taille d'un circuit, le nombre de processeurs, l'énergie consommée…) requis par un algorithme pour résoudre un problème algorithmique.
Nouveau!!: Logique linéaire et Théorie de la complexité (informatique théorique) · Voir plus »
Théorie de la démonstration
La théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais), est une branche de la logique mathématique.
Nouveau!!: Logique linéaire et Théorie de la démonstration · Voir plus »
Type (informatique)
Présentation des principaux '''types de données'''. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués.
Nouveau!!: Logique linéaire et Type (informatique) · Voir plus »
