Ifi6057w8: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Uus lehekülg: '= 8. Nädal = Loogika. Lausearvutus. Järeldumine. Järeldumise näide lausearvutuses (solver http://logictools.org). Loengu materjal õpikutes: ''AIMA'' 7.1-7.4, 8.1-8.3; ''T...' |
|||
| 5. rida: | 5. rida: | ||
Järeldumise näide lausearvutuses (solver http://logictools.org). | Järeldumise näide lausearvutuses (solver http://logictools.org). | ||
Loengu materjal õpikutes: ''AIMA'' 7.1-7.4, 8.1-8.3; ''TI'' 10 | Loengu materjal õpikutes: ''AIMA'' 7.1-7.4, 8.1-8.3; ''TI'' 10 | ||
Loenguslaidid: [[Media:logicalagent.pdf|PDF]] | Loenguslaidid: [[Media:logicalagent.pdf|PDF]] | ||
Redaktsioon: 12. november 2016, kell 18:37
8. Nädal
Loogika. Lausearvutus. Järeldumine.
Järeldumise näide lausearvutuses (solver http://logictools.org).
Loengu materjal õpikutes: AIMA 7.1-7.4, 8.1-8.3; TI 10
Loenguslaidid: PDF