About: Set theoretic programming

An Entity of Type: language, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Set theoretic programming is a programming paradigm based on mathematical set theory. One example of a programming language based on this paradigm is SETL. The goal of set theoretic programming is to improve programmer speed and productivity significantly, and also enhance program clarity and readability.

Property Value
dbo:abstract
  • برمجة المجموعة النظرية (Set theoretic programming) هي نمط من البرمجة تعتمد نظرية المجموعات الرياضية. أحد الأمثلة للغات البرمجية التي تستخدم هذا النمط هي سيتل. (ar)
  • Set theoretic programming is a programming paradigm based on mathematical set theory. One example of a programming language based on this paradigm is SETL. The goal of set theoretic programming is to improve programmer speed and productivity significantly, and also enhance program clarity and readability. (en)
  • 集论编程是一种基于数学集论的编程范型。基于该范型的编程语言的其中一个示例是SETL 。集论编程的目标是显著提高程序员编程的效率，使程序可读和清晰。 (zh)
dbo:wikiPageID
  • 919670 (xsd:integer)
dbo:wikiPageLength
  • 1085 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1009002416 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • برمجة المجموعة النظرية (Set theoretic programming) هي نمط من البرمجة تعتمد نظرية المجموعات الرياضية. أحد الأمثلة للغات البرمجية التي تستخدم هذا النمط هي سيتل. (ar)
  • Set theoretic programming is a programming paradigm based on mathematical set theory. One example of a programming language based on this paradigm is SETL. The goal of set theoretic programming is to improve programmer speed and productivity significantly, and also enhance program clarity and readability. (en)
  • 集论编程是一种基于数学集论的编程范型。基于该范型的编程语言的其中一个示例是SETL 。集论编程的目标是显著提高程序员编程的效率，使程序可读和清晰。 (zh)
rdfs:label
  • برمجة نظرية المجموعات (ar)
  • Set theoretic programming (en)
  • 集论编程 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License