Accès plus rapide que le navigateur!
33 relations: Abstraction (philosophie), Axiomes de Peano, Cambridge University Press, Chaîne de caractères, Cohérence (logique), Complétude, Concept (philosophie), Ensemble, Expression (mathématiques), Formule logique, Grammaire formelle, Harvard University Press, Idée, Informatique, Interprétation (logique), Langage de programmation, Langage formel, Logique, Logique mathématique, Métalangage, Ontologie (philosophie), Parenthèse, Phrase, Ponctuation, Sémantique, Sens (linguistique), Symbole (logique), Syntaxe, Système formel, Théorème, Théorèmes d'incomplétude de Gödel, Valeur de vérité, Vérité.
Abstraction (philosophie)
L’abstraction est l'opération mentale, de l'esprit par laquelle les propriétés générales, universelles et nécessaires d'un objet sont distinguées de ses propriétés particulières et contingentes.
Nouveau!!: Syntaxe (logique) et Abstraction (philosophie) · 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!!: Syntaxe (logique) et Axiomes de Peano · Voir plus »
Cambridge University Press
Cambridge University Press ou CUP (en français, Presses universitaires de Cambridge) est une maison d'édition universitaire britannique rattachée à l’université de Cambridge.
Nouveau!!: Syntaxe (logique) et Cambridge University Press · Voir plus »
Chaîne de caractères
En informatique, une chaîne de caractères est à la fois conceptuellement une suite ordonnée de caractères et physiquement une suite ordonnée d' unités de code (code unit).
Nouveau!!: Syntaxe (logique) et Chaîne de caractères · 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!!: Syntaxe (logique) et Cohérence (logique) · Voir plus »
Complétude
La notion de complétude est utilisée dans plusieurs domaines scientifiques.
Nouveau!!: Syntaxe (logique) et Complétude · Voir plus »
Concept (philosophie)
En logique, un concept est un contenu de pensée, qui, lorsqu'il est appliqué à un objet, peut former une proposition.
Nouveau!!: Syntaxe (logique) et Concept (philosophie) · Voir plus »
Ensemble
Ensemble de polygones dans un diagramme d'Euler En mathématiques, un ensemble désigne intuitivement un rassemblement d’objets distincts (les éléments de l'ensemble), « une multitude qui peut être comprise comme une totalité » pour paraphraser Georg Cantor qui est à l'origine de la théorie des ensembles.
Nouveau!!: Syntaxe (logique) et Ensemble · Voir plus »
Expression (mathématiques)
Expression mathématique Une expression en mathématiques est une combinaison de symboles finie et logique.
Nouveau!!: Syntaxe (logique) et Expression (mathématiques) · Voir plus »
Formule logique
En logique on dit d’une suite finie de lettres qu’elle est une formule, ou parfois formule bien formée, d'un langage logique donné lorsqu’elle peut être construite en appliquant une combinaison des règles de la grammaire formelle associée, on parle de la syntaxe du langage.
Nouveau!!: Syntaxe (logique) et Formule logique · Voir plus »
Grammaire formelle
Une grammaire formelle est un formalisme permettant de définir une syntaxe et donc un langage formel, c'est-à-dire un ensemble de mots admissibles sur un alphabet donné.
Nouveau!!: Syntaxe (logique) et Grammaire formelle · 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!!: Syntaxe (logique) et Harvard University Press · Voir plus »
Idée
Selon le Trésor de la langue française informatisé, le terme idée évoque « ce que l'esprit conçoit ou peut concevoir, tout ce qui est représenté dans l'esprit, par opposition aux phénomènes concernant l'affectivité ou l'action ».
Nouveau!!: Syntaxe (logique) et Idée · 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!!: Syntaxe (logique) et Informatique · Voir plus »
Interprétation (logique)
En logique, une interprétation est une attribution de sens aux symboles d'un langage formel.
Nouveau!!: Syntaxe (logique) et Interprétation (logique) · 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!!: Syntaxe (logique) et Langage de programmation · Voir plus »
Langage formel
Un langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots.
Nouveau!!: Syntaxe (logique) et Langage formel · Voir plus »
Logique
La logique — du grec logikê, qui est un terme dérivé de lógos signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte.
Nouveau!!: Syntaxe (logique) et Logique · 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!!: Syntaxe (logique) et Logique mathématique · Voir plus »
Métalangage
Un métalangage est un formalisme conçu pour décrire rigoureusement un langage.
Nouveau!!: Syntaxe (logique) et Métalangage · Voir plus »
Ontologie (philosophie)
L'ontologie est une branche de la philosophie et plus spécifiquement de la métaphysique qui, dans son sens le plus général, s'interroge sur la signification du mot « être ».
Nouveau!!: Syntaxe (logique) et Ontologie (philosophie) · Voir plus »
Parenthèse
--> Les parenthèses sont deux signes de ponctuation — la parenthèse ouvrante « (» et la parenthèse fermante «) » — entre lesquelles on place le mot ou la proposition que l’on veut isoler.
Nouveau!!: Syntaxe (logique) et Parenthèse · Voir plus »
Phrase
En grammaire, une phrase peut être considérée comme un ensemble autonome, réunissant des unités syntaxiques organisées selon différents réseaux de relations plus ou moins complexes appelés subordination, coordination ou juxtaposition.
Nouveau!!: Syntaxe (logique) et Phrase · Voir plus »
Ponctuation
La ponctuation a pour but l’organisation de l’écrit grâce à un ensemble de signes graphiques.
Nouveau!!: Syntaxe (logique) et Ponctuation · Voir plus »
Sémantique
La sémantique est une branche de la linguistique qui étudie les signifiés, ce dont on parle, ce que l'on veut transmettre par un énoncé, soit l'ensemble des processus concourant à la construction d'un sens dans la communication (langagière particulièrement).
Nouveau!!: Syntaxe (logique) et Sémantique · Voir plus »
Sens (linguistique)
Le sens, en linguistique, est la signification d’une expression (mot, syntagme, phrase, énoncé, etc.), c'est-à-dire l'idée qui y est associée, dite aussi dénotation, avec ou sans connotations.
Nouveau!!: Syntaxe (logique) et Sens (linguistique) · Voir plus »
Symbole (logique)
formules bien formées. Un langage formel peut être considéré comme identique à l'ensemble de ses formules bien formées. L'ensemble des formules bien formées peut être divisé en théorèmes et non-théorèmes. Un symbole logique est un concept fondamental en logique. Bien que le terme «symbole» d'usage courant se réfère à l'idée de symbolisé, ou aux marques sur un morceau de papier qui sont utilisés pour exprimer une idée; dans les langages formels étudiés en mathématiques et en logique, le terme «symbole» renvoie à la création d'illustration d'idée.
Nouveau!!: Syntaxe (logique) et Symbole (logique) · Voir plus »
Syntaxe
La syntaxe est, à l'origine, la branche de la linguistique qui étudie la manière dont les mots se combinent pour former des phrases ou des énoncés dans une langue.
Nouveau!!: Syntaxe (logique) et Syntaxe · 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!!: Syntaxe (logique) et Système formel · 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!!: Syntaxe (logique) 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!!: Syntaxe (logique) et Théorèmes d'incomplétude de Gödel · Voir plus »
Valeur de vérité
Une valeur de vérité est une valeur attribuée à chaque proposition logique.
Nouveau!!: Syntaxe (logique) et Valeur de vérité · Voir plus »
Vérité
Walter Seymour Allward, ''Veritas'', 1920 ''Nec mergitur'' ou ''La Vérité sortant du puits'', toile de Édouard Debat-Ponsan, 1898. La vérité (du latin veritas, « vérité », dérivé de verus, « vrai ») est la correspondance entre une proposition et la réalité à laquelle cette proposition réfère.
Nouveau!!: Syntaxe (logique) et Vérité · Voir plus »
