Kasutaja Tammet kaastöö

31. jaanuar 2013

• 21:2731. jaanuar 2013, kell 21:27 erin ajal −4 Lausearvutuse ja lihtsamate predikaatarvutuse ülesannete lahendamine →Geoff notes page 19 second
• 21:2631. jaanuar 2013, kell 21:26 erin ajal −17 Lausearvutuse ja lihtsamate predikaatarvutuse ülesannete lahendamine →Geoff notes page 13/14
• 21:2631. jaanuar 2013, kell 21:26 erin ajal +65 Lausearvutuse ja lihtsamate predikaatarvutuse ülesannete lahendamine →Geoff notes page 13/14
• 21:2531. jaanuar 2013, kell 21:25 erin ajal +75 Lausearvutuse ja lihtsamate predikaatarvutuse ülesannete lahendamine →Geoff notes page 13/14
• 21:2431. jaanuar 2013, kell 21:24 erin ajal +1 Rakendusliku loogika süvakursus →2013 aasta kodused ülesanded
• 21:2331. jaanuar 2013, kell 21:23 erin ajal −60 Rakendusliku loogika süvakursus Resümee puudub
• 21:2231. jaanuar 2013, kell 21:22 erin ajal +529 Lausearvutuse ja lihtsamate predikaatarvutuse ülesannete lahendamine Resümee puudub
• 21:1431. jaanuar 2013, kell 21:14 erin ajal +32 Lausearvutuse ja lihtsamate predikaatarvutuse ülesannete lahendamine →Geoff notes page 19 second
• 21:1431. jaanuar 2013, kell 21:14 erin ajal +7 Lausearvutuse ja lihtsamate predikaatarvutuse ülesannete lahendamine →Geoff notes page 19 first
• 21:1331. jaanuar 2013, kell 21:13 erin ajal +22 Lausearvutuse ja lihtsamate predikaatarvutuse ülesannete lahendamine →Loogikaõpik lk 127
• 21:1331. jaanuar 2013, kell 21:13 erin ajal +76 Lausearvutuse ja lihtsamate predikaatarvutuse ülesannete lahendamine →Loogikaõpik lk 127
• 21:1231. jaanuar 2013, kell 21:12 erin ajal +40 Lausearvutuse ja lihtsamate predikaatarvutuse ülesannete lahendamine →Geoff page 19 second
• 21:1231. jaanuar 2013, kell 21:12 erin ajal +40 Lausearvutuse ja lihtsamate predikaatarvutuse ülesannete lahendamine →Geoff page 19 first
• 21:1231. jaanuar 2013, kell 21:12 erin ajal +40 Lausearvutuse ja lihtsamate predikaatarvutuse ülesannete lahendamine →Geoff page 13/14
• 21:1131. jaanuar 2013, kell 21:11 erin ajal +3694 U Lausearvutuse ja lihtsamate predikaatarvutuse ülesannete lahendamine Uus lehekülg: ' Do all of the following excercises: == Geoff page 13/14 == Exercises: determine if each F is a logical consequence of the Axioms. Do some directly and some using unsatisfiabi...'
• 21:1031. jaanuar 2013, kell 21:10 erin ajal +4 Rakendusliku loogika süvakursus →1. prax
• 19:5631. jaanuar 2013, kell 19:56 erin ajal +76 Rakendusliku loogika süvakursus →Soovitatav kirjandus:
• 19:4931. jaanuar 2013, kell 19:49 erin ajal +699 Rakendusliku loogika süvakursus Resümee puudub
• 19:3831. jaanuar 2013, kell 19:38 erin ajal +65 Teadmiste otsing, formaliseerimine ja hoidmine →First lab 2013
• 19:2331. jaanuar 2013, kell 19:23 erin ajal +1195 Teadmiste otsing, formaliseerimine ja hoidmine →Practical work
• 18:5031. jaanuar 2013, kell 18:50 erin ajal −66 Võrgurakendused II →Tulemused
• 18:4931. jaanuar 2013, kell 18:49 erin ajal −67 Sissejuhatus infotehnoloogiasse →Eksamitulemused

30. jaanuar 2013

• 04:2530. jaanuar 2013, kell 04:25 erin ajal +208 Sissejuhatus infotehnoloogiasse →Eksamitulemused
• 04:2330. jaanuar 2013, kell 04:23 erin ajal 0 U Fail:Itsissetulem 2012 b.pdf Resümee puudub praegune

28. jaanuar 2013

• 19:0328. jaanuar 2013, kell 19:03 erin ajal −49 Rakendusliku loogika süvakursus →2012 aasta loengute materjalid (2013 jooksvalt muudetakse)
• 19:0328. jaanuar 2013, kell 19:03 erin ajal +67 Rakendusliku loogika süvakursus →Soovitatav kirjandus:
• 18:4528. jaanuar 2013, kell 18:45 erin ajal +227 Rakendusliku loogika süvakursus Resümee puudub
• 18:4428. jaanuar 2013, kell 18:44 erin ajal +2 Teadmiste otsing, formaliseerimine ja hoidmine Resümee puudub
• 18:4228. jaanuar 2013, kell 18:42 erin ajal +6 Rakendusliku loogika süvakursus →Esialgsed loengute materjalid (jooksvalt muudetakse)
• 18:4228. jaanuar 2013, kell 18:42 erin ajal −134 Rakendusliku loogika süvakursus Resümee puudub
• 18:4028. jaanuar 2013, kell 18:40 erin ajal +16 Teadmiste otsing, formaliseerimine ja hoidmine →Practical work
• 18:4028. jaanuar 2013, kell 18:40 erin ajal −1638 Teadmiste otsing, formaliseerimine ja hoidmine Resümee puudub
• 18:3628. jaanuar 2013, kell 18:36 erin ajal +2 Itv0060 2012 arhiiv Resümee puudub praegune
• 18:3628. jaanuar 2013, kell 18:36 erin ajal +13 524 U Itv0060 2012 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...'
• 18:3628. jaanuar 2013, kell 18:36 erin ajal +30 Teadmiste otsing, formaliseerimine ja hoidmine Resümee puudub
• 18:3528. jaanuar 2013, kell 18:35 erin ajal +2064 U ITV0081 arhiiv 2012 Uus lehekülg: 'Ainekood: ITV0081<br> Lektor: Tiina Zingel<br> == <font color="red">See on 2012 arhiiv: kehtivate materjalide jaoks vaata ITV0081 </font> == ==Soovitatav kirjandus:== T.Tam...' praegune
• 18:3428. jaanuar 2013, kell 18:34 erin ajal +25 Rakendusliku loogika süvakursus Resümee puudub
• 18:3328. jaanuar 2013, kell 18:33 erin ajal +73 Esileht Resümee puudub

24. jaanuar 2013

• 16:5224. jaanuar 2013, kell 16:52 erin ajal −4 Võrgurakendused II →Tulemused
• 16:5224. jaanuar 2013, kell 16:52 erin ajal +178 Võrgurakendused II →Tulemused
• 16:5224. jaanuar 2013, kell 16:52 erin ajal −1 Sissejuhatus infotehnoloogiasse →Eksamitulemused
• 16:5224. jaanuar 2013, kell 16:52 erin ajal +181 Sissejuhatus infotehnoloogiasse →Eksamitulemused
• 16:2124. jaanuar 2013, kell 16:21 erin ajal +41 Võrgurakendused II Resümee puudub
• 16:2024. jaanuar 2013, kell 16:20 erin ajal +67 Võrgurakendused II Resümee puudub
• 16:1924. jaanuar 2013, kell 16:19 erin ajal 0 U Fail:Vrak 2012.pdf Resümee puudub praegune
• 16:1824. jaanuar 2013, kell 16:18 erin ajal +56 Võrgurakendused I 2018 →Kursuse tulemused
• 16:1724. jaanuar 2013, kell 16:17 erin ajal −7 Võrgurakendused I 2018 Resümee puudub
• 16:1724. jaanuar 2013, kell 16:17 erin ajal −10 Võrgurakendused I 2018 Resümee puudub
• 16:1624. jaanuar 2013, kell 16:16 erin ajal +10 Võrgurakendused I 2018 Resümee puudub
• 16:1624. jaanuar 2013, kell 16:16 erin ajal +93 Võrgurakendused I 2018 Resümee puudub