Location via proxy:
[ UP ]
[Report a bug]
[Manage cookies]
No cookies
No scripts
No ads
No referrer
Show this form
Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CSV
JSON-LD
About:
http://fr.dbpedia.org/resource/Catégorie:Logique_mathématique
An Entity of Type :
Concept
, from Named Graph :
http://fr.dbpedia.org
, within Data Space :
fr.dbpedia.org
Property
Value
dbo:
wikiPageID
85461
(xsd:integer)
dbo:
wikiPageRevisionID
119724731
(xsd:integer)
prop-fr:
wikiPageUsesTemplate
dbpedia-fr
:Modèle:Article_principal
dbpedia-fr
:Modèle:Multi_bandeau
rdf:
type
skos
:Concept
rdfs:
label
Logique mathématique
(fr)
Logique mathématique
(fr)
rdfs:
seeAlso
https://commons.wikimedia.org/wiki/Category:Mathematical_logic
owl:
sameAs
dbc
:Mathematical_logic
dbpedia-commons
:Category:Mathematical_logic
wikidata
:Q7020589
dbpedia-af
:Kategorie:Wiskundige_logika
dbpedia-ar
:تصنيف:منطق_رياضي
dbpedia-az
:Kateqoriya:Riyazi_məntiq
http://ba.dbpedia.org/resource/Категория:Математик_логика
dbpedia-be
:Катэгорыя:Матэматычная_логіка
dbpedia-bg
:Категория:Математическа_логика
http://bn.dbpedia.org/resource/বিষয়শ্রেণী:গাণিতিক_যুক্তিবিজ্ঞান
http://bs.dbpedia.org/resource/Kategorija:Matematička_logika
dbpedia-ca
:Categoria:Lògica_matemàtica
http://ckb.dbpedia.org/resource/پۆل:لۆژیکی_ماتماتیکی
dbpedia-cs
:Kategorie:Matematická_logika
http://cv.dbpedia.org/resource/Категори:Математика_логики
dbpedia-cy
:Categori:Rhesymeg_mathemategol
dbpedia-da
:Kategori:Matematisk_logik
dbpedia-de
:Kategorie:Mathematische_Logik
dbpedia-el
:Κατηγορία:Μαθηματική_λογική
dbpedia-eo
:Kategorio:Matematika_logiko
dbpedia-es
:Categoría:Lógica_matemática
dbpedia-eu
:Kategoria:Logika_matematikoa
dbpedia-fa
:رده:منطق_ریاضی
dbpedia-fi
:Luokka:Matemaattinen_logiikka
dbpedia-he
:קטגוריה:לוגיקה_מתמטית
http://hi.dbpedia.org/resource/श्रेणी:गणितीय_तर्क
dbpedia-hu
:Kategória:Matematikai_logika
http://hy.dbpedia.org/resource/Կատեգորիա:Մաթեմատիկական_տրամաբանություն
http://ia.dbpedia.org/resource/Categoria:Logica_mathematic
dbpedia-id
:Kategori:Logika_matematika
dbpedia-is
:Flokkur:Stærðfræðileg_rökfræði
dbpedia-it
:Categoria:Logica_matematica
dbpedia-ja
:Category:数理論理学
dbpedia-ka
:კატეგორია:მათემატიკური_ლოგიკა
dbpedia-kk
:Санат:Математикалық_логика
dbpedia-ko
:분류:수리논리학
dbpedia-lmo
:Categuria:Lògica_matemàtica
http://lt.dbpedia.org/resource/Kategorija:Matematinė_logika
http://lv.dbpedia.org/resource/Kategorija:Matemātiskā_loģika
dbpedia-mk
:Категорија:Математичка_логика
http://mn.dbpedia.org/resource/Ангилал:Математикийн_логик
dbpedia-ms
:Kategori:Logik_matematik
dbpedia-nl
:Categorie:Wiskundige_logica
dbpedia-nn
:Kategori:Matematisk_logikk
dbpedia-no
:Kategori:Matematisk_logikk
dbpedia-pl
:Kategoria:Logika_matematyczna
dbpedia-pms
:Categorìa:Lògica_matemàtica
dbpedia-pt
:Categoria:Lógica_matemática
dbpedia-ro
:Categorie:Logică_matematică
dbpedia-ru
:Категория:Математическая_логика
http://sco.dbpedia.org/resource/Category:Mathematical_logic
dbpedia-sh
:Kategorija:Matematička_logika
dbpedia-sk
:Kategória:Matematická_logika
dbpedia-sl
:Kategorija:Matematična_logika
dbpedia-sr
:Категорија:Математичка_логика
dbpedia-sv
:Kategori:Matematisk_logik
dbpedia-th
:หมวดหมู่:คณิตตรรกศาสตร์
http://tl.dbpedia.org/resource/Kategorya:Lohika_matematika
dbpedia-tr
:Kategori:Matematiksel_mantık
dbpedia-uk
:Категорія:Математична_логіка
http://ur.dbpedia.org/resource/زمرہ:منطق_ریاضیات
dbpedia-vi
:Thể_loại:Logic_toán
dbpedia-zh
:Category:數理邏輯
http://rue.dbpedia.org/resource/Катеґорія:Математічна_лоґіка
skos:
broader
category-fr
:Fondements_des_mathématiques
category-fr
:Logique
skos:
prefLabel
Logique mathématique
(fr)
Logique mathématique
(fr)
prov:
wasDerivedFrom
wikipedia-fr
:Catégorie:Logique_mathématique?oldid=119724731&ns=14
is
dbo:
wikiPageWikiLink
of
dbpedia-fr
:Calcul_des_relations
dbpedia-fr
:Complexité_pseudo-polynomiale
dbpedia-fr
:Logique_propositionnelle
dbpedia-fr
:Algèbre_cylindrique
dbpedia-fr
:Algèbre_de_Heyting
dbpedia-fr
:Algèbre_des_termes
dbpedia-fr
:Analyse_de_la_complexité_des_algorithmes
dbpedia-fr
:Anti-unification
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é
dbpedia-fr
:Astuce_de_Rosser
dbpedia-fr
:Axiome_logique
dbpedia-fr
:Axiomes_de_Hilbert
dbpedia-fr
:Calcul_des_constructions
dbpedia-fr
:Calcul_des_propositions
dbpedia-fr
:Calcul_des_prédicats
dbpedia-fr
:Calcul_des_séquents
dbpedia-fr
:Circuit_booléen
dbpedia-fr
:Classe_de_Bernays-Schönfinkel
dbpedia-fr
:Codage_de_Gödel
dbpedia-fr
:Complexité_implicite
dbpedia-fr
:Complétude_(logique)
dbpedia-fr
:Condition_de_chaîne_dénombrable
dbpedia-fr
:Continuation_(informatique)
dbpedia-fr
:Contradiction_performative
dbpedia-fr
:Correspondance_de_Curry-Howard
dbpedia-fr
:Curryfication
dbpedia-fr
:Diagrammes_d'Euler,_de_Venn_et_de_Carroll
dbpedia-fr
:Diophantien
dbpedia-fr
:Dixième_problème_de_Hilbert
dbpedia-fr
:Décidabilité
dbpedia-fr
:Déduction_naturelle
dbpedia-fr
:Démonstration_constructive
dbpedia-fr
:Ensemble_récursif
dbpedia-fr
:Fonction_successeur
dbpedia-fr
:Forcing
dbpedia-fr
:Forme_normale_algébrique
dbpedia-fr
:Forme_normale_conjonctive
dbpedia-fr
:Forme_normale_disjonctive
dbpedia-fr
:Forme_normale_négative_décomposable
dbpedia-fr
:Forme_prénexe
dbpedia-fr
:Formule_(mathématiques)
dbpedia-fr
:Formule_atomique
dbpedia-fr
:Formule_logique
dbpedia-fr
:Graphe_conceptuel
dbpedia-fr
:Graphe_logique
dbpedia-fr
:Grundlagen_der_Mathematik
dbpedia-fr
:Géométrie_synthétique
dbpedia-fr
:Hiérarchie_analytique
dbpedia-fr
:Hiérarchie_arithmétique
dbpedia-fr
:Hiérarchie_polynomiale
dbpedia-fr
:Horn-satisfiabilité
dbpedia-fr
:Hypercalcul
dbpedia-fr
:Hypothèse_du_monde_clos
dbpedia-fr
:Implication_stricte
dbpedia-fr
:Imprédicativité
dbpedia-fr
:Induction_structurelle
dbpedia-fr
:Information_partielle_linéaire
dbpedia-fr
:Langage_creux
dbpedia-fr
:Langage_mathématique
dbpedia-fr
:Langage_rationnel
dbpedia-fr
:Langage_sans_étoile
dbpedia-fr
:Lemme_(mathématiques)
dbpedia-fr
:Lemme_de_König
dbpedia-fr
:Lemme_de_Newman
dbpedia-fr
:Liste_de_symboles_logiques
dbpedia-fr
:Liste_de_systèmes_logiques
dbpedia-fr
:Littéral_(logique)
dbpedia-fr
:Logicomix
dbpedia-fr
:Logique_algébrique
dbpedia-fr
:Logique_argumentative
dbpedia-fr
:Logique_classique
dbpedia-fr
:Logique_combinatoire
dbpedia-fr
:Logique_contextuelle
dbpedia-fr
:Logique_d'ordre_supérieur
dbpedia-fr
:Logique_du_dialogue
dbpedia-fr
:Logique_défaisable
dbpedia-fr
:Logique_et_raisonnement_mathématique
dbpedia-fr
:Logique_formelle
dbpedia-fr
:Logique_intuitionniste
dbpedia-fr
:Logique_linéaire
dbpedia-fr
:Logique_mathématique
dbpedia-fr
:Logique_minimale
dbpedia-fr
:Logique_monadique_du_premier_ordre
dbpedia-fr
:Logique_ternaire
dbpedia-fr
:Logique_épistémique
dbpedia-fr
:Logiques_sous-structurelles
dbpedia-fr
:Loi_de_Peirce
dbpedia-fr
:Lois_de_De_Morgan
dbpedia-fr
:Machine_SECD
dbpedia-fr
:Machine_de_Blum-Shub-Smale
dbpedia-fr
:Machine_de_Krivine
dbpedia-fr
:Machine_de_Turing
dbpedia-fr
:Méréologie
dbpedia-fr
:Métalogique
dbpedia-fr
:Méthode_d'automorphisme
dbpedia-fr
:Méthode_des_tableaux
dbpedia-fr
:New_Foundations
dbpedia-fr
:Notation_(mathématiques)
dbpedia-fr
:Notre_Dame_Journal_of_Formal_Logic
dbpedia-fr
:Négation_logique
dbpedia-fr
:Paire_critique
dbpedia-fr
:Paradoxe_du_menteur
dbpedia-fr
:Postulat
dbpedia-fr
:Preuves,_Programmes_et_Systèmes
dbpedia-fr
:Principe_d'explosion
dbpedia-fr
:Principe_de_Markov
dbpedia-fr
:Problème_de_la_décision
dbpedia-fr
:Précondition
dbpedia-fr
:Prédicat_(logique_mathématique)
dbpedia-fr
:Quantificateur_(logique)
dbpedia-fr
:Règle_d'introduction_(logique)
dbpedia-fr
:Règle_d'élimination_(logique)
dbpedia-fr
:Règle_de_coupure
dbpedia-fr
:Règle_de_résolution
dbpedia-fr
:Récurrence_transfinie
dbpedia-fr
:Réduction_polynomiale
dbpedia-fr
:Réseau_de_preuves
dbpedia-fr
:Révision_des_croyances
dbpedia-fr
:Réécriture_(informatique)
dbpedia-fr
:Satisfaisabilité
dbpedia-fr
:Skolémisation
dbpedia-fr
:Stratégie_d'évaluation_(informatique)
dbpedia-fr
:Structuralisme_(philosophie_des_mathématiques)
dbpedia-fr
:Style_de_Fitch_pour_la_déduction_naturelle
dbpedia-fr
:Système_F
dbpedia-fr
:Système_formel
dbpedia-fr
:Système_à_la_Hilbert
dbpedia-fr
:Sémantique_algébrique_(logique_mathématique)
dbpedia-fr
:Sémantique_de_Kripke
dbpedia-fr
:Sémantique_formelle_(logique)
dbpedia-fr
:Table_de_vérité
dbpedia-fr
:Taquet_(symbole)
dbpedia-fr
:Terme_(logique)
dbpedia-fr
:Théorie_axiomatique
dbpedia-fr
:Théorie_complète
dbpedia-fr
:Théorie_de_la_calculabilité
dbpedia-fr
:Théorie_de_la_complexité_(informatique_théorique)
dbpedia-fr
:Théorie_de_la_démonstration
dbpedia-fr
:Théorie_des_ensembles
dbpedia-fr
:Théorie_des_ensembles_non_bien_fondés
dbpedia-fr
:Théorie_existentielle_sur_les_réels
dbpedia-fr
:Théorie_oméga-cohérente
dbpedia-fr
:Théorème_d'inconsistance_de_Kunen
dbpedia-fr
:Théorème_d'élimination_des_coupures
dbpedia-fr
:Théorème_de_Cook
dbpedia-fr
:Théorème_de_Diaconescu
dbpedia-fr
:Théorème_de_Mahaney
dbpedia-fr
:Théorème_de_Post
dbpedia-fr
:Théorème_de_Rice
dbpedia-fr
:Théorème_de_définissabilité_de_Beth
dbpedia-fr
:Transformation_de_Tseitin
dbpedia-fr
:Transposition_(logique)
dbpedia-fr
:Turing-complet
dbpedia-fr
:Type_dépendant
dbpedia-fr
:Unification
dbpedia-fr
:Univers_(logique)
dbpedia-fr
:Univers_du_discours
dbpedia-fr
:Unzerlegbarkeit
dbpedia-fr
:Valeur_de_vérité
dbpedia-fr
:Variable_libre
dbpedia-fr
:Élimination_des_quantificateurs
dbpedia-fr
:Équivalence_élémentaire
dbpedia-fr
:Évaluation_paresseuse
dbpedia-fr
:Mathématiques_classiques
dbpedia-fr
:Mathématiques_à_rebours
dbpedia-fr
:Modus_ponens
is
dct:
subject
of
dbpedia-fr
:Calcul_des_relations
dbpedia-fr
:Complexité_pseudo-polynomiale
dbpedia-fr
:Logique_propositionnelle
dbpedia-fr
:Algèbre_cylindrique
dbpedia-fr
:Algèbre_de_Heyting
dbpedia-fr
:Algèbre_des_termes
dbpedia-fr
:Analyse_de_la_complexité_des_algorithmes
dbpedia-fr
:Anti-unification
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é
dbpedia-fr
:Astuce_de_Rosser
dbpedia-fr
:Axiome_logique
dbpedia-fr
:Axiomes_de_Hilbert
dbpedia-fr
:Calcul_des_constructions
dbpedia-fr
:Calcul_des_propositions
dbpedia-fr
:Calcul_des_prédicats
dbpedia-fr
:Calcul_des_séquents
dbpedia-fr
:Circuit_booléen
dbpedia-fr
:Classe_de_Bernays-Schönfinkel
dbpedia-fr
:Codage_de_Gödel
dbpedia-fr
:Complexité_implicite
dbpedia-fr
:Complétude_(logique)
dbpedia-fr
:Condition_de_chaîne_dénombrable
dbpedia-fr
:Continuation_(informatique)
dbpedia-fr
:Contradiction_performative
dbpedia-fr
:Correspondance_de_Curry-Howard
dbpedia-fr
:Curryfication
dbpedia-fr
:Diagrammes_d'Euler,_de_Venn_et_de_Carroll
dbpedia-fr
:Diophantien
dbpedia-fr
:Dixième_problème_de_Hilbert
dbpedia-fr
:Décidabilité
dbpedia-fr
:Déduction_naturelle
dbpedia-fr
:Démonstration_constructive
dbpedia-fr
:Ensemble_récursif
dbpedia-fr
:Fonction_successeur
dbpedia-fr
:Forcing
dbpedia-fr
:Forme_normale_algébrique
dbpedia-fr
:Forme_normale_conjonctive
dbpedia-fr
:Forme_normale_disjonctive
dbpedia-fr
:Forme_normale_négative_décomposable
dbpedia-fr
:Forme_prénexe
dbpedia-fr
:Formule_(mathématiques)
dbpedia-fr
:Formule_atomique
dbpedia-fr
:Formule_logique
dbpedia-fr
:Graphe_conceptuel
dbpedia-fr
:Graphe_logique
dbpedia-fr
:Grundlagen_der_Mathematik
dbpedia-fr
:Géométrie_synthétique
dbpedia-fr
:Hiérarchie_analytique
dbpedia-fr
:Hiérarchie_arithmétique
dbpedia-fr
:Hiérarchie_polynomiale
dbpedia-fr
:Horn-satisfiabilité
dbpedia-fr
:Hypercalcul
dbpedia-fr
:Hypothèse_du_monde_clos
dbpedia-fr
:Implication_stricte
dbpedia-fr
:Imprédicativité
dbpedia-fr
:Induction_structurelle
dbpedia-fr
:Information_partielle_linéaire
dbpedia-fr
:Langage_creux
dbpedia-fr
:Langage_mathématique
dbpedia-fr
:Langage_rationnel
dbpedia-fr
:Langage_sans_étoile
dbpedia-fr
:Lemme_(mathématiques)
dbpedia-fr
:Lemme_de_König
dbpedia-fr
:Lemme_de_Newman
dbpedia-fr
:Liste_de_symboles_logiques
dbpedia-fr
:Liste_de_systèmes_logiques
dbpedia-fr
:Littéral_(logique)
dbpedia-fr
:Logicomix
dbpedia-fr
:Logique_algébrique
dbpedia-fr
:Logique_argumentative
dbpedia-fr
:Logique_classique
dbpedia-fr
:Logique_combinatoire
dbpedia-fr
:Logique_contextuelle
dbpedia-fr
:Logique_d'ordre_supérieur
dbpedia-fr
:Logique_du_dialogue
dbpedia-fr
:Logique_défaisable
dbpedia-fr
:Logique_et_raisonnement_mathématique
dbpedia-fr
:Logique_formelle
dbpedia-fr
:Logique_intuitionniste
dbpedia-fr
:Logique_linéaire
dbpedia-fr
:Logique_mathématique
dbpedia-fr
:Logique_minimale
dbpedia-fr
:Logique_monadique_du_premier_ordre
dbpedia-fr
:Logique_ternaire
dbpedia-fr
:Logique_épistémique
dbpedia-fr
:Logiques_sous-structurelles
dbpedia-fr
:Loi_de_Peirce
dbpedia-fr
:Lois_de_De_Morgan
dbpedia-fr
:Machine_SECD
dbpedia-fr
:Machine_de_Blum-Shub-Smale
dbpedia-fr
:Machine_de_Krivine
dbpedia-fr
:Machine_de_Turing
dbpedia-fr
:Méréologie
dbpedia-fr
:Métalogique
dbpedia-fr
:Méthode_d'automorphisme
dbpedia-fr
:Méthode_des_tableaux
dbpedia-fr
:New_Foundations
dbpedia-fr
:Notation_(mathématiques)
dbpedia-fr
:Notre_Dame_Journal_of_Formal_Logic
dbpedia-fr
:Négation_logique
dbpedia-fr
:Paire_critique
dbpedia-fr
:Paradoxe_du_menteur
dbpedia-fr
:Postulat
dbpedia-fr
:Preuves,_Programmes_et_Systèmes
dbpedia-fr
:Principe_d'explosion
dbpedia-fr
:Principe_de_Markov
dbpedia-fr
:Problème_de_la_décision
dbpedia-fr
:Précondition
dbpedia-fr
:Prédicat_(logique_mathématique)
dbpedia-fr
:Quantificateur_(logique)
dbpedia-fr
:Règle_d'introduction_(logique)
dbpedia-fr
:Règle_d'élimination_(logique)
dbpedia-fr
:Règle_de_coupure
dbpedia-fr
:Règle_de_résolution
dbpedia-fr
:Récurrence_transfinie
dbpedia-fr
:Réduction_polynomiale
dbpedia-fr
:Réseau_de_preuves
dbpedia-fr
:Révision_des_croyances
dbpedia-fr
:Réécriture_(informatique)
dbpedia-fr
:Satisfaisabilité
dbpedia-fr
:Skolémisation
dbpedia-fr
:Stratégie_d'évaluation_(informatique)
dbpedia-fr
:Structuralisme_(philosophie_des_mathématiques)
dbpedia-fr
:Style_de_Fitch_pour_la_déduction_naturelle
dbpedia-fr
:Système_F
dbpedia-fr
:Système_formel
dbpedia-fr
:Système_à_la_Hilbert
dbpedia-fr
:Sémantique_algébrique_(logique_mathématique)
dbpedia-fr
:Sémantique_de_Kripke
dbpedia-fr
:Sémantique_formelle_(logique)
dbpedia-fr
:Table_de_vérité
dbpedia-fr
:Taquet_(symbole)
dbpedia-fr
:Terme_(logique)
dbpedia-fr
:Théorie_axiomatique
dbpedia-fr
:Théorie_complète
dbpedia-fr
:Théorie_de_la_calculabilité
dbpedia-fr
:Théorie_de_la_complexité_(informatique_théorique)
dbpedia-fr
:Théorie_de_la_démonstration
dbpedia-fr
:Théorie_des_ensembles
dbpedia-fr
:Théorie_des_ensembles_non_bien_fondés
dbpedia-fr
:Théorie_existentielle_sur_les_réels
dbpedia-fr
:Théorie_oméga-cohérente
dbpedia-fr
:Théorème_d'inconsistance_de_Kunen
dbpedia-fr
:Théorème_d'élimination_des_coupures
dbpedia-fr
:Théorème_de_Cook
dbpedia-fr
:Théorème_de_Diaconescu
dbpedia-fr
:Théorème_de_Mahaney
dbpedia-fr
:Théorème_de_Post
dbpedia-fr
:Théorème_de_Rice
dbpedia-fr
:Théorème_de_définissabilité_de_Beth
dbpedia-fr
:Transformation_de_Tseitin
dbpedia-fr
:Transposition_(logique)
dbpedia-fr
:Turing-complet
dbpedia-fr
:Type_dépendant
dbpedia-fr
:Unification
dbpedia-fr
:Univers_(logique)
dbpedia-fr
:Univers_du_discours
dbpedia-fr
:Unzerlegbarkeit
dbpedia-fr
:Valeur_de_vérité
dbpedia-fr
:Variable_libre
dbpedia-fr
:Élimination_des_quantificateurs
dbpedia-fr
:Équivalence_élémentaire
dbpedia-fr
:Évaluation_paresseuse
dbpedia-fr
:Mathématiques_classiques
dbpedia-fr
:Mathématiques_à_rebours
dbpedia-fr
:Modus_ponens
is
skos:
broader
of
category-fr
:Raisonnement_mathématique
category-fr
:Théorie_des_ensembles
category-fr
:Théorie_de_la_démonstration
category-fr
:Théorie_des_modèles
category-fr
:Théorème_de_logique_mathématique
category-fr
:Analyse_non_standard
category-fr
:Axiome
category-fr
:Calculabilité
category-fr
:Intuitionnisme
category-fr
:Langage_formel
category-fr
:Logique_modale
category-fr
:Logique_propositionnelle
category-fr
:Personnalité_en_logique_mathématique
category-fr
:Relation_(mathématiques)
category-fr
:Relation_transitive
category-fr
:Réduction_de_problème
category-fr
:Théorie_des_automates
is
oa:
hasTarget
of
tag-fr
:WdtFrResource