Rakendusliku loogika süvakursus: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
Resümee puudub |
||
| 7. rida: | 7. rida: | ||
3. Tuletussüsteemid. <br> | 3. Tuletussüsteemid. <br> | ||
4. Sekventsarvutus. <br> | 4. Sekventsarvutus. <br> | ||
5. Sissejuhatus automaattõestamisse. <br> | 5. [[Sissejuhatus automaattõestamisse.]] <br> | ||
6. ... | 6. ... | ||
Redaktsioon: 1. märts 2006, kell 17:16
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. ...