About: dbpedia-fr:Logique

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

About: dbpedia-fr:Logique_combinatoire Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdf:type	Thing academic subject wikidata:Q11862829 dul:Concept topical concept
rdfs:label	Logique combinatoire (fr) Combinatorische logica (nl) Lògica combinatòria (ca) Комбінаторна логіка (uk) コンビネータ論理 (ja)
rdfs:comment	En logique mathématique, la logique combinatoire est une théorie logique introduite par Moses Schönfinkel en 1920 lors d'une conférence et développée dès 1929 par Haskell Brooks Curry pour supprimer le besoin de variables en mathématiques, pour formaliser rigoureusement la notion de fonction et pour minimiser le nombre d'opérateurs nécessaires pour définir le calcul des prédicats à la suite de Henry M. Sheffer. Plus récemment, elle a été utilisée en informatique comme modèle théorique de calcul et comme base pour la conception de langages de programmation fonctionnels. (fr)
rdfs:seeAlso	http://plato.stanford.edu/entries/logic-combinatory https://commons.wikimedia.org/wiki/File:LL-Q150_(fra)-0x010C-Logique_combinatoire.wav https://ncatlab.org/nlab/show/combinatory_logic https://www.jstor.org/topic/combinatory-logic https://bigenc.ru/text/2621861 https://www.quora.com/topic/Combinatory-Logic
sameAs	dbr:Combinatory_logic wikidata:Q1481571 dbpedia-az:Kombinatorial_məntiq dbpedia-ca:Lògica_combinatòria dbpedia-de:Kombinatorische_Logik dbpedia-es:Lógica_combinatoria dbpedia-gd:Loidig_cho-cheanglachail dbpedia-gl:Lóxica_combinatoria dbpedia-hr:Kombinatorna_logika http://hy.dbpedia.org/resource/Կոմբինատորային_տրամաբանություն dbpedia-ja:コンビネータ論理 dbpedia-nl:Combinatorische_logica dbpedia-no:Kombinatorisk_logikk dbpedia-pl:Rachunek_kombinatorów dbpedia-pt:Lógica_combinatória dbpedia-ru:Комбинаторная_логика dbpedia-sh:Kombinatorna_logika dbpedia-uk:Комбінаторна_логіка dbpedia-zh:组合子逻辑 http://data.bnf.fr/ark:/12148/cb119473722#about http://www.idref.fr/027430677/id https://d-nb.info/gnd/4164750-6 http://g.co/kg/m/0138gg http://purl.org/bncf/tid/18997 https://id.loc.gov/authorities/names/sh85028814 http://ma-graph.org/entity/79678938
Wikipage page ID	725400 (xsd:integer)
Wikipage revision ID	182967827 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Théorie_de_la_démonstration Alan Turing dbpedia-fr:Barbara_(syllogisme) Propositional calculus First-order logic category-fr:Calculabilité category-fr:Informatique_théorique category-fr:Logique_mathématique category-fr:Théorie_des_types Compiler dbpedia-fr:Coq_(logiciel) Curry–Howard correspondence dbpedia-fr:Décidabilité Higher-order function Logic gate dbpedia-fr:Forme_normale Haskell Curry dbpedia-fr:Henk_Barendregt Henry M. Sheffer Theoretical computer science dbpedia-fr:Jean-Pierre_Ginisti Lambda calculus dbpedia-fr:Logique_intuitionniste dbpedia-fr:Logique_mathématique dbpedia-fr:Moses_Schönfinkel Polish notation dbpedia-fr:Programmation_fonctionnelle Premise Robert Feys Rewriting dbpedia-fr:Système_à_la_Hilbert dbpedia-fr:Théorie_des_types Electronics dbpedia-fr:Mathématiques dbpedia-fr:Modus_ponens
Link from a Wikipage to an external page	http://pds14.egloos.com/pds/200901/16/93/Lambda-Calculus_and_Combinators.pdf http://www.persee.fr/docAsPDF/phlou_0035-3841_1946_num_44_1_4039.pdf http://www.pps.jussieu.fr/~krivine/articles/Lambda.pdf
page length (characters) of wiki page	20823 (xsd:nonNegativeInteger)
dct:subject	category-fr:Théorie_de_la_démonstration category-fr:Calculabilité category-fr:Informatique_théorique category-fr:Logique_mathématique category-fr:Théorie_des_types
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Autorité dbpedia-fr:Modèle:Confusion dbpedia-fr:Modèle:En dbpedia-fr:Modèle:Homonyme dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Référence_nécessaire dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Section_à_recycler dbpedia-fr:Modèle:Démonstration/début dbpedia-fr:Modèle:Démonstration/fin

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, 14 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software