Hopp til hovedinnholdet.

Norsk WebDewey

Søk fra vokabular

Innholdsspråk

Begrepsinformasjon

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

Anbefalt term

005.131Symbolsk logikk (matematisk logikk)  

Overordnede begreper

Henvisningsterm

  • 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 begrepet:

RDF/XML TURTLE JSON-LD Opprettet 03.12.2009, sist endret 16.12.2019