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: Petrinett
including: Cellulære automater
including: Lambdakalkyle
created: 2010-02-04
modified: 2025-04-08
alternative label: Maskinteori--matematikk
alternative label: Petrinett
alternative label: Automater--matematikk
alternative label: Lambdakalkyle
alternative label: Turingmaskiner
alternative label: Cellulære automater
alternative label: Sekvensielle maskiner
alternative label: Cellulære automater--matematikk
broader: Matematisk logikk (symbolsk logikk)
in scheme: Norsk WebDewey
narrower: Rekursive funksjoner
notation: 511.35

Rekursive funksjoner
type: Concept
broader: Rekursjonsteori
notation: 511.352

Norsk WebDewey
type: ConceptScheme