Sissejuhatus infotehnoloogiasse eksamikonspekt
lihtsamaks, ise vaja välja mõelda)
Rekursiooni ekvivalentsus tsükliga - kõike mida saab progeda while ja for tsükli abil,
saab progeda rekursiooniga ja vastupidi
lambda-arvutus - Lambda-arvutuse keel on Alonzo Churchi poolt 1930. aastatel
leiutatud lihtne ja universaalne meetod funktsioonide kirjapanekuks. Churchi tees: mida
saad mõnes keeles progeda, saad lambda arvutusese keeles kirja panna. Asendusmeetod.
Prolog on esimene loogilise programmeerimise keel. Põhiidee on nõuda otsitava
lahenduse kirjeldamist esimest järku predikaatarvutuse keeles, kusjuures Prolog-i
süsteem sisaldab teatud tüüpi automaatset teoreemitõestajat, mis on võimeline lahendust
automaatselt otsima ja tuletama. Siiski pole Prolog automaatse teoreemitõestamise
süsteem.
annaabi.ee 
