Súbor:CompLog2012-Lecture-1-FOL.pdf
CompLog2012-Lecture-1-FOL.pdf (veľkosť súboru: 336 KB, MIME typ: application/pdf)
CompLog 2012, lecture 1: First Order Logic, Syntax and Semantics
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 | 14:22, 9. október 2012 | (336 KB) | Homola (Diskusia | príspevky) | Notation fixes |
| 14:09, 25. september 2012 | (342 KB) | Homola (Diskusia | príspevky) | CompLog 2012, lecture 1: First Order Logic, Syntax and Semantics |
- Tento súbor nemôžete prepísať.
Použitie súboru
Žiadne stránky neobsahujú odkazy na tento obrázok.
Verzia z 14:22, 9. október 2012, ktorú vytvoril Homola (Diskusia | príspevky) (uploaded a new version of "File:CompLog2012-Lecture-1-FOL.pdf": Notation fixes)