Rakendusliku loogika süvakursus

Ainekood: ITV0800
Lektor: Tiina Zingel
Kontakt: tiina.zingel@ttu.ee

Loengute materjalid.

1. Meeldetuletus lausearvutusest.
2. Meeldetuletus predikaatarvutusest.
3. Tuletussüsteemid.
4. Sekventsarvutus.
5. Sissejuhatus automaattõestamisse.
6. ...