CompLog2013-Lecture-1-FOL.pdf(veľkosť súboru: 244 KB, MIME typ: application/pdf)

Computational Logic, lecture 1: Introduction to First Order Logic (FOL). 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álna13:20, 25. september 2013 (244 KB)Homola (Diskusia | príspevky)Computational Logic, lecture 1: Introduction to First Order Logic (FOL). Syntax and Semantics.
  • Tento súbor nemôžete prepísať.

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

Revízia z 13:20, 25. september 2013; Homola (Diskusia | príspevky)

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