La semántica formal es el estudio de las interpretaciones de los lenguajes formales. Los lenguajes formales pueden definirse sin necesidad de dar ningún significado a sus expresiones. Una interpretación de un lenguaje formal es básicamente una asignación de significados a sus símbolos, y de condiciones de verdad a sus fórmulas bien formadas.

rdfs:comment
  • La semántica formal es el estudio de las interpretaciones de los lenguajes formales. Los lenguajes formales pueden definirse sin necesidad de dar ningún significado a sus expresiones. Una interpretación de un lenguaje formal es básicamente una asignación de significados a sus símbolos, y de condiciones de verdad a sus fórmulas bien formadas. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Semántica formal (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageID
  • 2998520 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1745 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 11 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 64802798 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink
Is dbpedia-owl:wikiPageWikiLink of [24 values]