Matematisk logikk (symbolsk logikk)
type: Concept
narrower: Rekursjonsteori
notation: 511.3

Rekursjonsteori
type: Concept
class here: Turingmaskiner
class here: Sekvensielle maskiner
class here: Maskinteori
class here: Automatteori
including: Lambdakalkyle
including: Cellulære automater
including: Petrinett
created: 2010-02-04
modified: 2026-04-30
alternative label: Cellulære automater--matematikk
alternative label: Automater--matematikk
alternative label: Turingmaskiner
alternative label: Maskinteori--matematikk
alternative label: Sekvensielle maskiner
alternative label: Lambdakalkyle
alternative label: Cellulære automater
alternative label: Petrinett
broader: Matematisk logikk (symbolsk logikk)
in scheme: Norsk WebDewey
narrow match: c003378
narrow match: c000372
narrow match: c08171
narrow match: c009393
narrow match: c006465
narrow match: c001230
narrow match: c003587
narrower: Rekursive funksjoner
notation: 511.35
related match: c006405
related match: c008027
related match: c001373
related match: c006189
related match: c004194
related match: c010954

Rekursive funksjoner
type: Concept
broader: Rekursjonsteori
notation: 511.352

Norsk WebDewey
type: ConceptScheme