About: First-order logic

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: First-order logic Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:comment	Le calcul des prédicats du premier ordre, ou calcul des relations, logique du premier ordre, logique quantificationnelle, ou tout simplement calcul des prédicats, est une formalisation du langage des mathématiques, proposée par Gottlob Frege, entre la fin du XIXe siècle et le début du XXe siècle. La logique du premier ordre comporte deux parties : Sur le plan syntaxique, les langages du premier ordre opposent deux grandes classes linguistiques : et . Les traits caractéristiques de la logique du premier ordre sont : (fr)
dbo:wikiPageWikiLink	Alfred North Whitehead Alfred Tarski Algorithm dbpedia-fr:Aristote dbpedia-fr:Arité Proof assistant dbpedia-fr:Axiome_logique Peano axioms Bertrand Russell Bisimulation Propositional calculus Sequent calculus category-fr:Logique category-fr:Logique_mathématique dbpedia-fr:Classe_de_Bernays-Schönfinkel Completeness dbpedia-fr:Connecteur_logique_(linguistique) Curry–Howard correspondence Critique of Pure Reason dbpedia-fr:Décidabilité dbpedia-fr:Déduction_logique dbpedia-fr:Déduction_naturelle Immanuel Kant dbpedia-fr:Gottlob_Frege dbpedia-fr:Kurt_Gödel dbpedia-fr:Logique_classique dbpedia-fr:Logique_d'ordre_supérieur dbpedia-fr:Logique_de_description dbpedia-fr:Logique_du_dialogue dbpedia-fr:Logique_intuitionniste dbpedia-fr:Logique_mathématique dbpedia-fr:Logique_modale dbpedia-fr:Logique_monadique_du_premier_ordre Mathematical notation Principia Mathematica dbpedia-fr:Problème_NP-complet dbpedia-fr:Problème_SAT dbpedia-fr:Prolog Predicate (grammar) Predicate (mathematical logic) Quantifier (logic) Existential quantification dbpedia-fr:Règle_de_résolution dbpedia-fr:Schéma_d'axiomes dbpedia-fr:Science Signature (logic) dbpedia-fr:Skolémisation Structure (mathematical logic) dbpedia-fr:Syntaxe_(logique) dbpedia-fr:Système_à_la_Hilbert dbpedia-fr:Sémantique_axiomatique dbpedia-fr:Terme_(logique) dbpedia-fr:Théorie_axiomatique dbpedia-fr:Théorie_de_la_calculabilité dbpedia-fr:Théorie_de_la_démonstration dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Théorie_des_modèles dbpedia-fr:Théorème dbpedia-fr:Théorème_d'interpolation_de_Craig Lindström's theorem Löwenheim–Skolem theorem Trakhtenbrot's theorem Compactness theorem Gödel's completeness theorem Gödel's incompleteness theorems Variable (mathematics) dbpedia-fr:Mathématiques dbpedia-fr:Modus_ponens dbpedia-fr:Sémantique_des_jeux dbpedia-fr:Wikt:monadique
is dbo:wikiPageWikiLink of	dbpedia-fr:Calcul_des_relations dbpedia-fr:Expression_polie AC0 Albert Lautman DPLL algorithm Davis–Putnam algorithm Cylindric algebra Lindenbaum–Tarski algebra Algebra of sets Relational algebra dbpedia-fr:Anti-unification Element (mathematics) dbpedia-fr:Arithmétique_d'intervalles dbpedia-fr:Arithmétique_de_Presburger dbpedia-fr:Arithmétique_de_Robinson dbpedia-fr:Arithmétique_du_second_ordre dbpedia-fr:Arithmétique_vraie dbpedia-fr:Arité Axiom of extensionality Axiom of determinacy Axiom of empty set Axiom of infinity dbpedia-fr:Axiome_logique Hilbert's axioms Peano axioms Bernard Bolzano Bertrand Russell

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 8 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software