Du søgte efter Church-Turings tese

Viser 1-5 af 5

  1. Church-Turings tese

    (efter A.M. Turing og A. Church), tese fra 1936, der udtrykker den forbavsende erfaring, at alle modeller til afgrænsning af beregnelige funktioner (se beregn... Læs mere

  2. Alonzo Church

    1903-1995, amerikansk matematiker og logiker. Han var 1947-67 professor i matematik og 1961-67 tillige i filosofi ved Princeton, derefter ved University of Cal... Læs mere

  3. lambdakalkyle

    notation til specifikation af funktioner. Lambdakalkylen blev oprindelig udviklet af bl.a. Alonzo Church i forbindelse med studier af matematikkens grundlag. U... Læs mere

  4. beregnelighed

    emneområde inden for datalogi og filosofi, hvor man studerer, hvilke problemer der principielt kan løses af en automatisk udført beregningsprocedure, fx en ... Læs mere

  5. Alan M. Turing

    Alan Mathison Turing, 23.6.1912-7.6.1954, britisk matematiker, logiker og filosof, som har givet vigtige bidrag til datalogiens grundlag; uddannet ved Cambr... Læs mere

Viser 1-5 af 5

Find bøger

   
   Find Lydbøger
hos Storytel
   Find bøger
bogpriser.dk
   Studiebøger
pensum.dk
   Læs e-bøger
hos Ready

 

Nyhedsbrev

Kom godt i gang med ...

© Gyldendal 2009-2014 - Powered by MindTouch Deki