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/časrozmerypoužívateľkomentár
aktuálna14: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ť.

Žiadne stránky neobsahujú odkazy na tento obrázok.

Revízia z 14:22, 9. október 2012; Homola (Diskusia | príspevky)

(rozdiel) ← Staršia verzia | Aktuálna úprava (rozdiel) | Novšia verzia → (rozdiel)