www.cs.teilar.gr/rss - Ανακοινώσεις (Τσούτσα Παρασκευή ) http://www.cs.teilar.gr Ιστοσελίδα Τμήματος Τεχνολογίας Πληροφορικής και Τηλεπικοινωνιών el iatrellis@teilar.gr (Iatrellis Omiros) iatrellis@teilar.gr (Iatrellis Omiros) Sat, 11 Jul 2020 08:03:22 GMT <![CDATA[Αποτελέσματα εξέτασης στο μάθημα «Λογική στην Πληροφορική» (Eξεταστική Σπετεμβρίου 2017)]]>Thu, 28 Sep 2017 01:03:00 GMT
Επισυναπτόμενο αρχείο
]]>
<![CDATA[Αποτελέσματα εξέτασης στο μάθημα «Λογική στην Πληροφορική» (Eξεταστική Ιουνίου 2017)]]>Fri, 14 Jul 2017 01:03:00 GMT
Επισυναπτόμενο αρχείο
]]>
<![CDATA[Αποτελέσματα εξέτασης στο μάθημα «Λογική στην Πληροφορική» (Eξεταστική Φεβρουαρίου 2017)]]>Sun, 05 Mar 2017 01:03:00 GMT
Επισυναπτόμενο αρχείο
]]>
<![CDATA[Αποτελέσματα εξέτασης στο μάθημα «Λογική στην Πληροφορική» (Eξεταστική Σεπτεμβρίου 2016)]]>Thu, 22 Sep 2016 01:03:00 GMT
Επισυναπτόμενο αρχείο
]]>
<![CDATA[Αποτελέσματα εξέτασης στο μάθημα «Λογική στην Πληροφορική» (Eξεταστική Ιουνίου 2016)]]>Wed, 29 Jun 2016 01:03:00 GMT
Επισυναπτόμενο αρχείο
]]>
<![CDATA[Αποτελέσματα εξέτασης στο μάθημα «Λογική στην Πληροφορική» (Eξεταστική Φεβρουαρίου 2016)]]>Mon, 22 Feb 2016 01:03:00 GMT
Επισυναπτόμενο αρχείο
]]>
<![CDATA[Αποτελέσματα εξέτασης στο μάθημα «Λογική στην Πληροφορική» (Eξεταστική Σεπτεμβρίου 2015)]]>Wed, 30 Sep 2015 01:03:00 GMT
Επισυναπτόμενο αρχείο
]]>
<![CDATA[Αποτελέσματα εξέτασης στο μάθημα «Λογική στην Πληροφορική» (Eξεταστική Ιουνίου 015)]]>Sat, 11 Jul 2015 01:03:00 GMT
Επισυναπτόμενο αρχείο
]]>
<![CDATA[Αποτελέσματα εξέτασης στο μάθημα «Λογική στην Πληροφορική» (Eξεταστική Φεβρουαρίου 2015)]]>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;}

Επισυναπτόμενο αρχείο
]]>
<![CDATA[Βαθμολογία ασκήσεων αξιολόγησης και προόδων στο μάθημα Λογική στην Πληροφορική - Επίλυση αποριών]]>Tue, 03 Feb 2015 01:03:00 GMT
Επισυναπτόμενο αρχείο
]]>
<![CDATA[Αναβολή μαθήματος]]>Mon, 26 Jan 2015 01:03:00 GMT <![CDATA[Eξεταστέα ύλη για το μάθημα «Λογική στην Πληροφορική» για το ακαδημαικό έτος 2014 -2015]]>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;} ]]> <![CDATA["Λογική στην Πληροφορική" (Eξεταστική Σεπτεμβρίου 2014)]]>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;}

Επισυναπτόμενο αρχείο
]]>
<![CDATA[Λογική στην Πληροφορική» (Eξεταστική Ιουνίου 2014)]]>Wed, 02 Jul 2014 01:03:00 GMT
Επισυναπτόμενο αρχείο
]]>
<![CDATA[Αποτελέσματα εξετάσεων στο μάθημα «Λογική στην Πληροφορική» (Eξεταστική Φεβρουαρίου 2014)]]>Tue, 11 Feb 2014 01:03:00 GMT
Επισυναπτόμενο αρχείο
]]>
<![CDATA[Eξεταστέα ύλη για το μάθημα «Λογική στην Πληροφορική» (Eξεταστική Φεβρουαρίου 2014)]]>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;} ]]>