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. ... | 6. Resolutsioonimeetod lausearvutuses.<br> | ||
7. Davis-Putnami meetod. <br> | |||
Redaktsioon: 1. märts 2006, kell 17:38
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.