las­ket­ta­vuu­den ­te­o­ri­a

substantiivi
Jaa

sisältää sanat: laskettavuus + teoria

Merkitys

  1. (Filosofia)matemaattisen logiikan ala, jolla tutkitaan erityisesti tietokoneen ja ohjelmien toimintaa

Synonyymit

Liittyvät sanat

Käännökset

  • engl.recursion theory, computability theory

Englanninkieliset vastineet

  • recursion theory
  • computability theory

Lähteet