(najnovšie | najstaršie) Zobraziť (20 novších | 20 starších) (20 | 50 | 100 | 250 | 500).
- 12:18, 14. november 2012 (rozdiel | história) . . (0) . . N Súbor:Exercises-6-LP.pdf (aktuálne)
- 11:53, 1. november 2012 (rozdiel | história) . . (+33) . . Course CompLog (Exercises-5-DL.pdf added)
- 11:53, 1. november 2012 (rozdiel | história) . . (0) . . N Súbor:Exercises-5-DL.pdf (aktuálne)
- 21:30, 20. október 2012 (rozdiel | história) . . (+33) . . Course CompLog (added Exercises-4-DL.pdf)
- 21:28, 20. október 2012 (rozdiel | história) . . (0) . . N Súbor:Exercises-4-DL.pdf (aktuálne)
- 21:00, 11. október 2012 (rozdiel | história) . . (+33) . . Course CompLog (Exercises-3-DL.pdf added)
- 21:00, 11. október 2012 (rozdiel | história) . . (0) . . N Súbor:Exercises-3-DL.pdf (aktuálne)
- 14:50, 11. október 2012 (rozdiel | história) . . (+12) . . d Course CompLog
- 14:49, 11. október 2012 (rozdiel | história) . . (+149) . . Course CompLog (Lab Evaluation google doc added)
- 14:26, 4. október 2012 (rozdiel | história) . . (+14) . . d Course CompLog
- 14:22, 4. október 2012 (rozdiel | história) . . (+31) . . Course CompLog (pdf Exercises 2 added)
- 14:20, 4. október 2012 (rozdiel | história) . . (0) . . N Súbor:Exercises-2-FOL.pdf (aktuálne)
- 20:54, 3. október 2012 (rozdiel | história) . . (0) . . Súbor:Exercises-1-FOL.pdf (uploaded a new version of "File:Exercises-1-FOL.pdf": opraveny preklep v Ulohe 4 g): miesto "((∃x)Kam(najŠtudentka,x) ∧ Muž(x)) → Kam(S(S(najŠtudentka)), Ján)" malo byt "(∃x)(Kam(najŠtudentka,x) ∧ Muž(x)) → Kam(S(S(najŠtudentka) (aktuálne)
- 13:18, 27. september 2012 (rozdiel | história) . . (-1) . . d Course CompLog
- 13:17, 27. september 2012 (rozdiel | história) . . (+30) . . Course CompLog
- 13:12, 27. september 2012 (rozdiel | história) . . (0) . . N Súbor:Exercises-1-FOL.pdf
- 15:55, 17. september 2012 (rozdiel | história) . . (+88) . . Jozef Frtus/en
- 15:55, 17. september 2012 (rozdiel | história) . . (-161) . . Jozef Frtus/sk
- 17:28, 14. marec 2012 (rozdiel | história) . . (+247) . . Jozef Frtus/sk
- 20:53, 2. marec 2012 (rozdiel | história) . . (+56) . . d Course KRR
(najnovšie | najstaršie) Zobraziť (20 novších | 20 starších) (20 | 50 | 100 | 250 | 500).