Μαθηματική Λογική

Τα τυπογραφικά λάθη που βρέθηκαν στο βιβλίο του κ. Γ. Μητακίδη "Απο τη Λογική στο Λογικό Προγραμματισμό και την Prolog".

Σημειώσεις στη Μαθηματική Λογική εαρινού εξαμήνου 2014-2015.

(από τον φοιτητή Ηλία Χατζηγεωργίου).

Σημειώσεις στη Μαθηματική Λογική εαρινού εξαμήνου 2014-2015.

(από την φοιτητήτρια Μαρία Μπ.).

Υλικό στην Μαθηματική Λογική

Μια σύντομη εισαγωγή  στη Λογική των Προτάσεων(2002).

Νόμοι και προτάσεις της Νόμοι της Λογικής των Κατηγορημάτων.

(Μεταφορά σε LaTeX από τον φοιτητή του Τμήματος μας Χρήστο Πηλικό. Το ίδιο αρχείο σε TeX )

Σημειώσεις στη Μαθηματική Λογική εαρινού εξαμήνου 2010.

(Μεταφορά σε pdfLaTeX  από τον ίδιο φοιτητή ).

Η διδαχθείσα ύλη(το 2011). 

Εργασίες στο σπίτι  για εξάσκηση…(Εαρινό εξάμηνο 2011-2012) Φυλλάδιο 1^ο  Φυλλάδιο 2^ο Φυλλάδιο 3^ο

 

Παλαιότερα Θέματα

Θέματα 01/02/2002, Θέματα Ιουνίου 2002(5/09/2002)

Θέματα  Σεπτεμβρίου  2002 (13/09/2002), Θέματα 07/02/2003

Θέματα Προόδου 29/03/2003, Θέματα Ιουνίου 27/06/2003

Θέματα Σεπτεμβρίου 16/09/2003, Θέματα Φεβρουαρίου 2004

Θέματα Προόδου 13/05/2004, Θέματα Προόδου 13/05/2004

Θέματα 17/06/04  Θέματα 14/09/08

Θέματα 29/06/09  Θέματα 09/09/09

Θέματα 24/09/10 Θέματα 12/02/11

Θέματα 29/06/11  Θέματα 28/09/11

 
Λύσεις(χειρόγραφες) κάποιων Θεμάτων(17/06/04, 14/09/08, 29/06/09).

SCAN0001.JPG SCAN0002.JPG SCAN0003.JPG SCAN0004.JPG SCAN0005.JPG SCAN0006.JPG

SCAN0007.JPG SCAN0008.JPG SCAN0009.JPG SCAN0010.JPG SCAN0011.JPG SCAN00012.JPG

SCAN0013.JPG SCAN0014.JPG SCAN0015.JPG SCAN0016.JPG

 

Prolog

Πώς τρέχουμε ενα πρόγραμμα Prolog στον υπολογιστή.

Απλά δοκιμαστικά  προγράμματα γραμμένα σε Prolog. 

Ασκήσεις Προτασιακής Λογικής.

Περιλήψεις Μαθημάτων Λογικής(πρωτογενής μορφή-2004)

Μάθημα 1^ο,2^ο, 3^ο, 4^ο, 5^ο,6^ο,7^ο,8^ο,9^ο,10^ο,11^ο,12^ο,13^ο,14^ο,15^ο.

Home