Αναζήτηση:
 
arrow
arrow
arrow
arrow
arrow
arrow
arrow
arrow
arrow
arrow
arrow
arrow
arrow
arrow
arrow
ΔΙΑΥΓΕΙΑ
GUNET.gr
ects-ds
Erasmus-DS-ECTS
Diploma Supplement


 
 
Εκπ.Προσωπικό > Ανακοινώσεις > Τσούτσα Παρασκευή
 
  Ανακοινώσεις - Τσούτσα Παρασκευή
28/09/2017 Αποτελέσματα εξέτασης στο μάθημα «Λογική στην Πληροφορική» (Eξεταστική Σπετεμβρίου 2017)
  Στο επισυναπτόμενο έγγραφο θα βρείτε τη βαθμολογία. Για ερωτήσεις που αφορούν τη βαθμολογία σας ή για να δείτε το γραπτό σας, μπορείτε να έρθετε στο γραφείο μου την Παρασκευή 29/ 09/ 2017 στις 11:15. Στη συνέχεια η βαθμολογία θα οριστικοποιηθεί και θα εμφανιστεί στο ΔΙΟΝΥΣΟ την ίδια μέρα.
 
14/07/2017 Αποτελέσματα εξέτασης στο μάθημα «Λογική στην Πληροφορική» (Eξεταστική Ιουνίου 2017)
  Στο επισυναπτόμενο έγγραφο θα βρείτε τη βαθμολογία . Για ερωτήσεις που αφορούν τη βαθμολογία σας ή για να δείτε το γραπτό σας, μπορείτε να έρθετε στο γραφείο μου την Τρίτη 18/ 07/ 2017 στις 10:30. Στη συνέχεια η βαθμολογία θα οριστικοποιηθεί και θα εμφανιστεί στο ΔΙΟΝΥΣΟ την ίδια μέρα.
 
05/03/2017 Αποτελέσματα εξέτασης στο μάθημα «Λογική στην Πληροφορική» (Eξεταστική Φεβρουαρίου 2017)
  Στο επισυναπτόμενο έγγραφο θα βρείτε τη βαθμολογία . Για ερωτήσεις που αφορούν τη βαθμολογία σας ή για να δείτε το γραπτό σας, μπορείτε να έρθετε στο γραφείο μου την Τρίτη 7/03/2017 στις 10:00 ή την Πέμπτη 9/03/2017 στις 10:00. Η βαθμολογία θα οριστικοποιηθεί και θα εμφανιστεί στο ΔΙΟΝΥΣΟ την Παρασκευή 10/03/2017.
 
22/09/2016 Αποτελέσματα εξέτασης στο μάθημα «Λογική στην Πληροφορική» (Eξεταστική Σεπτεμβρίου 2016)
  Στο επισυναπτόμενο έγγραφο θα βρείτε τη βαθμολογία . Για ερωτήσεις που αφορούν τη βαθμολογία σας ή για να δείτε το γραπτό σας, μπορείτε να έρθετε στο γραφείο μου την Παρασκευή 23/09/2016 στις 11:00-12:00 ή τη Δευτέρα 26/09/2016 10:00-11:00. Η βαθμολογία θα οριστικοποιηθεί και θα εμφανιστεί στο ΔΙΟΝΥΣΟ τη Δευτέρα στις 12:00.
 
29/06/2016 Αποτελέσματα εξέτασης στο μάθημα «Λογική στην Πληροφορική» (Eξεταστική Ιουνίου 2016)
  Η βαθμολογία υπάρχει στο επισυναπτόμενο έγγραφο. Για ερωτήσεις που αφορούν τη βαθμολογία σας μπορείτε να έρθετε στο γραφείο μου την Πέμπτη 30/06/2016 στις 14:30-18:00.
 
22/02/2016 Αποτελέσματα εξέτασης στο μάθημα «Λογική στην Πληροφορική» (Eξεταστική Φεβρουαρίου 2016)
  Η βαθμολογία υπάρχει στο επισυναπτόμενο έγγραφο. Για ερωτήσεις που αφορούν τη βαθμολογία σας μπορείτε να έρθετε στο γραφείο μου την Τετάρτη 24/2/2016 στις 17:00-18:00 ή την Παρασκευή 26/2/2016 09:00-10:00.
 
30/09/2015 Αποτελέσματα εξέτασης στο μάθημα «Λογική στην Πληροφορική» (Eξεταστική Σεπτεμβρίου 2015)
  Η βαθμολογία υπάρχει στο επισυναπτόμενο έγγραφο. Για ερωτήσεις που αφορούν τη βαθμολογία σας μπορείτε να έρθετε στο γραφείο μου την Πέμτπη 1/10/2015 από 8:30-10:30 και τη Δευτέρα 5/10/2015 από 8:30-10:30.
 
11/07/2015 Αποτελέσματα εξέτασης στο μάθημα «Λογική στην Πληροφορική» (Eξεταστική Ιουνίου 015)
  Η βαθμολογία υπάρχει στο επισυναπτόμενο έγγραφο. Για ερωτήσεις που αφορούν τη βαθμολογία σας μπορείτε να έρθετε στο γραφείο μου την Δευτέρα  20/07/2015 στις 12:00 πμ
 
23/02/2015 Αποτελέσματα εξέτασης στο μάθημα «Λογική στην Πληροφορική» (Eξεταστική Φεβρουαρίου 2015)
 

Η βαθμολογία υπάρχει στο επισυναπτόμενο αρχείο. Οι βαθμοί είναι τελικοί και συμπεριλαμβάνουν τους βαθμούς μπόνους από τις ασκήσεις αξιολόγησης και την πρόοδο. Για ερωτήσεις που αφορούν το βαθμό και το γραπτό σας μπορείτε να έρθετε στο γραφείο της κ.Τσούτσα στο κεντρικό κτήριο του ΤΕΙ την Πέμπτη 26/2 στις 11:00 πμ.

 
03/02/2015 Βαθμολογία ασκήσεων αξιολόγησης και προόδων στο μάθημα Λογική στην Πληροφορική - Επίλυση αποριών
  Στο συννημένο αρχείο θα βρείτε τη βαθμολογία για τις ασκήσεις αξιολόγησης και των δύο προόδων.

Για επίλυση αποριών σε όλη την εξεταστέα ύλη θα είμαι διαθέσιμη για τους σπουδαστές στο γραφείο μου (Κεντρικό κτίριο Γρ.209) την Πέμπτη 5/2 στις 12:00.

 
26/01/2015 Αναβολή μαθήματος
  Το μάθημα "Λογική στην Πληροφορική" δεν θα γίνει τη Δευτέρα 26/1/2015 λόγω ασθένειας της διδάσκουσας. Η αναπλήρωση του μαθήματος θα γίνει την Τετάρτη 28/1/2015 στις 8:00 - 14:00.
26/01/2015 Eξεταστέα ύλη για το μάθημα «Λογική στην Πληροφορική» για το ακαδημαικό έτος 2014 -2015
 

Η εξεταστέα ύλη του μαθήματος «Λογική στην Πληροφορική» για το ακαδημαϊκό έτος 2014 -2015 είναι:

 

Κλασική Προτασιακή Λογική

Σύνταξη, Σημασιολογία, Κανονικές Μορφές,

Αποδεικτικό Σύστημα Προτασιακής Επίλυσης (Resolution),

Αποδεικτικό Σύστημα Tableau, Αποδεικτικό Σύστημα Gentzen.

 

Τροπική Λογική

Σύνταξη, Σημασιολογία,

Αποδεικτικό Σύστημα Tableau,

Αποδεικτικό Σύστημα Gentzen.

 

Προτασιακή Δυναμική Λογική (PDL)

Σύνταξη, Σημασιολογία,

Αποδεικτικό Σύστημα Gentzen,

Αποδεικτικό Σύστημα Tableau.

 

Πρωτοβάθμια Λογική

Σύνταξη, Σημασιολογία.

 

 Υλικό για το μάθημα μπορείτε να βρείτε στο e-class:

http://openclass.teilar.gr/courses/CS115/

16/09/2014 "Λογική στην Πληροφορική" (Eξεταστική Σεπτεμβρίου 2014)
 

Η βαθμολογία υπάρχει στο νέο επισυναπτόμενο αρχείο. Για ερωτήσεις που αφορούν τη βαθμολογία σας και το γραπτό σας μπορείτε να έρθετε στο γραφείο της κ.Τσούτσα στο κεντρικό κτήριο του ΤΕΙ την Πέμπτη 18/9 και την Παρασκευή 19/9 στις 11:00 πμ.

 
02/07/2014 Λογική στην Πληροφορική» (Eξεταστική Ιουνίου 2014)
  Η βαθμολογία υπάρχει στο επισυναπτόμενο αρχείο. Για ερωτήσεις που αφορούν τη βαθμολογία σας και το γραπτό σας μπορείτε να έρθετε στο γραφείο της κ.Τσούτσα στο κεντρικό κτήριο του ΤΕΙ την Δευτέρα 7/7 στις 10:00 πμ.
 
11/02/2014 Αποτελέσματα εξετάσεων στο μάθημα «Λογική στην Πληροφορική» (Eξεταστική Φεβρουαρίου 2014)
  Η βαθμολογία υπάρχει στο επισυναπτόμενο έγγραφο. Για ερωτήσεις που αφορούν τη βαθμολογία σας μπορείτε να έρθετε στο γραφείο την Δευτέρα 17/2 στις 11:30 πμ
 
18/01/2014 Eξεταστέα ύλη για το μάθημα «Λογική στην Πληροφορική» (Eξεταστική Φεβρουαρίου 2014)
 

Η εξεταστέα ύλη για την εξεταστική του Φεβρουαρίου 2014 για το μάθημα «Λογική στην Πληροφορική»  είναι:

 

Κλασική Προτασιακή Λογική

Σύνταξη, Σημασιολογία, Κανονικές Μορφές,

Αποδεικτικό Σύστημα Προτασιακής Επίλυσης (Resolution),

Αποδεικτικό Σύστημα Tableau, Αποδεικτικό Σύστημα Gentzen.

 

Τροπική Λογική

Σύνταξη, Σημασιολογία, Αποδεικτικό Σύστημα Tableau, Αποδεικτικό Σύστημα Gentzen.

 

Προτασιακή Δυναμική Λογική (PDL)

Σύνταξη, Σημασιολογία, Αποδεικτικό Σύστημα Gentzen.

 

Πρωτοβάθμια Λογική

Σύνταξη, Σημασιολογία, Κανονικές Μορφές, Αποδεικτικό Σύστημα Gentzen.

 

 

Υλικό για το μάθημα μπορείτε να βρείτε στο e-class:

http://openclass.teilar.gr/courses/CS115/

 
Σελίδες: 1  
 
 

Copyright © 2007 - 2024 : TEI Θεσσαλίας
Created by ItBiz