Τι μπορεί να υπολογιστεί ; Μπορούν οι υπολογιστές να «λύσουν» όλα τα προβλήματα ;

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

Download "Τι μπορεί να υπολογιστεί ; Μπορούν οι υπολογιστές να «λύσουν» όλα τα προβλήματα ;"

Transcript

1 Τι μπορεί να υπολογιστεί ; Μπορούν οι υπολογιστές να «λύσουν» όλα τα προβλήματα ;

2 Μπορούν οι υπολογιστές να κάνουν τα πάντα; Μέχρι τώρα είδαμε αρκετούς έξυπνους αλγόριθμους που μετατρέπουν ένα σύνολο σίδερων σε ευφυές μηχάνημα στη δούλεψή μας Υπάρχει κάτι που δε μπορούν να κάνουν οι υπολογιστές; ΦΥΣΙΚΑ!!! Υψηλής ποιότητας μετάφραση μεταξύ γλωσσών όπως Αγγλικά και Κινέζικα Αυτόματο έλεγχο ασφαλούς και γρήγορης οδήγησης οχήματος σε πόλεις Βαθμολόγηση εργασιών φοιτητών

3 Μπορούν οι υπολογιστές να κάνουν τα πάντα; Φυσικά, μπορεί πάντα να επινοηθεί ένας έξυπνος αλγόριθμος που π.χ., θα μπορεί να οδηγήσει ένα όχημα σε πολυσύχναστο περιβάλλον πόλεων Όμως, υπάρχει πρόβλημα που να είναι τόσο δύσκολο ώστε κανείς ποτέ να μη μπορεί να επινοήσει αλγόριθμο για τη λύση του; Η απάντηση είναι ΝΑΙ!

4 Οι υπολογιστές δε μπορούν να λύσουν όλα τα προβλήματα Η ύπαρξη τέτοιων προβλημάτων ήταν γνωστή πριν καν φτιαχτούν οι πρώτοι υπολογιστές Δύο μαθηματικοί, ένας Αμερικανός, ο Alonzo Church, και ένας Βρετανός, ο Alan Turing, ανεξάρτητα ανακάλυψαν προβλήματα που δε μπορούν να λυθούν (δηλ., προβλήματα για τα οποία δε μπορεί να επινοηθεί αλγόριθμος που να τα λύνει) στο τέλος της δεκαετίας του 1930, αρκετά πριν εμφανιστούν οι πρώτοι υπολογιστές κατά τη διάρκεια του 2 ου Παγκοσμίου Πολέμου

5 Bugs, crashes και αξιοπιστία λογισμικού Η αξιοπιστία του λογισμικού έχει βελτιωθεί σημαντικά τα τελευταία χρόνια, αλλά ακόμα και πολύ καλά γραμμένο λογισμικό μπορεί να κάνει πράγματα για τα οποία δεν ήταν σχεδιασμένο Στη χειρότερη περίπτωση, το λογισμικό μπορεί να αποτύχει ( crash ) και τότε χάνουμε δεδομένα ή έγγραφα στα οποία δουλεύαμε (ή να χάσουμε σε παιχνίδια) Βέβαια, οι υπολογιστές στις δεκαετίες του 1980 και του 90 αποτύγχαναν (crash) πολύ συχνότερα από ό,τι στον 21 ο αιώνα Ο σημαντικότερος λόγος για αυτή τη βελτίωση είναι τα αυτοματοποιημένα εργαλεία ελέγχου λογισμικού: τα προγράμματα αυτά μπορούν να ελέγχουν πρόσφατα δημιουργημένο λογισμικό για προβλήματα που μπορούν να το κάνουν να αποτύχει (crash) Τα αυτοματοποιημένα εργαλεία ελέγχου λογισμικού συνεχώς βελτιώνονται αλλά η σημαντική ερώτηση είναι: θα βελτιωθούν ποτέ τόσο πολύ ώστε να μπορούν να εντοπίζουν όλα τα πιθανά προβλήματα σε όλα τα προγράμματα; Αν κάτι τέτοιο ήταν εφικτό, δε θα υπήρχαν πλέον αποτυχίες λογισμικού (crashes) ΑΠΑΝΤΗΣΗ: Είναι αποδεδειγμένα αδύνατο οποιοδήποτε εργαλείο ελέγχου λογισμικού να μπορέσει να ανιχνεύσει όλα τα προβλήματα σε όλα τα προγράμματα

6 Τι θα πει «αποδεδειγμένα αδύνατον»; Σε επιστήμες όπως η φυσική και η βιολογία, οι επιστήμονες κάνουν υποθέσεις για το πώς συμπεριφέρονται συγκεκριμένα συστήματα και στη συνέχεια διεξάγουν πειράματα για να διαπιστώσουν αν οι υποθέσεις του είναι σωστές Τα πειράματα ενέχουν πάντα κάποιο βαθμό αβεβαιότητας οπότε δε μπορεί κανείς να είναι 100% σίγουρος ότι οι υποθέσεις είναι σωστές ακόμα και μετά από επιτυχημένα πειράματα Αντίθετα, είναι δυνατόν να ισχυριστούμε 100% βεβαιότητα για αποτελέσματα στα μαθηματικά και στην επιστήμη των υπολογιστών Εφόσον αποδεχόμαστε βασικά μαθηματικά αξιώματα (όπως ότι = 2), ο παραγωγικός λογισμός που χρησιμοποιείται στα μαθηματικά καταλήγει σε απόλυτη βεβαιότητα ότι και πολλές άλλες δηλώσεις θα είναι αληθείς Π.χ., κάθε αριθμός που καταλήγει σε 5 είναι διαιρετός με το 5 Ο λογισμός αυτός δεν προϋποθέτει την ύπαρξη υπολογιστών: μόνο με μολύβι και χαρτί, ένας μαθηματικός μπορεί να αποδείξει αδιαμφισβήτητους ισχυρισμούς Στην επιστήμη των υπολογιστών, λέγοντας ότι το X είναι αποδεδειγμένα αδύνατον δεν εννοούμε μόνο ότι το X φαίνεται να είναι πολύ δύσκολο ή πιθανώς αδύνατο να επιτευχθεί στην πράξη: εννοούμε ότι είναι 100% βέβαιο ότι το X δε μπορεί ποτέ να επιτευχθεί γιατί κάποιος το απέδειξε με χρήση παραγωγικού μαθηματικού λογισμού Π.χ., είναι αποδεδειγμένα αδύνατον ένα πολλαπλάσιο του 10 να καταλήγει στο ψηφίο 3 Είναι αποδεδειγμένα αδύνατον ένα αυτοματοποιημένος ελεγκτής λογισμικού να ανιχνεύσει όλα τα πιθανά προβλήματα που προκαλούν αποτυχία (crashes) σε όλα τα προγράμματα

7 Απαγωγή σε άτοπο Η απαγωγή σε άτοπο αποτελεί μέθοδο με την οποία αποδεικνύουμε στα μαθηματικά ότι μία δήλωση ΔΕΝ είναι αληθής (ότι δηλ., δεν ισχύει) Την απαγωγή σε άτοπο τη χρησιμοποιούμε πολύ συχνά στην καθημερινή μας ζωή χωρίς καν να το αντιλαμβανόμαστε Υποπτευόμαστε ότι μια δήλωση S είναι ψευδής και επιθυμούμε να το αποδείξουμε: Αρχικά, υποθέτουμε ότι η S είναι αληθής και εφαρμόζοντας κάποια συλλογιστική αποδεικνύουμε ότι τότε μια άλλη δήλωση, έστω T, πρέπει επίσης να είναι αληθής αν όμως γνωρίζουμε ότι η δήλωση T είναι αποδεδειγμένα ψευδής τότε έχουμε καταλήξει σε άτοπο και επομένως η αρχική μας υπόθεση είναι λανθασμένη, δηλ., η S είναι ψευδής

8 Απαγωγή σε άτοπο: παράδειγμα (Ι) 1. Ο αμερικανικός εμφύλιος πόλεμος έγινε τη δεκαετία του Ο Abraham Lincoln ήταν πρόεδρος της Αμερικής κατά τη διάρκεια του εμφυλίου πολέμου Είναι αληθής ή ψευδής η δήλωση ο Abraham Lincoln γεννήθηκε το 1520 ; Ακόμα και αν δε γνωρίζουμε τίποτα για τον Abraham Lincoln εκτός από τα δύο προηγούμενα γεγονότα, πώς θα μπορούσαμε γρήγορα να αποφασίσουμε αν η παραπάνω πρόταση είναι αληθής ή ψευδής; Θα σκεφτόμασταν κάπως έτσι: (i) Κανείς δε ζει πάνω από 150 χρόνια, οπότε αν ο Lincoln γεννήθηκε το 1520, θα πρέπει να είχε πεθάνει μέχρι το 1670 το αργότερο (ii) Ο Lincoln ήταν Πρόεδρος κατά τον εμφύλιο πόλεμο οπότε αυτός πρέπει να συνέβη πριν πεθάνει, δηλ., πριν το 1670 (iii) Αυτό είναι άτοπο γιατί είναι κοινώς αποδεκτό ότι ο εμφύλιος πόλεμος συνέβη τη δεκαετία του 1860 (iv) Κατά συνέπεια, ο Lincoln δεν είναι δυνατόν να είχε γεννηθεί το 1520 Συμπεράναμε ότι η δήλωση είναι ψευδής γιατί αποδείξαμε ότι ο ισχυρισμός αυτός έρχεται σε αντίθεση (αντιφάσκει) με κάποιο γεγονός που είναι κατά κοινή ομολογία αληθές Ειδικότερα, αποδείξαμε ότι η δήλωση συνεπάγεται ότι ο εμφύλιος πόλεμος συνέβη πριν το 1670 που έρχεται σε αντίθεση με το γνωστό γεγονός ότι ο εμφύλιος πόλεμος συνέβη κατά τη δεκαετία του 1860

9 Απαγωγή σε άτοπο: παράδειγμα (ΙΙ) Κατά μέσο όρο, η ανθρώπινη καρδιά χτυπάει περίπου 6000 φορές σε 10 λεπτά Είναι η δήλωση αληθής ή ψευδής; Ανεξάρτητα από το ότι το υποπτευόμαστε, πώς μπορούμε να αποδείξουμε ότι η δήλωση είναι ψευδής; Χρησιμοποιούμε απαγωγή σε άτοπο Αρχικά, υποθέτουμε ότι η δήλωση είναι αληθής Τότε, όμως, η ανθρώπινη καρδιά θα χτυπούσε κατά μέσο όρο 6000/10=600 φορές το λεπτό Δε χρειάζεται να είμαστε ειδικοί για να καταλάβουμε ότι αυτό είναι πολύ περισσότερο από το συνηθισμένο καρδιακό ρυθμό που κυμαίνεται μεταξύ 50 και 150 χτύπων το λεπτό Επομένως, η αρχική δήλωση έρχεται σε αντίθεση (αντιφάσκει) με γνωστό γεγονός και κατά συνέπεια είναι ψευδής

10 Προγράμματα που αναλύουν άλλα προγράμματα Οι υπολογιστές ακολουθούν ακριβώς τις εντολές των προγραμμάτων τους με ντετερμινιστικό τρόπο και επομένως το αποτέλεσμα ενός προγράμματος είναι ακριβώς το ίδιο κάθε φορά που το εκτελούμε Σωστά ή λάθος ; Δεν έχουμε αρκετή πληροφορία για να απαντήσουμε Συγκεκριμένα απλά προγράμματα παράγουν ακριβώς το ίδιο αποτέλεσμα κάθε φορά που εκτελούνται ΑΛΛΑ τα περισσότερα από τα προγράμματα που χρησιμοποιούμε συχνά φαίνονται διαφορετικά κάθε φορά που τα εκτελούμε Φανταστείτε το πρόγραμμα επεξεργασίας κειμένου που χρησιμοποιείτε: η οθόνη είναι ίδια κάθε φορά που ξεκινάει; ΟΧΙ αφού αυτό εξαρτάται από το αρχείο που ανοίγουμε κάθε φορά Εμείς εκτελούμε το ΙΔΙΟ πρόγραμμα αλλά τα δεδομένα εισόδου είναι αυτά που διαφοροποιούνται Όταν κάνουμε double-click σε ένα έγγραφο κειμένου, ένα συγκεκριμένο πρόγραμμα εκτελείται και χρησιμοποιεί το έγγραφο σαν είσοδο ενώ η έξοδος του προγράμματος είναι ό,τι βλέπουμε στην οθόνη μας Όταν κάνουμε click σε menu ή πληκτρολογούμε σε ένα πρόγραμμα του δίνουμε παραπάνω δεδομένα Όταν αποθηκεύουμε ένα έγγραφο ή κάποιο άλλο αρχείο, το πρόγραμμα δημιουργεί παραπάνω έξοδο

11 Προγράμματα που αναλύουν άλλα προγράμματα Κάθε αρχείο ανοίγει με κάθε πρόγραμμα ή εναλλακτικά κάθε πρόγραμμα μπορεί να εκτελεστεί χρησιμοποιώντας σαν είσοδο οποιοδήποτε αρχείο (στην πράξη υπάρχουν περιορισμοί που επιβάλλονται από τα λειτουργικά συστήματα για λόγους ασφάλειας) Φυσικά, όταν ανοίγουμε ένα αρχείο με ακατάλληλο πρόγραμμα λαμβάνουμε άσχετα αποτελέσματα Αν ανοίξουμε το αρχείο photo.jpg με το πρόγραμμα επεξεργασίας λογιστικών φύλλων, Microsoft Excel, το αποτέλεσμα είναι σκουπίδια χωρίς χρησιμότητα: πάντως το πρόγραμμα εκτελέστηκε και παρήγαγε κάποιο αποτέλεσμα

12 Προγράμματα που αναλύουν άλλα προγράμματα Τα προγράμματα αποθηκεύονται και αυτά στο δίσκο του υπολογιστή σαν αρχεία που συνήθως έχουν κατάληξη.exe (προκύπτει από τη λέξη executable = εκτελέσιμο ) Άρα, αφού και τα προγράμματα είναι αρχεία, μπορούν να αποτελέσουν είσοδο για άλλα προγράμματα Π.χ., προσπαθήστε να ανοίξετε με το Microsoft Excel το πρόγραμμα Microsoft Word που είναι αποθηκευμένο στον υπολογιστή σαν το αρχείο WINWORD.EXE

13 Προγράμματα που αναλύουν άλλα προγράμματα Τι θα συμβεί αν εκτελέσουμε ένα πρόγραμμα με είσοδο το ίδιο το πρόγραμμα; Π.χ., τι θα συμβεί αν εκτελέσουμε το πρόγραμμα Microsoft Word χρησιμοποιώντας το αρχείο WINWORD.EXE σαν είσοδο; Όπως και προηγουμένως, το πρόγραμμα εκτελείται κανονικά αλλά το αποτέλεσμά του στην οθόνη μας είναι σκουπίδια

14 Προγράμματα που αναλύουν άλλα προγράμματα αρχείο Πρόγραμμα Α Έξοδος: κανονική αν το πρόγραμμα Α είναι κατάλληλο για το αρχείο, αλλιώς σκουπίδια Πρόγραμμα Β Πρόγραμμα Α Έξοδος: σκουπίδια Πρόγραμμα Α Πρόγραμμα Α Έξοδος: σκουπίδια

15 Προγράμματα ΝΑΙ/ΟΧΙ Υπάρχουν απλές και ακριβείς δηλώσεις που είναι αδύνατον να γραφτούν σα πρόγραμμα για υπολογιστή Ασχολούμαστε αρχικά με προγράμματα που καλούνται προγράμματα «ΝΑΙ/ΟΧΙ» γιατί παράγουν σαν έξοδο μία από τις λέξεις ΝΑΙ ή ΟΧΙ Π.χ., τα προγράμματα ProgramA.exe και ProgramB.exe δίνουν πάντα ανεξάρτητα από την είσοδο τις εξής εξόδους:

16 Προγράμματα ΝΑΙ/ΟΧΙ: πρόγραμμα ελέγχου μεγέθους αρχείων Το πρόγραμμα SizeChecker.exe λαμβάνει σαν είσοδο ένα αρχείο και παράγει στην έξοδο ΝΑΙ αν το αρχείο είναι μεγαλύτερο από 10 ΚΒytes, αλλιώς παράγει στην έξοδο ΟΧΙ Αρχείο SizeChecker ΝΑΙ αν μέγεθος αρχείου > 10ΚΒ ΟΧΙ διαφορετικά Το SizeChecker.exe δίνει στην έξοδο άλλες φορές «ΝΑΙ» άλλες φορές «ΟΧΙ»

17 Προγράμματα ΝΑΙ/ΟΧΙ: πρόγραμμα ελέγχου μεγέθους ονόματος αρχείων Το πρόγραμμα NameSize.exe λαμβάνει σαν είσοδο ένα αρχείο και παράγει στην έξοδο ΝΑΙ αν το μέγεθος του ονόματος του αρχείου είναι τουλάχιστον 1 χαρακτήρας, αλλιώς παράγει στην έξοδο ΟΧΙ Αρχείο NameSize ΝΑΙ αν μέγεθος ονόματος αρχείου > 1 ΟΧΙ διαφορετικά Το NameSize.exe δίνει στην έξοδο πάντα «ΝΑΙ» ανεξάρτητα από τη είσοδο αφού το όνομα κάθε αρχείου είναι εξ ορισμού τουλάχιστον 1 χαρακτήρας

18 Προγράμματα ΝΑΙ/ΟΧΙ NameSize.exe (8KB) SizeChecker ΝΑΙ αν μέγεθος αρχείου > 10ΚΒ ΟΧΙ διαφορετικά SizeChecker.exe (>10KB) SizeChecker ΝΑΙ αν μέγεθος αρχείου > 10ΚΒ ΟΧΙ διαφορετικά NameSize.exe NameSize ΝΑΙ αν μέγεθος ονόματος αρχείου >1 ΟΧΙ διαφορετικά

19 AlwaysYes.exe: Ένα πρόγραμμα ΝΑΙ/ΟΧΙ που αναλύει άλλα προγράμματα Αρχείο AlwaysYes ΝΑΙ αν αρχείο είναι πρόγραμμα ΝΑΙ/ΌΧΙ που απαντάει πάντα ΝΑΙ ΟΧΙ διαφορετικά Myfile.doc Winword.exe AlwaysYes AlwaysYes ΟΧΙ ΟΧΙ Το πρόγραμμα AlwaysYes.exe είναι έξυπνο και χρήσιμο αφού αναλύει άλλα προγράμματα και προβλέπει την έξοδό τους SizeChecker.exe AlwaysYes ΟΧΙ NameSize.exe AlwaysYes NAI AlwaysYes.exe AlwaysYes ΟΧΙ

20 Το πρόγραμμα Freeze.exe Το πρόγραμμα Freeze.exe παγώνει ανεξάρτητα από το ποια είναι η είσοδός του Όταν π.χ., ένα παιχνίδι ή μια εφαρμογή σταματάει (ή «παγώνει») και δεν ανταποκρίνεται σε καμία επιπλέον είσοδο Μετά από κάτι τέτοιο, η μόνη επιλογή είναι ο τερματισμός (kill) του προγράμματος, και αν αυτό δε δουλέψει η επόμενη λύση είναι η επανεκκίνηση του υπολογιστή Υπάρχουν διάφοροι λόγοι που κάνουν τα προγράμματα να κολλάνε: Παρουσία αδιεξόδου ( deadlock ) Το πρόγραμμα μπορεί να εκτελεί έναν υπολογισμό που δε θα τερματίσει ποτέ: π.χ., αναζήτηση τμήματος δεδομένων που δεν υπάρχει

21 AlwaysYes(Freeze.exe)??? Αρχείο AlwaysYes ΝΑΙ αν αρχείο είναι πρόγραμμα ΝΑΙ/ΌΧΙ που απαντάει πάντα ΝΑΙ ΟΧΙ διαφορετικά Freeze.exe AlwaysYes ΟΧΙ

22 Το πρόγραμμα YesOnSelf.exe Αρχείο YesOnSelf ΝΑΙ αν αρχείο είναι πρόγραμμα ΝΑΙ/ΌΧΙ που απαντάει πάντα ΝΑΙ όταν εκτελείται με είσοδο το ίδιο ΟΧΙ διαφορετικά SizeChecker.exe YesOnSelf ΝΑΙ SizeChecker.exe (>10KB) SizeChecker ΝΑΙ αν μέγεθος αρχείου > 10ΚΒ ΟΧΙ διαφορετικά YesOnSelf(mymovie.mpg) = ΟΧΙ YesOnSelf(address-list.docx) = ΟΧΙ YesOnSelf(WINWORD.EXE) = ΟΧΙ YesOnSelf(ProgramA.exe) = ΝΑΙ YesOnSelf(ProgramB.exe) = ΟΧΙ YesOnSelf(NameSize.exe) = ΝΑΙ YesOnSelf(SizeChecker.exe) = ΝΑΙ YesOnSelf(Freeze.exe) = ΟΧΙ YesOnSelf(AlwaysYes.exe) = ΟΧΙ YesOnSelf(YesOnSelf.exe) =???

23 YesOnSelf(YesOnSelf.exe)=??? Αρχείο YesOnSelf ΝΑΙ αν αρχείο είναι πρόγραμμα ΝΑΙ/ΌΧΙ που απαντάει πάντα ΝΑΙ όταν εκτελείται με είσοδο το ίδιο ΟΧΙ διαφορετικά YesOnSelf.exe YesOnSelf??? YesOnSelf.exe YesOnSelf ΝΑΙ YesOnSelf(YesOnSelf.exe) = ΝΑΙ YesOnSelf.exe YesOnSelf ΟΧΙ YesOnSelf(YesOnSelf.exe) = ΟΧΙ Δηλ., το YesOnSelf.exe μπορεί να επιλέξει ποια θα είναι η έξοδός του

24 Το πρόγραμμα AntiYesOnSelf.exe Αρχείο AntiYesOnSelf ΝΑΙ αν το πρόγραμμα YesOnSelf.exe απαντάει ΟΧΙ ΟΧΙ αν το πρόγραμμα YesOnSelf.exe απαντάει ΝΑΙ Όταν η είσοδος είναι πρόγραμμα ΝΑΙ/ΌΧΙ, το πρόγραμμα AntiYesOnSelf.exe θέτει την ερώτηση: το πρόγραμμα εισόδου, όταν εκτελεστεί με είσοδο τον εαυτό του, θα παράγει «ΟΧΙ»; Εναλλακτικά η ερώτηση διατυπώνεται ως: Είναι αληθές ότι το αρχείο εισόδου, όταν εκτελεστεί με είσοδο τον εαυτό του, δε θα παράγει «ΝΑΙ»; Γενικά, δεν είναι σωστό να χρησιμοποιούμε την παραπάνω εναλλαγή αφού ένα πρόγραμμα όταν δεν παράγει «ΟΧΙ» αυτό δε συνεπάγεται ότι θα παράγει «NAI» γιατί μπορεί να παράγει και άλλες εξόδους π.χ., θα μπορούσε να παράγει σκουπίδια ή να «παγώσει» Στην ειδική περίπτωση όμως που αναφερόμαστε σε προγράμματα ΝΑΙ/ΟΧΙ (που πάντα απαντούν ΝΑΙ/ΟΧΙ χωρίς άλλες πιθανές εξόδους) τότε οι δύο παραπάνω ερωτήσεις είναι ισοδύναμες

25 Το πρόγραμμα AntiYesOnSelf.exe Αρχείο AntiYesOnSelf ΝΑΙ αν το πρόγραμμα YesOnSelf.exe απαντάει ΟΧΙ ΟΧΙ αν το πρόγραμμα YesOnSelf.exe απαντάει ΝΑΙ Είναι αληθές ότι το αρχείο εισόδου, όταν εκτελεστεί με είσοδο τον εαυτό του, δε θα παράγει «NAI»; AntiYesOnSelf(address-list.docx) = ΝΑΙ AntiYesOnSelf(mymovie.mpg) = ΝΑΙ AntiYesOnSelf(WINWORD.EXE) = ΝΑΙ AntiYesOnSelf(ProgramA.exe) = ΟΧΙ AntiYesOnSelf(ProgramB.exe) = ΝΑΙ AntiYesOnSelf(NameSize.exe) = ΟΧΙ AntiYesOnSelf(SizeChecker.exe) = ΟΧΙ AntiYesOnSelf(Freeze.exe) = ΝΑΙ AntiYesOnSelf(AlwaysYes.exe) = ΝΑΙ AntiYesOnSelf(AntiYesOnSelf.exe) =???

26 AntiYesOnSelf(AntiYesOnSelf.exe)=??? Αρχείο AntiYesOnSelf.exe ΝΑΙ αν το πρόγραμμα YesOnSelf.exe AntiYesOnSelf απαντάει ΟΧΙ ΟΧΙ αν το πρόγραμμα YesOnSelf.exe απαντάει ΝΑΙ AntiYesOnSelf το AntiYesOnSelf.exe, όταν εκτελεστεί??? με είσοδο τον εαυτό του, θα παράγει «ΟΧΙ»; AntiYesOnSelf.exe AntiYesOnSelf ΝΑΙ YesOnSelf(AntiYesOnSelf.exe) = ΟΧΙ?? AntiYesOnSelf.exe AntiYesOnSelf ΟΧΙ YesOnSelf(AntiYesOnSelf.exe) = ΝΑΙ Δηλ., αν το AntiYesOnSelf(AntiYesOnSelf.exe) παράγει στην έξοδο NAI, τότε η έξοδος είναι OXI (και αντίστροφα): ΑΤΟΠΟ!!!!! Άρα η έξοδος δε μπορεί να είναι ΝΑΙ(ΟΧΙ) Επομένως το AntiYesOnSelf.exe δεν είναι ένα πρόγραμμα ΝΑΙ/ΟΧΙ όπως υποθέσαμε

27 Το AntiYesOnSelf.exe δε μπορεί να υπάρξει Άρα, δε μπορούμε να γράψουμε ένα πρόγραμμα σαν το AntiYesOnSelf.exe δε μπορούμε να γράψουμε πρόγραμμα σαν το YesOnSelf.exe δε μπορούμε να γράψουμε πρόγραμμα σαν το AlwaysYes.exe Αν υπήρχε το πρόγραμμα AlwaysYes.exe με μικρές αλλαγές θα μπορούσε να δώσει το πρόγραμμα YesOnSelf.exe που αν υπήρχε θα ήταν εξαιρετικά εύκολο να προκύψει και το AntiYesOnSelf.exe ΑΛΛΑ γνωρίζουμε ότι το πρόγραμμα AntiYesOnSelf.exe δε μπορεί να υπάρξει ούτε το AlwaysYes.exe μπορεί να υπάρξει Με ίδια επιχειρηματολογία αποδεικνύεται ότι ούτε το πρόγραμμα YesOnSelf.exe μπορεί να υπάρξει

28 Είναι αδύνατο να προσδιοριστούν αποτυχίες (crashes) Ερώτηση: Μπορεί να υπάρξει πρόγραμμα που επιτυχώς αναλύει άλλα προγράμματα και καθορίζει αν θα αποτύχουν (crash) ή όχι Απάντηση: ΟΧΙ Απόδειξη: με χρήση απαγωγής σε άτοπο Θα υποθέσουμε ότι υπάρχει το πρόγραμμα CanCrash.exe που μπορεί να αναλύει άλλα προγράμματα και απαντάει αν μπορούν να αποτύχουν (crash) ή όχι Θα καταλήξουμε σε άτοπο με χρήση ακολουθίας λογικών επιχειρημάτων

29 Το πρόγραμμα CanCrash.exe δε μπορεί να υπάρξει: απόδειξη Κατασκευάζουμε ένα πρόγραμμα που σκόπιμα αποτυγχάνει (crashes) υπό συγκεκριμένες συνθήκες ΠΩΣ; Ένας συχνός λόγος για τον οποίον τα προγράμματα αποτυγχάνουν είναι ότι προσπαθούν να διαιρέσουν με το 0: στα μαθηματικά, το αποτέλεσμα της διαίρεσης ενός αριθμού με το 0 καλείται απροσδιόριστο ( undefined ) Όταν αναφερόμαστε σε υπολογιστές, το απροσδιόριστο ( undefined ) είναι ένα σημαντικό σφάλμα που εμποδίζει το πρόγραμμα να προχωρήσει, οπότε το πρόγραμμα αποτυγχάνει Άρα: ένας τρόπος να φτιάξουμε ένα πρόγραμμα που σκόπιμα αποτυγχάνει (crashes) είναι να εισάγουμε κάποιες επιπλέον εντολές στις οποίες θα γίνεται διαίρεση με το 0: ένα τέτοιο πρόγραμμα είναι το TroubleMaker.exe

30 Το πρόγραμμα CanCrash.exe δε μπορεί να υπάρξει: απόδειξη Πρόγραμμα CanCrash ΝΑΙ αν το πρόγραμμα μπορεί να αποτύχει (crash) ΟΧΙ αν το πρόγραμμα δεν αποτυγχάνει ποτέ Πρόγραμμα CanCrashWeird Αποτυγχάνει (crash) αν το πρόγραμμα μπορεί να αποτύχει (crash) ΟΧΙ αν το πρόγραμμα δεν αποτυγχάνει ποτέ Πρόγραμμα CrashOnSelf Αποτυγχάνει (crash) αν το πρόγραμμα αποτυγχάνει (crash) όταν εκτελείται με είσοδο τον εαυτό του ΟΧΙ αν το πρόγραμμα δεν αποτυγχάνει (crash) όταν εκτελείται με είσοδο τον εαυτό του Πρόγραμμα AntiCrashOnSelf ΝΑΙ αν το πρόγραμμα αν το πρόγραμμα αποτυγχάνει (crash) όταν εκτελείται με είσοδο τον εαυτό του Αποτυγχάνει (crash) αν το πρόγραμμα δεν αποτυγχάνει (crash) όταν εκτελείται με είσοδο τον εαυτό του

31 Το πρόγραμμα CanCrash.exe δε μπορεί να υπάρξει: απόδειξη Τι θα κάνει το πρόγραμμα AntiCrashOnSelf.exe με είσοδο τον εαυτό του; Σύμφωνα με τον ορισμό του, θα απαντήσει ΝΑΙ αν μπορεί να αποτύχει: ΑΤΟΠΟ γιατί δε μπορεί να τερματίσει επιτυχώς και να απαντήσει ΝΑΙ αν έχει ήδη αποτύχει (crash) Σύμφωνα με τον ορισμό του, το πρόγραμμα AntiCrashOnSelf.exe θα πρέπει να αποτύχει αν δεν αποτυγχάνει, που είναι επίσης άτοπο Δε μπορούμε να πάρουμε καμμία από τις πιθανές απαντήσεις του προγράμματος το πρόγραμμα AntiCrashOnSelf.exe δε μπορεί να υπάρξει ούτε το πρόγραμμα CanCrash.exe δε μπορεί να υπάρξει (γιατί αν υπήρχε, θα υπήρχε και το AntiCrashOnSelf.exe ) AntiCrashOnSelf.exe AntiCrashOnSelf ΝΑΙ αν το πρόγραμμα αν το πρόγραμμα αποτυγχάνει (crash) όταν εκτελείται με είσοδο τον εαυτό του Αποτυγχάνει (crash) αν το πρόγραμμα δεν αποτυγχάνει (crash) όταν εκτελείται με είσοδο τον εαυτό του

32 Το πρόγραμμα CanCrash.exe δε μπορεί να υπάρξει: απόδειξη Πρόγραμμα CanCrash ΝΑΙ αν το πρόγραμμα μπορεί να αποτύχει (crash) ΟΧΙ αν το πρόγραμμα δεν αποτυγχάνει ποτέ Πρόγραμμα CanCrashWeird Αποτυγχάνει (crash) αν το πρόγραμμα μπορεί να αποτύχει (crash) ΟΧΙ αν το πρόγραμμα δεν αποτυγχάνει ποτέ Πρόγραμμα CrashOnSelf Αποτυγχάνει (crash) αν το πρόγραμμα αποτυγχάνει (crash) όταν εκτελείται με είσοδο τον εαυτό του ΟΧΙ αν το πρόγραμμα δεν αποτυγχάνει (crash) όταν εκτελείται με είσοδο τον εαυτό του Πρόγραμμα AntiCrashOnSelf ΝΑΙ αν το πρόγραμμα αν το πρόγραμμα αποτυγχάνει (crash) όταν εκτελείται με είσοδο τον εαυτό του Αποτυγχάνει (crash) αν το πρόγραμμα δεν αποτυγχάνει (crash) όταν εκτελείται με είσοδο τον εαυτό του

33 Το πρόγραμμα CanCrash.exe δε μπορεί να υπάρξει: απόδειξη Πρόγραμμα CanCrash ΝΑΙ αν το πρόγραμμα μπορεί να αποτύχει (crash) ΟΧΙ αν το πρόγραμμα δεν αποτυγχάνει ποτέ Πρόγραμμα CanCrashWeird Αποτυγχάνει (crash) αν το πρόγραμμα μπορεί να αποτύχει (crash) ΟΧΙ αν το πρόγραμμα δεν αποτυγχάνει ποτέ Πρόγραμμα Πρόγραμμα CrashOnSelf AntiCrashOnSelf Αποτυγχάνει (crash) αν το πρόγραμμα αποτυγχάνει (crash) όταν εκτελείται με είσοδο τον εαυτό του ΟΧΙ αν το πρόγραμμα δεν αποτυγχάνει (crash) όταν εκτελείται με είσοδο τον εαυτό του ΝΑΙ αν το πρόγραμμα αν το πρόγραμμα αποτυγχάνει (crash) όταν εκτελείται με είσοδο τον εαυτό του Αποτυγχάνει (crash) αν το πρόγραμμα δεν αποτυγχάνει (crash) όταν εκτελείται με είσοδο τον εαυτό του

34 Το πρόγραμμα CanCrash.exe δε μπορεί να υπάρξει: απόδειξη Πρόγραμμα CanCrash ΝΑΙ αν το πρόγραμμα μπορεί να αποτύχει (crash) ΟΧΙ αν το πρόγραμμα δεν αποτυγχάνει ποτέ Πρόγραμμα CanCrashWeird Αποτυγχάνει (crash) αν το πρόγραμμα μπορεί να αποτύχει (crash) ΟΧΙ αν το πρόγραμμα δεν αποτυγχάνει ποτέ Πρόγραμμα Πρόγραμμα CrashOnSelf AntiCrashOnSelf Αποτυγχάνει (crash) αν το πρόγραμμα αποτυγχάνει (crash) όταν εκτελείται με είσοδο τον εαυτό του ΟΧΙ αν το πρόγραμμα δεν αποτυγχάνει (crash) όταν εκτελείται με είσοδο τον εαυτό του ΝΑΙ αν το πρόγραμμα αν το πρόγραμμα αποτυγχάνει (crash) όταν εκτελείται με είσοδο τον εαυτό του Αποτυγχάνει (crash) αν το πρόγραμμα δεν αποτυγχάνει (crash) όταν εκτελείται με είσοδο τον εαυτό του

35 Το πρόγραμμα CanCrash.exe δε μπορεί να υπάρξει: απόδειξη Πρόγραμμα Πρόγραμμα Πρόγραμμα Πρόγραμμα CanCrash CanCrashWeird CrashOnSelf AntiCrashOnSelf ΝΑΙ αν το πρόγραμμα μπορεί να αποτύχει (crash) ΟΧΙ αν το πρόγραμμα δεν αποτυγχάνει ποτέ Αποτυγχάνει (crash) αν το πρόγραμμα μπορεί να αποτύχει (crash) ΟΧΙ αν το πρόγραμμα δεν αποτυγχάνει ποτέ Αποτυγχάνει (crash) αν το πρόγραμμα αποτυγχάνει (crash) όταν εκτελείται με είσοδο τον εαυτό του ΟΧΙ αν το πρόγραμμα δεν αποτυγχάνει (crash) όταν εκτελείται με είσοδο τον εαυτό του ΝΑΙ αν το πρόγραμμα αν το πρόγραμμα αποτυγχάνει (crash) όταν εκτελείται με είσοδο τον εαυτό του Αποτυγχάνει (crash) αν το πρόγραμμα δεν αποτυγχάνει (crash) όταν εκτελείται με είσοδο τον εαυτό του

36 Το πρόβλημα Τερματισμού (Halting problem) και η μη αποφασισιμότητα Μόλις αποδείξαμε ότι δε μπορεί να υπάρξει ένα πρόγραμμα που να αναλύει άλλα προγράμματα και να προσδιορίζει πιθανά προβλήματα (bugs) σε αυτά που ίσως τα κάνουν να αποτύχουν (crash) Ο Alan Turing, ιδρυτής της θεωρητικής Επιστήμης των Υπολογιστών, απέδειξε πρώτος ένα τέτοιο αποτέλεσμα τη δεκαετία του 1930 χωρίς να ασχοληθεί με προβλήματα (bugs) ή αποτυχίες προγραμμάτων (crashes) αφού τότε δεν υπήρχαν καν ηλεκτρονικοί υπολογιστές... Η ερώτηση που μελέτησε ο Turing ήταν αν ένα δοσμένο πρόγραμμα για υπολογιστή θα παρήγαγε τελικά απάντηση ή όχι Παραπλήσια ερώτηση: θα τερματίσει ποτέ ένα δοσμένο πρόγραμμα για υπολογιστή ή θα εκτελείται επ αόριστον χωρίς να παράγει απάντηση; Πρόβλημα Τερματισμού (Halting Problem): Ένα πρόγραμμα για υπολογιστή θα τερματίσει τελικά τη λειτουργία του; Πρόβλημα Αποτυχίας (Crashing Problem)

37 Το πρόβλημα Τερματισμού (Halting problem) και η μη αποφασισιμότητα Η μεγάλη επιτυχία του Alan Turing ήταν ότι απέδειξε πως η εκδοχή του Προβλήματος Τερματισμού (Halting Problem) που μελέτησε είναι αυτό που οι επιστήμονες των Υπολογιστών καλούν μη αποφασίσιμο ( undecidable ) πρόβλημα Ένα πρόβλημα είναι μη αποφασίσιμο όταν δε μπορεί να γραφτεί πρόγραμμα για υπολογιστή που να το λύνει Ο Turing απέδειξε ότι: δε μπορεί να γραφτεί πρόγραμμα για υπολογιστή που να λέγεται AlwaysHalts.exe το οποίο να απαντάει ΝΑΙ αν το πρόγραμμα στην είσοδό του πάντα τερματίζει (halts) και ΟΧΙ διαφορετικά Αποδείξαμε ήδη τη μη αποφασισιμότητα του παραπλήσιου προβλήματος Αποτυχίας (Crashing Problem): με παραπλήσια επιχειρήματα αποδεικνύεται και η μη αποφασισιμότητα του προβλήματος Τερματισμού (Halting Problem) Και φυσικά υπάρχουν πολλά άλλα προβλήματα στην Επιστήμη των Υπολογιστών που είναι μη αποφασίσιμα

38 Υπάρχουν προγράμματα που δε μπορούν να υπάρξουν ΚΑΙ;;;; Υπάρχουν θεμελιώδεις περιορισμοί στους υπολογιστές: είδαμε ότι υπάρχουν προβλήματα που δε μπορούν να λυθούν με υπολογιστή ανεξάρτητα από το πόσο ισχυρός είναι και ανεξάρτητα από το πόσο έξυπνος είναι ο άνθρωπος που τον προγραμματίζει Αυτά τα μη αποφασίσιμα προβλήματα περιλαμβάνουν και πολύ χρήσιμες εργασίες όπως ανάλυση άλλων προγραμμάτων και διαπίστωση για το αν αποτυγχάνουν (crash) ή όχι Και γιατί αυτό είναι σημαντικό; Η ύπαρξη μη αποφασίσιμων προβλημάτων επηρεάζει τον τρόπο που πρακτικά χρησιμοποιούμε τους υπολογιστές; Και τι συμβαίνει με εκείνους τους υπολογισμούς που οι άνθρωποι πραγματοποιούν με το μυαλό (νου) τους; Ούτε με αυτούς δε μπορούν να λυθούν προβλήματα που είναι μη αποφασίσιμα;

39 Μη αποφασισιμότητα και χρήση υπολογιστών Ερώτηση: Η ύπαρξη μη αποφασίσιμων προβλημάτων επηρεάζει τον τρόπο που πρακτικά χρησιμοποιούμε τους υπολογιστές; Απάντηση: OΧΙ για δύο λόγους Λόγος 1: Η μη αποφασισιμότητα ασχολείται μόνο με το αν ένα πρόγραμμα για υπολογιστή θα παράγει τελικά απάντηση και όχι με το πόσο πρέπει ενδεχομένως να περιμένουμε για να λάβουμε την απάντηση αυτή Φυσικά, στην πράξη, το ζήτημα της αποδοτικότητας (δηλ., πόσο πρέπει να περιμένουμε για την απάντηση) είναι εξαιρετικά σημαντικό Υπάρχουν πολλά αποφασίσιμα προβλήματα για τα οποία δεν είναι γνωστός αποδοτικός αλγόριθμος Το πιο φημισμένο είναι το Πρόβλημα του Περιοδεύοντος Πωλητή (Travelling Salesman Problem TSP): φανταστείτε ότι πρέπει να πάμε αεροπορικώς σε μεγάλο πλήθος πόλεων (ας πούμε, 20 ή 30 ή 100). Με ποια σειρά πρέπει να επισκεφθούμε τις πόλεις ώστε να επιτύχουμε το ελάχιστο κόστος για αεροπορικά εισιτήρια; Το πρόβλημα είναι αποφασίσιμο: ακόμα κι ένας αρχάριος προγραμματιστής μπορεί να γράψει ένα πρόγραμμα για εύρεση της φθηνότερης διαδρομής που να περνάει από όλες τις επιθυμητές πόλεις Το ζήτημα είναι ότι αυτό το πρόγραμμα θα απαιτούσε εκατομμύρια έτη για να ολοκληρώσει τη δουλειά του και στην πράξη αυτό δεν είναι αρκετά καλό το ότι ένα πρόβλημα είναι αποφασίσιμο δε σημαίνει ότι μπορούμε να το λύσουμε (αποδοτικά) στην πράξη

40 Μη αποφασισιμότητα και χρήση υπολογιστών Λόγος 2: αποδεικνύεται ότι συχνά μπορούμε να κάνουμε όχι άψογη ΑΛΛΑ πολύ καλή δουλειά σχετικά με τη λύση μη αποφασίσιμων προβλημάτων τις περισσότερες φορές Ένα καλό σχετικό παράδειγμα είναι το βασικό παράδειγμα που ήδη παρουσιάσαμε: δείξαμε ότι κανένα πρόγραμμα για υπολογιστή δεν είναι δυνατόν να μπορέσει ποτέ να βρει όλα τα προβλήματα (bugs) σε όλα τα προγράμματα για υπολογιστές Βέβαια μπορούμε να συνεχίσουμε να προσπαθούμε να γράψουμε ένα πρόγραμμα που ΔΕ θα είναι ΤΕΛΕΙΟ αλλά θα είναι ΟΣΟ ΚΑΛΥΤΕΡΟ ΓΙΝΕΤΑΙ - που να προσδιορίζει αποτυχίες (crashes) ελπίζοντας να το κάνουμε να βρίσκει τα περισσότερα δυνατά προβλήματα (bugs) στα περισσότερα προγράμματα για υπολογιστές Αυτή είναι μια πολύ ενεργή ερευνητική περιοχή στην Επιστήμη των Υπολογιστών και οι βελτιώσεις που έχουν επιτευχθεί στην αξιοπιστία του λογισμικού τις τελευταίες δεκαετίες οφείλονται εν μέρει στην πρόοδο που έχει συντελεστεί στα προγράμματα που ανιχνεύουν αποτυχίες (crashes) σε άλλα προγράμματα Επομένως, είναι συχνά δυνατόν να παράγουμε πολύ χρήσιμες μερικές λύσεις για μη αποφασίσιμα προβλήματα

41 Μη αποφασισιμότητα και ανθρώπινος νους Ερώτηση: Η ύπαρξη μη αποφασίσιμων προβλημάτων έχει συνέπειες για τη διαδικασία της ανθρώπινης σκέψης; Η ερώτηση αυτή παραπέμπει σε κλασικά φιλοσοφικά προβλήματα σχετικά με τον ορισμό της ανθρώπινης συνείδησης και τη διαφορά μεταξύ νόησης και εγκεφάλου Απάντηση:??? Αν δεχτούμε ότι ο ανθρώπινος εγκέφαλος θα μπορούσε να προσομοιωθεί από υπολογιστή τότε ο ανθρώπινος εγκέφαλος υπόκειται στους ίδιου περιορισμούς με τους υπολογιστές Δηλ., θα υπάρχουν προβλήματα που δε μπορεί να λύσει ο ανθρώπινος νους όσο έξυπνος ή καλά εκπαιδευμένος μπορεί να είναι Αν ένα πρόγραμμα για υπολογιστή μπορεί να μιμηθεί τον ανθρώπινο νου και ο ανθρώπινος νους μπορεί να λύσει μη αποφασίσιμα προβλήματα τότε θα μπορούσαμε να χρησιμοποιήσουμε και εξομοίωση του ανθρώπινου νου από υπολογιστή για να λύσουμε μη αποφασίσιμα προβλήματα: αυτό όμως ΑΝΤΙΦΑΣΚΕΙ με το γεγονός ότι τα προγράμματα για υπολογιστή δε μπορούν να λύσουν μη αποφασίσιμα προβλήματα

42 Μη αποφασισιμότητα και ανθρώπινος νους Ερώτηση: θα είμαστε ποτέ σε θέση να πραγματοποιήσουμε ακριβείς προσομοιώσεις του ανθρώπινου εγκεφάλου με υπολογιστές; Απάντηση:??? Από επιστημονικής πλευράς, δε φαίνεται να υπάρχουν σοβαρά εμπόδια αφού χαμηλού επιπέδου λεπτομέρειες για το πώς χημικά και ηλεκτρικά σήματα μεταδίδονται στον εγκέφαλο έχουν κατανοηθεί σε μεγάλο βαθμό Από φιλοσοφικής πλευράς, υπάρχουν πολλά επιχειρήματα για το ότι με κάποιον τρόπο η φυσικές διεργασίες του εγκεφάλου παράγουν νόηση που είναι ποιοτικά διαφορετική από κάθε φυσικό σύστημα που θα μπορούσε να εξομοιωθεί από υπολογιστή Π.χ., αυτοστοχασμός, διαίσθηση, άλλα θέματα σχετικά με πνευματικότητα

43 Μη αποφασισιμότητα και ανθρώπινος νους Εδώ υπάρχει σημαντική σχέση με τη θεμελιώδη για την Επιστήμη των Υπολογιστών εργασία του Alan Turing που δημοσιεύθηκε το 1937 σχετικά με τη μη αποφασισιμότητα Ο τίτλος του ήταν δυσνόητος: Μελέτη υπολογίσιμων αριθμών με εφαρμογή στο Entscheidungsproblem ( On computable numbers with an application to the Entscheidungsproblem ) Entscheidungsproblem: γερμανική φράση για τον όρο «Πρόβλημα Απόφασης» Διατυπώθηκε από τον David Hilbert το 1928 Ζητείται αλγόριθμος ο οποίος λαμβάνει σαν είσοδο μια δήλωση λογικής πρώτης τάξης (και πιθανώς έναν πεπερασμένο αριθμό συμπληρωματικών αξιωμάτων) και απαντάει ΝΑΙ" ή ΟΧΙ" ανάλογα με το αν η δήλωση είναι καθολικά έγκυρη, δηλ., έγκυρη για κάθε δομή που ικανοποιεί τα αξιώματα Η λογική πρώτης τάξης επιτρέπει συλλογιστική σχετικά με ιδιότητες κοινές σε πολλά αντικείμενα μέσω της χρήσης μεταβλητών: Phil(a) σημαίνει ότι ο a είναι φιλόσοφος, Schol(a) σημαίνει ότι ο a είναι is a μαθητευόμενος, ο τύπος Phil(a) Schol(a) σημαίνει ότι αν ο a είναι φιλόσοφος τότε είναι μαθητευόμενος

44 Μη αποφασισιμότητα και ανθρώπινος νους Κατά τη δεκαετία του 1930, η λέξη υπολογιστής είχε εντελώς διαφορετική σημασία από αυτή που έχει σήμερα Για τον Turing, ένας υπολογιστής ήταν ένα ανθρώπινο όν που εκτελούσε κάποιους υπολογισμούς με μολύβι και χαρτί οι υπολογίσιμοι αριθμοί στον τίτλο της εργασίας του Turing είναι αριθμοί που μπορούν να υπολογιστούν από ένα ανθρώπινο όν Για να υποστηρίξει το επιχείρημά του, ο Turing περιέγραψε έναν ειδικό τύπο μηχανής (για τον Turing, μηχανή είναι αυτό που σήμερα καλούμε υπολογιστή ) που μπορεί επίσης να εκτελεί υπολογισμούς Μέρος της εργασίας του αφιερώνεται στην παρουσίαση του ότι συγκεκριμένοι υπολογισμοί ΔΕ μπορούν να εκτελεστούν από αυτές τις μηχανές (η απόδειξη της μη αποφασισιμότητας που είδαμε ήδη) Άλλο μέρος της εργασίας παρουσιάζει λεπτομερές και αδιάσειστο επιχείρημα για το ότι η μηχανή του Turing (δηλ., ο υπολογιστής) μπορεί να εκτελέσει οποιονδήποτε υπολογισμό μπορεί να εκτελέσει και ένας υπολογιστής (δηλ., ένα ανθρώπινο ον)

45 Μη αποφασισιμότητα και ανθρώπινος νους Η θεμελιώδης εργασία του Turing δεν ορίζει και λύνει μόνο μερικά από τα πιο θεμελιώδη προβλήματα της Επιστήμης των Υπολογιστών ΑΛΛΑ επίσης αγγίζει την καρδιά ενός φιλοσοφικού ναρκοπέδιου παρουσιάζοντας ένα πειστικό επιχείρημα για το ότι η διαδικασία της ανθρώπινης σκέψης θα μπορούσε να εξομοιωθεί από υπολογιστές (που δεν είχαν κατασκευαστεί ακόμα τότε ) Στη σύγχρονη φιλοσοφική διάλεκτο, αυτή η ιδέα, ότι δηλ., όλοι οι υπολογιστές και πιθανώς και τα ανθρώπινα όντα έχουν ισοδύναμη υπολογιστική ισχύ είναι γνωστή σαν θέση των Church-Turing Η ονομασία προκύπτει από τα ονόματα των Alan Turing και Alonzo Church ο οποίος ανεξάρτητα ανακάλυψε την ύπαρξη μη αποφασίσιμων προβλημάτων Στ αλήθεια, ο Church δημοσίευσε τη δουλειά του μερικούς μήνες πριν από τον Turing, αλλά η διατύπωση του Church ήταν πιο αφηρημένη και δεν ανέφερε ρητά υπολογισμό από μηχανές Είναι ακόμα υπό συζήτηση αν ισχύει η θέση των Church-Turing: πάντως, αν ισχύει τότε οι υπολογιστές μας δεν είναι οι μόνοι που υφίστανται τους περιορισμούς της μη αποφασισιμότητας Οι ίδιοι περιορισμοί ισχύουν και για τον ανθρώπινο νου

Εισαγωγή στους Αλγόριθμους

Εισαγωγή στους Αλγόριθμους Εισαγωγή στους Αλγόριθμους Ενότητα 10: Όρια υπολογισμού Εύη Παπαϊωάννου Σχολή Οργάνωσης και Διοίκησης Επιχειρήσεων Τμήμα Διαχείρισης Πολιτισμικού Περιβάλλοντος και Νέων Τεχνολογιών Σκοποί ενότητας Ποια

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

Θεωρία Υπολογισμού Άρτιοι ΑΜ. Διδάσκων: Σταύρος Κολλιόπουλος. eclass.di.uoa.gr. Περιγραφή μαθήματος

Θεωρία Υπολογισμού Άρτιοι ΑΜ. Διδάσκων: Σταύρος Κολλιόπουλος. eclass.di.uoa.gr. Περιγραφή μαθήματος Περιγραφή μαθήματος Θεωρία Υπολογισμού Άρτιοι ΑΜ Σκοπός του μαθήματος είναι η εισαγωγή στη Θεωρία Υπολογισμού και στη Θεωρία Υπολογιστικής Πολυπλοκότητας (Θεωρία Αλγορίθμων). Διδάσκων: Σταύρος Κολλιόπουλος

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

Θεωρία Υπολογισμού Αρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr

Θεωρία Υπολογισμού Αρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr Θεωρία Υπολογισμού Άρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr Περιγραφή μαθήματος Σκοπός του μαθήματος είναι η εισαγωγή στη Θεωρία Υπολογισμού και στη Θεωρία Υπολογιστικής Πολυπλοκότητας

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

Υπολογίσιμες Συναρτήσεις

Υπολογίσιμες Συναρτήσεις Υπολογίσιμες Συναρτήσεις Σ Π Υ Ρ Ι Δ Ω Ν Τ Ζ Ι Μ Α Σ Δ Τ Ο Μ Ε Α Σ Τ Μ Η Μ Α Μ Α Θ Η Μ Α Τ Ι Κ Ω Ν Σ Χ Ο Λ Η Θ Ε Τ Ι Κ Ω Ν Ε Π Ι Σ Τ Η Μ Ω Ν Π Α Ν Ε Π Ι Σ Τ Η Μ Ι Ο Ι Ω Α Ν Ν Ι Ν Ω Ν Υπολογίσιμες Συναρτήσεις

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

Προβλήματα, αλγόριθμοι, ψευδοκώδικας

Προβλήματα, αλγόριθμοι, ψευδοκώδικας Προβλήματα, αλγόριθμοι, ψευδοκώδικας October 11, 2011 Στο μάθημα Αλγοριθμική και Δομές Δεδομένων θα ασχοληθούμε με ένα μέρος της διαδικασίας επίλυσης υπολογιστικών προβλημάτων. Συγκεκριμένα θα δούμε τι

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

Mh apofasisimèc gl ssec. A. K. Kapìrhc

Mh apofasisimèc gl ssec. A. K. Kapìrhc Mh apofasisimèc gl ssec A. K. Kapìrhc 15 Maòou 2009 2 Perieqìmena 1 Μη αποφασίσιμες γλώσσες 5 1.1 Ανάγω το πρόβλημα A στο B................................. 5 1.2 Αναγωγές μη επιλυσιμότητας..................................

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

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

ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΡΧΕΣ ΤΗΣ ΕΠΙΣΤΗΜΗΣ ΤΩΝ Η/Υ ΜΑΘΗΜΑ ΓΕΝΙΚΗΣ ΠΑΙΔΕΙΑΣ Β ΛΥΚΕΙΟΥ ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΡΧΕΣ ΤΗΣ ΕΠΙΣΤΗΜΗΣ ΤΩΝ Η/Υ ΜΑΘΗΜΑ ΓΕΝΙΚΗΣ ΠΑΙΔΕΙΑΣ Β ΛΥΚΕΙΟΥ ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΡΧΕΣ ΤΗΣ ΕΠΙΣΤΗΜΗΣ ΤΩΝ Η/Υ Ιστότοπος Βιβλίου http://www.iep.edu.gr/ και «Νέα Βιβλία ΙΕΠ ΓΕΛ και ΕΠΑΛ» 2 ΠΕΡΙΕΧΟΜΕΝΑ

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

ΚΕΦΑΛΑΙΟ 5. Κύκλος Ζωής Εφαρμογών ΕΝΟΤΗΤΑ 2. Εφαρμογές Πληροφορικής. Διδακτικές ενότητες 5.1 Πρόβλημα και υπολογιστής 5.2 Ανάπτυξη εφαρμογών

ΚΕΦΑΛΑΙΟ 5. Κύκλος Ζωής Εφαρμογών ΕΝΟΤΗΤΑ 2. Εφαρμογές Πληροφορικής. Διδακτικές ενότητες 5.1 Πρόβλημα και υπολογιστής 5.2 Ανάπτυξη εφαρμογών 44 Διδακτικές ενότητες 5.1 Πρόβλημα και υπολογιστής 5.2 Ανάπτυξη εφαρμογών Διδακτικοί στόχοι Σκοπός του κεφαλαίου είναι οι μαθητές να κατανοήσουν τα βήματα που ακολουθούνται κατά την ανάπτυξη μιας εφαρμογής.

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

Υπολογιστικά & Διακριτά Μαθηματικά

Υπολογιστικά & Διακριτά Μαθηματικά Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 1: Εισαγωγή- Χαρακτηριστικά Παραδείγματα Αλγορίθμων Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.

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

Πειραματιζόμενοι με αριθμούς στο περιβάλλον του Microworlds Pro: διαθεματική προσέγγιση περί «πολλαπλασίων και διαιρετών»

Πειραματιζόμενοι με αριθμούς στο περιβάλλον του Microworlds Pro: διαθεματική προσέγγιση περί «πολλαπλασίων και διαιρετών» Πειραματιζόμενοι με αριθμούς στο περιβάλλον του Microworlds Pro: διαθεματική προσέγγιση περί «πολλαπλασίων και διαιρετών» μια Νίκος Δαπόντες Φυσικός Δευτεροβάθμιας Εκπαίδευσης Το περιβάλλον Microworlds

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

Μαθηματικά: Αριθμητική και Άλγεβρα. Μάθημα 3 ο, Τμήμα Α. Τρόποι απόδειξης

Μαθηματικά: Αριθμητική και Άλγεβρα. Μάθημα 3 ο, Τμήμα Α. Τρόποι απόδειξης Μαθηματικά: Αριθμητική και Άλγεβρα Μάθημα 3 ο, Τμήμα Α Ο πυρήνας των μαθηματικών είναι οι τρόποι με τους οποίους μπορούμε να συλλογιζόμαστε στα μαθηματικά. Τρόποι απόδειξης Επαγωγικός συλλογισμός (inductive)

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

ΑΝΑΛΥΣΗ 1 ΔΕΚΑΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.

ΑΝΑΛΥΣΗ 1 ΔΕΚΑΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης. ΑΝΑΛΥΣΗ 1 ΔΕΚΑΤΟ ΜΑΘΗΜΑ, 9-10-13 Μ. Παπαδημητράκης. 1 ΠΡΟΤΑΣΗ. Αν ισχύει y n για άπειρους n και x R και y n y R, τότε x y. Απόδειξη. Υποθέτουμε (για άτοπο) ότι y < x. Γνωρίζουμε ότι υπάρχει κάποιος αρκετά

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

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 15: Διαγνωσιμότητα (Επιλυσιμότητα) ΙΙ

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 15: Διαγνωσιμότητα (Επιλυσιμότητα) ΙΙ ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 15: Διαγνωσιμότητα (Επιλυσιμότητα) ΙΙ Τι θα κάνουμε σήμερα Επιλύσιμα Προβλήματα σχετικά με Ασυμφραστικές Γλώσσες (4.1.2) Το Πρόβλημα του Τερματισμού

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

2 ΟΥ και 7 ΟΥ ΚΕΦΑΛΑΙΟΥ

2 ΟΥ και 7 ΟΥ ΚΕΦΑΛΑΙΟΥ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΕΠΙΜΕΛΕΙΑ: ΜΑΡΙΑ Σ. ΖΙΩΓΑ ΚΑΘΗΓΗΤΡΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΘΕΩΡΙΑ 2 ΟΥ και 7 ΟΥ ΚΕΦΑΛΑΙΟΥ ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΑΛΓΟΡΙΘΜΩΝ και ΔΟΜΗ ΑΚΟΛΟΥΘΙΑΣ 2.1 Να δοθεί ο ορισμός

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

Αλγόριθμοι για αυτόματα

Αλγόριθμοι για αυτόματα Κεφάλαιο 8 Αλγόριθμοι για αυτόματα Κύρια βιβλιογραφική αναφορά για αυτό το Κεφάλαιο είναι η Hopcroft, Motwani, and Ullman 2007. 8.1 Πότε ένα DFA αναγνωρίζει κενή ή άπειρη γλώσσα Δοθέντος ενός DFA M καλούμαστε

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

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

Η ΣΗΜΑΣΙΑ ΤΩΝ ΟΠΤΙΚΩΝ ΑΝΑΠΑΡΑΣΤΑΣΕΩΝ ΣΤΗ ΔΙΔΑΣΚΑΛΙΑ ΤΩΝ ΜΑΘΗΜΑΤΙΚΩΝ Η ΣΗΜΑΣΙΑ ΤΩΝ ΟΠΤΙΚΩΝ ΑΝΑΠΑΡΑΣΤΑΣΕΩΝ ΣΤΗ ΔΙΔΑΣΚΑΛΙΑ ΤΩΝ ΜΑΘΗΜΑΤΙΚΩΝ Οι μαθηματικές έννοιες και γενικότερα οι μαθηματικές διαδικασίες είναι αφηρημένες και, αρκετές φορές, ιδιαίτερα πολύπλοκες. Η κατανόηση

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

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

ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΥΠΟΛΟΓΙΣΤΩΝ Εισαγωγή ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΥΠΟΛΟΓΙΣΤΩΝ Όπως για όλες τις επιστήμες, έτσι και για την επιστήμη της Πληροφορικής, ο τελικός στόχος της είναι η επίλυση προβλημάτων. Λύνονται όμως όλα τα προβλήματα;

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

Το πρόβλημα μονοδρόμησης (The One-Way Street Problem)

Το πρόβλημα μονοδρόμησης (The One-Way Street Problem) Το πρόβλημα μονοδρόμησης (The One-Way Street Problem) Το πρόβλημα Σχετίζεται με τη διαχείριση της κίνησης οχημάτων στους δρόμους Αν δεν υπήρχαν καθυστερήσεις στην κίνηση στις πόλεις Αποφυγή σπατάλης ενέργειας

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

Υπολογιστικά & Διακριτά Μαθηματικά

Υπολογιστικά & Διακριτά Μαθηματικά Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 2:Στοιχεία Μαθηματικής Λογικής Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,

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

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

ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ ΣΧΟΛΙΚΟΥ ΕΤΟΥΣ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ ΣΧΟΛΙΚΟΥ ΕΤΟΥΣ 2011-2012 Επιμέλεια: Ομάδα Διαγωνισμάτων από το Στέκι των Πληροφορικών Θέμα Α Α1. Να γράψετε στο τετράδιό σας τον

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

ΠΡΟΣΟΜΟΙΩΣΗ ΠΑΝΕΛΛΑΔΙΚΩΝ ΕΞΕΤΑΣΕΩΝ Γʹ ΤΑΞΗΣ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΑΕΠΠ ΤΡΙΤΗ 18 ΑΠΡΙΛΙΟΥ 2017 ΣΥΝΟΛΟ ΣΕΛΙΔΩΝ: ΕΠΤΑ (7)

ΠΡΟΣΟΜΟΙΩΣΗ ΠΑΝΕΛΛΑΔΙΚΩΝ ΕΞΕΤΑΣΕΩΝ Γʹ ΤΑΞΗΣ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΑΕΠΠ ΤΡΙΤΗ 18 ΑΠΡΙΛΙΟΥ 2017 ΣΥΝΟΛΟ ΣΕΛΙΔΩΝ: ΕΠΤΑ (7) ΠΡΟΣΟΜΟΙΩΣΗ ΠΑΝΕΛΛΑΔΙΚΩΝ ΕΞΕΤΑΣΕΩΝ Γʹ ΤΑΞΗΣ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΑΕΠΠ ΤΡΙΤΗ 18 ΑΠΡΙΛΙΟΥ 2017 ΣΥΝΟΛΟ ΣΕΛΙΔΩΝ: ΕΠΤΑ (7) Θέμα Α Α1. Να γράψετε στο τετράδιό σας τον αριθμό καθεμιάς

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

Θέμα Α Α3.1 ΤΕΛΟΣ 1ΗΣ ΑΠΟ 9 ΣΕΛΙΔΕΣ

Θέμα Α Α3.1 ΤΕΛΟΣ 1ΗΣ ΑΠΟ 9 ΣΕΛΙΔΕΣ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΛΥΣΕΙΣ ΕΠΑΝΑΛΗΠΤΙΚΟΥ ΔΙΑΓΩΝΙΣΜΑΤΟΣ ΣΧΟΛΙΚΟΥ ΕΤΟΥΣ 2012-2013 Επιμέλεια: Ομάδα Διαγωνισμάτων από το Στέκι των Πληροφορικών Θέμα Α Α1 Α2 1. Μέχρι το 1976

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

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 13: Παραλλαγές Μηχανών Turing και Περιγραφή Αλγορίθμων

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 13: Παραλλαγές Μηχανών Turing και Περιγραφή Αλγορίθμων ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 13: Παραλλαγές Μηχανών Turing και Περιγραφή Αλγορίθμων Τι θα κάνουμε σήμερα Εισαγωγή Πολυταινιακές Μηχανές Turing (3.2.1) Μη Ντετερμινιστικές Μηχανές

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

Ψευδοκώδικας. November 7, 2011

Ψευδοκώδικας. November 7, 2011 Ψευδοκώδικας November 7, 2011 Οι γλώσσες τύπου ψευδοκώδικα είναι ένας τρόπος περιγραφής αλγορίθμων. Δεν υπάρχει κανένας τυπικός ορισμός της έννοιας του ψευδοκώδικα όμως είναι κοινός τόπος ότι οποιαδήποτε

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

Αριθμήσιμα σύνολα. Μαθηματικά Πληροφορικής 5ο Μάθημα. Παραδείγματα αριθμήσιμων συνόλων. Οι ρητοί αριθμοί

Αριθμήσιμα σύνολα. Μαθηματικά Πληροφορικής 5ο Μάθημα. Παραδείγματα αριθμήσιμων συνόλων. Οι ρητοί αριθμοί Αριθμήσιμα σύνολα Μαθηματικά Πληροφορικής 5ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Ορισμός Πόσα στοιχεία έχει το σύνολο {a, b, r, q, x}; Οσα και το σύνολο {,,, 4, 5} που είναι

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

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

ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Ενότητα 11: Καθολική μηχανή Turing Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως

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

Ανάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4)

Ανάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4) Ανάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4) Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Η διαδικαστική γλώσσα προγραμματισμού WHILE Τριάδες Hoare Μερική και Ολική Ορθότητα Προγραμμάτων Κανόνες

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

Βασίλειος Κοντογιάννης ΠΕ19

Βασίλειος Κοντογιάννης ΠΕ19 Ενότητα2 Προγραμματιστικά Περιβάλλοντα Δημιουργία Εφαρμογών 5.1 Πρόβλημα και Υπολογιστής Τι ονομάζουμε πρόβλημα; Πρόβλημα θεωρείται κάθε ζήτημα που τίθεται προς επίλυση, κάθε κατάσταση που μας απασχολεί

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

Κατανεμημένα Συστήματα Ι

Κατανεμημένα Συστήματα Ι Συναίνεση χωρίς την παρουσία σφαλμάτων Κατανεμημένα Συστήματα Ι 4η Διάλεξη 27 Οκτωβρίου 2016 Παναγιώτα Παναγοπούλου Κατανεμημένα Συστήματα Ι 4η Διάλεξη 1 Συναίνεση χωρίς την παρουσία σφαλμάτων Προηγούμενη

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

5 ΕΙΣΑΓΩΓΗ ΣΤΗ ΘΕΩΡΙΑ ΑΛΓΟΡΙΘΜΩΝ

5 ΕΙΣΑΓΩΓΗ ΣΤΗ ΘΕΩΡΙΑ ΑΛΓΟΡΙΘΜΩΝ 5 ΕΙΣΑΓΩΓΗ ΣΤΗ ΘΕΩΡΙΑ ΑΛΓΟΡΙΘΜΩΝ 5.1 Εισαγωγή στους αλγορίθμους 5.1.1 Εισαγωγή και ορισμοί Αλγόριθμος (algorithm) είναι ένα πεπερασμένο σύνολο εντολών οι οποίες εκτελούν κάποιο ιδιαίτερο έργο. Κάθε αλγόριθμος

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

Εισαγωγικά Παραδείγματα: Παρατηρήσεις:

Εισαγωγικά Παραδείγματα: Παρατηρήσεις: 1 Εισαγωγικά Η έννοια του συνόλου είναι πρωταρχική στα Μαθηματικά, δεν μπορεί δηλ. να οριστεί από άλλες έννοιες. Γενικά, μπορούμε να πούμε ότι σύνολο είναι μια συλλογή αντικειμένων. υτά λέμε ότι περιέχονται

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

53 Χρόνια ΦΡΟΝΤΙΣΤΗΡΙΑ ΜΕΣΗΣ ΕΚΠΑΙΔΕΥΣΗΣ Σ Α Β Β Α Ϊ Δ Η Μ Α Ν Ω Λ Α Ρ Α Κ Η

53 Χρόνια ΦΡΟΝΤΙΣΤΗΡΙΑ ΜΕΣΗΣ ΕΚΠΑΙΔΕΥΣΗΣ Σ Α Β Β Α Ϊ Δ Η Μ Α Ν Ω Λ Α Ρ Α Κ Η 53 Χρόνια ΦΡΟΝΤΙΣΤΗΡΙΑ ΜΕΣΗΣ ΕΚΠΑΙΔΕΥΣΗΣ Σ Α Β Β Α Ϊ Δ Η Μ Α Ν Ω Λ Α Ρ Α Κ Η ΠΑΓΚΡΑΤΙ: Φιλολάου & Εκφαντίδου 26 : 210/76.01.470 210/76.00.179 ΘΕΜΑ Α [Α.1.1]. Από ποιους παράγοντες εξαρτάται η επιλογή της

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

Δομές Δεδομένων & Αλγόριθμοι

Δομές Δεδομένων & Αλγόριθμοι Θέματα Απόδοσης Αλγορίθμων 1 Η Ανάγκη για Δομές Δεδομένων Οι δομές δεδομένων οργανώνουν τα δεδομένα πιο αποδοτικά προγράμματα Πιο ισχυροί υπολογιστές πιο σύνθετες εφαρμογές Οι πιο σύνθετες εφαρμογές απαιτούν

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

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

ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Ενότητα 10: Συνδυασμοί μηχανών Turing Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως

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

ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΔΙΑΓΩΝΙΣΜΑ ΠΡΟΣΟΜΟΙΩΣΗΣ 23/04/2012. Α. Να απαντήσετε με Σ ή Λ στις παρακάτω προτάσεις:

ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΔΙΑΓΩΝΙΣΜΑ ΠΡΟΣΟΜΟΙΩΣΗΣ 23/04/2012. Α. Να απαντήσετε με Σ ή Λ στις παρακάτω προτάσεις: ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΔΙΑΓΩΝΙΣΜΑ ΠΡΟΣΟΜΟΙΩΣΗΣ 23/04/2012 ΘΕΜΑ Α Α. Να απαντήσετε με Σ ή Λ στις παρακάτω προτάσεις: 1. Κάθε βρόγχος που υλοποιείται με την εντολή Για μπορεί να

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

Σειρά Προβλημάτων 5 Λύσεις

Σειρά Προβλημάτων 5 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) ({ G η G είναι μια ασυμφραστική γραμματική που δεν παράγει καμιά λέξη με μήκος μικρότερο του 2 } (β) { Μ,w

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

ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΥΠΟΛΟΓΙΣΤΩΝ ΣΕ PASCAL: ΑΠΟ ΤΑ ΕΚΠΑΙΔΕΥΤΙΚΑ ΠΕΡΙΒΑΛΛΟΝΤΑ ΚΑΙ ΤΑ ΨΗΦΙΑΚΑ ΠΑΙΧΝΙΔΙΑ ΣΤΙΣ ΓΛΩΣΣΕΣ ΥΨΗΛΟΥ ΕΠΙΠΕΔΟΥ

ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΥΠΟΛΟΓΙΣΤΩΝ ΣΕ PASCAL: ΑΠΟ ΤΑ ΕΚΠΑΙΔΕΥΤΙΚΑ ΠΕΡΙΒΑΛΛΟΝΤΑ ΚΑΙ ΤΑ ΨΗΦΙΑΚΑ ΠΑΙΧΝΙΔΙΑ ΣΤΙΣ ΓΛΩΣΣΕΣ ΥΨΗΛΟΥ ΕΠΙΠΕΔΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΥΠΟΛΟΓΙΣΤΩΝ ΣΕ PASCAL: ΑΠΟ ΤΑ ΕΚΠΑΙΔΕΥΤΙΚΑ ΠΕΡΙΒΑΛΛΟΝΤΑ ΚΑΙ ΤΑ ΨΗΦΙΑΚΑ ΠΑΙΧΝΙΔΙΑ ΣΤΙΣ ΓΛΩΣΣΕΣ ΥΨΗΛΟΥ ΕΠΙΠΕΔΟΥ ΟΜΙΛΟΣ ΑΡΙΣΤΕΙΑΣ ΚΑΙ ΔΗΜΙΟΥΡΓΙΚΟΤΗΤΑΣ ΠΡΟΤΥΠΟ ΠΕΙΡΑΜΑΤΙΚΟ ΓΥΜΝΑΣΙΟ ΕΥΑΓΓΕΛΙΚΗΣ

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

Ποσοτικές Μέθοδοι στη Διοίκηση Επιχειρήσεων ΙΙ Σύνολο- Περιεχόμενο Μαθήματος

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

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

Πρόταση. Αληθείς Προτάσεις

Πρόταση. Αληθείς Προτάσεις Βασικές έννοιες της Λογικής 1 Πρόταση Στην καθημερινή μας ομιλία χρησιμοποιούμε εκφράσεις όπως: P1: «Καλή σταδιοδρομία» P2: «Ο Όλυμπος είναι το ψηλότερο βουνό της Ελλάδας» P3: «Η Θάσος είναι το μεγαλύτερο

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

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 16: Αναγωγές

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 16: Αναγωγές ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 16: Αναγωγές Τι θα κάνουμε σήμερα Το Πρόβλημα του Τερματισμού (4.2) Εισαγωγή στις Αναγωγές Ανεπίλυτα Προβλήματα από την Θεωρία των Γλωσσών (5.1) Απεικονιστικές

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

Μάθημα 4 ο. Κρίσιμα Τμήματα και Αμοιβαίος Αποκλεισμός

Μάθημα 4 ο. Κρίσιμα Τμήματα και Αμοιβαίος Αποκλεισμός Μάθημα 4 ο Κρίσιμα Τμήματα και Αμοιβαίος Αποκλεισμός Εισαγωγή Σκοπός του μαθήματος αυτού είναι να εξηγήσει την έννοια του κρίσιμου τμήματος σε μία διεργασία και να δείξει τη λύση για ένα απλό πρόβλημα

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

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

ΔΙΑΓΩΝΙΣΜΑ ΠΡΟΣΟΜΟΙΩΣΗΣ ΣΤΗΝ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΔΙΑΓΩΝΙΣΜΑ ΠΡΟΣΟΜΟΙΩΣΗΣ ΣΤΗΝ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ 05/01/2010 ΘΕΜΑ 1 ο Α) Δίνεται η παρακάτω ακολουθία εντολών αλγορίθμου: ΑΛΓΟΡΙΘΜΟΣ Θέμα1 ΔΙΑΒΑΣΕ Ν Σ 0 π 0 ΓΙΑ ψ ΑΠΟ -1 ΜΕΧΡΙ

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

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

ΑΣΥΜΠΤΩΤΙΚΗ ΑΝΑΛΥΣΗ & ΠΡΟΣΘΕΣΗ ΑΣΥΜΠΤΩΤΙΚΗ ΑΝΑΛΥΣΗ & ΠΡΟΣΘΕΣΗ Θέματα μελέτης Ορθότητα και απόδοση αλγορίθμων Παρουσίαση και ανάλυση αλγορίθμου για πρόσθεση Al Khwarizmi Αλγόριθμοι Το δεκαδικό σύστημα εφευρέθηκε στην Ινδία περίπου το

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

2 Ο ΔΙΑΓΩΝΙΣΜΑ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΟΝ Γ ΛΥΚΕΙΟΥ ΖΗΤΗΜΑ 1ο

2 Ο ΔΙΑΓΩΝΙΣΜΑ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΟΝ Γ ΛΥΚΕΙΟΥ ΖΗΤΗΜΑ 1ο This image cannot currently be displayed. ΕΠΩΝΥΜΟ:... ΟΝΟΜΑ:... ΤΣΙΜΙΣΚΗ &ΚΑΡΟΛΟΥ ΝΤΗΛ ΓΩΝΙΑ THΛ: 270727 222594 ΑΡΤΑΚΗΣ 12 - Κ. ΤΟΥΜΠΑ THΛ: 919113 949422 ΤΜΗΜΑ:... ΗΜΕΡΟΜΗΝΙΑ:...2/2/2014... 2 Ο ΔΙΑΓΩΝΙΣΜΑ

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

ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΡΧΕΣ ΤΗΣ ΕΠΙΣΤΗΜΗΣ ΤΩΝ Η/Υ

ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΡΧΕΣ ΤΗΣ ΕΠΙΣΤΗΜΗΣ ΤΩΝ Η/Υ ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΡΧΕΣ ΤΗΣ ΕΠΙΣΤΗΜΗΣ ΤΩΝ Η/Υ ΜΕΡΛΙΑΟΥΝΤΑΣ ΣΤΕΦΑΝΟΣ, ΠΕ19 ΚΕΦΑΛΑΙΟ 3 Αλγόριθμοι 3. Αλγόριθμοι 2 3. Αλγόριθμοι 3.1 Η έννοια του αλγορίθμου 3.2 Χαρακτηριστικά αλγορίθμου 3.3 Ανάλυση αλγορίθμων

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

Δραστηριότητα: Εγκλεισμός

Δραστηριότητα: Εγκλεισμός Δραστηριότητα: Εγκλεισμός Ηλικίες στις οποίες έχει χρησιμοποιηθεί με επιτυχία: Προαπαιτούμενες Ικανότητες: Χρόνος: Εστίαση Μέγεθος Ομάδας 11 - ενήλικες Καμία Τι είναι αλγόριθμος Αλγόριθμοι αναζήτησης:

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

Τεχνικές σχεδίασης προγραμμάτων, Προγραμματιστικά Περιβάλλοντα

Τεχνικές σχεδίασης προγραμμάτων, Προγραμματιστικά Περιβάλλοντα Τεχνικές σχεδίασης προγραμμάτων, Προγραμματιστικά Περιβάλλοντα Ενότητες βιβλίου: 6.4, 6.7 Ώρες διδασκαλίας: 1 Τεχνικές σχεδίασης προγραμμάτων Στο βιβλίο γίνεται αναφορά σε μία τεχνική για την ανάπτυξη

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

ΕΡΓΑΣΤΗΡΙΟ 3: Προγραμματιστικά Περιβάλλοντα και το Πρώτο Πρόγραμμα C

ΕΡΓΑΣΤΗΡΙΟ 3: Προγραμματιστικά Περιβάλλοντα και το Πρώτο Πρόγραμμα C ΕΡΓΑΣΤΗΡΙΟ 3: Προγραμματιστικά Περιβάλλοντα και το Πρώτο Πρόγραμμα C Στο εργαστήριο αυτό, θα ασχοληθούμε με δύο προγραμματιστικά περιβάλλοντα για τη γλώσσα C: τον gcc μεταγλωττιστή της C σε περιβάλλον

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

Το πρόβλημα του σταθερού γάμου

Το πρόβλημα του σταθερού γάμου Το πρόβλημα του σταθερού γάμου Γάμος και Θεωρία Γραφημάτων Γάμος πρόβλημα ταιριάσματος Θα δούμε έναν αλγόριθμο ταιριάσματος (matching algorithm) που χρησιμοποιείται σε πολλές εφαρμογές Γνωριμίες (γραφεία,

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

Ασκήσεις μελέτης της 8 ης διάλεξης

Ασκήσεις μελέτης της 8 ης διάλεξης Οικονομικό Πανεπιστήμιο Αθηνών, Τμήμα Πληροφορικής Μάθημα: Τεχνητή Νοημοσύνη, 2017 18 Διδάσκων: Ι. Ανδρουτσόπουλος Ασκήσεις μελέτης της 8 ης διάλεξης 8.1. (i) Έστω ότι α και β είναι δύο τύποι της προτασιακής

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

2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ

2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΕΠΙΜΕΛΕΙΑ: ΜΑΡΙΑ Σ. ΖΙΩΓΑ ΚΑΘΗΓΗΤΡΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΘΕΩΡΙΑ 2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΔΟΜΗ ΕΠΑΝΑΛΗΨΗΣ 1) Πότε χρησιμοποιείται η δομή επανάληψης

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

οµή Επιλογής Α. Κατηγορία προβληµάτων Β. Κριτήριο Αλγορίθµου Γ. Τρόπος αναπαράστασης αλγορίθµων . Είδος σταθεράς Ε. Λογική τιµή

οµή Επιλογής Α. Κατηγορία προβληµάτων Β. Κριτήριο Αλγορίθµου Γ. Τρόπος αναπαράστασης αλγορίθµων . Είδος σταθεράς Ε. Λογική τιµή οµή Επιλογής Θέµα Α Α1. Να χαρακτηρίσετε κάθε µία από τις παρακάτω προτάσεις µε Σ αν είναι σωστή ή Λ αν είναι λανθασµένη. 1. Όλες οι δοµές επιλογής κλείνουν µε την εντολή. 2. Η παρακάτω εντολή είναι σωστή

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

Φ(s(n)) = s (Φ(n)). (i) Φ(1) = a.

Φ(s(n)) = s (Φ(n)). (i) Φ(1) = a. 1. Τα θεμελιώδη αριθμητικά συστήματα Με τον όρο θεμελιώδη αριθμητικά συστήματα εννοούμε τα σύνολα N των φυσικών αριθμών, Z των ακεραίων, Q των ρητών και R των πραγματικών. Από αυτά, το σύνολο N είναι πρωτογενές

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

K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων

K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Στοιχεία προτασιακής λογικής Περιεχόμενα

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

Παραλλαγές στη Δομή Επανάληψης

Παραλλαγές στη Δομή Επανάληψης Παραλλαγές στη Δομή Επανάληψης Υποδειγματικό Σενάριο Γνωστικό αντικείμενο: Πληροφορική Δημιουργός: ΠΑΝΑΓΙΩΤΗΣ ΤΣΑΚΩΝΑΣ ΙΝΣΤΙΤΟΥΤΟ ΕΚΠΑΙΔΕΥΤΙΚΗΣ ΠΟΛΙΤΙΚΗΣ ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ, ΕΡΕΥΝΑΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ Σημείωση

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

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

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

Σύνοψη Θεωρίας ΟΡΙΣΜΟΣ ΚΑΙ ΧΑΡΑΚΤΗΡΙΣΤΙΚΑ ΑΛΓΟΡΙΘΜΩΝ

Σύνοψη Θεωρίας ΟΡΙΣΜΟΣ ΚΑΙ ΧΑΡΑΚΤΗΡΙΣΤΙΚΑ ΑΛΓΟΡΙΘΜΩΝ 1 ο ΓΥΜΝΑΣΙΟ ΘΕΡΜΗΣ Τάξη: Γ Μάθημα: Πληροφορική Εξεταστέα ύλη: Παρ11.1 & 11.2 Σύνοψη Θεωρίας ΟΡΙΣΜΟΣ ΚΑΙ ΧΑΡΑΚΤΗΡΙΣΤΙΚΑ ΑΛΓΟΡΙΘΜΩΝ Αλγόριθμος είναι μια πεπερασμένη σειρά ενεργειών που περιγράφει τη διαδικασία

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

Ανάλυση της Ορθότητας Προγραμμάτων

Ανάλυση της Ορθότητας Προγραμμάτων Ανάλυση της Ορθότητας Προγραμμάτων Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Η διαδικαστική γλώσσα προγραμματισμού WHILE Τριάδες Hoare Μερική και Ολική Ορθότητα Προγραμμάτων Κανόνες Απόδειξης Μερικής

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

Ανάλυση της Ορθότητας Προγραμμάτων

Ανάλυση της Ορθότητας Προγραμμάτων Ανάλυση της Ορθότητας Προγραμμάτων Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Η διαδικαστική γλώσσα προγραμματισμού WHILE Τριάδες Hoare Μερική και Ολική Ορθότητα Προγραμμάτων ΚανόνεςΑπόδειξηςΜερικήςΟρθότητας

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

Μάθημα 4ο. Προγράμματα

Μάθημα 4ο. Προγράμματα Μάθημα 4ο Προγράμματα Σελίδα 47 από 106 4.1 Εγκατάσταση προγραμμάτων Όπως έχουμε πει στο πρώτο μάθημα (Σημειώσεις 1ου Μαθήματος 1.3.3.Β σελ. 12) τα προγράμματα ή αλλιώς εφαρμογές αποτελούν μέρος του λογισμικού

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

ΕΙΔΗ ΕΡΕΥΝΑΣ I: ΠΕΙΡΑΜΑΤΙΚΗ ΕΡΕΥΝΑ & ΠΕΙΡΑΜΑΤΙΚΟΙ ΣΧΕΔΙΑΣΜΟΙ

ΕΙΔΗ ΕΡΕΥΝΑΣ I: ΠΕΙΡΑΜΑΤΙΚΗ ΕΡΕΥΝΑ & ΠΕΙΡΑΜΑΤΙΚΟΙ ΣΧΕΔΙΑΣΜΟΙ ΤΕΧΝΙΚΕΣ ΕΡΕΥΝΑΣ (# 252) Ε ΕΞΑΜΗΝΟ 9 η ΕΙΣΗΓΗΣΗ ΣΗΜΕΙΩΣΕΙΣ ΕΙΔΗ ΕΡΕΥΝΑΣ I: ΠΕΙΡΑΜΑΤΙΚΗ ΕΡΕΥΝΑ & ΠΕΙΡΑΜΑΤΙΚΟΙ ΣΧΕΔΙΑΣΜΟΙ ΛΙΓΗ ΘΕΩΡΙΑ Στην προηγούμενη διάλεξη μάθαμε ότι υπάρχουν διάφορες μορφές έρευνας

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

Μαθηματική Λογική και Απόδειξη

Μαθηματική Λογική και Απόδειξη Μαθηματική Λογική και Απόδειξη Σύντομο ιστορικό σημείωμα: Η πρώτη απόδειξη στην ιστορία των μαθηματικών, αποδίδεται στο Θαλή το Μιλήσιο (~600 π.χ.). Ο Θαλής απέδειξε, ότι η διάμετρος διαιρεί τον κύκλο

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

ΚΕΦΑΛΑΙΑ XIII, XIV. Εκσφαλμάτωση προγράμματος - Κύκλος Ζωής Λογισμικού

ΚΕΦΑΛΑΙΑ XIII, XIV. Εκσφαλμάτωση προγράμματος - Κύκλος Ζωής Λογισμικού ΚΕΦΑΛΑΙΑ XIII, XIV Ένας προγραμματιστής ανεξάρτητα από το πόσο ικανός είναι, όταν δημιουργεί ένα πρόγραμμα, είναι φυσικό να κάνει ορισμένα λάθη. Σε ένα πρόγραμμα είναι δυνατό να παρουσιαστούν διαφορετικής

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

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

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

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

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

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

ΑΡΧΗ 1ης ΣΕΛΙΔΑΣ. i. Η συνθήκη α > β ή α <= β α) είναι πάντα Αληθής β) είναι πάντα Ψευδής γ) δεν υπολογίζεται δ) τίποτα από τα προηγούμενα

ΑΡΧΗ 1ης ΣΕΛΙΔΑΣ. i. Η συνθήκη α > β ή α <= β α) είναι πάντα Αληθής β) είναι πάντα Ψευδής γ) δεν υπολογίζεται δ) τίποτα από τα προηγούμενα ΑΡΧΗ 1ης ΣΕΛΙΔΑΣ ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ : ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΤΑΞΗ / ΤΜΗΜΑ : Γ ΛΥΚΕΙΟΥ ΔΙΑΓΩΝΙΣΜΑ ΠΕΡΙΟΔΟΥ : ΟΚΤΩΒΡΙΟΣ 2017 ΣΥΝΟΛΟ ΣΕΛΙΔΩΝ : 6 (ΕΞΙ) ΘΕΜΑ Α : A1. Να γράψετε στο φύλλο απαντήσεων τον αριθμό καθεμιάς

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

Περιεχόμενα 1 Πρωτοβάθμια Λογική Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων ) / 60

Περιεχόμενα 1 Πρωτοβάθμια Λογική Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων ) / 60 Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

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

ΑΕΠΠ Ερωτήσεις θεωρίας

ΑΕΠΠ Ερωτήσεις θεωρίας ΑΕΠΠ Ερωτήσεις θεωρίας Κεφάλαιο 1 1. Τα δεδομένα μπορούν να παρέχουν πληροφορίες όταν υποβάλλονται σε 2. Το πρόβλημα μεγιστοποίησης των κερδών μιας επιχείρησης είναι πρόβλημα 3. Για την επίλυση ενός προβλήματος

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

ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ομή Επανάληψης

ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ομή Επανάληψης ΕΠ.27 Να αναπτυχθεί αλγόριθμος που θα εμφανίζει όλους τους τέλειους αριθμούς στο διάστημα [2,100]. Τέλειος είναι ο ακέραιος που ισούται με το άθροισμα των γνήσιων διαιρετών του. Oι τέλειοι Ο Πυθαγόρας

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

Επαναληπτικό Διαγώνισμα

Επαναληπτικό Διαγώνισμα Επαναληπτικό Διαγώνισμα Ανάπτυξη Εφαρμογών Σε Προγραμματιστικό Περιβάλλον Γ Λυκείου Κυριακή 13 Απριλίου 2014 ΘΕΜΑ Α Δίνεται το παρακάτω τμήμα προγράμματος που το ακολουθεί μία συνάρτηση που χρησιμοποιεί....

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

ΕΡΓΑΣΤΗΡΙΟ 3: Προγραμματιστικά Περιβάλλοντα και το Πρώτο Πρόγραμμα C

ΕΡΓΑΣΤΗΡΙΟ 3: Προγραμματιστικά Περιβάλλοντα και το Πρώτο Πρόγραμμα C ΕΡΓΑΣΤΗΡΙΟ 3: Προγραμματιστικά Περιβάλλοντα και το Πρώτο Πρόγραμμα C Στο εργαστήριο αυτό, θα ασχοληθούμε με δύο προγραμματιστικά περιβάλλοντα της γλώσσας C, το Dev-C++, το οποίο είναι εφαρμογή που τρέχει

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

ΟΔΗΓΙΕΣ ΓΙΑ ΤΟ ΠΑΙΧΝΙΔΙ.

ΟΔΗΓΙΕΣ ΓΙΑ ΤΟ ΠΑΙΧΝΙΔΙ. ΟΔΗΓΙΕΣ ΓΙΑ ΤΟ ΠΑΙΧΝΙΔΙ. Το πρώτο πράγμα που βλέπουμε μόλις ξεκινάμε το παιχνίδι είναι μια λίστα με όλα τα διαθέσιμα βίντεο με τα οποία μπορούμε να εξασκηθούμε. Σε αυτή περιλαμβάνονται επίσης πληροφορίες

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

Ερωτήσεις πολλαπλής επιλογής - Κεφάλαιο 2. Α1. Ο αλγόριθμος είναι απαραίτητος μόνο για την επίλυση προβλημάτων πληροφορικής

Ερωτήσεις πολλαπλής επιλογής - Κεφάλαιο 2. Α1. Ο αλγόριθμος είναι απαραίτητος μόνο για την επίλυση προβλημάτων πληροφορικής Ερωτήσεις πολλαπλής επιλογής - Κεφάλαιο 2 Α1. Ο αλγόριθμος είναι απαραίτητος μόνο για την επίλυση προβλημάτων πληροφορικής Α2. Ο αλγόριθμος αποτελείται από ένα πεπερασμένο σύνολο εντολών Α3. Ο αλγόριθμος

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

4.6 Η ΓΡΑΜΜΙΚΗ ΔΙΟΦΑΝΤΙΚΗ ΕΞΙΣΩΣΗ

4.6 Η ΓΡΑΜΜΙΚΗ ΔΙΟΦΑΝΤΙΚΗ ΕΞΙΣΩΣΗ 174 46 Η ΓΡΑΜΜΙΚΗ ΔΙΟΦΑΝΤΙΚΗ ΕΞΙΣΩΣΗ Εισαγωγή Ένα από τα αρχαιότερα προβλήματα της Θεωρίας Αριθμών είναι η αναζήτηση των ακέραιων αριθμών που ικανοποιούν κάποιες δεδομένες σχέσεις Με σύγχρονη ορολογία

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

Ερωτήσεις πολλαπλής επιλογής - Κεφάλαιο 2

Ερωτήσεις πολλαπλής επιλογής - Κεφάλαιο 2 Ερωτήσεις πολλαπλής επιλογής - Κεφάλαιο 2 1. Ο αλγόριθμος είναι απαραίτητος μόνο για την επίλυση προβλημάτων Πληροφορικής 2. Ο αλγόριθμος αποτελείται από ένα πεπερασμένο σύνολο εντολών 3. Ο αλγόριθμος

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

ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ : ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΤΑΞΗ : Γ ΛΥΚΕΙΟΥ ΣΠΟΥΔΕΣ ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΔΙΑΓΩΝΙΣΜΑ ΠΕΡΙΟΔΟΥ : ΜΑΪΟΥ

ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ : ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΤΑΞΗ : Γ ΛΥΚΕΙΟΥ ΣΠΟΥΔΕΣ ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΔΙΑΓΩΝΙΣΜΑ ΠΕΡΙΟΔΟΥ : ΜΑΪΟΥ ΑΡΧΗ 1ης ΣΕΛΙ ΑΣ ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ : ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΤΑΞΗ : Γ ΛΥΚΕΙΟΥ ΣΠΟΥΔΕΣ ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΔΙΑΓΩΝΙΣΜΑ ΠΕΡΙΟΔΟΥ : ΜΑΪΟΥ ΣΥΝΟΛΟ ΣΕΛΙΔΩΝ : 7 ΘΕΜΑ Α : Α1. Να

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

Αρχές Φιλοσοφίας Β Λυκείου Τράπεζα Θεμάτων: 2 ο κεφάλαιο «Κατανοώντας τα πράγματα»

Αρχές Φιλοσοφίας Β Λυκείου Τράπεζα Θεμάτων: 2 ο κεφάλαιο «Κατανοώντας τα πράγματα» Αρχές Φιλοσοφίας Β Λυκείου Τράπεζα Θεμάτων: 2 ο κεφάλαιο «Κατανοώντας τα πράγματα» Α] Ασκήσεις κλειστού τύπου (Σωστό Λάθος) Για τον Πλάτωνα οι καθολικές έννοιες, τα «καθόλου», δεν είναι πράγματα ξεχωριστά

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

Δομή Επανάληψης. 3. Επανέλαβε την κίνηση του αυτοκινήτου ώσπου αυτό να ακουμπήσει στο κόκκινο χρώμα.

Δομή Επανάληψης. 3. Επανέλαβε την κίνηση του αυτοκινήτου ώσπου αυτό να ακουμπήσει στο κόκκινο χρώμα. Τάξη : Α Λυκείου Λογισμικό : Scratch Ενδεικτική Διάρκεια : 45 λεπτά Δομή Επανάληψης Μία από τις πιο βασικές δομές στον προγραμματισμό είναι η δομή επανάληψης. Η δομή αυτή μας δίνει την δυνατότητα να επαναλαμβάνουμε

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

«Δουλεύω Ηλεκτρονικά, Δουλεύω Γρήγορα και με Ασφάλεια - by e-base.gr»

«Δουλεύω Ηλεκτρονικά, Δουλεύω Γρήγορα και με Ασφάλεια - by e-base.gr» Επεξήγηση web site με λογικό διάγραμμα «Δουλεύω Ηλεκτρονικά, Δουλεύω Γρήγορα και με Ασφάλεια - by e-base.gr» Web : www.e-base.gr E-mail : support@e-base.gr Facebook : Like Twitter : @ebasegr Πολλοί άνθρωποι

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

ΙΑ ΟΧΙΚΕΣ ΒΕΛΤΙΩΣΕΙΣ

ΙΑ ΟΧΙΚΕΣ ΒΕΛΤΙΩΣΕΙΣ Tel.: +30 2310998051, Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης Σχολή Θετικών Επιστημών Τμήμα Φυσικής 541 24 Θεσσαλονίκη Καθηγητής Γεώργιος Θεοδώρου Ιστοσελίδα: http://users.auth.gr/theodoru ΙΑ ΟΧΙΚΕΣ ΒΕΛΤΙΩΣΕΙΣ

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

Υπολογιστικής Σκέψης

Υπολογιστικής Σκέψης Απόκτηση και καλλιέργεια Υπολογιστικής Σκέψης Διακριτά Μαθηματικά Εισαγωγή στους Αλγόριθμους Αλγοριθμικά Θέματα Ασύρματων Δικτύων Υπολογιστική Επιστήμη και Πολιτισμός Τι είναι η υπολογιστική σκέψη; Οι

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

Α.Ε.Π.Π. Προετοιμασία Γ Λυκείου

Α.Ε.Π.Π. Προετοιμασία Γ Λυκείου Β Λυκείου 29 / 04 / 2018 Α.Ε.Π.Π. Προετοιμασία Γ Λυκείου ΘΕΜΑ Α Α1. Να γράψετε τον αριθμό της κάθε πρότασης (1-5) και δίπλα τη λέξη ΣΩΣΤΟ, αν η πρόταση είναι σωστή, ή τη λέξη ΛΑΘΟΣ, αν η πρόταση είναι

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

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

ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ Εξετάσεις Προσομοίωσης 17/04/2016 Θέμα Α Α1. Να γράψετε στο τετράδιο σας τον αριθμό κάθε πρότασης και δίπλα τη λέξη Σωστό αν η πρόταση είναι σωστή και

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

Η-Υ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ. Εργαστήριο 1 Εισαγωγή στη C. Σοφία Μπαλτζή s.mpaltzi@di.uoa.gr

Η-Υ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ. Εργαστήριο 1 Εισαγωγή στη C. Σοφία Μπαλτζή s.mpaltzi@di.uoa.gr Η-Υ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Εργαστήριο 1 Εισαγωγή στη C Σοφία Μπαλτζή s.mpaltzi@di.uoa.gr Διαδικαστικά Ιστοσελίδα μαθήματος: http://eclass.uoa.gr/courses/f30/ Υποχρεωτική παρακολούθηση: Παρασκευή 14:00 16:00 στην

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

ΑΡΧΗ 1ΗΣ ΣΕΛΙΔΑΣ ΘΕΜΑ Α

ΑΡΧΗ 1ΗΣ ΣΕΛΙΔΑΣ ΘΕΜΑ Α ΑΡΧΗ 1ΗΣ ΣΕΛΙΔΑΣ ΕΠΑΝΑΛΗΠΤΙΚΕΣ ΠΑΝΕΛΛΑΔΙΚΕΣ ΕΞΕΤΑΣΕΙΣ Γ ΤΑΞΗΣ ΗΜΕΡΗΣΙΟΥ KAI Δ ΤΑΞΗΣ ΕΣΠΕΡΙΝΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΤΕΤΑΡΤΗ 06 ΣΕΠΤΕΜΒΡΙΟΥ 2017 ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ

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

Θεωρία Υπολογισμού και Πολυπλοκότητα Αναγωγές

Θεωρία Υπολογισμού και Πολυπλοκότητα Αναγωγές Θεωρία Υπολογισμού και Πολυπλοκότητα Αναγωγές Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Ανεπίλυτα Προβλήματα από τη Θεωρία Γλωσσών (5.1) To Πρόβλημα της Περάτωσης Το Πρόβλημα της Κενότητα

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

Μη-Αριθμήσιμα Σύνολα, ιαγωνιοποίηση

Μη-Αριθμήσιμα Σύνολα, ιαγωνιοποίηση Μη-Αριθμήσιμα Σύνολα, ιαγωνιοποίηση ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Αριθμήσιμα

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

Θέμα Α 1. 1 Τα θέματα προέρχονται από Επαναληπτικά Διαγωνίσματα από το "Στέκι των Πληροφορικών" και Π. Τσιωτάκη

Θέμα Α 1. 1 Τα θέματα προέρχονται από Επαναληπτικά Διαγωνίσματα από το Στέκι των Πληροφορικών και Π. Τσιωτάκη ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ Γ ΤΑΞΗΣ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΚΑΣΤΡΙΤΣΙΟΥ ΠΑΡΑΣΚΕΥΗ 5 Μαΐου 2014 ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ (ΚΥΚΛΟΥ ΠΛΗΡΟΦΟΡΙΚΗΣ

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

Ας δούμε λίγο την θεωρία με την οποία ασχοληθήκαμε μέχρι τώρα.

Ας δούμε λίγο την θεωρία με την οποία ασχοληθήκαμε μέχρι τώρα. Ας δούμε λίγο την θεωρία με την οποία ασχοληθήκαμε μέχρι τώρα. Είδαμε τι είναι πρόβλημα, τι είναι αλγόριθμος και τέλος τι είναι πρόγραμμα. Πρέπει να μπορείτε να ξεχωρίζετε αυτές τις έννοιες και να αντιλαμβάνεστε

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

for for for for( . */

for for for for( . */ Εισαγωγή Στον Προγραµµατισµό «C» Βρόχοι Επανάληψης Πανεπιστήµιο Πελοποννήσου Τµήµα Πληροφορικής & Τηλεπικοινωνιών Νικόλαος Δ. Τσελίκας Νικόλαος Προγραµµατισµός Δ. Τσελίκας Ι Ο βρόχος for Η εντολή for χρησιµοποιείται

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

Σειρά Προβλημάτων 5 Λύσεις

Σειρά Προβλημάτων 5 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { R η R είναι μια κανονική έκφραση η οποία παράγει μια μη πεπερασμένη γλώσσα} (β) { G η G είναι μια CFG η οποία

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

Θεωρητικές Ασκήσεις. ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ. 1 ο Μέρος

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

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

Αλγόριθµοι και Πολυπλοκότητα

Αλγόριθµοι και Πολυπλοκότητα Αλγόριθµοι και Πολυπλοκότητα Ν. Μ. Μισυρλής Τµήµα Πληροφορικής και Τηλεπικοινωνιών, Πανεπιστήµιο Αθηνών Καθηγητής: Ν. Μ. Μισυρλής () Αλγόριθµοι και Πολυπλοκότητα 15 Ιουνίου 2009 1 / 26 Εισαγωγή Η ϑεωρία

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

Ειδικά θέματα Αλγορίθμων και Δομών Δεδομένων (ΠΛΕ073) Απαντήσεις 1 ου Σετ Ασκήσεων

Ειδικά θέματα Αλγορίθμων και Δομών Δεδομένων (ΠΛΕ073) Απαντήσεις 1 ου Σετ Ασκήσεων Ειδικά θέματα Αλγορίθμων και Δομών Δεδομένων (ΠΛΕ073) Απαντήσεις 1 ου Σετ Ασκήσεων Άσκηση 1 α) Η δομή σταθμισμένης ένωσης με συμπίεση διαδρομής μπορεί να τροποποιηθεί πολύ εύκολα ώστε να υποστηρίζει τις

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

ΕΠΛ 003: ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΕΠΙΣΤΗΜΗ ΤΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ

ΕΠΛ 003: ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΕΠΙΣΤΗΜΗ ΤΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 003: ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΕΠΙΣΤΗΜΗ ΤΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ Δρ. Κόννης Γιώργος Πανεπιστήμιο Κύπρου - Τμήμα Πληροφορικής Προγραμματισμός Στόχοι 1 Να περιγράψουμε τις έννοιες του Υπολογιστικού Προβλήματος και του Προγράμματος/Αλγορίθμου

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

Διαδικασιακός Προγραμματισμός

Διαδικασιακός Προγραμματισμός Τμήμα ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΕ ΤΕΙ ΔΥΤΙΚΗΣ ΕΛΛΑΔΑΣ Διαδικασιακός Προγραμματισμός Διάλεξη 2 η Τύποι Δεδομένων Δήλωση Μεταβλητών Έξοδος Δεδομένων Οι διαλέξεις βασίζονται στο βιβλίο των Τσελίκη και Τσελίκα

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

Θέμα 1 ο. Επαναληπτικό ΛΥΣΕΙΣ

Θέμα 1 ο. Επαναληπτικό ΛΥΣΕΙΣ ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ Γ ΤΑΞΗΣ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΚΑΣΤΡΙΤΣΙΟΥ ΠΑΡΑΣΚΕΥΗ 5 Μαΐου 2014 ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ (ΚΥΚΛΟΥ ΠΛΗΡΟΦΟΡΙΚΗΣ

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

ΠΡΟΒΛΗΜΑ ΕΠΕΓΕΡΓΑΣΙΑ. (Είναι οι σκέψεις και οι πράξεις που κάνουμε για να λυθεί το πρόβλημα) ΕΙΣΟΔΟΥ - ΕΞΟΔΟΥ

ΠΡΟΒΛΗΜΑ ΕΠΕΓΕΡΓΑΣΙΑ. (Είναι οι σκέψεις και οι πράξεις που κάνουμε για να λυθεί το πρόβλημα) ΕΙΣΟΔΟΥ - ΕΞΟΔΟΥ 1 ο ΓΥΜΝΑΣΙΟ ΘΕΡΜΗΣ Μάθημα: Ενότητα: Πληροφορική Α' Γυμν. Το Υλικό του Υπολογιστή ΠΡΟΒΛΗΜΑ ΔΕΔΟΜΕΝΑ (Είναι τα στοιχεία που δίνουμε για λυθεί το πρόβλημα) ΕΠΕΓΕΡΓΑΣΙΑ (Είναι οι σκέψεις και οι πράξεις που

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