Súbor:Exercises-1-FOL.pdf
Exercises-1-FOL.pdf (veľkosť súboru: 142 KB, MIME typ: application/pdf)
História súboru
Po kliknutí na dátum/čas uvidíte súbor ako vyzeral vtedy.
| dátum/čas | rozmery | používateľ | komentár | |
|---|---|---|---|---|
| aktuálna | 19:54, 3. október 2012 | (142 KB) | Frtus (Diskusia | príspevky) | 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)), Ján)" |
| 12:12, 27. september 2012 | (142 KB) | Frtus (Diskusia | príspevky) |
- Tento súbor nemôžete prepísať.
Použitie súboru
Žiadne stránky neobsahujú odkazy na tento obrázok.
Verzia z 19:54, 3. október 2012, ktorú vytvoril Frtus (Diskusia | príspevky) (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)