Viser 1-5 af 5
(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
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
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
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
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 Lydbøger hos Storytel | Find bøger på bogpriser.dk | Studiebøger på pensum.dk | E-bøger hos g.dk | ||||
© Gyldendal 2009-2013 - Powered by MindTouch Deki