Rakendusliku loogika süvakursus: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
Resümee puudub |
||
| 8. rida: | 8. rida: | ||
4. Sekventsarvutus. <br> | 4. Sekventsarvutus. <br> | ||
5. [[Sissejuhatus automaattõestamisse.]] <br> | 5. [[Sissejuhatus automaattõestamisse.]] <br> | ||
6. Resolutsioonimeetod lausearvutuses.<br> | 6. [[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses.]]<br> | ||
7. Davis-Putnami meetod. <br> | 7. Davis-Putnami meetod. <br> | ||
Redaktsioon: 1. märts 2006, kell 19:09
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. Resolutsioonimeetod lausearvutuses.
7. Davis-Putnami meetod.