Alla Sirokofskich                                                     

Department of Mathematics

University of Crete

714 09 Heraklion

Greece

• CV
• Ph.D Thesis (Greek)
  

Research: decidability of first order theories, model theory, applications of logic to algebra.

• A. Sirokofskich, “Decidability Questions for a ring of Laurent Polynomials over Finite Fields”, Annals of Pure and Applied Logic, 163, Issue 5, (2012), 615–619.
  

• A. Sirokofskich, “On an exponential predicate in polynomials over finite fields”, Proc. Amer. Math. Soc.138 (2010), 2569-2583.

• A. Sirokofskich, “Decidability of Sub-theories of Polynomials over a Finite Field”, K. Ambos-Spies, B. Löwe and W.Merkle (Eds.): CiE 2009, LNCS 5635, pp. 437--446, Springer-Verlag Berlin Heidelbeg (2009).

• J. Paris and A. Sirokofskich, “On LP-models of Arithmetic”, Journal of Symbolic Logic, 73 (2008), 212-226.

• A. Sirokofskich and C. Dimitracopoulos, “On a Problem of J. Paris”,  Journal of Logic and Computation, 17 (2007), 1099--1107 .

Λογική 2013-2014

Το μάθημα Μ 2422 ΛΟΓΙΚΗ θα διδάσκεται τις ημέρες Πέμπτη και Παρασκευή και ώρα 1:00-3:00 μ.μ. στην αίθουσα Α 212.

Ώρες γραφείου: Παρασκευή 3-4, Ε309.

Ύλη του μαθήματος: 1) Σημειώσεις του Κ. Σκανδάλη, πρώτο και δεύτερο μέρος.

                                  2) Κεφάλαια 0,1 και 2 από το βιβλίο 'ΜΑΘΗΜΑΤΙΚΗ ΕΙΣΑΓΩΓΗ ΣΤΗ ΛΟΓΙΚΗ', Herbert B. Enderton.

Τρόπος εξέτασης: γραπτές τελικές εξετάσεις με 6 θέματα ανάπτυξης: 3 μονάδες η προτασιακή και 7 μονάδες η κατηγοριματική λογική. Θα υπάρχει τυπολόγιο μαζί με τα θέματα, όπου θα δίνονται οι 14 νόμοι της προτασιακής λογικής και τα 14 αξιώματα της προτασιακής λογικής.

Κατά τη διάρκεια του εξαμήνου θα δοθούν 4 σετ ασκήσεων για το σπίτι. Η παράδοση των λύσεων δεν είναι υποχρεωτική, δηλαδή η τελική εξέταση θα είναι με άριστα το 10. Η παράδοση των ασκήσεων θα μετρήσει (θετικά) για βελτίωση βαθμού. Τρόπος παράδοσης: είτε στο μάθημα είτε ηλεκτρονικά με e-mail, αυστηρά μέχρι την αναφερόμενη πάνω στο φυλλάδιο ημερομηνία.      

• Ασκήσεις για το σπίτι 1-Λύσεις

• Βαθμοί (όποιος θέλει να δει το γραπτό του: Πέμπτη 27/02/2014, 11.00-13.00)

• Ασκήσεις για το σπίτι 2-Λύσεις

• Ασκήσεις για το σπίτι 3-Λύσεις
• Ασκήσεις για το σπίτι 4-Λύσεις
  




Βιβλιογραφία του μαθήματος:



• Σημειώσεις Κ. Σκανδάλη
  
• Σημειώσεις Κ. Δημητρακόπουλου 

Προτεινόμενο βιβλίο (Εύδοξος)


ΜΑΘΗΜΑΤΙΚΗ ΕΙΣΑΓΩΓΗ ΣΤΗ ΛΟΓΙΚΗ,

Herbert B. Enderton,

ΠΑΝΕΠΙΣΤΗΜΙΑΚΕΣ ΕΚΔΟΣΕΙΣ ΚΡΗΤΗΣ

Ιδρυτική δωρεά Παγκρητικής Ενώσεως Αμερικής

ΗΡΑΚΛΕΙΟ 2013

• Εξετάσεις Σεπτεμβρίου 2008: θέματα, Λύσεις






Θεμέλεια των μαθηματικών

  


Περιγραφή: η ύλη του μαθήματος, όπως και οι ασκήσεις των εργαστηρίων βρίσκονται στη σελίδα


http://foundmath2008.wordpress.com/









Θεωρία συνόλων

  


Περιγραφή: αξιώματα της συνολοθεωρίας, πληθικοί αριθμοί, αξιωματικοποίηση του συνόλου  φυσικών αριθμών,  θεώρημα αναδρομής, διατακτικοί αριθμοί.





Πρώτο σετ ασκήσεων




Δεύτερο σετ ασκήσεων




Τρίτο σετ ασκήσεων




Μάθημα (16-12-2009)

Θέματα (Σεπ-2009)




Βαθμοί (Ιαν. 2010)


Βαθμοί (Σεπ-2010)





θέματα (Σεπ-2010)





Ορισμένες ασκήσεις από τις σημειώσεις του Κ. Σκανδάλη




Βιβλιογραφία του μαθήματος:


• Σημειώσεις του Κ. Σκανδάλη  (υπάρχουν σε αυτό το site)

• Σημειώσεις του Γ. Μοσχοβάκη (υπάρχουν σε αυτό το site)
  

• Αφελής συνολοθεωρία, P. Halmos (μετάφραση Γ. Κολέτσος)
  





Ιστορία της Λογικής


Περιγραφή: Το έργο των μαθηματικών που συνέβαλαν στην ανάπτυξη της λογικής κατά τη χρονική περίοδο 1870- 1940.  Μερικοί από αυτούς είναι οι ακόλουθοι:

Cantor, Borel, Klein, Schröder, Frege, Hilbert, Zermelo, Peano, Russell, Ramsey, Gödel, Carnap.



Βιβλιογραφία του μαθήματος:


• Thinking about mathematics, S. Shapiro, (μεταφρασμένο από Κ. Δρόσο και Δ. Σπανό, με τίτλο "Σκέψεις για τα μαθηματικά".

• Search for Mathematical roots, 1870-1940,  I. Grattan-Guinness.

• Σημειώσεις στη συνολοθεωρία, Γ. Μοσχοβάκης  (http://www.math.ucla.edu/~ynm/m6/)

• Σελίδα με μαθήματα όπως Υπολογισιμότητα και άλλα που σχετίζονται με την  Μοντέρνα Ιστορία  Λογικής http://mpla.math.uoa.gr/courses/current/
  
  

• 'Υλη του μαθήματος: Μαθηματικό έργο και η ζωή των Μαθηματικών  που  αναφέρονται  σ΄αυτήν τη σελίδα. Για πληροφορίες βλ. βιβλιογραφία του μαθήματος, τις παρουσιάσεις και τις τελικές εργασίες.

• Εξετάσεις Σεπτεμβρίου 2008: θέματα.
  





Τροπική Λογική (Modal Logic)


 


Βιβλιογραφία του μαθήματος: 


• Modal logic, an introduction,  (B. Chellas).

•  Σημειώσεις των διαλέξεων του μαθήματος κατά τη διάρκεια του εαρινού εξαμήνου 2007-2008.

• Σημειώσεις των πρώτων διαλέξεων. Το αρχειό αυτό θα ανανεώνεται κατά σύντομα διαστήματα. Σε αυτό βρίσκονται ενδεικτικά τα βασικά του μαθήματος. Η ύλη 'ομως δεν είναι μόνο αυτές οι σημειώσεις! 
  

• Σημειώσεις των διαλέξεων του J. Paris κατά τη διάρκεια του εαρινού εξαμήνου 2005-2006.

• Bridges from classical to nonmonotonic logic, D. Makinson.




Ασκήσεις

• Πρώτο σετ ασκήσεων
• Δεύτερο σετ ασκήσεων
• Τρίτο σετ ασκήσεων

• Εξετάσεις στην τροπική Λογική: Θέματα 25-06-2008, λύσεις.
  

• Εξετάσεις Σεπτεμβρίου 2008: Θέματα, Λύσεις

• Εξετάσεις Φεβρουαρίου 2009: Θέματα-Λύσεις, Βαθμοί

  
  




Γραμμική Άλγεβρα Ι






Βιβλιογραφία του μαθήματος: Σημειώσεις Χ. Κουρουνιώτη





Ασκήσεις Γραμμικής Άλγεβρας


• Πρώτο σετ.
• Λύσεις του πρώτου σετ.
  
• Δεύτερο σετ .
  
• Λύσεις του δεύτερου σετ.
• Ρίζες των πολυωνύμων: μερικές στρατηγικές.
  
• Ασκήσεις από κεφάλαιο 1
• Ασκήσεις από κεφάλαιο 2
• Ασκήσεις από κεφάλαιο 3
• Ασκήσεις σε χαρακτηριστικά πολυώνυμα και εσωτερικό γινόμενο

• Εξετάσεις Ιανουαρίου, 2008: Ομάδα Α,  Ομάδα Β,  Ομάδα Γ,  Ομάδα Δ

• Λύσεις θεμάτων: Ομάδα Α

• Εξετάσεις Σεπτεμβρίου 2008: Θέματα, Λύσεις