Accès plus rapide que le navigateur!
32 relations: Algorithme, Analyse syntaxique, Axiome, Axiomes de Peano, Calcul des prédicats, Cohérence (logique), Compilateur, David Hilbert, Décidabilité, Ensemble récursif, Fichier informatique, Interprète (informatique), Kurt Gödel, Lambda-calcul, Langage de programmation, Langage machine, Langage naturel, Logique mathématique, Mathématiques, Méthode formelle (informatique), Nomenclature des composés organiques, Programme informatique, Protocole de communication, Raymond Smullyan, Récursivement énumérable, Sémantique dénotationnelle, Sémantique opérationnelle, Sixième problème de Hilbert, Théorème, Théorèmes d'incomplétude de Gödel, Théorie des ensembles, Théorie des modèles.
Algorithme
triangulation). Un algorithme est une suite finie et non ambiguë d'instructions et d’opérations permettant de résoudre une classe de problèmes.
Nouveau!!: Système formel et Algorithme · Voir plus »
Analyse syntaxique
L' consiste à mettre en évidence la structure d'un texte, généralement une phrase écrite dans une langue naturelle, mais on utilise également cette terminologie pour l'analyse d'un programme informatique.
Nouveau!!: Système formel et Analyse syntaxique · Voir plus »
Axiome
Un axiome (en grec ancien, « principe servant de base à une démonstration, principe évident en soi » – lui-même dérivé de, « juger convenable, croire juste ») est une proposition non démontrée, utilisée comme fondement d’un raisonnement ou d’une théorie mathématique.
Nouveau!!: Système formel et Axiome · Voir plus »
Axiomes de Peano
Giuseppe Peano En mathématiques, les axiomes de Peano sont des axiomes pour l'arithmétique proposés initialement à la fin du par Giuseppe Peano, et qui connaissent aujourd'hui plusieurs présentations qui ne sont pas équivalentes, suivant la théorie sous-jacente, théorie des ensembles, logique du second ordre ou d'ordre supérieur, ou logique du premier ordre.
Nouveau!!: Système formel et Axiomes de Peano · 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!!: Système formel et Calcul des prédicats · Voir plus »
Cohérence (logique)
En logique mathématique, la cohérence, ou consistance, d'une théorie axiomatique peut se définir de deux façons, soit par référence à la déduction: il n'est pas possible de tout démontrer à partir des axiomes de la théorie, soit par référence à la sémantique de la théorie: celle-ci possède des réalisations qui lui donnent un sens.
Nouveau!!: Système formel et Cohérence (logique) · Voir plus »
Compilateur
En informatique, un compilateur est un programme qui transforme un code source en un code objet.
Nouveau!!: Système formel et Compilateur · Voir plus »
David Hilbert
David Hilbert, né en 1862 à Königsberg et mort en 1943 à Göttingen, est un mathématicien allemand.
Nouveau!!: Système formel et David Hilbert · 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!!: Système formel et Décidabilité · Voir plus »
Ensemble récursif
En théorie de la calculabilité, un ensemble récursif ou ensemble décidable est un ensemble d'entiers (ou d'éléments facilement codables dans les entiers) dont la fonction caractéristique est une fonction récursive au sens de la logique mathématique.
Nouveau!!: Système formel et Ensemble récursif · Voir plus »
Fichier informatique
Pictogrammes représentant des fichiers. Un fichier informatique est, au sens commun, une collection, un ensemble de données numériques réunies sous un même nom, enregistrées sur un support de stockage permanent, appelé mémoire de masse, tel qu'un disque dur, un cédérom, une mémoire flash ou une bande magnétique, une série de cartes perforées et manipulées comme une unité.
Nouveau!!: Système formel et Fichier informatique · Voir plus »
Interprète (informatique)
En informatique, un interprète, ou interpréteur, est un outil dont la tâche est d'analyser, de traduire et d'exécuter les programmes écrits dans un langage informatique.
Nouveau!!: Système formel et Interprète (informatique) · Voir plus »
Kurt Gödel
Kurt Gödel, né le à Brünn et mort le à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé américain.
Nouveau!!: Système formel et Kurt Gödel · 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!!: Système formel et Lambda-calcul · Voir plus »
Langage de programmation
Fragment de code écrit dans le langage de programmation JavaScript. Un langage de programmation est un langage informatique destiné à formuler des algorithmes et produire des programmes informatiques qui les appliquent.
Nouveau!!: Système formel et Langage de programmation · Voir plus »
Langage machine
Le langage machine, ou code machine, est la suite de bits qui est interprétée par le processeur d'un ordinateur exécutant un programme informatique.
Nouveau!!: Système formel et Langage machine · Voir plus »
Langage naturel
Un langage naturel.
Nouveau!!: Système formel et Langage naturel · 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!!: Système formel 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!!: Système formel et Mathématiques · Voir plus »
Méthode formelle (informatique)
En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification.
Nouveau!!: Système formel et Méthode formelle (informatique) · Voir plus »
Nomenclature des composés organiques
La nomenclature en chimie est l'ensemble des règles, symboles, vocables, destinés à représenter et à prononcer les noms des corps étudiés.
Nouveau!!: Système formel et Nomenclature des composés organiques · Voir plus »
Programme informatique
Un programme informatique est un ensemble d'instructions et d’opérations destinées à être exécutées par un ordinateur.
Nouveau!!: Système formel et Programme informatique · Voir plus »
Protocole de communication
Dans les réseaux informatiques et les télécommunications, un protocole de communication est une spécification de plusieurs règles pour un type de communication particulier.
Nouveau!!: Système formel et Protocole de communication · Voir plus »
Raymond Smullyan
Raymond Smullyan est un logicien, mathématicien, philosophe et magicien américain né le à Far Rockaway et mort le à Hudson dans l'État de New York.
Nouveau!!: Système formel et Raymond Smullyan · Voir plus »
Récursivement énumérable
En théorie de la calculabilité, un ensemble d'entiers naturels est récursivement énumérable ou semi-décidable si.
Nouveau!!: Système formel et Récursivement énumérable · Voir plus »
Sémantique dénotationnelle
En informatique, la sémantique dénotationnelle est une des approches permettant de formaliser la signification d'un programme en utilisant les mathématiques.
Nouveau!!: Système formel et Sémantique dénotationnelle · Voir plus »
Sémantique opérationnelle
En informatique, la sémantique opérationnelle est l'une des approches qui servent à donner une signification aux programmes informatiques d'une manière rigoureuse, mathématiquement parlant (voir Sémantique des langages de programmation).
Nouveau!!: Système formel et Sémantique opérationnelle · Voir plus »
Sixième problème de Hilbert
Le sixième problème de Hilbert est d'axiomatiser les branches de la physique dans lesquelles les mathématiques prévalent.
Nouveau!!: Système formel et Sixième problème de Hilbert · Voir plus »
Théorème
En mathématiques et en logique, un théorème (du grec théorêma, objet digne d'étude) est une assertion qui est démontrée, c'est-à-dire établie comme vraie à partir d'autres assertions déjà démontrées (théorèmes ou autres formes d'assertions) ou des assertions acceptées comme vraies, appelées axiomes.
Nouveau!!: Système formel et Théorème · Voir plus »
Théorèmes d'incomplé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, publiés par Kurt Gödel en 1931 dans son article (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »).
Nouveau!!: Système formel et Théorèmes d'incomplétude de Gödel · Voir plus »
Théorie des ensembles
La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du.
Nouveau!!: Système formel et Théorie des ensembles · Voir plus »
Théorie des modèles
La théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures.
Nouveau!!: Système formel et Théorie des modèles · Voir plus »
