|
Loogika arvutiteaduses |
Kursuses tutvustatakse erinevaid formaalloogika süsteeme ning nende rakendamist algoritmide konstrueerimisel ning programmeerimises.Vt. ka ainekaarti.
programmide koostamisel kasutatavate otsustuste
olemust;
orgaanilist seost programmide koostamise
ja matemaatika teoreemide tõestamise vahel;
algoritmide automaatse koostamise formaalset
meetodit;
piire, mil määral võib
arvuti modelleerida inimese mõttetegevust.| loengud: | kolmapäeviti | 14.00 - 17.00 | Küberneetika Instituudis, B126 |
| Materjalid: | loengukonspekt (postscript, 1995/96 õ-a) |
| loengud (MS PowrPoint 97 failina, 2001.a.) | |
| loengud (slaidid, 1996.a.) | |
| harjutusülesanded | |
| mõisted |