"funktsionaalprogrammeerimises" - 1 õppematerjal

SISSEJUHATUS ITSSE

kirjeldada TURINGI MASIN 1935-1937: artikkel Turingi masinast: universaalsus, mittelahenduvus Lihtne abstraktne arvuti, mida kasutatakse arvutatavuse ja selle piiride uurimiseks. Kuna masina seisundite ja lindil olevate tähiste arv on lõplik, siis on ka tabel lõpliku suurusega ja seda saab hoida lindil. LAMBDA ARVUTUS 1936: Churchi tees ­ universaalsus, mittelahenduvus Lambda-arvutus (-arvutus) on formaalne arvutuste esitusviis. Seda kasutatakse matemaatilises loogikas ja funktsionaalprogrammeerimises. CLAUDE SHANNON Oli ameerika matemaatik, elektroonik ja kodeerija, keda tuntakse kui informatsiooniteooria isa. MIT, 1938, Shannon'i magistritöö sidus: Boole algebra , Elektrilülitid ja -skeemid, Bitid ja info kodeerimine, Info otsimise algoritmid, tema töö näitas, et elektroonikaseadmed suudavad kahendmuutujate abiga sooritada mistahes loogika- või arvulise tehte. ZUSE ARVUTID KONRAD ZUSE Programmeeritavate arvutite pioneer saksamaalt 1936-38: Z1: puhtmehaaniline