About: Algebraic semantics     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/c/9wbQPv5gRf

AttributesValues
rdfs:label
  • Αλγεβρική σημασιολογία (el)
  • Algebraic semantics (en)
  • Sémantique algébrique (fr)
rdfs:comment
  • Στη θεωρία των γλωσσών προγραμματισμού, η αλγεβρική σημασιολογία (algebraic semantics) μιας γλώσσας προγραμματισμού είναι μια μορφή αξιωματικής σημασιολογίας, βασισμένης σε αλγεβρικούς κανόνες που περιγράφουν και χειρίζονται τη σημασιολογία του προγράμματος με τρόπο. (el)
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Wikipage disambiguates
sameAs
dbp:wikiPageUsesTemplate
has abstract
  • Στη θεωρία των γλωσσών προγραμματισμού, η αλγεβρική σημασιολογία (algebraic semantics) μιας γλώσσας προγραμματισμού είναι μια μορφή αξιωματικής σημασιολογίας, βασισμένης σε αλγεβρικούς κανόνες που περιγράφουν και χειρίζονται τη σημασιολογία του προγράμματος με τρόπο. Στη μαθηματική λογική, η αλγεβρική σημασιολογία είναι μια τυπική σημασιολογία που βασίζεται σε άλγεβρες. Για παράδειγμα, η S4 χαρακτηρίζεται από την κλάση των τοπολογικών αλγεβρών Μπουλ (topological boolean algebras)—δηλαδή άλγεβρες Μπουλ με έναν εσωτερικό τελεστή (interior operator). Άλλες τροπικές λογικές χαρακτηρίζονται από άλλες άλγεβρες με τους δικούς τους τελεστές. Η κλάση των αλγεβρών Μπουλ χαρακτηρίζει την κλασική προτασιακή λογική (classical propositional logic), και την κλάση της προτασιακής των αλγεβρών Χέιτινγκ (Heyting algebras). (el)
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
is Wikipage redirect of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git147 as of Sep 06 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3332 as of Dec 5 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 51 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software