Hopp til hovudinnhaldet

Norsk WebDewey

Søk i ordtilfang

Innhaldsspråk

Informasjon om omgrepet

... > Informatikk, informasjon og generelle verker > Informatikk, kunnskap og systemer > Informatikk; programvareutvikling, programvare, data; spesielle datamaskinmetoder > Programvareutvikling, programvare, data, datasikkerhet > Programvareutvikling og programvare > Programvareutvikling > Dataprogrammering > Symbolsk logikk (matematisk logikk)

Tilrådd term

005.131Symbolsk logikk (matematisk logikk)  

Overordna omgrep

Tilvisingsterm

  • Formelle grammatikker--programmeringsspråk
  • Formelle språk--programmeringsspråk
  • Matematisk logikk--programmeringsspråk
  • Symbolsk logikk--programmeringsspråk

Identifikator

  • ocd00116881

URI

http://dewey.info/class/005.131/e23/

Last ned dette omgrepet:

RDF/XML TURTLE JSON-LD Oppretta 03.12.2009, sist endra 16.12.2019