Hopp til hovedinnholdet.

Humord

Søk fra vokabular

Innholdsspråk

Begrepsinformasjon

Realfag > Matematikk > Symbolsk logikk > Horn-logikk
Filosofi > Logikk > Symbolsk logikk > Horn-logikk

Anbefalt term

Horn-logikk  

Type

  • Innholdsbeskrivende emne

Definisjon

  • Innen matematisk logikk og logisk programmering er en Horn-logikk en logisk formel av en spesiell regelliknende form som gir den nyttige egenskaper for bruk i logisk programmering, formell spesifikasjon, universell algebra og modellteori.<wikipedia>

Overordnede begreper

Henvisningsterm

  • Horn-logikk

Identifikator

  • HUME63649

Redaksjonelle bemerkninger

  • Lukket bemerkning: ubo24

På andre språk

URI

http://data.ub.uio.no/humord/c63649

Last ned dette begrepet:

RDF/XML TURTLE JSON-LD Opprettet 26.02.2024, sist endret 26.02.2024