Rakendusliku loogika süvakursus: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
Resümee puudub |
||
| 1. rida: | 1. rida: | ||
Ainekood: ITV0800<br> | Ainekood: ITV0800<br> | ||
Lektor: Tiina Zingel<br> | Lektor: Tiina Zingel<br> | ||
Kontakt: tiina.zingel@ttu.ee | Kontakt: tiina.zingel@ttu.ee<br><br> | ||
==Loengute materjalid. == | |||
1. Meeldetuletus lausearvutusest. <br> | |||
2. Meeldetuletus predikaatarvutusest. <br> | |||
3. Tuletussüsteemid. <br> | |||
4. Sekventsarvutus. <br> | |||
5. Sissejuhatus automaattõestamisse. <br> | |||
6. ... | |||
Redaktsioon: 1. märts 2006, kell 16:57
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. ...