Esimesed 3 loengut sissejuhatus infotehnoloogiasse
Formaalne süsteem:Tarski ja Carnap
Süntaks- lauseõpetus on keeleteaduse osa, mis uurib lausete struktuuri ning püüab formuleerida reegleid, mille
aluselsõnad moodustavad fraase ning fraasid omakorda lauseid.
Tuletamisreeglite süsteem
Semantika- on keeleteaduse (üldisemalt semiootika) haru, mis uurib keeleüksuste tähendusi ning nende
muutumist, keele ja reaalsete objektide suhteid ning keele ja mõtlemise suhteid.
Vannevar Bush1930-1935-1937: Differential Analyzer dif. Võrrandite
Ludwig Wittgenstein- Analüütilise filosoofia juhtkuju
1938, Shannon’i magistritöö sidus:
Boole algebra
Elektrilülitid ja -skeemid
Bitid ja info kodeerimine
Info otsimise algoritmid
Zuse arvuti-mehhaaniline programmeeritav arvuti 1941-1944
Atanasoff 1939-1942: esimene elektronarvuti
1939-1944 Howard Aiken- IBM’i elektriline (releed) digitaalne arvuti MARK I