Hopp til hovedinnholdet.

Søk fra vokabular

Innholdsspråk

Begrepsinformasjon

Realfag > Matematikk > Symbolsk logikk > Rekursjonsteori
Filosofi > Logikk > Symbolsk logikk > Rekursjonsteori

Anbefalt term

Rekursjonsteori  

Type

  • Innholdsbeskrivende emne

Definisjon

  • I matematikk: Formell teori for beregninger <UBO>

Overordnede begreper

Henvisningsterm

  • Beregnbare funksjoner
  • Beregnbarhet
  • Beregnbarhetsteori
  • Bereknelege funksjonar
  • Bereknelegheit
  • Bereknelegheitsteori
  • Rekursive funksjonar
  • Rekursive funksjoner
  • Rekursjonsteori

Identifikator

  • HUME12380

På andre språk

URI

http://data.ub.uio.no/humord/c12380

Last ned dette begrepet:

RDF/XML TURTLE JSON-LD Opprettet 09.06.1997, sist endret 29.01.2024