ΕΠΛ664 ΑΝΑΛΥΣΗ ΚΑΙ ΕΠΑΛΗΘΕΥΣΗ ΣΥΣΤΗΜΑΤΩΝ

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "ΕΠΛ664 ΑΝΑΛΥΣΗ ΚΑΙ ΕΠΑΛΗΘΕΥΣΗ ΣΥΣΤΗΜΑΤΩΝ"

Transcript

1 ΕΠΛ664 ΑΝΑΛΥΣΗ ΚΑΙ ΕΠΑΛΗΘΕΥΣΗ ΣΥΣΤΗΜΑΤΩΝ Περιγραφή του μαθήματος Στόχοι του μαθήματος Αξιολόγηση Βιβλιογραφία ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-1

2 Διδασκαλία Διαλέξεις: Δευτέρα και Πέμπτη, 15:00-16:30 Φροντιστήριο /Εργαστήριο : 1½ ώρα εβδομαδιαίως Ιστοσελίδα μαθήματος: ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-2

3 Περιγραφή Ανάλυση/Επαλήθευση συστημάτων αφορά στον έλεγχο κατά πόσο ένα σύστημα ικανοποιεί τις απαιτήσεις που υπάρχουν από αυτό. ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-3

4 Περιγραφή Ανάγκη για ανάλυση και επαλήθευση συστημάτων. Η κοινωνία της πληροφορίας είναι γεγονός. Υπολογιστές και προγράμματα έχουν εξαπλωθεί σε πολλαπλούς τομείς της ζωής μας: ενθυλακωμένα συστήματα (embedded systems) e-banking και e-shopping μεταφορικά μέσα ιατρική Η αξιοπιστία υλικού και λογισμικού είναι κύριας σημασίας Λάθη μπορεί να αποβούν όχι μόνο δαπανηρά (FDIV στο Pentium-II 475 εκατομμύρια USD) αλλά και μοιραία (Therac-25) It is fair to state, that in this digital era correct systems for information processing are more valuable than gold. ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-4

5 Η τύχη του Ariane-5 To Ariane-5 εκτοξεύθηκε στις 4 Ιουνίου 1996, για να συντριφθεί 36 δευτερόλεπτα αργότερα λόγω ενός σφάλματος στο λογισμικό ελέγχου. (To οποίο εκ των υστέρων εντοπίστηκε χρησιμοποιώντας τυπικές μεθόδους που θα μελετήσουμε στο μάθημα.) ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-5

6 Περιγραφή Θεωρία και πρακτική της Επαλήθευση και Ανάλυσης Συστημάτων βασισμένη σε τυπικές μεθόδους (formal methods). Τι είναι οι τυπικές μέθοδοι; εφαρμοσμένα μαθηματικά για τη μοντελοποίηση και ανάλυση υπολογιστικών συστημάτων Παρά του ότι βασίζονται σε μαθηματικά μπορούν να τύχουν χρήσης από οποιοδήποτε! Προσφέρουν τη δυνατότητα της επαλήθευσης συστημάτων από τη φάση σχεδιασμού αποδοτικές και αυστηρές μεθόδους ελέγχου συστημάτων (πιο μεγάλη κάλυψη και ψηλότερη εγγύηση ορθότητας) μείωση του χρόνου/κόστους που απαιτείται για επαλήθευση Συστήνονται για δημιουργία λογισμικού κριτικής ασφάλειας από οργανισμούς όπως τους ESA (European Space Agency), FAA (Federal Aviation Authority) και NASA. ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-6

7 Περιγραφή Formal methods should be part of the education of every computer scientist and software engineer, just as the appropriate branch of applied maths is a necessary part of the education of all other engineers. NASA ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-7

8 Περιγραφή Συγκεκριμένα το μάθημα θα μελετήσει: Πρότυπα μοντελοποίησης συστημάτων: Συστήματα μεταβάσεων Γραφικά πρότυπα Άλγεβρες Διεργασιών Αυτόματα Τεχνικές ανάλυσης συστημάτων: Μοντελοέλεγχος (model-checking) Ισοδυναμίες (simulations) Εφαρμογή πειραμάτων (testing) Εργαλεία που επιτρέπουν την αυτοματοποιημένη ανάλυση συστημάτων: SPIN Concurrency WorkBench Παράλληλα συστήματα, κατανεμημένα συστήματα, πρωτόκολλα επικοινωνίας, κλπ ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-8

9 Στόχοι του μαθήματος Εξοικείωση με διάφορες τεχνικές επαλήθευσης συστημάτων Αναγνώριση δυνατοτήτων και περιορισμών της κάθε μιας από αυτές Εξοικείωση με εργαλεία επαλήθευσης συστημάτων Διαδικασία: Επιλογή εργαλείου, μοντελοποίηση, ανάλυση, εύρεση λαθών Ειδικά θέματα: Χρόνος, πιθανότητα, ασφάλεια ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-9

10 Αξιολόγηση 5 σειρές ασκήσεων 3θεωρητικές 2 πρακτικές 3 5 = 15% 2 5 = 10% Ενδιάμεση Εξέταση 25% Τελική εξέταση 50% ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-10

11 Βιβλιογραφία D. Peled, Software Reliability Methods. Springer-Verlag, C. Baier and J.-P. Katoen, Principles of Model Checking. MIT Press, M. Huth and A. Ryan. Logic in Computer Science: Modeling and Reasoning about Concurrent Systems. Cambridge University Press, 2 nd edition, L. Aceto, A. Ingólfsdóttír, Κ. G. Larsen and J. Srba, Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, Επιλεγμένα άρθρα βιβλιογραφίας. ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-11

ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-1

ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-1 Εισαγωγή Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Ο ρόλος της ανάλυσης και επαλήθευσης συστημάτων Τεχνικές ανάλυσης συστημάτων Στόχοι του μαθήματος ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-1

Διαβάστε περισσότερα

ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-1

ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-1 Εισαγωγή Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Ο ρόλος της ανάλυσης και επαλήθευσης συστημάτων Τεχνικές ανάλυσης συστημάτων Στόχοι του μαθήματος ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-1

Διαβάστε περισσότερα

Γραμμική Χρονική Λογική (Linear Temporal Logic) (ΗR Κεφάλαιο 3.1 και 3.2)

Γραμμική Χρονική Λογική (Linear Temporal Logic) (ΗR Κεφάλαιο 3.1 και 3.2) Γραμμική Χρονική Λογική (Linear Temporal Logic) (ΗR Κεφάλαιο 3.1 και 3.2) Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Επαλήθευση Συστημάτων και Μοντελοέλεγχος Σύνταξη της PLTL Δομές Kripke και Σημασιολογία

Διαβάστε περισσότερα

ΜΑΘΗΜΑ: Εισαγωγή στις Αρχές της Επιστήμης των Η/Υ. 1 η ΘΕΜΑΤΙΚΗ ΕΝΟΤΗΤΑ: ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ

ΜΑΘΗΜΑ: Εισαγωγή στις Αρχές της Επιστήμης των Η/Υ. 1 η ΘΕΜΑΤΙΚΗ ΕΝΟΤΗΤΑ: ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΜΑΘΗΜΑ: Εισαγωγή στις Αρχές της Επιστήμης των Η/Υ 1 η ΘΕΜΑΤΙΚΗ ΕΝΟΤΗΤΑ: ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ Στόχος Θεματικής Ενότητας Οι μαθητές να περιγράφουν τους βασικούς τομείς της Επιστήμης των Υπολογιστών και να μπορούν

Διαβάστε περισσότερα

Λογική στην Πληροφορική - Εισαγωγή

Λογική στην Πληροφορική - Εισαγωγή Λογική στην Πληροφορική - Εισαγωγή Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Οργάνωση του Μαθήματος Αναδρομή στην Ιστορία της Λογικής ΕΠΛ 412 Λογική στην Πληροφορική 1-1 Διδασκαλία Διαλέξεις:

Διαβάστε περισσότερα

Ασφαλή Συστήματα Μέθοδοι ελέγχου και εξακρίβωσης ορθής λειτουργίας

Ασφαλή Συστήματα Μέθοδοι ελέγχου και εξακρίβωσης ορθής λειτουργίας Λειτουργικά Συστήματα Πραγματικού Χρόνου 2006-07 Ασφαλή Συστήματα Μέθοδοι ελέγχου και εξακρίβωσης ορθής λειτουργίας Μ.Στεφανιδάκης Ενσωματωμένα Συστήματα: Απαιτήσεις Αξιοπιστία (reliability) Χρηστικότητα

Διαβάστε περισσότερα

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ 1. ΓΕΝΙΚΑ ΣΧΟΛΗ ΤΜΗΜΑ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ ΟΡΓΑΝΩΣΗΣ ΚΑΙ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ ΔΙΑΧΕΙΡΙΣΗΣ ΠΟΛΙΤΙΣΜΙΚΟΥ ΠΕΡΙΒΑΛΛΟΝΤΟΣ ΚΑΙ ΝΕΩΝ ΤΕΧΝΟΛΟΓΙΩΝ ΠΡΟΠΤΥΧΙΑΚΟ ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ Τ808 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ

Διαβάστε περισσότερα

ΗΥ Λογική. Διδάσκων: Δημήτρης Πλεξουσάκης Καθηγητής

ΗΥ Λογική. Διδάσκων: Δημήτρης Πλεξουσάκης Καθηγητής ΗΥ 180 - Λογική Διδάσκων: Καθηγητής E-mail: dp@csd.uoc.gr Ώρες διδασκαλίας: Δευτέρα, Τετάρτη 4-6 μμ, Αμφ. Β Ώρες φροντιστηρίου: Πέμπτη 4-6 μμ, Αμφ. Β Ώρες γραφείου: Δευτέρα, Τετάρτη 2-4 μμ, Κ.307 Web site:

Διαβάστε περισσότερα

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Ενότητα 1: Εισαγωγή. Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Ενότητα 1: Εισαγωγή. Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Ενότητα 1: Εισαγωγή Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται στην άδεια χρήσης Creative Commons

Διαβάστε περισσότερα

Προδιαγραφές Απαιτήσεων Επικύρωση Απαιτήσεων

Προδιαγραφές Απαιτήσεων Επικύρωση Απαιτήσεων Προδιαγραφές Απαιτήσεων Επικύρωση Απαιτήσεων περιεχόμενα παρουσίασης Προδιαγραφές Απαιτήσεων Έγγραφο Προδιαγραφών Απαιτήσεων λογισμικού (ΕΠΑΛ) Επικύρωση απαιτήσεων Ιχνηλάτηση απαιτήσεων προδιαγραφές απαιτήσεων

Διαβάστε περισσότερα

ΣΧΟΛΗ ΔΙΟΙΚΗΣΗΣ ΚΑΙ ΟΙΚΟΝΟΜΙΑΣ ΤΜΗΜΑ ΔΙΟΙΚΗΣΗ ΕΠΙΧΕΙΡΗΣΕΩΝ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Προπτυχιακό ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ GD2690

ΣΧΟΛΗ ΔΙΟΙΚΗΣΗΣ ΚΑΙ ΟΙΚΟΝΟΜΙΑΣ ΤΜΗΜΑ ΔΙΟΙΚΗΣΗ ΕΠΙΧΕΙΡΗΣΕΩΝ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Προπτυχιακό ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ GD2690 ΣΧΟΛΗ ΔΙΟΙΚΗΣΗΣ ΚΑΙ ΟΙΚΟΝΟΜΙΑΣ ΤΜΗΜΑ ΔΙΟΙΚΗΣΗ ΕΠΙΧΕΙΡΗΣΕΩΝ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Προπτυχιακό ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ GD2690 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ Έκτο ΤΙΤΛΟΣ ΜΑΘΗΜΑΤΟΣ Αγγλικά για Τεχνολογία Πληροφορικής ΑΥΤΟΤΕΛΕΙΣ ΔΙΔΑΚΤΙΚΕΣ

Διαβάστε περισσότερα

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ. Τμήμα Μηχανικών Οικονομίας και Διοίκησης ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Προπτυχιακό ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ ΓΕ0176 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ 9.

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ. Τμήμα Μηχανικών Οικονομίας και Διοίκησης ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Προπτυχιακό ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ ΓΕ0176 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ 9. ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ (1) ΓΕΝΙΚΑ ΣΧΟΛΗ ΤΜΗΜΑ ΠΟΛΥΤΕΧΝΙΚΗ Τμήμα Μηχανικών Οικονομίας και Διοίκησης ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Προπτυχιακό ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ ΓΕ0176 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ 9 ΤΙΤΛΟΣ ΜΑΘΗΜΑΤΟΣ Ανάλυση Δικτύων

Διαβάστε περισσότερα

Πληροφορική & Νέο Λύκειο (Εισαγωγή)

Πληροφορική & Νέο Λύκειο (Εισαγωγή) Πληροφορική & Νέο Λύκειο (Εισαγωγή) Κάθε μαθητής σε κάθε σχολείο πρέπει να έχει την ευκαιρία να μάθει σωστά Πληροφορική (πληροφορικός εναλφαβητισμός) Πληροφορική: Θεωρητική, πειραματική και τεχνολογική

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ. ΕΠΛ342: Βάσεις Δεδομένων. Χειμερινό Εξάμηνο Φροντιστήριο 10 ΛΥΣΕΙΣ. Επερωτήσεις SQL

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ. ΕΠΛ342: Βάσεις Δεδομένων. Χειμερινό Εξάμηνο Φροντιστήριο 10 ΛΥΣΕΙΣ. Επερωτήσεις SQL ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ342: Βάσεις Δεδομένων Χειμερινό Εξάμηνο 2013 Φροντιστήριο 10 ΛΥΣΕΙΣ Επερωτήσεις SQL Άσκηση 1 Για το ακόλουθο σχήμα Suppliers(sid, sname, address) Parts(pid, pname,

Διαβάστε περισσότερα

Κωδικός μαθήματος: (ώρες):

Κωδικός μαθήματος: (ώρες): Γενικές πληροφορίες μαθήματος: Τίτλος μαθήματος: Γεωγραφικά Συστήματα Πληροφοριών Πιστωτικές Κωδικός μαθήματος: CE0-UE1 Φόρτος εργασίας μονάδες: (ώρες): 90 Επίπεδο μαθήματος: Προπτυχιακό Μεταπτυχιακό Τύπος

Διαβάστε περισσότερα

ΕΙΔΙΚΟ ΕΝΤΥΠΟ ΠΕΡΙΓΡΑΦΗΣ ΜΑΘΗΜΑΤΩΝ. Υποχρεωτικής επιλογής (Κατεύθυνσης)

ΕΙΔΙΚΟ ΕΝΤΥΠΟ ΠΕΡΙΓΡΑΦΗΣ ΜΑΘΗΜΑΤΩΝ. Υποχρεωτικής επιλογής (Κατεύθυνσης) ΕΙΔΙΚΟ ΕΝΤΥΠΟ ΠΕΡΙΓΡΑΦΗΣ ΜΑΘΗΜΑΤΩΝ Ακαδημαϊκή Μονάδα: Τομέας: Εργαστήριο/Σπουδαστήριο/Κλινική: Τίτλος Μαθήματος / Θέμα Εργασίας: Κωδικός Μαθήματος: Τύπος Μαθήματος: ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΣΥΣΤΗΜΑΤΑ ΣΤΗΡΙΞΗΣ

Διαβάστε περισσότερα

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ 1. ΓΕΝΙΚΑ ΣΧΟΛΗ ΟΙΚΟΝΟΜΙΑΣ ΔΙΟΙΚΗΣΗΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ & ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Μεταπτυχιακό ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ 3 ο ΤΙΤΛΟΣ ΜΑΘΗΜΑΤΟΣ ΑΥΤΟΤΕΛΕΙΣ

Διαβάστε περισσότερα

Τυπικές Μέθοδοι Ανάλυσης Συστημάτων: Ο Ελεγκτής Μοντέλων SPIN

Τυπικές Μέθοδοι Ανάλυσης Συστημάτων: Ο Ελεγκτής Μοντέλων SPIN Τμήμα Πληροφορικής Α.Π.Θ. Μεταπτυχιακό Πρόγραμμα Σπουδών Ακαδημαϊκό Έτος 2006 2007 2007 Τυπικές Μέθοδοι Ανάλυσης Συστημάτων: Ο Ελεγκτής Μοντέλων SPIN Τρίτη 24 Απριλίου 2007 Ιστορική αναδρομή: Το κόστος

Διαβάστε περισσότερα

ΕΠΙΧΕΙΡΗΣΙΑΚΗ EΡΕΥΝΑ & ΔΙΟΙΚΗΤΙΚΗ ΕΠΙΣΤΗΜΗ OPERATIONS RESEARCH & MANAGEMENT SCIENCE

ΕΠΙΧΕΙΡΗΣΙΑΚΗ EΡΕΥΝΑ & ΔΙΟΙΚΗΤΙΚΗ ΕΠΙΣΤΗΜΗ OPERATIONS RESEARCH & MANAGEMENT SCIENCE ΕΠΙΧΕΙΡΗΣΙΑΚΗ EΡΕΥΝΑ & ΔΙΟΙΚΗΤΙΚΗ OPERATIONS RESEARCH & MANAGEMENT SCIENCE ΚΑΤΕΥΘΥΝΣΗ ΣΠΟΥΔΩΝ Τμήμα Διοικητικής Επιστήμης & Τεχνολογίας Οικονομικό Πανεπιστήμιο Αθηνών 1. Κ. Πραματάρη, Δ.Ε.Τ. / Ο.Π.Α. The

Διαβάστε περισσότερα

3. Περιγράμματα Μαθημάτων Προγράμματος Σπουδών

3. Περιγράμματα Μαθημάτων Προγράμματος Σπουδών 3. Περιγράμματα Μαθημάτων Προγράμματος Σπουδών Στην ενότητα αυτή παρουσιάζονται τα συνοπτικά περιγράμματα των μαθημάτων που διδάσκονται στο Πρόγραμμα Σπουδών, είτε αυτά προσφέρονται από το τμήμα που είναι

Διαβάστε περισσότερα

Θερμοδυναμική - Εργαστήριο

Θερμοδυναμική - Εργαστήριο Θερμοδυναμική - Εργαστήριο Ενότητα 1: Αριθμητικές μέθοδοι στα φαινόμενα μεταφοράς και στη θερμοδυναμική Κυρατζής Νικόλαος Τμήμα Μηχανικών Περιβάλλοντος και Μηχανικών Αντιρρύπανσης ΤΕ Άδειες Χρήσης Το παρόν

Διαβάστε περισσότερα

Πληροφορική. Μάθημα Κατεύθυνσης

Πληροφορική. Μάθημα Κατεύθυνσης Πληροφορική Μάθημα Κατεύθυνσης Σκοπός Μαθήματος Οι μαθητές που θα ακολουθήσουν το μάθημα αυτό θα είναι ικανοί να λύνουν προβλήματα με αλγοριθμικό τρόπο, ακολουθούν τα βήματα του κύκλου ανάπτυξης, ώστε

Διαβάστε περισσότερα

ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ ΜΗΧΑΝΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΤΕ ΣΧΕΔΙΑΣΗ ΜΗΧΑΝΟΛΟΓΙΚΩΝ ΚΑΤΑΣΚΕΥΩΝ ΜΕ Η/Υ (CAD) Διαλέξεις και Εργαστηριακές Ασκήσεις ,5

ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ ΜΗΧΑΝΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΤΕ ΣΧΕΔΙΑΣΗ ΜΗΧΑΝΟΛΟΓΙΚΩΝ ΚΑΤΑΣΚΕΥΩΝ ΜΕ Η/Υ (CAD) Διαλέξεις και Εργαστηριακές Ασκήσεις ,5 1. ΓΕΝΙΚΑ ΣΧΟΛΗ ΤΜΗΜΑ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ ΜΗΧΑΝΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΤΕ Προπτυχιακό ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ 2702002 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ 2 o ΤΙΤΛΟΣ ΜΑΘΗΜΑΤΟΣ ΣΧΕΔΙΑΣΗ ΜΗΧΑΝΟΛΟΓΙΚΩΝ ΚΑΤΑΣΚΕΥΩΝ ΜΕ Η/Υ

Διαβάστε περισσότερα

«Αξιολόγηση ατόμων με αφασία για Επαυξητική και Εναλλακτική Επικοινωνία, σύμφωνα με το μοντέλο συμμετοχής»

«Αξιολόγηση ατόμων με αφασία για Επαυξητική και Εναλλακτική Επικοινωνία, σύμφωνα με το μοντέλο συμμετοχής» Σχολή Επιστημών Υγείας Τμήμα Αποκατάστασης ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ «Αξιολόγηση ατόμων με αφασία για Επαυξητική και Εναλλακτική Επικοινωνία, σύμφωνα με το μοντέλο συμμετοχής» Χρυσάνθη Μοδέστου Λεμεσός, Μάιος,

Διαβάστε περισσότερα

Εργαστήριο Ιατρικής Φυσικής

Εργαστήριο Ιατρικής Φυσικής Γενικές Πληροφορίες για Μέλη ΔΕΠ Ονοματεπώνυμο Αδάμ Αδαμόπουλος Βαθμίδα Επίκουρος Καθηγητής Γνωστικό Αντικείμενο Ιατρική Φυσική Εργαστήριο/Κλινική Εργαστήριο Ιατρικής Φυσικής Γραφείο Τηλέφωνο 25510 30501

Διαβάστε περισσότερα

ΕΙΔΙΚΟ ΕΝΤΥΠΟ ΠΕΡΙΓΡΑΦΗΣ ΜΑΘΗΜΑΤΩΝ. Τμήμα Πληροφορικής. Επιλέξτε. Διαχείριση Γνώσης. Ελεύθερης επιλογής (Ειδίκευσης)

ΕΙΔΙΚΟ ΕΝΤΥΠΟ ΠΕΡΙΓΡΑΦΗΣ ΜΑΘΗΜΑΤΩΝ. Τμήμα Πληροφορικής. Επιλέξτε. Διαχείριση Γνώσης. Ελεύθερης επιλογής (Ειδίκευσης) ΕΙΔΙΚΟ ΕΝΤΥΠΟ ΠΕΡΙΓΡΑΦΗΣ ΜΑΘΗΜΑΤΩΝ Ακαδημαϊκή Μονάδα: Τομέας: Εργαστήριο/Σπουδαστήριο/Κλινική: Τίτλος Μαθήματος / Θέμα Εργασίας: Κωδικός Μαθήματος: Τύπος Μαθήματος: Τμήμα Πληροφορικής Διαχείριση Γνώσης

Διαβάστε περισσότερα

ΕΝΤΥΠΟ ΕΓΓΡΑΦΗΣ ΜΑΘΗΜΑΤΩΝ (Α-Ι) (Πρόγραμμα στις Διεθνείς, Ευρωπαϊκές και Οικονομικές Σπουδές και Πρόγραμμα στα Οικονομικά)

ΕΝΤΥΠΟ ΕΓΓΡΑΦΗΣ ΜΑΘΗΜΑΤΩΝ (Α-Ι) (Πρόγραμμα στις Διεθνείς, Ευρωπαϊκές και Οικονομικές Σπουδές και Πρόγραμμα στα Οικονομικά) ΕΝΤΥΠΟ ΕΓΓΡΑΦΗΣ ΜΑΘΗΜΑΤΩΝ (Α-Ι) (Πρόγραμμα στις Διεθνείς, Ευρωπαϊκές και Οικονομικές Σπουδές και Πρόγραμμα στα Οικονομικά) ΧΕΙΜΕΡΙΝΟ ΕΞΑΜΗΝΟ 217/18 132 ΟΙΚ 111.1 Αρχές Μικροοικονομικής Θεωρίας 7 1159 ΟΙΚ

Διαβάστε περισσότερα

ΠΠΜ 512: Ανάλυση Κινδύνου για Πολιτικούς Μηχανικούς και Μηχανικούς Περιβάλλοντος

ΠΠΜ 512: Ανάλυση Κινδύνου για Πολιτικούς Μηχανικούς και Μηχανικούς Περιβάλλοντος ΠΠΜ 512: Ανάλυση Κινδύνου για Πολιτικούς Μηχανικούς και Μηχανικούς Περιβάλλοντος Εαρινό Εξάµηνο 2010/11 Τρίτη 6:00 µµ 9:00 µµ ΧΩΔ01-002 Το µάθηµα περιλαµβάνει προχωρηµένες έννοιες σε θέµατα πιθανοτήτων,

Διαβάστε περισσότερα

Advanced Subsidiary Unit 1: Understanding and Written Response

Advanced Subsidiary Unit 1: Understanding and Written Response Write your name here Surname Other names Edexcel GE entre Number andidate Number Greek dvanced Subsidiary Unit 1: Understanding and Written Response Thursday 16 May 2013 Morning Time: 2 hours 45 minutes

Διαβάστε περισσότερα

ΔΟΜΗ ΠΑΛΑΙΟΥ ΠΡΟΓΡΑΜΜΑΤΟΣ ΣΠΟΥΔΩΝ ( )

ΔΟΜΗ ΠΑΛΑΙΟΥ ΠΡΟΓΡΑΜΜΑΤΟΣ ΣΠΟΥΔΩΝ ( ) ΔΟΜΗ ΠΑΛΑΙΟ ΠΡΟΓΡΑΜΜΑΤΟΣ ΣΠΟΔΩΝ (00-007) Τ.Ε.Ι. ΛΑΜΙΑΣ / ΣΤΕΦ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ & ΤΕΧΝΟΛΟΓΙΑΣ ΠΟΛ/ΣΤΩΝ ΑΚΑΔΗΜΑΪΚΟ ΕΤΟΣ 0-03 ΠΡΟΣΟΧΗ! Αφορά σπουδαστές που εισήχθηκαν μέχρι και το 007-08 Εαρινό. ΕΞΑΜΗΝΟ

Διαβάστε περισσότερα

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ 1.ΓΕΝΙΚΑ ΣΧΟΛΗ ΕΠΙΣΤΗΜΩΝ ΥΓΕΙΑΣ & ΠΡΟΝΟΙΑΣ ΤΜΗΜΑ ΒΙΟΙΑΤΡΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΚΑΤΕΥΘΥΝΣΗ ΑΙΣΘΗΤΙΚΗΣ ΚΑΙ ΚΟΣΜΗΤΟΛΟΓΙΑΣ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ ΠΡΟΠΤΥΧΙΑΚΟ ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ 8011 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ Η

Διαβάστε περισσότερα

ΒΙΟΜΗΧΑΝΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ

ΒΙΟΜΗΧΑΝΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ ΠΜΣ - ΕΠΙΣΤΗΜΗ ΚΑΙ ΤΕΧΝΟΛΟΓΙΑ ΤΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΒΙΟΜΗΧΑΝΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ (Industrial Informatics) Α. ΒΕΛΩΝΗ Σ. ΦΑΤΟΥΡΟΣ ΒΙΟΜΗΧΑΝΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ Η Βιομηχανική Πληροφορική είναι ο εξειδικευμένος

Διαβάστε περισσότερα

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ 1. ΓΕΝΙΚΑ ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ ΣΧΟΛΗ ΤΜΗΜΑ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Τεχνολογικών Εφαρμογών Ηλεκτρολόγων Μηχανικών Τ.Ε. Προπτυχιακό ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ ΖΝ7 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ 7 ο ΤΙΤΛΟΣ ΜΑΘΗΜΑΤΟΣ ΤΕΧΝΟΛΟΓΙΑ GRID ΑΥΤΟΤΕΛΕΙΣ

Διαβάστε περισσότερα

ECTS ΕΥΡΩΠΑΪΚΟ ΣΥΣΤΗΜΑ ΜΕΤΑΦΟΡΑΣ ΑΚΑΔΗΜΑΪΚΩΝ ΜΟΝΑΔΩΝ ΣΤΗΝ ΕΥΡΩΠΑΪΚΗ ΕΝΩΣΗ. (Α) Λίστα με τα στοιχεία των μαθημάτων στα ελληνικά

ECTS ΕΥΡΩΠΑΪΚΟ ΣΥΣΤΗΜΑ ΜΕΤΑΦΟΡΑΣ ΑΚΑΔΗΜΑΪΚΩΝ ΜΟΝΑΔΩΝ ΣΤΗΝ ΕΥΡΩΠΑΪΚΗ ΕΝΩΣΗ. (Α) Λίστα με τα στοιχεία των μαθημάτων στα ελληνικά ECTS ΕΥΡΩΠΑΪΚΟ ΣΥΣΤΗΜΑ ΜΕΤΑΦΟΡΑΣ ΑΚΑΔΗΜΑΪΚΩΝ ΜΟΝΑΔΩΝ ΣΤΗΝ ΕΥΡΩΠΑΪΚΗ ΕΝΩΣΗ (Α) Λίστα με τα στοιχεία των μαθημάτων στα ελληνικά Γενικές πληροφορίες μαθήματος: Τίτλος μαθήματος: Ειδικές Χωρικές Κωδικός CE08-xx

Διαβάστε περισσότερα

Συγγραφή κώδικα, δοκιμασία, επαλήθευση. Γιάννης Σμαραγδάκης

Συγγραφή κώδικα, δοκιμασία, επαλήθευση. Γιάννης Σμαραγδάκης Συγγραφή κώδικα, δοκιμασία, επαλήθευση Γιάννης Σμαραγδάκης Προδιαγραφή απαιτήσεων Σχεδιασμός συνεπείς σχέσεις Υψηλό επίπεδο συνεπείς σχέσεις Χαμηλό επίπεδο συνεπείς σχέσεις Πλάνο δοκιμών Κώδικας Συγγραφή

Διαβάστε περισσότερα

ΠΠΜ 512: Ανάλυση Κινδύνου για Πολιτικούς Μηχανικούς και Μηχανικούς Περιβάλλοντος

ΠΠΜ 512: Ανάλυση Κινδύνου για Πολιτικούς Μηχανικούς και Μηχανικούς Περιβάλλοντος ΠΠΜ 512: Ανάλυση Κινδύνου για Πολιτικούς Μηχανικούς και Μηχανικούς Περιβάλλοντος Εαρινό Εξάμηνο 2008 Τρίτη 6:00 μμ 9:00 μμ ΧΩΔ01-101 Το μάθημα περιλαμβάνει προχωρημένες έννοιες σε θέματα πιθανοτήτων, συλλογής

Διαβάστε περισσότερα

ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΑΚΑΔΗΜΑΪΚΟΥ ΕΤΟΥΣ

ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΑΚΑΔΗΜΑΪΚΟΥ ΕΤΟΥΣ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΑΚΑΔΗΜΑΪΚΟΥ ΕΤΟΥΣ 2019 2020 Τίτλος μαθήματος ΩΡΕΣ Υ/Ε/Ξ.Γ. Κατεύθυνση ECTS 1ο εξάμηνο ΑΝΑΛΥΣΗ Ι // ANALYSIS I ΑΡΧΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ // INTRODUCTION TO PROGRAMMING ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΕΠΙΣΤΗΜΗ

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΕΙΣΑΓΩΓΙΚΗ ΚΑΤΕΥΘΥΝΣΗ: ΣΤΑΤΙΣΤΙΚΗΣ & ΑΝΑΛΟΓΙΣΤΙΚΩΝ ΧΡΗΜΑΤΟΟΙΚΟΝΟΜΙΚΩΝ ΜΑΘΗΜΑΤΙΚΩΝ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΕΙΣΑΓΩΓΙΚΗ ΚΑΤΕΥΘΥΝΣΗ: ΣΤΑΤΙΣΤΙΚΗΣ & ΑΝΑΛΟΓΙΣΤΙΚΩΝ ΧΡΗΜΑΤΟΟΙΚΟΝΟΜΙΚΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΕΙΣΑΓΩΓΙΚΗ ΚΑΤΕΥΘΥΝΣΗ: ΣΤΑΤΙΣΤΙΚΗΣ & ΑΝΑΛΟΓΙΣΤΙΚΩΝ ΧΡΗΜΑΤΟΟΙΚΟΝΟΜΙΚΩΝ ΜΑΘΗΜΑΤΙΚΩΝ Καρλόβασι, 27/10/2016 ΑΝΑΚΟΙΝΩΣΗ Ημερομηνίες Δηλώσεων Μαθημάτων

Διαβάστε περισσότερα

ΕΠΛ 476: ΚΙΝΗΤΑ ΔΙΚΤΥΑ ΥΠΟΛΟΓΙΣΤΩΝ

ΕΠΛ 476: ΚΙΝΗΤΑ ΔΙΚΤΥΑ ΥΠΟΛΟΓΙΣΤΩΝ ΕΠΛ 476: ΚΙΝΗΤΑ ΔΙΚΤΥΑ ΥΠΟΛΟΓΙΣΤΩΝ Δρ. Χριστόφορος Χριστοφόρου Πανεπιστήμιο Κύπρου - Τμήμα Πληροφορικής Περιγραφή Μαθήματος, Συμβόλαιο Γενικά 1 Στόχοι Μαθήματος: Nα γίνει μια εισαγωγή σε ασύρματα και κινητά

Διαβάστε περισσότερα

Α Typing System for Privacy

Α Typing System for Privacy Α Typing System for Privacy Dimitrios Kouzapas * and Anna Philippou * * Department of Computing, Imperial College London ** Department of Computer Science, University of Cyprus 18 Μαρτίου 2014 ΕΠΛ671 Ερευνητικές

Διαβάστε περισσότερα

723 Τεχνολογίας Πληροφορικής και Τηλεπικοινωνιών ΤΕΙ Λάρισας

723 Τεχνολογίας Πληροφορικής και Τηλεπικοινωνιών ΤΕΙ Λάρισας 723 Τεχνολογίας Πληροφορικής και Τηλεπικοινωνιών ΤΕΙ Λάρισας Το Τμήμα Τεχνολογίας Πληροφορικής και Τηλεπικοινωνιών του ΤΕΙ Λάρισας ιδρύθηκε με το Προεδρικό Διάταγμα 200/1999 (ΦΕΚ 179 06/09/99), με πρώτο

Διαβάστε περισσότερα

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ 1. ΓΕΝΙΚΑ ΣΧΟΛΗ Σ.Τ.ΕΦ ΑΕΙ ΠΕΙΡΑΙΑ Τ.Τ. ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΑΥΤΟΜΑΤΙΣΜΟΥ Τ.Ε. ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ ΠΡΟΠΤΥΧΙΑΚΟ ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ 2201301 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ Γ ΤΙΤΛΟΣ ΜΑΘΗΜΑΤΟΣ ΕΦΑΡΜΟΣΜΕΝΑ ΜΑΘΗΜΑΤΙΚΑ

Διαβάστε περισσότερα

Εκπαιδευτική Ρομποτική

Εκπαιδευτική Ρομποτική Διάλεξη 9 Εκπαιδευτική Ρομποτική Εφαρμογές ΤΠΕ στην Εκπαίδευση & την Ειδική Αγωγή Χαράλαμπος Καραγιαννίδης karagian@uth.gr Διάλεξη 9: RoboEcs 1/13 29/11/2016 Σύνοψη μαθήματος 1. Εισαγωγή 2. Περιβάλλοντα

Διαβάστε περισσότερα

Τμήμα Τηλεπικοινωνιακών Συστημάτων και Δικτύων. Εξάμηνο E

Τμήμα Τηλεπικοινωνιακών Συστημάτων και Δικτύων. Εξάμηνο E Τμήμα Τηλεπικοινωνιακών Συστημάτων και Δικτύων Εξάμηνο E Μαθήματα Υποδομής - Δίκτυα ΙΙ - 2Θ + 1Α + 2Ε - Προαπαιτούμενα - - Ο σκοπός του είναι η διδασκαλία της τεχνολογίας δικτύων που στηρίζονται στη μεταγωγή

Διαβάστε περισσότερα

ΕΠΛ 476: ΚΙΝΗΤΑ ΔΙΚΤΥΑ ΥΠΟΛΟΓΙΣΤΩΝ

ΕΠΛ 476: ΚΙΝΗΤΑ ΔΙΚΤΥΑ ΥΠΟΛΟΓΙΣΤΩΝ ΕΠΛ 476: ΚΙΝΗΤΑ ΔΙΚΤΥΑ ΥΠΟΛΟΓΙΣΤΩΝ Δρ. Χριστόφορος Χριστοφόρου Πανεπιστήμιο Κύπρου - Τμήμα Πληροφορικής Περιγραφή Μαθήματος, Συμβόλαιο Γενικά 1 Στόχοι Μαθήματος: Nα γίνει μια εισαγωγή σε ασύρματα και κινητά

Διαβάστε περισσότερα

ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ. Μάθημα 2 ο : Βασικές έννοιες. Γεώργιος Πετάσης. Ακαδημαϊκό Έτος:

ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ. Μάθημα 2 ο : Βασικές έννοιες. Γεώργιος Πετάσης. Ακαδημαϊκό Έτος: ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ Μάθημα 2 ο : Βασικές έννοιες Γεώργιος Πετάσης Ακαδημαϊκό Έτος: 2012 2013 ΤMHMA MHXANIKΩΝ Η/Υ & ΠΛΗΡΟΦΟΡΙΚΗΣ, Πανεπιστήμιο Πατρών, 2012 2013 Γλωσσική Τεχνολογία, Μάθημα 2 ο, Βασικές

Διαβάστε περισσότερα

Πρόταση για Πρόγραμμα Σπουδών του ΕΠΛ, 2009

Πρόταση για Πρόγραμμα Σπουδών του ΕΠΛ, 2009 Πρόταση για Πρόγραμμα Σπουδών του ΕΠΛ, 2009 Η επόμενη πρόταση είναι μια σύγκλιση των προτάσεων που υπέβαλλαν στην Επιτροπή Προγράμματος Σπουδών τα μέλη της: Κώστας Μαργαρίτης Βασιλική Μάνθου Γιώργος Στεφανίδης

Διαβάστε περισσότερα

ΤΕΧΝΟΛΟΓΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΝΟΣΗΛΕΥΤΙΚΗΣ

ΤΕΧΝΟΛΟΓΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΝΟΣΗΛΕΥΤΙΚΗΣ ΤΕΧΝΟΛΟΓΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΝΟΣΗΛΕΥΤΙΚΗΣ Επιβλέπων Καθηγητής: Δρ. Νίκος Μίτλεττον Η ΣΧΕΣΗ ΤΟΥ ΜΗΤΡΙΚΟΥ ΘΗΛΑΣΜΟΥ ΜΕ ΤΗΝ ΕΜΦΑΝΙΣΗ ΣΑΚΧΑΡΩΔΗ ΔΙΑΒΗΤΗ ΤΥΠΟΥ 2 ΣΤΗΝ ΠΑΙΔΙΚΗ ΗΛΙΚΙΑ Ονοματεπώνυμο: Ιωσηφίνα

Διαβάστε περισσότερα

þÿ ÀÌ Ä º± µä À ¹ ¼ ½

þÿ ÀÌ Ä º± µä À ¹ ¼ ½ Neapolis University HEPHAESTUS Repository School of Economic Sciences and Business http://hephaestus.nup.ac.cy Master Degree Thesis 2016 þÿ ÀÌ Ä º± µä À ¹ ¼ ½ þÿµºà±¹ µåä¹ºì ¹ ¹º ĹºÌ ÃÍÃÄ ¼± þÿãä ½ º±Ä±½µ¼

Διαβάστε περισσότερα

Αυτοματοποιημένη Επαλήθευση

Αυτοματοποιημένη Επαλήθευση Αυτοματοποιημένη Επαλήθευση Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Έλεγχος Μοντέλου Αλγόριθμοι γράφων Αλγόριθμοι αυτομάτων Αυτόματα ως προδιαγραφές ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 4-1

Διαβάστε περισσότερα

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ 1. ΓΕΝΙΚΑ ΣΧΟΛΗ ΟΙΚΟΝΟΜΙΑΣ ΔΙΟΙΚΗΣΗΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ & ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Μεταπτυχιακό ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ ΤΙΤΛΟΣ ΜΑΘΗΜΑΤΟΣ Επεξεργασία

Διαβάστε περισσότερα

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ: ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΠΙΘΑΝΟΤΗΤΕΣ (ΜΑΥ331) ΜΑY331 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ 3 ο

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ: ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΠΙΘΑΝΟΤΗΤΕΣ (ΜΑΥ331) ΜΑY331 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ 3 ο ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ: ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΠΙΘΑΝΟΤΗΤΕΣ (ΜΑΥ331) ΓΕΝΙΚΑ ΣΧΟΛΗ ΤΜΗΜΑ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ ΤΙΤΛΟΣ ΜΑΘΗΜΑΤΟΣ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΠΡΟΠΤΥΧΙΑΚΟ ΜΑY331 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ 3 ο Εισαγωγή

Διαβάστε περισσότερα

Ανάκτηση Πληροφορίας

Ανάκτηση Πληροφορίας Το Πιθανοκρατικό Μοντέλο Κλασικά Μοντέλα Ανάκτησης Τρία είναι τα, λεγόμενα, κλασικά μοντέλα ανάκτησης: Λογικό (Boolean) που βασίζεται στη Θεωρία Συνόλων Διανυσματικό (Vector) που βασίζεται στη Γραμμική

Διαβάστε περισσότερα

Χρόνος και Άλγεβρες Διεργασιών

Χρόνος και Άλγεβρες Διεργασιών Χρόνος και Άλγεβρες Διεργασιών Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Συστήματα μεταβάσεων με χρόνος Η Χρονική CCS: σύνταξη και σημασιολογία ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 12-1 Συστήματα

Διαβάστε περισσότερα

Το Software Engineering µεµιαάλληµατιά. Σαµαρά Χρυσή Software Engineer - Programmer BETA CAE Systems S.A.

Το Software Engineering µεµιαάλληµατιά. Σαµαρά Χρυσή Software Engineer - Programmer BETA CAE Systems S.A. Το Software Engineering µεµιαάλληµατιά Σαµαρά Χρυσή Software Engineer - Programmer BETA CAE Systems S.A. Background Computer Science Department at Aristotle University of Thessaloniki Master in Information

Διαβάστε περισσότερα

Ηµερίδα: Γεωπληροφορική και Εκπαίδευση Η Ελληνική Πραγµατικότητα Χαροκόπειο Πανεπιστήµιο ευτέρα και Τρίτη, 21-22 Maΐου 2007. Γεώργιος Ν.

Ηµερίδα: Γεωπληροφορική και Εκπαίδευση Η Ελληνική Πραγµατικότητα Χαροκόπειο Πανεπιστήµιο ευτέρα και Τρίτη, 21-22 Maΐου 2007. Γεώργιος Ν. Ηµερίδα: Γεωπληροφορική και Εκπαίδευση Η Ελληνική Πραγµατικότητα Χαροκόπειο Πανεπιστήµιο ευτέρα και Τρίτη, 21-22 Maΐου 2007 Γεώργιος Ν. Φώτης Geoinformatics Geoinformatics is a science which develops and

Διαβάστε περισσότερα

ΒΙΟΓΡΑΦΙΚΟ ΣΗΜΕΙΩΜΑ. 12 Σεπτεμβρίου 1976. Έγγαμος με ένα παιδί. Καβάλα

ΒΙΟΓΡΑΦΙΚΟ ΣΗΜΕΙΩΜΑ. 12 Σεπτεμβρίου 1976. Έγγαμος με ένα παιδί. Καβάλα ΛΕΩΝΙΔΑΣ Λ. ΦΡΑΓΓΙΔΗΣ ΒΙΟΓΡΑΦΙΚΟ ΣΗΜΕΙΩΜΑ ΠΡΟΣΩΠΙΚΑ ΣΤΟΙΧΕΙΑ Ημερομηνία Γέννησης: Οικ. Κατάσταση: Τόπος Γέννησης: Ηλεκτρονική Διεύθυνση: 12 Σεπτεμβρίου 1976 Έγγαμος με ένα παιδί Καβάλα modip-tech@duth.gr

Διαβάστε περισσότερα

Πτυχιακή διατριβή. Η επίδραση της τασιενεργής ουσίας Ακεταλδεΰδης στη δημιουργία πυρήνων συμπύκνωσης νεφών (CCN) στην ατμόσφαιρα

Πτυχιακή διατριβή. Η επίδραση της τασιενεργής ουσίας Ακεταλδεΰδης στη δημιουργία πυρήνων συμπύκνωσης νεφών (CCN) στην ατμόσφαιρα ΤΕΧΝΟΛΟΓΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΣΧΟΛΗ ΓΕΩΤΕΧΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΚΑΙ ΔΙΑΧΕΙΡΙΣΗΣ ΠΕΡΙΒΑΛΛΟΝΤΟΣ Πτυχιακή διατριβή Η επίδραση της τασιενεργής ουσίας Ακεταλδεΰδης στη δημιουργία πυρήνων συμπύκνωσης νεφών (CCN)

Διαβάστε περισσότερα

ΕΠΙΧΕΙΡΗΣΙΑΚΗ ΕΡΕΥΝΑ ΒΕΛΤΙΣΤΟΠΟΙΗΣΗ ΠΑΡΑΓΩΓΙΚΩΝ ΣΥΣΤΗΜΑΤΩΝ ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ

ΕΠΙΧΕΙΡΗΣΙΑΚΗ ΕΡΕΥΝΑ ΒΕΛΤΙΣΤΟΠΟΙΗΣΗ ΠΑΡΑΓΩΓΙΚΩΝ ΣΥΣΤΗΜΑΤΩΝ ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ ΕΠΙΧΕΙΡΗΣΙΑΚΗ ΕΡΕΥΝΑ ΒΕΛΤΙΣΤΟΠΟΙΗΣΗ ΠΑΡΑΓΩΓΙΚΩΝ ΣΥΣΤΗΜΑΤΩΝ ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ 1. ΓΕΝΙΚΑ ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ ΤΜΗΜΑ ΜΗΧΑΝΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ Τ.Ε. ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Προπτυχιακό ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ 711

Διαβάστε περισσότερα

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ 1. ΓΕΝΙΚΑ ΣΧΟΛΗ ΟΙΚΟΝΟΜΙΑΣ ΔΙΟΙΚΗΣΗΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ & ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Μεταπτυχιακό ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ ΤΙΤΛΟΣ ΜΑΘΗΜΑΤΟΣ ΑΥΤΟΤΕΛΕΙΣ

Διαβάστε περισσότερα

κεφάλαιο Βασικές Έννοιες Επιστήμη των Υπολογιστών

κεφάλαιο Βασικές Έννοιες Επιστήμη των Υπολογιστών κεφάλαιο 1 Βασικές Έννοιες Επιστήμη 9 1Εισαγωγή στις Αρχές της Επιστήμης των Η/Υ Στόχοι Στόχος του κεφαλαίου είναι οι μαθητές: να γνωρίσουν βασικές έννοιες και τομείς της Επιστήμης. Λέξεις κλειδιά Επιστήμη

Διαβάστε περισσότερα

Θεμελιώδη Θέματα Επιστήμης Υπολογιστών

Θεμελιώδη Θέματα Επιστήμης Υπολογιστών http://www.corelab.ntua.gr/courses/ Θεμελιώδη Θέματα Επιστήμης Υπολογιστών 5ο εξάμηνο ΣΕΜΦΕ Ενότητα 0: Εισαγωγή Διδάσκοντες: Στάθης Ζάχος, Άρης Παγουρτζής Υπεύθυνη εργαστηρίου / ασκήσεων: Δώρα Σούλιου

Διαβάστε περισσότερα

Πιστοποίηση επάρκειας ικανότητας φορέων ( ΚΠΣ)

Πιστοποίηση επάρκειας ικανότητας φορέων ( ΚΠΣ) Risk Advisory Services Πιστοποίηση επάρκειας ικανότητας φορέων ( ΚΠΣ) Ιωάννης Σουφλής, ιευθυντής 9 Ιουλίου 2006 AUDIT / TAX / ADVISORY / LINE OF BUSINESS Πίνακας περιεχοµένων Αποτελέσµατα ελέγχων Επίδειξη

Διαβάστε περισσότερα

Κωδικοποίηση και Έλεγχος Ορθότητας

Κωδικοποίηση και Έλεγχος Ορθότητας Κωδικοποίηση και Έλεγχος Ορθότητας περιεχόμενα περουσίασης Κωδικοποίηση Πρότυπα και διαδικασίες κωδικοποίησης Τεκμηρίωση Διαχείριση εκδόσεων Έλεγχος ορθότητας λογισμικού κωδικοποίηση διαχείριση εκδόσεων

Διαβάστε περισσότερα

ΕΘΝΙΚΗ ΥΟΛΗ ΔΗΜΟΙΑ ΔΙΟΙΚΗΗ ΙH ΕΚΠΑΙΔΕΤΣΙΚΗ ΕΙΡΑ ΤΜΗΜΑ ΚΟΙΝΩΝΙΚΗΣ ΔΙΟΙΚΗΣΗΣ ΔΙΟΙΚΗΣΗ ΜΟΝΑΔΩΝ ΥΓΕΙΑΣ ΤΕΛΙΚΗ ΕΡΓΑΣΙΑ

ΕΘΝΙΚΗ ΥΟΛΗ ΔΗΜΟΙΑ ΔΙΟΙΚΗΗ ΙH ΕΚΠΑΙΔΕΤΣΙΚΗ ΕΙΡΑ ΤΜΗΜΑ ΚΟΙΝΩΝΙΚΗΣ ΔΙΟΙΚΗΣΗΣ ΔΙΟΙΚΗΣΗ ΜΟΝΑΔΩΝ ΥΓΕΙΑΣ ΤΕΛΙΚΗ ΕΡΓΑΣΙΑ Δ ΕΘΝΙΚΗ ΥΟΛΗ ΔΗΜΟΙΑ ΔΙΟΙΚΗΗ ΙH ΕΚΠΑΙΔΕΤΣΙΚΗ ΕΙΡΑ ΤΜΗΜΑ ΚΟΙΝΩΝΙΚΗΣ ΔΙΟΙΚΗΣΗΣ ΔΙΟΙΚΗΣΗ ΜΟΝΑΔΩΝ ΥΓΕΙΑΣ ΤΕΛΙΚΗ ΕΡΓΑΣΙΑ Θέμα: «Αποκενηρωμένες δομές ζηο ζύζηημα σγείας ηης Ασζηρίας : Μια ζσζηημαηική θεωρηηική

Διαβάστε περισσότερα

ΣΧΟΛΗ ΔΙΟΙΚΗΣΗΣ ΚΑΙ ΟΙΚΟΝΟΜΙΑΣ ΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Μαθήματα Ειδικής Υποδομής Υποχρεωτικά. Εργαστήριο 2 Παραδόσεις 3

ΣΧΟΛΗ ΔΙΟΙΚΗΣΗΣ ΚΑΙ ΟΙΚΟΝΟΜΙΑΣ ΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Μαθήματα Ειδικής Υποδομής Υποχρεωτικά. Εργαστήριο 2 Παραδόσεις 3 ΣΧΟΛΗ ΔΙΟΙΚΗΣΗΣ ΚΑΙ ΟΙΚΟΝΟΜΙΑΣ ΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Μαθήματα Ειδικής Υποδομής Υποχρεωτικά ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ GD2530 ΤΙΤΛΟΣ ΜΑΘΗΜΑΤΟΣ Βάσεις Δεδομένων Ι ΑΥΤΟΤΕΛΕΙΣ ΔΙΔΑΚΤΙΚΕΣ ΔΡΑΣΤΗΡΙΟΤΗΤΕΣ

Διαβάστε περισσότερα

ΠΡΟΓΡΑΜΜΑ ΠΡΟΠΤΥΧΙΑΚΩΝ ΣΠΟΥΔΩΝ

ΠΡΟΓΡΑΜΜΑ ΠΡΟΠΤΥΧΙΑΚΩΝ ΣΠΟΥΔΩΝ ΩΡΟΛΟΓΙΟ ΠΡΟΓΡΑΜΜΑ ΔΙΔΑΣΚΑΛΙΑΣ ΜΑΘΗΜΑΤΩΝ Α ΕΞΑΜΗΝΟΥ - ΜΑΘΗΜΑΤΑ ΚΟΡΜΟΥ ΩΡΕΣ ΜΑΘΗΜΑ ΧΩΡΟΣ ΜΑΘΗΜΑ ΧΩΡΟΣ ΜΑΘΗΜΑ ΧΩΡΟΣ ΜΑΘΗΜΑ ΧΩΡΟΣ ΜΑΘΗΜΑ ΧΩΡΟΣ (Α-Λ) (Μ-Ω) Πληροφοριακά Συστήματα Διοίκησης ΑΜΦ 13 Διοίκησης

Διαβάστε περισσότερα

ΣΧΟΛΗ ΔΙΟΙΚΗΣΗΣ ΚΑΙ ΟΙΚΟΝΟΜΙΑΣ ΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Προπτυχιακό

ΣΧΟΛΗ ΔΙΟΙΚΗΣΗΣ ΚΑΙ ΟΙΚΟΝΟΜΙΑΣ ΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Προπτυχιακό ΣΧΟΛΗ ΔΙΟΙΚΗΣΗΣ ΚΑΙ ΟΙΚΟΝΟΜΙΑΣ ΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Προπτυχιακό ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ GD2570 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ Πέμπτο ΤΙΤΛΟΣ ΜΑΘΗΜΑΤΟΣ Συστήματα Ηλεκτρονικών Πληρωμών ΑΥΤΟΤΕΛΕΙΣ ΔΙΔΑΚΤΙΚΕΣ

Διαβάστε περισσότερα

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ (1) ΓΕΝΙΚΑ ΣΧΟΛΗ ΜΗΧΑΝΙΚΩΝ ΤΜΗΜΑ ΝΑΥΠΗΓΩΝ ΜΗΧΑΝΙΚΩΝ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ ΠΡΟΠΤΥΧΙΑΚΟ ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ NAOΜE1325 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ 4 o ΤΙΤΛΟΣ ΜΑΘΗΜΑΤΟΣ ΑΝΤΙΣΤΑΣΗ ΠΡΟΩΣΗ ΥΔΡΟΔΥΝΑΜΙΚΗ ΠΛΟΙΟΥ

Διαβάστε περισσότερα

Δείγμα & Δειγματοληψία στην Έρευνα ΤΕΧΝΙΚΕΣ ΕΡΕΥΝΑΣ (#252) Θυμηθείτε. Γιατί δειγματοληψία; Δειγματοληψία

Δείγμα & Δειγματοληψία στην Έρευνα ΤΕΧΝΙΚΕΣ ΕΡΕΥΝΑΣ (#252) Θυμηθείτε. Γιατί δειγματοληψία; Δειγματοληψία Θυμηθείτε εισήγηση 7η Δείγμα & Δειγματοληψία στην Έρευνα ΤΕΧΝΙΚΕΣ ΕΡΕΥΝΑΣ (#252) Η Στατιστική είναι ένας μηχανισμός που από τα δεδομένα παράγει πληροφόρηση: Δεδομένα Στατιστική Πληροφορίες Αλλά από πού

Διαβάστε περισσότερα

Ζητήματα Διδακτικής των Γεωγραφικών Συστημάτων Πληροφοριών

Ζητήματα Διδακτικής των Γεωγραφικών Συστημάτων Πληροφοριών Δι- ημερίδα «Γεωπληροφορική και Εκπαίδευση Η Ελληνική πραγματικότητα» Χαροκόπειο Πανεπιστήμιο - HellasGI 21-22 Μαίου 2007 Ζητήματα Διδακτικής των Γεωγραφικών Συστημάτων Πληροφοριών Βασίλης Παππάς, Επίκουρος

Διαβάστε περισσότερα

Ειδικής Υποδομής Υποχρεωτικό

Ειδικής Υποδομής Υποχρεωτικό ΣΧΟΛΗ ΔΙΟΙΚΗΣΗΣ ΚΑΙ ΟΙΚΟΝΟΜΙΑΣ ΤΜΗΜΑ ΔΙΟΙΚΗΣΗ ΕΠΙΧΕΙΡΗΣΕΩΝ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Προπτυχιακό ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ GD560 ΤΙΤΛΟΣ ΜΑΘΗΜΑΤΟΣ Ψηφιακά Συστήματα ΑΥΤΟΤΕΛΕΙΣ ΔΙΔΑΚΤΙΚΕΣ ΔΡΑΣΤΗΡΙΟΤΗΤΕΣ σε περίπτωση που οι

Διαβάστε περισσότερα

FORTRAN & Αντικειμενοστραφής Προγραμματισμός ΣΝΜΜ 2016

FORTRAN & Αντικειμενοστραφής Προγραμματισμός ΣΝΜΜ 2016 FORTRAN & Αντικειμενοστραφής Προγραμματισμός ΣΝΜΜ 2016 Δρ. Γεώργιος Παπαλάμπρου Επικ. Καθηγητής ΕΜΠ Εργαστήριο Ναυτικής Μηχανολογίας george.papalambrou@lme.ntua.gr ΕΜΠ/ΣΝΜΜ Εργαστήριο Ναυτικής Μηχανολογίας

Διαβάστε περισσότερα

HY112 Φυσική Ι. Μια πρώτη εισαγωγή

HY112 Φυσική Ι. Μια πρώτη εισαγωγή HY112 Φυσική Ι Μια πρώτη εισαγωγή Περίγραμμα Εισαγωγή Στόχος Διδασκαλία Σχέδιο Μαθήματος Αξιολόγηση Βιβλιογραφία Επικοινωνία Περίγραμμα Εισαγωγή Στόχος Διδασκαλία Σχέδιο Μαθήματος Αξιολόγηση Βιβλιογραφία

Διαβάστε περισσότερα

ΕΦΑΡΜΟΣΜΕΝΗ ΣΤΑΤΙΣΤΙΚΗ

ΕΦΑΡΜΟΣΜΕΝΗ ΣΤΑΤΙΣΤΙΚΗ ΕΦΑΡΜΟΣΜΕΝΗ ΣΤΑΤΙΣΤΙΚΗ 1. ΓΕΝΙΚΑ ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΑΣ ΓΕΩΠΟΝΙΑΣ και ΤΕΧΝΟΛΟΓΙΑΣ ΤΡΟΦΙΜΩΝ ΤΜΗΜΑ ΤΕΧΝΟΛΟΓΩΝ ΓΕΩΠΟΝΩΝ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Προπτυχιακό ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ FGA540 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ 5 ο ΤΙΤΛΟΣ ΜΑΘΗΜΑΤΟΣ

Διαβάστε περισσότερα

Ατομική Διπλωματική Εργασία ΈΛΕΓΧΟΣ ΛΟΓΙΣΜΙΚΟΥ ΜΕ ΤΗ ΧΡΗΣΗ ΜΟΝΤΕΛΩΝ : ΘΕΩΡΗΤΙΚΗ ΠΡΟΣΑΡΜΟΓΗ ΑΚΟΛΟΥΘΙΑΚΩΝ ΔΙΑΓΡΑΜΜΑΤΩΝ.

Ατομική Διπλωματική Εργασία ΈΛΕΓΧΟΣ ΛΟΓΙΣΜΙΚΟΥ ΜΕ ΤΗ ΧΡΗΣΗ ΜΟΝΤΕΛΩΝ : ΘΕΩΡΗΤΙΚΗ ΠΡΟΣΑΡΜΟΓΗ ΑΚΟΛΟΥΘΙΑΚΩΝ ΔΙΑΓΡΑΜΜΑΤΩΝ. Ατομική Διπλωματική Εργασία ΈΛΕΓΧΟΣ ΛΟΓΙΣΜΙΚΟΥ ΜΕ ΤΗ ΧΡΗΣΗ ΜΟΝΤΕΛΩΝ : ΘΕΩΡΗΤΙΚΗ ΠΡΟΣΑΡΜΟΓΗ ΑΚΟΛΟΥΘΙΑΚΩΝ ΔΙΑΓΡΑΜΜΑΤΩΝ Ευγενία Βασιλείου ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ Μάϊος 2009 ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ

Διαβάστε περισσότερα

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ 1. ΓΕΝΙΚΑ

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ 1. ΓΕΝΙΚΑ ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ 1. ΓΕΝΙΚΑ ΣΧΟΛΗ ΠΟΛΥΤΕΧΝΙΚΗ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ Η/Υ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ ΠΡΟΠΤΥΧΙΑΚΟ ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ CEID_ΝΥ343 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ ΕΑΡΙΝΟ ΤΙΤΛΟΣ ΜΑΘΗΜΑΤΟΣ ΕΠΙΣΤΗΜΟΝΙΚΟΣ ΥΠΟΛΟΓΙΣΜΟΣ

Διαβάστε περισσότερα

ΜΑΜ Κωδικός Τίτλος Μαθήματος ΠΜ 11387 ΕΠΛ 341 Τεχνητή Νοημοσύνη 7.5. Ελπίδα Κεραυνού-Παπαηλιού (elpida@ucy.ac.cy)

ΜΑΜ Κωδικός Τίτλος Μαθήματος ΠΜ 11387 ΕΠΛ 341 Τεχνητή Νοημοσύνη 7.5. Ελπίδα Κεραυνού-Παπαηλιού (elpida@ucy.ac.cy) ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΜΑΜ Κωδικός Τίτλος Μαθήματος ΠΜ 11387 ΕΠΛ 341 Τεχνητή Νοημοσύνη 7.5 Διδάσκων/ουσα Ελπίδα Κεραυνού-Παπαηλιού (elpida@ucy.ac.cy) Εξάμηνο Εαρινό Ακαδημαϊκό Έτος 2009/10 Ημέρα/Ώρα διδασκαλίας

Διαβάστε περισσότερα

JEREMIE Joint European Resources for Micro to medium Enterprises

JEREMIE Joint European Resources for Micro to medium Enterprises JEREMIE Joint European Resources for Micro to medium Enterprises ΑΝΑΚΟΙΝΩΣΗ Αθήνα, 1 η Ιουνίου 2010 Σχετικά με την Πρόσκληση Υποβολής Προτάσεων στο «Σχέδιο Επιμερισμού Ρίσκου και Συγχρηματοδότησης» της

Διαβάστε περισσότερα

ΑΓΓΛΙΚΗ ΟΡΟΛΟΓΙΑ ΠΟΙΟΤΙΚΟΥ ΕΛΕΓΧΟΥ

ΑΓΓΛΙΚΗ ΟΡΟΛΟΓΙΑ ΠΟΙΟΤΙΚΟΥ ΕΛΕΓΧΟΥ ΑΓΓΛΙΚΗ ΟΡΟΛΟΓΙΑ ΠΟΙΟΤΙΚΟΥ ΕΛΕΓΧΟΥ 1. ΓΕΝΙΚΑ ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΑΣ ΓΕΩΠΟΝΙΑΣ & ΤΕΧΝΟΛΟΓΙΑΣ ΤΡΟΦΙΜΩΝ ΚΑΙ ΔΙΑΤΡΟΦΗΣ ΤΜΗΜΑ ΤΕΧΝΟΛΟΓΩΝ ΓΕΩΠΟΝΩΝ ΚΑΤΕΥΘΥΝΣΗ ΠΟΙΟΤΙΚΟΥ ΕΛΕΓΧΟΥ ΑΓΡΟΤΙΚΩΝ ΠΡΟΪΟΝΤΩΝ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ

Διαβάστε περισσότερα

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ (1) ΓΕΝΙΚΑ ΣΧΟΛΗ ΜΗΧΑΝΙΚΩΝ ΤΜΗΜΑ ΝΑΥΠΗΓΩΝ ΜΗΧΑΝΙΚΩΝ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ ΠΡΟΠΤΥΧΙΑΚΟ ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ NAOE1342 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ 7 ο ΤΙΤΛΟΣ ΜΑΘΗΜΑΤΟΣ Τεχνολογία Μικρών Σκαφών ΑΥΤΟΤΕΛΕΙΣ

Διαβάστε περισσότερα

Σχεδίαση & Ανάλυση Αλγορίθμων

Σχεδίαση & Ανάλυση Αλγορίθμων Σχεδίαση & Ανάλυση Αλγορίθμων Απαιτήσεις Μαθήματος Εργαστηρίου Σκιαγράφηση Μαθήματος μια Πρώτη Εισαγωγή Σταύρος Δ. Νικολόπουλος Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Ιωαννίνων Webpage: www.cs.uoi.gr/~stavros

Διαβάστε περισσότερα

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ. Οικονομική Πολιτική. Διαλέξεις 4 6. Ελληνική. Ναι (στην Αγγλική)

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ. Οικονομική Πολιτική. Διαλέξεις 4 6. Ελληνική. Ναι (στην Αγγλική) ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ (1) ΓΕΝΙΚΑ ΣΧΟΛΗ Κοινωνικών, Πολιτικών και Οικονομικών Επιστημών ΤΜΗΜΑ Οικονομικών Επιστημών ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Προπτυχιακό ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ ΝΚ43 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ Δ εξάμηνο ΤΙΤΛΟΣ ΜΑΘΗΜΑΤΟΣ

Διαβάστε περισσότερα

Χρονικά Συστήματα και Σχέσεις Ισοδυναμίας

Χρονικά Συστήματα και Σχέσεις Ισοδυναμίας Χρονικά Συστήματα και Σχέσεις Ισοδυναμίας Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Σχέσεις ισοδυναμίας time bisimultion untime bisimultion wek time bisimultion region grphs ΕΠΛ 664 Ανάλυση και Επαλήθευση

Διαβάστε περισσότερα

3. Περιγράμματα Μαθημάτων Προγράμματος Σπουδών

3. Περιγράμματα Μαθημάτων Προγράμματος Σπουδών 3. Περιγράμματα Μαθημάτων Προγράμματος Σπουδών Στην ενότητα αυτή παρουσιάζονται τα συνοπτικά περιγράμματα των μαθημάτων που διδάσκονται στο Πρόγραμμα Σπουδών, είτε αυτά προσφέρονται από το τμήμα που είναι

Διαβάστε περισσότερα

Συστήματα Τηλεκπαίδευσης. Εισαγωγή

Συστήματα Τηλεκπαίδευσης. Εισαγωγή Συστήματα Τηλεκπαίδευσης Εισαγωγή Εισαγωγή στο Μάθημα Εκπαίδευση Σχέση Εκπαιδευτή Εκπαιδευόμενου Παραδοσιακά πρέπει να βρίσκονται στον ιδιο χώρο και στον ιδιο τόπο Τηλεκπαίδευση - Δεν απαιτείται να βρίσκονται

Διαβάστε περισσότερα

Προγράμματα με έγκριση ποιότητας από την ΕΑΙΠ. Σχολή Ανθρωπιστικών Σπουδών, Κοινωνικών Επιστημών και Νομικής

Προγράμματα με έγκριση ποιότητας από την ΕΑΙΠ. Σχολή Ανθρωπιστικών Σπουδών, Κοινωνικών Επιστημών και Νομικής Ενημέρωση: 11 Μαρτίου, 2015 Διευκρινίζεται ότι τα ΙΠ με «Άδεια Λειτουργίας» δικαιούνται να προσφέρουν προγράμματα, τα οποία αυτόματα αναγνωρίζονται από το κράτος, χωρίς να τα υποβάλουν στην αυστηρή διαδικασία

Διαβάστε περισσότερα

ΗΛΕΚΤΡΙΚΑ ΚΥΚΛΩΜΑΤΑ I

ΗΛΕΚΤΡΙΚΑ ΚΥΚΛΩΜΑΤΑ I ΚΑΛΩΣΟΡΙΣΑΤΕ ΣΤΟ ΜΑΘΗΜΑ: ΗΛΕΚΤΡΙΚΑ ΚΥΚΛΩΜΑΤΑ I Διδάσκων: Ν. ΚΟΥΣΟΥΛΑΣ 1 2 Τι είναι ηλεκτρικό κύκλωμα; Μια συλλογή από φυσικά ηλεκτρικά στοιχεία διασυνδεμένα μεταξύ τους, π.χ. μπαταρία, πυκνωτές, μετασχηματιστές,

Διαβάστε περισσότερα

Ευρωπαϊκός Αριθμός 112.

Ευρωπαϊκός Αριθμός 112. Ευρωπαϊκός Αριθμός 112. Επίδραση στο χρόνο καθυστέρησης των ασθενών (patient delay) Δημήτριος Γ. Πύρρος, MD, EMDM Συντονιστής Διευθυντής, Τμ. Ιατρικών Υπηρεσιών, EKAB President, European Emergency Number

Διαβάστε περισσότερα

ΩΡΟΛΟΓΙΟ ΠΡΟΓΡΑΜΜΑ ΜΑΘΗΜΑΤΩΝ* ΠΡΩΤΟ ΕΞΑΜΗΝΟ

ΩΡΟΛΟΓΙΟ ΠΡΟΓΡΑΜΜΑ ΜΑΘΗΜΑΤΩΝ* ΠΡΩΤΟ ΕΞΑΜΗΝΟ ΠΡΩΤΟ ΕΞΑΜΗΝΟ Προγραμματισμός Ι (Θ) Προγραμματισμός Ι (Θ) Προγραμματισμός Ι (Θ) Μαθηματικά Ι (Θ) Μαθηματικά Ι (Θ) Αγγλική Ορολογία Πληροφορικής (Θ) Αιθ.3 Αγγλική Ορολογία Πληροφορικής (Θ) Αιθ.3 Αγγλική

Διαβάστε περισσότερα

Αντικείµενο: Θεµελιώδες πρόβληµα της επιστήµης µας εδοµένα

Αντικείµενο: Θεµελιώδες πρόβληµα της επιστήµης µας εδοµένα Εισαγωγή 1 Ζήτω οι Βάσεις εδοµένων!! Αντικείµενο: Θεµελιώδες πρόβληµα της επιστήµης µας εδοµένα Μοντελοποίηση Αποθήκευση Επεξεργασία (εύρεση πληροφορίας σχετικής µε µια συγκεκριµένη ερώτηση) Σωστή Λειτουργία

Διαβάστε περισσότερα

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ: ΣΤΟΧΑΣΤΙΚΕΣ ΔΙΑΔΙΚΑΣΙΕΣ (MAE532) ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ. ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ ΜΑΕ532 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ 5 o

ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ: ΣΤΟΧΑΣΤΙΚΕΣ ΔΙΑΔΙΚΑΣΙΕΣ (MAE532) ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ. ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ ΜΑΕ532 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ 5 o ΠΕΡΙΓΡΑΜΜΑ ΜΑΘΗΜΑΤΟΣ: ΣΤΟΧΑΣΤΙΚΕΣ ΔΙΑΔΙΚΑΣΙΕΣ (MAE532) ΓΕΝΙΚΑ ΣΧΟΛΗ ΤΜΗΜΑ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΠΡΟΠΤΥΧΙΑΚΟ ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ ΜΑΕ532 ΕΞΑΜΗΝΟ ΣΠΟΥΔΩΝ 5 o ΤΙΤΛΟΣ ΜΑΘΗΜΑΤΟΣ ΣΤΟΧΑΣΤΙΚΕΣ

Διαβάστε περισσότερα

ΠΡΩΤΟΚΟΛΛΟ ΑΞΙΟΛΟΓΗΣΗΣ ΠΑΙΔΙΩΝ ΜΕ ΑΝΑΠΤΥΞΙΑΚΗ ΛΕΚΤΙΚΗ ΑΠΡΑΞΙΑ

ΠΡΩΤΟΚΟΛΛΟ ΑΞΙΟΛΟΓΗΣΗΣ ΠΑΙΔΙΩΝ ΜΕ ΑΝΑΠΤΥΞΙΑΚΗ ΛΕΚΤΙΚΗ ΑΠΡΑΞΙΑ Σχολή Επιστημών Υγείας Πτυχιακή εργασία ΠΡΩΤΟΚΟΛΛΟ ΑΞΙΟΛΟΓΗΣΗΣ ΠΑΙΔΙΩΝ ΜΕ ΑΝΑΠΤΥΞΙΑΚΗ ΛΕΚΤΙΚΗ ΑΠΡΑΞΙΑ Χαρίκλεια Χαρωνίτη Λεμεσός, Μάϊος 2018 ΤΕΧΝΟΛΟΓΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΣΧΟΛΗ ΕΠΙΣΤΗΜΩΝ ΥΓΕΙΑΣ ΤΜΗΜΑ

Διαβάστε περισσότερα

Πανεπιστήμιο Κύπρου. Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών (ΗΜΜΥ)

Πανεπιστήμιο Κύπρου. Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών (ΗΜΜΥ) Πανεπιστήμιο Κύπρου Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών (ΗΜΜΥ) 26/01/2014 Συνεισφορά του κλάδους ΗΜΜΥ Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Ευρύ φάσμα γνώσεων και επιστημονικών

Διαβάστε περισσότερα

Bachelor in Computer Engineering Mnxανικός Η/Υ

Bachelor in Computer Engineering Mnxανικός Η/Υ Bachelor in Computer Engineering Mnxανικός Η/Υ The Best and Brightest World-class education It s closer than you think Bachelor in Computer Engineering Mnxανικός Η/Υ www.ait.gr/bsc Σκέψου από τώρα... Τις

Διαβάστε περισσότερα

e-εκπαιδευτησ gakis_kostas@yahoo.gr, arispaliouras@yahoo.gr Περίληψη Η παρούσα εισήγηση αφορά την παρουσίαση του εκπαιδευτικού λογισμικού με τίτλο

e-εκπαιδευτησ gakis_kostas@yahoo.gr, arispaliouras@yahoo.gr Περίληψη Η παρούσα εισήγηση αφορά την παρουσίαση του εκπαιδευτικού λογισμικού με τίτλο e-εκπαιδευτησ K. Γάκης 1 και Α. Παλιούρας 2 1 3ο ΣΕΚ Ανατ. Αττικής 2 Γενικό Λύκειο Αρτέμιδος gakis_kostas@yahoo.gr, arispaliouras@yahoo.gr Περίληψη Η παρούσα εισήγηση αφορά την παρουσίαση του εκπαιδευτικού

Διαβάστε περισσότερα

Ανάπτυξη & Σχεδίαση Λογισμικού (ΗΥ420)

Ανάπτυξη & Σχεδίαση Λογισμικού (ΗΥ420) Ανάπτυξη & Σχεδίαση Λογισμικού (ΗΥ420) Διάλεξη 2: Βασικές Έννοιες Τεχνολογίας Λογισμικού Ο Ρόλος του Τεχνολόγου Λογισμικού Επιστήμη Υπολογιστών Πελάτης 2 Θεωρίες Λειτουργίες Υπολογιστή Πρόβλημα Σχεδιασμός

Διαβάστε περισσότερα

711 Πληροφορικής ΤΕΙ Αθήνας

711 Πληροφορικής ΤΕΙ Αθήνας 711 Πληροφορικής ΤΕΙ Αθήνας Το Τμήμα Πληροφορικής του ΤΕΙ Αθήνας ιδρύθηκε και δέχτηκε τους πρώτους του σπουδαστές τον Οκτώβριο του 1983, ταυτόχρονα δηλαδή με την έναρξη ισχύος του νόμου 1404/83 για τα

Διαβάστε περισσότερα

ΩΡΟΛΟΓΙΟ ΠΡΟΓΡΑΜΜΑ ΜΑΘΗΜΑΤΩΝ* ΠΡΩΤΟ ΕΞΑΜΗΝΟ

ΩΡΟΛΟΓΙΟ ΠΡΟΓΡΑΜΜΑ ΜΑΘΗΜΑΤΩΝ* ΠΡΩΤΟ ΕΞΑΜΗΝΟ ΠΡΩΤΟ ΕΞΑΜΗΝΟ Προγραμματισμός Ι Προγραμματισμός Ι Προγραμματισμός Ι Μαθηματικά Ι Μαθηματικά Ι Αγγλική Ορολογία Πληροφορικής Αιθ.3 Αγγλική Ορολογία Πληροφορικής Αιθ.3 Αγγλική Ορολογία Πληροφορικής Αιθ.3

Διαβάστε περισσότερα

Συστήματα VLSI. Εισαγωγή. Γιώργος Δημητρακόπουλος. Δημοκρίτειο Πανεπιστήμιο Θράκης. Άνοιξη 2014

Συστήματα VLSI. Εισαγωγή. Γιώργος Δημητρακόπουλος. Δημοκρίτειο Πανεπιστήμιο Θράκης. Άνοιξη 2014 Συστήματα VLSI Εισαγωγή Γιώργος Δημητρακόπουλος Δημοκρίτειο Πανεπιστήμιο Θράκης Άνοιξη 2014 Συστήματα VLSI 1 Τα ολοκληρωμένα κυκλώματα από «μέσα» Συστήματα VLSI 2 Τα εργαλεία της σχεδίασης Algorithms-Applications

Διαβάστε περισσότερα