Príspevky používateľa
(najnovšie | najstaršie) Zobraziť (50 novších | 50 starších) (20 | 50 | 100 | 250 | 500).
- 23:01, 24. august 2011 (rozdiel | história) . . (+964) . . ReDIK:ReDIK-2011-Workshop (added my talk's abstract)
- 22:53, 24. august 2011 (rozdiel | história) . . (+384) . . N ReDIK:ReDIK-2011-Workshop (First outline: program and abstracts hedings)
- 14:19, 9. november 2010 (rozdiel | história) . . (+151) . . Computational Logic (Midterm results and details removed. Results (midterm and wiki) are now linked and password-protected.)
- 14:12, 9. november 2010 (rozdiel | história) . . (-979) . . Computational Logic (Revert)
- 14:34, 2. november 2010 (rozdiel | história) . . (+6) . . Computational Logic (midterm in boldface)
- 22:18, 25. október 2010 (rozdiel | história) . . (-116) . . Topics for Diploma Theses/sk
- 22:23, 20. september 2010 (rozdiel | história) . . (-37) . . d Computational Logic
- 22:22, 20. september 2010 (rozdiel | história) . . (0) . . Computational Logic (Some interlinking and fixes)
- 22:21, 20. september 2010 (rozdiel | história) . . (+70) . . Computational Logic
- 22:19, 20. september 2010 (rozdiel | história) . . (+109) . . Computational Logic
- 22:17, 20. september 2010 (rozdiel | história) . . (+585) . . Computational Logic (lecture notes assignmet description)
- 21:17, 20. september 2010 (rozdiel | história) . . (+517) . . Computational Logic (Evaliation)
- 20:56, 20. september 2010 (rozdiel | história) . . (+155) . . Computational Logic (Syllabus: Context details)
- 20:42, 20. september 2010 (rozdiel | história) . . (+192) . . Computational Logic (Syllabus: LP details)
- 20:36, 20. september 2010 (rozdiel | história) . . (+146) . . Computational Logic (Syllabus: DL details)
- 20:33, 20. september 2010 (rozdiel | história) . . (+209) . . Computational Logic (Syllabus: Modal logics detailed)
- 20:29, 20. september 2010 (rozdiel | história) . . (+458) . . Computational Logic (Sylabus: PL and FL detailed)
- 20:00, 20. september 2010 (rozdiel | história) . . (-3) . . Computational Logic (fixed lecture scedule)
- 00:58, 18. september 2010 (rozdiel | história) . . (-2) . . Computational Logic (fixed 2nd labs schedule)
- 20:12, 17. september 2010 (rozdiel | história) . . (-16) . . Computational Logic (Fixing course name)
- 03:24, 17. september 2010 (rozdiel | história) . . (+35) . . Computational Logic (added section Literature)
- 03:20, 17. september 2010 (rozdiel | história) . . (+225) . . Computational Logic (Basic information)
- 03:13, 17. september 2010 (rozdiel | história) . . (+16) . . d Computational Logic (strucutre editions)
- 03:10, 17. september 2010 (rozdiel | história) . . (+152) . . Computational Logic (basic structure)
- 03:05, 17. september 2010 (rozdiel | história) . . (+957) . . N Computational Logic (New page, basic information)
- 02:49, 17. september 2010 (rozdiel | história) . . (+926) . . N Introduction to Computational Logic (Move did not work)
- 02:42, 17. september 2010 (rozdiel | história) . . (-30) . . Martin Homola/en (Courses updated)
- 02:40, 17. september 2010 (rozdiel | história) . . (0) . . d Introduction to Computational Logic/en (moved Introduction to Computer Logic/en to Introduction to Computational Logic/en: Incorrect English translation)
- 02:40, 17. september 2010 (rozdiel | história) . . (+52) . . N Introduction to Computer Logic/en (moved Introduction to Computer Logic/en to Introduction to Computational Logic/en: Incorrect English translation) (aktuálne)
- 11:45, 26. január 2010 (rozdiel | história) . . (+12) . . Sandbox/en
- 11:41, 26. január 2010 (rozdiel | história) . . (+109) . . Sandbox/en
- 11:36, 26. január 2010 (rozdiel | história) . . (-133) . . Sandbox/en
- 11:33, 26. január 2010 (rozdiel | história) . . (+38) . . Sandbox/en
- 11:27, 26. január 2010 (rozdiel | história) . . (+53) . . Sandbox/en
- 11:23, 26. január 2010 (rozdiel | história) . . (+1 660) . . Sandbox/en
- 14:17, 11. december 2009 (rozdiel | história) . . (+100) . . Internal:SWEEP Meeting 2009-12-11 (aktuálne)
- 13:55, 11. december 2009 (rozdiel | história) . . (+590) . . Internal:SWEEP Meeting 2009-12-11
- 13:24, 11. december 2009 (rozdiel | história) . . (+292) . . Internal:SWEEP Meeting 2009-12-11
- 13:09, 11. december 2009 (rozdiel | história) . . (+472) . . N Internal:SWEEP Meeting 2009-12-11 (Created page with 'Diskusia s Danom Adamom o jeho bakalárke. * Feri navrhuje upresnenie témy: ** pri tvorbe modelu urobiť aj nejaký poriadok... ** vytvoriť prekladové vrstvy ** vytvoriť vý…')
- 12:46, 11. december 2009 (rozdiel | história) . . (+40) . . Internal:SWEEP (aktuálne)
- 14:29, 9. október 2009 (rozdiel | história) . . (+368) . . N Internal:SWEEP Meeting 2009-10-09 (Created page with '==Slides== * Switching between modes: e-learning (tree), print (single page), presentation (slides) * Realtime notes * Export: LaTeX/PDF * Movies/animation * Wiki versioning * S…') (aktuálne)
- 13:47, 9. október 2009 (rozdiel | história) . . (+40) . . Internal:SWEEP
- 15:39, 2. október 2009 (rozdiel | história) . . (+60) . . Internal:SWEEP Meeting 2009-10-02 (aktuálne)
- 15:31, 2. október 2009 (rozdiel | história) . . (+181) . . N Internal:SWEEP Meeting 2009-10-02 (Created page with '* Events * Historical data * Weekly structure * Integration of each schema into a global schema * bachelor project of Daniel Adam * meeting with Daniel next week on Wednesday (t…')
- 14:44, 2. október 2009 (rozdiel | história) . . (+40) . . Internal:SWEEP
- 14:31, 29. september 2009 (rozdiel | história) . . (+1) . . d Internal:How to easily include blogging in my course (typo) (aktuálne)
- 14:30, 29. september 2009 (rozdiel | história) . . (+2) . . d Internal:How to easily include blogging in my course (formatting)
- 14:29, 29. september 2009 (rozdiel | história) . . (+908) . . Internal:How to easily include blogging in my course
- 14:02, 29. september 2009 (rozdiel | história) . . (+405) . . Internal:How to easily include blogging in my course (Evaluation)
- 13:53, 29. september 2009 (rozdiel | história) . . (+1 025) . . Internal:How to easily include blogging in my course (Instroctions for Students)
(najnovšie | najstaršie) Zobraziť (50 novších | 50 starších) (20 | 50 | 100 | 250 | 500).