Kasutaja Tammet kaastöö
15 371 muudatusega kasutaja.
12. veebruar 2015
- 16:2512. veebruar 2015, kell 16:25 erin ajal +11 Rakendusliku loogika süvakursus →Loenguteemad ja materjalid
- 16:2512. veebruar 2015, kell 16:25 erin ajal +175 Rakendusliku loogika süvakursus →Loenguteemad ja materjalid
- 16:2412. veebruar 2015, kell 16:24 erin ajal +29 Rakendusliku loogika süvakursus →3. Resolutsioonimeetod predikaatarvutuses: põhialgoritm
- 16:1212. veebruar 2015, kell 16:12 erin ajal −1 Rakendusliku loogika süvakursus →2. Resolutsioonimeetod ja DPLL lausearvutuses
- 15:3512. veebruar 2015, kell 15:35 erin ajal +95 Lausearvutuse ja lihtsamate predikaatarvutuse ülesannete lahendamine Resümee puudub praegune
9. veebruar 2015
- 20:229. veebruar 2015, kell 20:22 erin ajal +117 Teadmiste otsing, formaliseerimine ja hoidmine →First lab 2015
- 20:219. veebruar 2015, kell 20:21 erin ajal −147 Teadmiste otsing, formaliseerimine ja hoidmine →Practical work
5. veebruar 2015
- 16:195. veebruar 2015, kell 16:19 erin ajal 0 Fail:RakLoogika 1 tz tt-1.ppt laadis üles faili "Pilt:RakLoogika 1 tz tt-1.ppt" uue versiooni praegune
- 16:185. veebruar 2015, kell 16:18 erin ajal 0 Fail:RakLoogika 1 tz tt-1.ppt laadis üles faili "Pilt:RakLoogika 1 tz tt-1.ppt" uue versiooni
- 16:185. veebruar 2015, kell 16:18 erin ajal +3 Rakendusliku loogika süvakursus →Loenguteemad ja materjalid
- 16:175. veebruar 2015, kell 16:17 erin ajal 0 U Fail:RakLoogika 2 tz tt-1.ppt Resümee puudub praegune
- 16:175. veebruar 2015, kell 16:17 erin ajal 0 U Fail:RakLoogika 1 tz tt-1.ppt Resümee puudub
- 15:595. veebruar 2015, kell 15:59 erin ajal +85 Rakendusliku loogika süvakursus →Eksam
- 15:575. veebruar 2015, kell 15:57 erin ajal +49 Rakendusliku loogika süvakursus →Koht ja aeg
- 15:575. veebruar 2015, kell 15:57 erin ajal +7 Rakendusliku loogika süvakursus →Koht ja aeg
- 15:565. veebruar 2015, kell 15:56 erin ajal −2846 Rakendusliku loogika süvakursus →Kodused ülesanded
- 15:565. veebruar 2015, kell 15:56 erin ajal +810 U Prax4: induktiivne tõestus 2015 Uus lehekülg: ' See ülesanne on näide 2013 aastast, mida lähiajal uuendatakse 2015 aastaks. See on vabatahtlik praks, mis annab hulgaliselt ekstrapunkte. Ülesanne on tõestada <pre> All ...' praegune
- 15:485. veebruar 2015, kell 15:48 erin ajal +11 Prax3: tõestajatega eksperimenteerimine 2015 Resümee puudub
- 15:485. veebruar 2015, kell 15:48 erin ajal +1514 U Prax3: tõestajatega eksperimenteerimine 2015 Uus lehekülg: ' See ülesanne on näide 2013 aastast, mida lähiajal uuendatakse 2015 aastaks. Tähtaeg: mai algus predikaatarvutuse tõestajatega eksperimenteerimine. Kaks osa: soendus ja p...'
- 15:485. veebruar 2015, kell 15:48 erin ajal +296 Rakendusliku loogika süvakursus →Kodused ülesanded
- 15:445. veebruar 2015, kell 15:44 erin ajal +163 Rakendusliku loogika süvakursus Resümee puudub
- 15:365. veebruar 2015, kell 15:36 erin ajal +365 Rakendusliku loogika süvakursus →Kodused ülesanded
2. veebruar 2015
- 21:042. veebruar 2015, kell 21:04 erin ajal +140 Teadmiste otsing, formaliseerimine ja hoidmine →Lecture block 1: basics and representing simple facts.
- 20:572. veebruar 2015, kell 20:57 erin ajal +128 Teadmiste otsing, formaliseerimine ja hoidmine →HTML annotations. Microformats, microdata, RDFa
- 20:552. veebruar 2015, kell 20:55 erin ajal +35 Teadmiste otsing, formaliseerimine ja hoidmine →Programming and databases. SQL: meaning and representation of facts
- 20:542. veebruar 2015, kell 20:54 erin ajal −35 Teadmiste otsing, formaliseerimine ja hoidmine →First lab 2014
- 20:252. veebruar 2015, kell 20:25 erin ajal +57 Teadmiste otsing, formaliseerimine ja hoidmine →Focus
- 20:242. veebruar 2015, kell 20:24 erin ajal +5 Teadmiste otsing, formaliseerimine ja hoidmine →Focus
- 20:242. veebruar 2015, kell 20:24 erin ajal +111 Teadmiste otsing, formaliseerimine ja hoidmine →Focus
- 20:142. veebruar 2015, kell 20:14 erin ajal +66 Teadmiste otsing, formaliseerimine ja hoidmine →Focus
- 20:122. veebruar 2015, kell 20:12 erin ajal +105 Teadmiste otsing, formaliseerimine ja hoidmine →Focus
- 19:512. veebruar 2015, kell 19:51 erin ajal +7 Teadmiste otsing, formaliseerimine ja hoidmine →Important KR languages
- 19:512. veebruar 2015, kell 19:51 erin ajal +4 Teadmiste otsing, formaliseerimine ja hoidmine →Lab ideas
- 19:502. veebruar 2015, kell 19:50 erin ajal +3784 U KR lab idea by Priit Järv Uus lehekülg: '= Ontology for segmenting persons based on online searches = There is a demand for automatically profiling persons based on the information that is available about them on the o...' praegune
- 19:502. veebruar 2015, kell 19:50 erin ajal +49 Teadmiste otsing, formaliseerimine ja hoidmine →Practical work
- 19:492. veebruar 2015, kell 19:49 erin ajal +3 Teadmiste otsing, formaliseerimine ja hoidmine →Focus
- 19:482. veebruar 2015, kell 19:48 erin ajal +52 Teadmiste otsing, formaliseerimine ja hoidmine →Time, place, result
- 19:482. veebruar 2015, kell 19:48 erin ajal +369 Teadmiste otsing, formaliseerimine ja hoidmine →Focus
- 19:212. veebruar 2015, kell 19:21 erin ajal −20 Teadmiste otsing, formaliseerimine ja hoidmine →HTML annotations. Microformats, microdata, RDFa
- 19:212. veebruar 2015, kell 19:21 erin ajal −17 Teadmiste otsing, formaliseerimine ja hoidmine →Core ideas of non-relational databases, mostly RDF
- 19:202. veebruar 2015, kell 19:20 erin ajal −18 Teadmiste otsing, formaliseerimine ja hoidmine →Data extraction from the web
- 19:202. veebruar 2015, kell 19:20 erin ajal +145 Teadmiste otsing, formaliseerimine ja hoidmine →Important KR languages
- 18:432. veebruar 2015, kell 18:43 erin ajal −772 Teadmiste otsing, formaliseerimine ja hoidmine Resümee puudub
- 18:122. veebruar 2015, kell 18:12 erin ajal +1 Rakendusliku loogika süvakursus Resümee puudub
- 18:122. veebruar 2015, kell 18:12 erin ajal −1315 Rakendusliku loogika süvakursus Resümee puudub
- 18:072. veebruar 2015, kell 18:07 erin ajal +7059 U ITV0081 arhiiv 2014 Uus lehekülg: 'Ainekood: ITV0081<br> Lektor: Tanel Tammet<br> Kontakt: tanel.tammet@ttu.ee, 6203457, TTÜ AK223<br> Arhiiv: ITV0081 arhiiv 2012 == <font color="red">See on 2013 aasta arhii...' praegune
- 18:062. veebruar 2015, kell 18:06 erin ajal +25 Rakendusliku loogika süvakursus Resümee puudub
- 18:052. veebruar 2015, kell 18:05 erin ajal +10 878 U Itv0060 2014 arhiiv Uus lehekülg: '<table> <tr> <td> left|teadmised </td> <td> Code: <b>ITV0060</b><br> Link: http://www.lambda.ee/index.php/Teadmiste_otsing,_formaliseerimine_j...' praegune
- 18:042. veebruar 2015, kell 18:04 erin ajal +30 Teadmiste otsing, formaliseerimine ja hoidmine Resümee puudub
- 18:032. veebruar 2015, kell 18:03 erin ajal −4 Esileht Resümee puudub