Skip to main content

Norsk WebDewey

Search from vocabulary

Content language

Concept information

... > 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)

Preferred term

005.131Symbolsk logikk (matematisk logikk)  

Broader concept

Entry terms

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

Identifier

  • ocd00116881

Notation

  • 005.131

URI

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

Download this concept:

RDF/XML TURTLE JSON-LD Created 12/3/09, last modified 12/16/19