http://www.cs.teilar.gr Ιστοσελίδα Τμήματος Τεχνολογίας Πληροφορικής και Τηλεπικοινωνιών el iatrellis@teilar.gr (Iatrellis Omiros) iatrellis@teilar.gr (Iatrellis Omiros) Thu, 25 Apr 2024 20:03:22 GMT Thu, 28 Sep 2017 01:03:00 GMT
Επισυναπτόμενο αρχείο]]> Fri, 14 Jul 2017 01:03:00 GMT
Επισυναπτόμενο αρχείο]]> Sun, 05 Mar 2017 01:03:00 GMT
Επισυναπτόμενο αρχείο]]> Thu, 22 Sep 2016 01:03:00 GMT
Επισυναπτόμενο αρχείο]]> Wed, 29 Jun 2016 01:03:00 GMT
Επισυναπτόμενο αρχείο]]> Mon, 22 Feb 2016 01:03:00 GMT
Επισυναπτόμενο αρχείο]]> Wed, 30 Sep 2015 01:03:00 GMT
Επισυναπτόμενο αρχείο]]> Sat, 11 Jul 2015 01:03:00 GMT
Επισυναπτόμενο αρχείο]]> Mon, 23 Feb 2015 01:03:00 GMT /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Κανονικός πίνακας"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman","serif"; mso-fareast-language:EN-US;} Normal 0 false false false EL X-NONE X-NONE /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Κανονικός πίνακας"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman","serif"; mso-fareast-language:EN-US;}

Επισυναπτόμενο αρχείο]]> Tue, 03 Feb 2015 01:03:00 GMT
Επισυναπτόμενο αρχείο]]> Mon, 26 Jan 2015 01:03:00 GMT Mon, 26 Jan 2015 01:03:00 GMTΚλασική Προτασιακή Λογική Σύνταξη, Σημασιολογία, Κανονικές Μορφές, Αποδεικτικό Σύστημα Προτασιακής Επίλυσης (Resolution), Αποδεικτικό Σύστημα Tableau, Αποδεικτικό Σύστημα Gentzen.   Τροπική Λογική Σύνταξη, Σημασιολογία, Αποδεικτικό Σύστημα Tableau, Αποδεικτικό Σύστημα Gentzen.   Προτασιακή Δυναμική Λογική (PDL) Σύνταξη, Σημασιολογία, Αποδεικτικό Σύστημα Gentzen, Αποδεικτικό Σύστημα Tableau.   Πρωτοβάθμια Λογική Σύνταξη, Σημασιολογία.    Υλικό για το μάθημα μπορείτε να βρείτε στο e-class: http://openclass.teilar.gr/courses/CS115/ Normal 0 false false false EL X-NONE X-NONE /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Κανονικός πίνακας"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman","serif"; mso-fareast-language:EN-US;} ]]> Tue, 16 Sep 2014 01:03:00 GMTνέο επισυναπτόμενο αρχείο. Για ερωτήσεις που αφορούν τη βαθμολογία σας και το γραπτό σας μπορείτε να έρθετε στο γραφείο της κ.Τσούτσα στο κεντρικό κτήριο του ΤΕΙ την Πέμπτη 18/9 και την Παρασκευή 19/9 στις 11:00 πμ. Normal 0 false false false EN-US X-NONE X-NONE /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Κανονικός πίνακας"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-parent:""; mso-padding-alt:0in 5.4pt 0in 5.4pt; mso-para-margin-top:0in; mso-para-margin-right:0in; mso-para-margin-bottom:10.0pt; mso-para-margin-left:0in; line-height:115%; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin;}

Επισυναπτόμενο αρχείο]]> Wed, 02 Jul 2014 01:03:00 GMT
Επισυναπτόμενο αρχείο]]> Tue, 11 Feb 2014 01:03:00 GMT
Επισυναπτόμενο αρχείο]]> Sat, 18 Jan 2014 01:03:00 GMTΣύνταξη, Σημασιολογία, Κανονικές Μορφές, Αποδεικτικό Σύστημα Προτασιακής Επίλυσης (Resolution), Αποδεικτικό Σύστημα Tableau, Αποδεικτικό Σύστημα Gentzen.   Τροπική Λογική Σύνταξη, Σημασιολογία, Αποδεικτικό Σύστημα Tableau, Αποδεικτικό Σύστημα Gentzen.   Προτασιακή Δυναμική Λογική (PDL) Σύνταξη, Σημασιολογία, Αποδεικτικό Σύστημα Gentzen.   Πρωτοβάθμια Λογική Σύνταξη, Σημασιολογία, Κανονικές Μορφές, Αποδεικτικό Σύστημα Gentzen.     Υλικό για το μάθημα μπορείτε να βρείτε στο e-class: http://openclass.teilar.gr/courses/CS115/ Normal 0 false false false EL X-NONE X-NONE /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Κανονικός πίνακας"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman","serif"; mso-fareast-language:EN-US;} ]]>