Θεωρητικό Υπόβαθρο και Μοντέλα
|
|
- ΓαпїЅα Αντωνόπουλος
- 7 χρόνια πριν
- Προβολές:
Transcript
1 ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΕΠΙΣΤΗΜΗ ΤΩΝ ΥΠΟΛΟΓΙΣΤΩΝ Επιμέλεια και παρουσίαση: Αρχικές διαφάνειες: Νίκος Παπασπύρου Γλώσσες Προγραμματισμού: Θεωρητικό Υπόβαθρο και Μοντέλα Μετάφραση προγραμμάτων Πηγαίο πρόγραμμα Μεταγλωττιστής Λεκτική και συντακτική ανάλυση γλωσσών Συναρτησιακός προγραμματισμός Λογικός προγραμματισμός Αντικειμενοστρεφής προγραμματισμός Είσοδος Εκτελέσιμο πρόγραμμα Έξοδος 1 2 Μετάφραση προγραμμάτων Σύνταξη και σημασιολογία προγραμμάτων Ακολουθία από χαρακτήρες Πηγαίο πρόγραμμα Λεκτικός Αναλυτής Ακολουθία από λεκτικές μονάδες Συντακτικός Αναλυτής Συντακτικό δένδρο Επισημειωμένο συντακτικό δένδρο Σημασιολογικός Αναλυτής Γεννήτορας Κώδικα Κώδικας Μεταγλωττιστής Είσοδος Έξοδος Εκτελέσιμο πρόγραμμα Σύνταξη ξ γλωσσών προγραμματισμού: πως δείχνουν τα προγράμματα ργρμμ στο χρήστη, τι μορφή και τι δομή έχουν Η σύνταξη συνήθως ορίζεται με χρήση κάποιας τυπικής γραμματικής Σημασιολογία γλωσσών προγραμματισμού: τι σημαίνουν τα προγράμματα, ποια είναι η συμπεριφορά τους Η σημασιολογία είναι πιο δύσκολη να ορισθεί από τη σύνταξη -- διάφοροι τρόποι ορισμού της 3 4
2 Σύνταξη και σημασιολογία: παραδείγματα Φράση ά λεκτικά λάθος οπα πάς οπα χύςέ φαγ επα χιάφα κή Φράση λεκτικά ορθή αλλά συντακτικά λάθος ο παπάς ο φακή έφαγε παχιά παχύς Φράση ά συντακτικά (και λεκτικά) ορθή αλλά σημασιολογικά λάθος ο παπάς ο παχιά έφαγε παχύς φακή Φράση συντακτικά και σημασιολογικά ορθή ο παπάς ο παχύς έφαγε παχιά φακή Λεκτική ανάλυση γλωσσών Η λεκτική ανάλυση δεν είναι τετριμμένο πρόβλημα γιατί οι γλώσσες προγραμματισμού συνήθως είναι πιο περίπλοκες λεκτικά από τα Ελληνικά *p->f++ = e-6 float x, y, z; float * p = &z; x = y/*p; 5 6 Δήλωση λεκτικών μονάδων Πως δηλώνονται οι λεκτικές μονάδες; Λέξεις κλειδιά μέσω συμβολοσειρών (strings) g) Πως ορίζονται τα ονόματα των μεταβλητών; Πως ορίζονται οι αριθμοί κινητής υποδιαστολής; Κανονικές εκφράσεις (regular expressions) Ένας εύχρηστος τρόπος να ορίσουμε ακολουθίες από χαρακτήρες Χρησιμοποιούνται ευρέως: grep, awk, perl,, κ.λπ. Λεκτικές μονάδες με κανονικές εκφράσεις Παραδείγματα: δ ί '0' ταιριάζει μόνο με το χαρακτήρα 0 (μηδέν) '0' '1' ταιριάζει με μηδέν ή με ένα '0' '1' '2' '3' '4' '5' '6' '7' '8' '9' ταιριάζει με ψηφία [0-9] το ίδιο με το παραπάνω αλλά σε πιο συμπαγή μορφή [0-9]* σειρά από ψηφία (πιθανώς κενή) 7 8
3 Θέματα σχεδιασμού λεκτικών μονάδων Ακέραιοι έ αριθμοί (π.χ. 10) Οι αρνητικοί ρη ακέραιοι είναι μία λεκτική μονάδα ή όχι; Χαρακτήρες ή (π.χ. 'a')') Πως αναπαρίστανται οι μη εκτυπώσιμοι χαρακτήρες ή το ' ; Αριθμοί θ ίκινητής υποδιαστολής (π.χ e-5) Συμβολοσειρές (π.χ. "hello world") ) Πώς αναπαρίσταται ο χαρακτήρας "; Λεκτική ανάλυση (Scanning) Τεμαχίζει ένα πρόγραμμα σε μια ακολουθία από λεκτικές μονάδες (tokens) foo = a + bar2(42); ID EQUALS ID PLUS ID LPAR INT RPAR SEMI Ουσιαστικά απλοποιεί τη λειτουργία του συντακτικού αναλυτή Οι λεκτικοί αναλυτές είναι πιο γρήγοροι από τους συντακτικούς αναλυτές διότι έχουν να κάνουν με απλούστερη γραμματική 9 10 Λεκτικές μονάδες με κανονικές εκφράσεις Μια γραμματική για τα Αγγλικά Το αλφάβητο Σ =,=,+,-,*,/,(,),>,<,a, z,0,,9,a, Z,,,,,(,),,,,,,,,, Ονοματίζουμε κάποιες κανονικές εκφράσεις LPAR = ( PLUS = + letter = A B Z a b z digit = ID = letter (letter digit)* INT = ((1 9) digit*) 0 Μια πρόταση αποτελείται από μια ουσιαστική φράση, ένα ρήμα,, και μια ουσιαστική φράση Μια ουσιαστική φράση αποτελείται από ένα άρθρο και ένα ουσιαστικό Ρήματα είναι τα εξής Άρθρα ρ είναι τα εξής Ουσιαστικά είναι τα εξής... <S> ::= <NP> <V> <NP> <NP> ::= <A> <N> <V> ::= loves hates eats <A> A ::= a the <N> ::= dog cat rat 11 12
4 Πως δουλεύει μια γραμματική Μια γραμματική α είναι ένα σύνολο κανόνων που ορίζουν πως κατασκευάζεται ένα συντακτικό δένδρο Ξεκινάμε βάζοντας το <S> S στη ρίζα του δένδρου Οι κανόνες της γραμματικής λένε πως μπορούμε να προσθέσουμε παιδιά σε κάθε σημείο του δένδρουδ Για παράδειγμα, ο κανόνας <S> ::= <NP> <V> <NP> λέει ότι μπορούμε να προσθέσουμε κόμβους <NP>,, <V>, και <NP>, με αυτή τη σειρά, ως παιδιά του κόμβου <S> Γραμματική για αριθμητικές εκφράσεις <expr> ::= <expr> + <expr> <expr> * <expr> ( <expr> ) a b c Μια αριθμητική έκφραση μπορεί να είναι το άθροισμα δύο άλλων εκφράσεων, ή το γινόμενο δύο εκφράσεων, ή μια έκφραση που περικλείεται από παρενθέσεις, ή κάποια από τις μεταβλητές a, b, ή c Συντακτικό δένδρο Συστατικά μιας γραμματικής <expr> ( <expr> ) <expr> * <expr> αρχικό σύμβολο κανόνας παραγωγής <S> S ::= <NP> <V> V <NP> <NP> ::= <A> <N> ( <expr> ) c <expr> + <expr> a b 15 <V> ::= loves hates eats μη τερματικά σύμβολα <A> ::= a the <N> ::= dog cat rat τερματικά σύμβολα (λεκτικές μονάδες) 16
5 Ορισμός γραμματικών σε μορφή Backus-Naur Μια γραμματική α σε μορφή Backus-Naur είναι Ένα σύνολο από λεκτικές μονάδες (tokens) Συμβολοσειρές που αποτελούν τα μικρότερα αδιαίρετα κομμάτια της σύνταξης του προγράμματος Ένα σύνολο από μη τερματικά σύμβολα Συμβολοσειρές που εγκλείονται σε αγκύλες, π.χ. <NP>, και αντιπροσωπεύουν κομμάτια του συντακτικού της γλώσσας Δε συναντιούνται στο πρόγραμμα, αλλά είναι σύμβολα που βρίσκονται στο αριστερό ρ μέρος μρςκάποιων κανόνων της γραμματικής Το αρχικό σύμβολο της γραμματικής Ένα συγκεκριμένο μη τερματικό σύμβολο που αποτελεί τη ρίζα του συντακτικού δένδρου για κάθε αποδεκτό από τη γλώσσα πρόγραμμα Ένα σύνολο από κανόνες παραγωγής Κανόνες παραγωγής (1) Οι κανόνες παραγωγής χρησιμοποιούνται για την κατασκευή του συντακτικού δένδρου Κάθε κανόνας έχει τη μορφή Α ::= Δ Το αριστερό μέρος Α αποτελείται από ένα μη τερματικό σύμβολο Το δξί δεξί μέρος Δ είναι μια ακολουθία από τερματικά (λεκτικές μονάδες) και μη τερματικά σύμβολα Κανόνες παραγωγής (2) Κάθε κανόνας προσδιορίζει έναν πιθανό τρόπο κατασκευής του συντακτικού υποδένδρου που έχει ως ρίζα του το μη τερματικό σύμβολο στο αριστερό μέρος Α του κανόνα και ως παιδιά αυτής της ρίζας (με την ίδια σειρά εμφάνισης) έχει τα σύμβολα στο δεξί μέρος Δ του κανόνα Κατασκευή συντακτικών δένδρων Αρχίζουμε την κατασκευή α κευή βάζοντας το αρχικό σύμβολο της γραμματικής στη ρίζα του δένδρου Προσθέτουμε παιδιά σε κάθε μη τερματικό σύμβολο, χρησιμοποιώντας κάποιον από τους κανόνες παραγωγής της γλώσσας για το συγκεκριμένο μη τερματικό Η διαδικασία τερματίζει όταν όλα τα φύλλα του δένδρου αποτελούνται από λεκτικές μονάδες Η συμβολοσειρά που αντιστοιχεί στο δένδρο βρίσκεται διαβάζοντας τα φύλλα του δένδρου από αριστερά προς τα δεξιά 19 20
6 Παραδείγματα Τα συντακτικά δένδρα για τις παρακάτω εκφράσεις a+b (a+b) (a+(b)) a*b+c Η κατασκευή των συντακτικών δένδρων είναι δουλειά του συντακτικού τι αναλυτή (parser) ενός μεταγλωττιστή Υπάρχουν διάφοροι αποδοτικοί αλγόριθμοι και εργαλεία για ημιαυτόματη κατασκευή του συντακτικού αναλυτή Ορισμός γλωσσών Για να ορίσουμε ου τη σύνταξη των γλωσσών προγραμματισμού χρησιμοποιούμε γραμματικές Η γλώσσα που ορίζεται από μια γραμματική είναι το σύνολο των συμβολοσειρών για τα οποία η γραμματική μπορεί να παράξει συντακτικά δένδρα Τις περισσότερες φορές το σύνολο αυτό είναι άπειρο (παρόλο που η γραμματική είναι πεπερασμένη) Η κατασκευή μιας γραμματικής για μια γλώσσα μοιάζει λίγο με προγραμματισμό Παράδειγμα κατασκευής γραμματικής (1) Συνήθως γίνεται με χρήση της τεχνικής διαίρει και βασίλευε (divide and conquer) Παράδειγμα: κατασκευή της γλώσσας των δηλώσεων της Java: αρχικά, η δήλωση έχει ένα όνομα τύπου στη συνέχεια μια ακολουθία από μεταβλητές που διαχωρίζονται με κόμματα (όπου κάθε μεταβλητή μπορεί να πάρει μια αρχική τιμή) και στο τέλος ένα ερωτηματικό (semicolon) float a; boolean a, b, c; int a = 1, b, c = 1 + 2; 23 Παράδειγμα κατασκευής γραμματικής (2) Αρχικά ας αγνοήσουμε την πιθανή ύπαρξη αρχικοποιητών: <var-decl> ::= <type-name> <declarator-list> ; Ο κανόνας για τα ονόματα των πρωτόγονων τύπων (primitive types) είναι απλούστατος: <type-name> ::= boolean byte short int long char float double Σημείωση: δεν παίρνουμε υπόψη κατασκευασμένους τύπους (constructed types): ονόματα κλάσεων, ονόματα interfaces, και τύπους πινάκων 24
7 Παράδειγμα κατασκευής γραμματικής (3) Η ακολουθία των μεταβλητών που διαχωρίζονται με κόμματα έχει ως εξής: <declarator-list> ::= <declarator> <declarator> d l t, <declarator-list> d l t li t Όπου ξανά, έχουμε προς το παρόν αγνοήσει τους πιθανούς αρχικοποιητές των μεταβλητών Παράδειγμα κατασκευής γραμματικής (4) Οι δηλωτές μεταβλητών, με ή χωρίς αρχικοποιήσεις, ορίζονται ρζ ως: <declarator> ::= <variable-name> <variable-name> = <expr> Για ολόκληρη τη Java: Πρέπει να επιτρέψουμε και ζεύγη από αγκύλες μετά το όνομα των μεταβλητών για τη δήλωση των πινάκων Πρέπει επίσης να ορίσουμε και τη σύνταξη των αρχικοποιητών πινάκων (Φυσικά θέλουμε και ορισμούς για τα μη τερματικά σύμβολα <variable-name> και <expr>) Κύρια προγραμματιστικά μοντέλα (1) ΚΥΡΙΑ ΜΟΝΤΕΛΑ ΓΛΩΣΣΩΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ Προστακτικός ό προγραμματισμός (imperative p programming) g) FORTRAN, Algol, COBOL, BASIC, C Pascal Modula 2Ada C, Pascal, Modula-2, Ada Συναρτησιακός ρη ςπρογραμματισμός ργρμμ μς (functional programming) LISP, ML, Scheme, Miranda, Haskell, El Erlang Λογικός προγραμματισμός (logic programming) Prolog 27 28
8 Κύρια προγραμματιστικά μοντέλα (2) Αντικειμενοστρεφής ή προγραμματισμός (object-oriented j programming) g) Simula, Smalltalk, C++, Eiffel, Java, C# Προγραμματιμός «σεναρίων» (scripting) Perl, Python, Ruby, JavaScript, PHP Παράλληλος/ταυτόχρονος/κατανεμημένος προγραμματισμός (parallel/concurrent/distributed progr.) ) OCCAM, Concurrent C, Ada, Java, C#, Erlang ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Διαφάνεια αναφοράς (referential transparency) Παράδειγμα σε Pascal Σε μία γλώσσα συναρτησιακού προγραμματισμού, ρα α ού η αποτίμηση μιας συνάρτησης δίνει πάντα το ίδιο αποτέλεσμα για τις ίδιες τιμές των παραμέτρων της Η σημαντική αυτή ιδιότητα δεν ισχύει κατ ανάγκη στις γλώσσες προστακτικού προγραμματισμού Στις προστακτικές γλώσσες αυτό συμβαίνει λόγω: Μεταβλητών που ορίζονται και αλλάζουν τιμές εκτός του σώματος της συνάρτησης (global variables) Εξάρτησης από την κατάσταση (state) του υπολογισμού Άλλων παρενεργειών (side-effects) που μπορεί να υπάρχουν στο πρόγραμμα program example(output) p var flag:boolean; function f(n:int): int begin if flag then f := n else f := 2*n; flag := t flag end begin flag := true; writeln(f(1)+f(2)); writeln(f(2)+f(1)); end Τι τυπώνει το πρόγραμμα; 5 και μετά 4 Περίεργο διότι ι περιμένουμε ότι f(1)+ f(2) = f(2)+ f(1) Στα μαθηματικά οι συναρτήσεις εξαρτώνται μόνο από τα ορίσματά τους 31 32
9 Συναρτησιακός προγραμματισμός (1) Πλεονεκτήματα Συντομία (2-10 φορές μικρότερος κώδικας) Ευκολία στην κατανόηση Λιγότερα σφάλματα εκτέλεσης Επαναχρησιμοποίηση, αφαίρεση, δόμηση Αυτόματη διαχείριση μνήμης Παράδειγμα: QuickSort σε Haskell qsort [] = [] qsort (x:xs) = qsort lt ++ [x] ++ qsort ge where lt = [y y <- xs, y < x] ge = [y y <- xs, y >= x] Συναρτησιακός προγραμματισμός (2) Μειονεκτήματαή Μειωμένη απόδοση Μεγαλύτερες απαιτήσεις μνήμης Όχι μειονεκτήματα αλλαγή φιλοσοφίας στον προγραμματισμό Όχι μεταβλητές, όχι εντολές ανάθεσης Εκφράσεις και συναρτήσεις Τα παραδείγματα που ακολουθούν είναι σε Haskell Δηλώσεις και εξαγωγή τύπων Δήλωση συναρτήσεων inc n = n+1 f t = t * inc t Δήλωση η τιμών x = f 6 y = f (f 2) Συμπερασμός τύπων Οι τύποι υπολογίζονται αυτόματα inc, f :: Int -> Int x, y :: Int (type inference) Υπολογισμοί τιμών Υπολογισμός τιμής x f 6 6 * inc 6 6*(6+1) 6*7 42 f t = t * inc t Το αποτέλεσμα είναι ανεξάρτητο της σειράς των επιμέρους υπολογισμών (υπό κ.σ.) y f (f 2) f (2 * inc 2) f (2*(2+1)) f (2*3) f 6 6 * inc 6 6*(6+1) 6*7 42 y f (f 2) f 2 * inc (f 2) (2 * inc 2) * inc (2 * inc 2) (2*(2+1)) * inc (2*(2+1)) (2*(2+1)) * (2*(2+1)+1)
10 Τοπικές δηλώσεις Με χρήση του lt let x = let inc n = n+1 f t = t * inc t in f 6... ή με χρήση του where x = f 6 where inc n = n+1 f t = t * inc t Οι τοπικές δηλώσεις ακολουθούν κανόνες εμβέλειας όπως π.χ. της Pascal Πλειάδες τιμών Συναρτήσεις ή με πολλές παραμέτρους add :: (Int, Int) -> Int add (x, y) = x+y... και πολλά αποτελέσματα α α solve2eq :: (Double, Double, Double) -> (Double, Double) solve2eq (a, b, c) = let d = b*b - 4*a*c x1 = (-b - sqrt(d)) / (2*a) x2 = (-b + sqrt(d)) / (2*a) in (x1, x2) Αναδρομή Στο συναρτησιακό προγραμματισμό είναι ο κύριος τρόπος επαναληπτικών υπολογισμών Υπολογισμός παραγοντικού factorial n = if n <= 1 then 1 else n * factorial (n-1) Υπολογισμός Μ.Κ.Δ. (αλγόριθμος γ ρ μ ς Ευκλείδη) gcd (n, 0) = n gcd (n, m) = gcd(m, n `mod` m) αν m 0 pattern matching στις παραμέτρους Συναρτήσεις υψηλής τάξης Συναρτήσεις ή που παίρνουν ως παραμέτρους άλλες συναρτήσεις ρή twice :: (Int -> Int, Int) -> Int twice (f, x) = f (f x) inc n = n + 1 plus2 x = twice (inc, x)... ή που έχουν ως αποτέλεσμα συναρτήσεις plusn :: Int -> (Int -> Int) plusn x = let f y = x + y in f 39 40
11 Ανώνυμες συναρτήσεις Η συνάρτηση που απεικονίζει κάθε n στο n+1 λn. n+1 \n -> n+1 Παράδειγμα twice :: (Int -> Int, Int) -> Int twice (f, x) = f (f x) plus2 :: Int -> Int plus2 x = twice (\n -> n+1, x) plusn :: Int -> (Int -> Int) plusn x = \y -> x + y Παραμέτρων συνέχεια (1) Currying i (Haskell B. Curry) Μια συνάρτηση ρη ημε δύο παραμέτρους ρ ισοδυναμεί με μια συνάρτηση που δέχεται την πρώτη παράμετρο και επιστρέφει μια συνάρτηση που δέχεται τη δεύτερη add :: (Int, Int) -> Int add (x, y) = x+y add :: Int -> (Int -> Int) add x = \y -> x+y add (x, y) == (add x) y Curried version Παραμέτρων συνέχεια (2) Απλούστερη λ ύ γραφή curried idσυναρτήσεων add :: Int -> Int -> Int add x y = x+y twice :: (Int -> Int) -> Int -> Int twice f x = f (f x) Με τις curried συναρτήσεις επιτρέπεται η μερική εφαρμογή twice (add 20) 2 add 20 (add 20 2) add 20 (20+2) 20+(20+2) 42 Λίστες (1) Ακολουθίες λ ομοειδών στοιχείων digits :: [Int] digits = [0,1,2,3,4,5,6,7,8,9] dictionary :: [(String, String)] dictionary = [("apple", "μήλο"), ("pear", "αχλάδι"), ("pencil", "μολύβι")] Παραδείγματα με λίστες Εύρεση μήκους length [] = 0 length (x:xs) = 1 + length xs 43 44
12 Λίστες (2) Παραδείγματα με λίστες (συνέχεια) Συνένωση δύο λιστών concat [] ys = ys concat (x:xs) ys = x : concat xs ys Αναστροφή λίστας reverse [] = [] reverse (x:xs) = concat (reverse xs) [x] Αναστροφή λίστας (καλύτερη υλοποίηση) reverse xs = rev xs [] where rev [] ys = ys rev (x:xs) ys = rev xs (x:ys) Λίστες (3) Παραδείγματα δ ί με λίστες και συναρτήσεις υψηλής τάξης Εφαρμογή μιας συνάρτησης σε όλα τα στοιχεία μιας λίστας map f [] = [] map f (x:xs) = f x : map f xs Φιλτράρισμα των στοιχείων μιας λίστας filter f [] = [] filter f (x:xs) = if f x then x : filter f xs else filter f xs Παραμετρικός πολυμορφισμός (1) Ποιος ο τύπος της ταυτοτικής συνάρτησης; id x = x Μπορεί να δεχθεί παραμέτρους κάθε τύπου id :: Int id "Hello" "Hello" :: String id inc inc :: Int -> Int Είναι μια πολυμορφική συνάρτηση id :: a -> a (για κάθε τύπο a) Παραμετρικός πολυμορφισμός (2) Περισσότερες ό πολυμορφικές συναρτήσεις length :: [a] -> Int concat :: [a] -> [a] -> [a] reverse :: [a] -> [a] filter :: (a -> Bool) -> [a] -> [a] και με περισσότερους ρ άγνωστους γ ς τύπους map :: (a -> b) -> [a] -> [b] ένα ακόμα σύνθετο ύθ παράδειγμα zip :: [a] -> [b] -> [(a, b)] zip [] ys = [] zip xs [] = [] zip (x:xs) (y:ys) = (x,y) : zip xs ys 47 48
13 Ορισμοί τύπων (1) Απλές απαριθμήσεις data Light = Red Green Yellow next :: Light -> Light next Green = Yellow next Yellow = Red next Red = Green Πιο σύνθετοι ύθ τύποι δεδομένων δδ data Number = NInteger Int NReal Double NComplex Double Double neg (NInteger n) = NInteger (-n) neg (NReal r) = NReal (-r) neg (NComplex x y) = NComplex (-x) (-y) Ορισμοί τύπων (2) Αναδρομικά ορισμένοι τύποι Συνδεδεμένες μονομορφικές λίστες data IntList = Nil Cons Int IntList ή και πολυμορφικές λίστες data List a = Nil Cons a (List a) Παραδείγματα sum :: List Int -> Int sum Nil = 0 sum (Cons x xs) = x + sum xs length :: List a -> Int length Nil = 0 length (Cons x xs) = 1 + length xs Ορισμοί τύπων (3) Αναδρομικά δ άορισμένοι τύποι (συνέχεια) έ Πολυμορφικά δυαδικά δέντρα data Tree a = Nil Node a (Tree a) (Tree a) Μέτρηση κόμβων count :: Tree a -> Int count Nil = 0 count (Node a left right) = 1 + count left + count right Ορισμοί τύπων (4) Αναδρομικά ορισμένοι τύποι (συνέχεια) Διάσχιση κατά βάθος preorder :: Tree a -> [a] preorder Nil = [] preorder (Node a left right) = a : preorder left ++ preorder right Δά Διάσχιση κατά πλάτος traversebf :: Tree a -> [a] traversebf t = trav [t] where trav [] = [] trav (Nil : ts) = trav ts trav (Node a left right : ts) = a : trav (ts ++ [left, right]) 51 52
14 Ορισμοί τύπων (5) Πρόθυμη και οκνηρή αποτίμηση (1) Αναδρομικά ορισμένοι τύποι (συνέχεια) Διάσχιση κατά βάθος (καλύτερη υλοποίηση) preorder t = trav t [] where trav Nil ts = ts trav (Node a left right) ts = a : trav left (aux right ts) Διάσχιση κατά πλάτος (καλύτερη υλοποίηση) traversebf t = trav [t] [] where trav [] [] = [] trav [] ys = trav (reverse ys) [] trav (Nil : xs) ys = trav xs ys trav (Node a left right : xs) ys = a : trav xs (right : left : ys) 53 Πρόθυμη αποτίμηση η (eager evaluation) ) Οι υπολογισμοί γίνονται όσο πιο νωρίτερα δυνατόν Οι παράμετροι των συναρτήσεων αποτιμώνται πριν την κλήση π.χ. LISP, ML, Scheme, Erlang Οκνηρή αποτίμηση (lazy evaluation) Οι υπολογισμοί γίνονται όσο πιο αργότερα δυνατόν, δηλαδή μόνο όταν χρειαστεί το αποτέλεσμά τους (call by need evaluation) Οι παράμετροι των συναρτήσεων αποτιμώνται την πρώτη φορά που θα χρειαστεί η τιμή π.χ. Miranda, Haskell 54 Πρόθυμη και οκνηρή αποτίμηση (2) Πρόθυμη και οκνηρή αποτίμηση (3) Παράδειγμα: άπειρη αναδρομή loop n = loop (n+1) foo x y = if x == 1 then y else 42 Πρόθυμη αποτίμηση foo 6+1 (loop 0) foo 7 (loop (0+1)) foo 7 (loop 1) foo 7 (loop (1+1)) foo 7 (loop 2) Οκνηρή αποτίμηση (δεν τερματίζει) foo 6+1 (loop 0) if 6+1 == 1 then loop 0 else 42 if 7 == 1 then loop 0 else Παράδειγμα: άπειρη λίστα πρώτων αριθμών με το κόσκινο του Ερατοσθένη primes :: [Int] primes = sieve (natsgt 2) where natsgt n = n : natsgt (n+1) sieve (x:xs) = x : sieve (filter (ndiv x) xs) ndiv x y = y `mod` x /= 0 primes == [2,3,5,7,11,13,17,19,23,29, ] allnats = 0 : map (\n -> n+1) allnats 55 56
15 Πέρα από το συναρτησιακό μοντέλο Αγνά συναρτησιακός προγραμματισμός (purely yfunctional programming) g) Παρενέργειες (side effects) Μεταβαλλόμενες μεταβλητές(mutable variables) πολλαπλές αναθέσεις τιμής προσπελάσεις (ανακλήσεις τιμής) Είσοδος/έξοδος (input/output) εκτύπωση σε οθόνη ή σε αρχείο ανάγνωση από το πληκτρολόγιο ή από αρχείο ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Λογικός προγραμματισμός Κεντρική ή ιδέα Το πρόγραμμα ργρμμ είναι εκφρασμένο σε μια μορφή συμβολικής λογικής με δήλωση των σχέσεων μεταξύ των δεδομένων που διαχειρίζεται Η εκτέλεση του προγράμματος ισοδυναμεί με τη διεξαγωγή συλλογισμών σε αυτή τη λογική Η γλώσσα Prolog W.F. Clocksin and C.S. Mellish, Programming in Prolog, 4th edition, Springer-Verlag, New York, Κατηγορηματική λογική (1) Προτάσειςρ ς (predicate t logic) ) Δηλώσεις σε συμβολική μορφή που είναι εί ε αληθείς εί ε όιαληθείς είτε αληθείς είτε όχι αληθείς Αναφέρονται σε αντικείμενα και σε σχέσεις μεταξύ αυτών Ατομική πρόταση: κατηγόρημα(ορίσματα) Τελεστές: (όχι) (και) (ή) (συνεπάγεται) (προκύπτει από) (ισοδυναμεί) μ (για κάθε) ) (υπάρχει) 59 60
16 Κατηγορηματική λογική (2) Κανονική ήμορφή και προτάσεις Horn Κάθε πρόταση μπορεί να γραφεί στην παρακάτω κανονική μορφή Β 1 Β 2... Β m A 1 A 2... A n όπου τα A 1, A 2,... A n και Β 1, Β 2,... Β m είναι ατομικές προτάσεις Πολλές (αλλά όχι όλες) οι προτάσεις μπορούν να γραφούν σε μορφή προτάσεως Horn Β A 1 A 2... A n ή A 1 A 2... A n Τύποι δεδομένων της γλώσσας Prolog Μεταβλητές: έ Αρχίζουν με κεφαλαίο γράμμα ή με το χαρακτήρα _ Άτομα: Αρχίζουν με μικρό γράμμα (π.χ. john) ή περικλείονται από αποστρόφους (π χ John ) περικλείονται από αποστρόφους (π.χ. John ) Ακέραιοι: ρ 0, 42, -42, Πραγματικοί: , Λίστες: [], [1,2,3], [42,apple] Δομημένα δεδομένα: person(john, 1970), student(el ,[10,9,10,9,10]) Γεγονότα και κανόνες (1) Γεγονότα και κανόνες (2) Δήλωση γεγονότων male(john). male(george). female(mary). female(jenny). parent(john,george). g parent(mary,george). parent(john,jenny). parent(mary,jenny). Δήλωση κανόνων father(x,y) :- parent(x,y), male(x). mother(x,y) :- parent(x,y), female(x). Δήλωση κανόνων (συνέχεια) human(x) :- male(x). human(x) :- female(x). brother(x,y) :- male(x), parent(z,x), parent(z,y). sister(x,y) :- female(x), parent(z,x), parent(z,y). Ερωτήσεις στόχοι?- male(john). yes?- male(mary). (goals) 63 64
17 Γεγονότα και κανόνες (3) Ερωτήσεις στόχοι (συνέχεια)?- male(peter).?- male(x). X = john; X = george;?- human(x). X = john; X = george; X = mary; X = jenny; Γεγονότα και κανόνες (4) Ερωτήσεις ή στόχοι (συνέχεια) έ?- brother(george,jenny). yes?- mother(x,george). X = mary;?- sister(x,y). X = jenny, Y = george; g X = jenny, Y = jenny; X = jenny, Y = george; X = jenny, Y = jenny; Επίλυση (1) Αλγόριθμος επίλυσης (resolution) Η ερώτηση-στόχος συγκρίνεται με τα γεγονότα και τα αριστερά ρ μέλη (κεφαλές) φ των κανόνων Ενοποίηση (unification): αυτή η σύγκριση προκαλεί πιθανώς τη συγκεκριμενοποίηση κάποιων μεταβλητών Αν η σύγκριση επιτύχει για κάποιο γεγονός, ο στόχος έχει ικανοποιηθεί Αν επιτύχει για το αριστερό μέλος κανόνα, οι υποθέσεις προστίθενται στη λίστα των στόχων Επίλυση (2) Αλγόριθμος ό θ επίλυσης (συνέχεια) έ Οπισθοδρόμηση ρμηη( (backtracking): αν ένας στόχος χς αποτύχει, δηλαδή δεν μπορεί να ικανοποιηθεί, ο αλγόριθμος οπισθοδρομεί στον αμέσως προηγούμενο στόχο και προσπαθεί την επίλυση με την αμέσως επόμενη επιλογή γεγονότος ή κανόνα Παράδειγμαρ X=john X=mary?- mother(x,george). backtracking parent(x,george), female(x). parent(john,george), female(john). parent(mary,george), female(mary)
18 Χαρακτηριστικά της Prolog (1) Η σειρά εμφάνισης γεγονότων, κανόνων και στόχων είναι καθοριστική ancestor(x,x). ancestor(x,y) :- ancestor(z,y), parent(x,z). Υπόθεση του κλειστού κόσμου Οι μόνες αληθείς προτάσεις είναι αυτές που αποδεικνύονται βάσει των γνωστών γεγονότων και κανόνων Χαρακτηριστικά της Prolog (2) Το πρόβλημα της άρνησης Μια αρνητική ρη πρόταση t A είναι αληθής ηής όταν ο στόχος A δεν μπορεί να ικανοποιηθεί Αυτή η άρνηση δεν ταυτίζεται με τη λογική άρνηση, π.χ. t t A A Το πρόβλημα των προδιαγραφών Ένα πρόγραμμα ισοδυναμεί με τον ορισμό των προδιαγραφών του σε κατηγορηματική λογική Ο μετασχηματισμός των προδιαγραφών σε αλγόριθμοεπίλυσης γρ είναι ένα άλυτο πρόβλημα ρβημ Παραδείγματα (1) Αριθμητικές πράξεις daysof(january,y,31). daysof(february,y,29) :- Y mod 400 =:= 0, Y mod 4000 =\= 0,!. daysof(february,y,29) :- Y mod 4 =:= 0, Y mod 100 =\= 0,!. daysof(february,y,28). daysof(march,y,31).... daysof(december,y,31). validdate(d,m,y) :- daysof(m,y,x), D>=1, D=<X. Προηγούμενο παράδειγμα με if-then-else else daysof(january,y,31). daysof(february,y,z) :- ( (Y mod 400 =:= 0, Y mod 4000 =\= 0) -> Z = 29 ; (Y mod 4 =:= 0, Y mod 100 =\= 0) -> Z = 29 ; Z = 28 ). daysof(march,y,31).... daysof(december,y,31)
19 Παραδείγματα (2) Λίστες length([],0). length([x Xs],N) :- length(xs,nn), N is NN+1. member(x,[x _]) ]). member(x,[_ Xs]) :- member(x,xs). append([],ys,ys). Ys) append([x Xs],Ys,[X Zs]) :- append(xs,ys,zs). Παραδείγματα (3) Λίστες (συνέχεια) έ?- length([1,2,3,4,5],n). N = 5;?- member(x,[1,2,3]). X = 1; X = 2; X = 3;?- append([1,2,3],[4,5,6],l). L = [1,2,3,4,5,6]; Παραδείγματα (4) Λίστες (συνέχεια) έ?- append(l,[4,5],[1,2,3,4,5]). L = [1,2,3];?- append([1 X],Y,[1,2,3]). X = [], Y = [2,3]; X = [2], Y = [3]; X = [2,3], Y = []; Παραδείγματα (5) Λίστες και (αφελής) ταξινόμηση sort(l,sl) :- permutation(l,sl), sorted(sl),!. permutation(l,[h T]) :- Σα Σταματάει αάετη append(v,[h U],L), διαδικασία της append(v,u,w), αναζήτησης permutation(w,t). περισσότερων permutation([],[]). λύσεων sorted([]). sorted([_]). sorted([α,β Τ]) :- Α=<Β, sorted([β T])
20 Παραδείγματα (6) Λίστες και (αφελής) ταξινόμηση (συνέχεια) έ?- sort([42,13,77],l). L = [13,42,77];?- permutation([1,2,3],x). X = [1,2,3]; X = [1,3,2]; X = [2,1,3]; X = [2,3,1]; X = [3,1,2]; X = [3,2,1]; Παραδείγματα (7) Λίστες και QuickSort qsort([h T],S) :- split(h,t,a,b), Σταματάει τη qsort(a,sa), διαδικασία της qsort(b,sb), αναζήτησης append(sa,[h SB],S). περισσότερων ρ qsort([],[]). κανόνων split(h,[x Xs],A,B) :- X=<H,!, A = [X As], split(h,xs,as,b). split(h,[x Xs],A,B), :- X<A, B = [X Bs], split(h,xs,a,bs). split(_,[],[],[]) Αντικειμενοστρεφής προγραμματισμός (1) ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΕΦΗΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Αντικειμενοστρεφές έ (object-oriented) t i t μοντέλο ανάπτυξης λογισμικού Το πρόγραμμα είναι οργανωμένο ως ένα σύνολο από αλληλεπιδρώντα αντικείμενα Κάθε αντικείμενο περιέχει: δεδομένα (data), που χαρακτηρίζουν την κατάστασή του μεθόδους (methods), δηλαδή κώδικα που υλοποιεί τη συμπεριφορά του ενθυλάκωση (encapsulation) p 79 80
21 Αντικειμενοστρεφής προγραμματισμός (2) Αντικειμενοστρεφής προγραμματισμός (3) Βασικές αρχές Κατά την ανάλυση και τη σχεδίαση, δείτε τα αντικείμενα βάσει της διαπροσωπείας τους (interface) και όχι βάσει της υλοποίησής τους Προσπαθήστε να κρύψετε όσο το δυνατόν μεγαλύτερο μέρος της υλοποίησης Προσπαθήστε να επαναχρησιμοποιήσετε αντικείμενα Προσπαθήστε να ελαχιστοποιήσετε τις διασυνδέσεις μεταξύ αντικειμένων Πλεονεκτήματα Φυσική περιγραφή, τουλάχιστον για ορισμένες περιοχές εφαρμογών Αφαίρεση, δόμηση, η, επαναχρησιμοποίηση η η Ιδιαίτερα διαδεδομένος σήμερα, πληθώρα γλωσσών και εργαλείων τον υποστηρίζουν Μειονεκτήματα Υπερτιμημένος... Διόγκωση κώδικα Τα παραδείγματα που ακολουθούν είναι σε Java J / Κλάσεις και αντικείμενα (1) Παράδειγμα: μετρητής public class Counter private int value; Counter () value = 0; void inc () value++; int get () return value; πεδία κατασκευαστής μέθοδοι Κλάσεις και αντικείμενα (2) Παράδειγμα (συνέχεια) public class DemoProgram μέθοδος κλάσης public static void main (String [] args) κατασκευάζει Counter c = new Counter(); ένα νέο for (int i=0; i<42; i++) αντικείμενο c.inc(); System.out.println(c.get()); 83 84
22 Κλάσεις και αντικείμενα (3) Παράδειγμα: μιγαδικοί αριθμοί public class Complex private double re, im; Complex () re = im = 0.0; Complex (double r) re = r; im = 0.0; Complex (double r, double i) re = r; im = i; void negate () re = -re; im = -im; Κλάσεις και αντικείμενα (4) Παράδειγμα (συνέχεια) Complex add (Complex c) return new Complex(re + c.re, im + c.im); void print () System.out.print(re); if (im > 0.0) System.out.print("+"); if (im!= 0.0) System.out.print(im); System.out.print("i"); Κλάσεις και αντικείμενα (5) Παράδειγμα (συνέχεια) έ public class DemoProgram2 public static void main (String [] args) Complex c1 = new Complex(1.0); Complex c2 = new Complex(0.0, 1.0); Complex c; c = c1.add(c2); c.negate(); c.print(); System.out.println(""); Ιεραρχίες κλάσεων (1) Κληρονομικότητα ό (inheritance) h it Εξειδίκευση των αντικειμένων μιας κλάσης, υποστηρίζοντας πρόσθετη ή διαφοροποιημένη συμπεριφορά Mammal Animal Bird Insect Human Eagle Pigeon Spider CounterDec Counter CounterLim 87 88
23 Ιεραρχίες κλάσεων (2) Παράδειγμα: εξειδικευμένοι μετρητές public class CounterDec extends Counter void dec () επιπλέον μέθοδος if (value > 0) value--; public class CounterLim extends Counter void inc () υπερίσχυση if (value < 30) value++; μεθόδου 89 Ιεραρχίες κλάσεων (3) Παράδειγμα (συνέχεια) get και inc public class DemoProgram3 ορίζονται στην κλάση public static Counter void main (String [] args) CounterDec c = new CounterDec(); dec ορίζεται for (int i=0; i<42; i++) c.inc(); στην κλάση System.out.println(c.get()); CounterDec for (int i=0; i<42; i++) c.dec(); System.out.println(c.get()); 90 Ιεραρχίες κλάσεων (4) Παράδειγμα (συνέχεια) get ορίζεται στην κλάση public class DemoProgram4 Counter public static inc ορίζεται void main (String [] args) στην κλάση CounterLim c = new CounterLim(); CounterLim for (int i=0; i<42; i++) c.inc(); System.out.println(c.get()); Σχέση υποτύπων (1) Τα αντικείμενα της εξειδικευμένης κλάσης μπορούν να χρησιμοποιούνται μέσω αναφορών σε αντικείμενα της βασικής κλάσης Παράδειγμαρ Counter c = new CounterDec(); for (int i=0; i<42; i++) c.inc(); System.out.println(c.get()); 91 92
24 Σχέση υποτύπων (2) Πολυμορφισμός λ ό υποτύπων (subtype polymorphism) Counter c1 = new Counter(); Counter c2 = new CounterLim(); () for (int i=0; i<42; i++) c1.inc(); c2.inc(); Ποιες θα είναι οι τιμές των μετρητών; δυναμικό δέσιμο (dynamic i binding) ) η c2.inc() καλεί την inc της CounterLim Αφηρημένες κλάσεις Κλάσεις που περιέχουν αφηρημένες (abstract) μεθόδους, οι οποίες διαθέτουν μόνο επικεφαλίδα η υλοποίησή τους δίνεται σε εξειδικευμένες κλάσεις Παράδειγμα public abstract class Expression abstract double eval (); Εκφράσεις σε δέντρα (1) Παράδειγμα: ένας υπολογιστής για αριθμητικές εκφράσεις Σταθερές public class Constant extends Expression private double value; Constant (double d) value = d; double eval () return value; Εκφράσεις σε δέντρα (2) Παράδειγμα (συνέχεια) έ Αριθμητικές πράξεις public abstract class Operation extends Expression private Expression left, right; Operation (Expression l, Expression r) left = l; right = r; 95 96
25 Εκφράσεις σε δέντρα (3) Εκφράσεις σε δέντρα (4) Παράδειγμα (συνέχεια) έ Πρόσθεση public class Plus extends Operation Plus (Expression l, Expression r) super(l, r); double eval () return left.eval() + right.eval(); Παράδειγμα (συνέχεια) public class DemoProgram7 public static void main (String [] args) Expression e1 = new Plus(new Constant(3), new Constant(4)); Expression e2 = new Minus(new Constant(8), new Constant(2)); Expression e = new Times(e1, e2); System.out.println(e.eval()); 97 98
ΚΥΡΙΑ ΜΟΝΤΕΛΑ ΓΛΩΣΣΩΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ
ΚΥΡΙΑ ΜΟΝΤΕΛΑ ΓΛΩΣΣΩΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ 27 Κύρια προγραμματιστικά μοντέλα (1) Προστακτικός προγραμματισμός (imperative programming) FORTRAN, Algol, COBOL, BASIC, C, Pascal, Modula-2, Ada Συναρτησιακός προγραμματισμός
Διαβάστε περισσότεραΜοντέλα Προγραµµατισµού
ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΕΠΙΣΤΗΜΗ ΤΩΝ ΥΠΟΛΟΓΙΣΤΩΝ http://www.corelab.ece.ntua.gr/~pagour/introcs/shmmy/ Επιµέλεια: (nickie@softlab.ntua.gr) Συναρτησιακός προγραµµατισµός Λογικός προγραµµατισµός Αντικειµενοστρεφής
Διαβάστε περισσότεραΓλώσσες Προγραμματισμού: Θεωρητικό Υπόβαθρο και Μοντέλα
ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΕΠΙΣΤΗΜΗ ΤΩΝ ΥΠΟΛΟΓΙΣΤΩΝ Επιμέλεια και παρουσίαση: (kostis@cs.ntua.gr) Αρχικές διαφάνειες: Νίκος Παπασπύρου (nickie@softlab.ntua.gr) Γλώσσες Προγραμματισμού: Θεωρητικό Υπόβαθρο και Μοντέλα
Διαβάστε περισσότεραΓλώσσες Προγραμματισμού: Θεωρητικό Υπόβαθρο και Μοντέλα
ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΕΠΙΣΤΗΜΗ ΤΩΝ ΥΠΟΛΟΓΙΣΤΩΝ Επιμέλεια και παρουσίαση: Αρχικές διαφάνειες: Νίκος Παπασπύρου (kostis@cs.ntua.gr) (nickie@softlab.ntua.gr) Γλώσσες Προγραμματισμού: Θεωρητικό Υπόβαθρο και Μοντέλα
Διαβάστε περισσότεραΜετάφραση προγραμμάτων
Άδεια Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άδεια χρήσης άλλου τύπου, αυτή πρέπει να αναφέρεται ρητώς. Μετάφραση
Διαβάστε περισσότεραOutline. 4 Object-Oriented Programming
Προγραμματισμός Ηλεκτρονικών Υπολογιστών Φιλοσοφίες γλωσσών προγραμματισμού Διδάσκων: Στάθης Ζάχος Επιμέλεια Διαφανειών: Μάκης Αρσένης CoReLab ΣΗΜΜΥ - Ε.Μ.Π. Ιανουάριος 2016 ιδάσκων: Στάθης Ζάχος ( CoReLab
Διαβάστε περισσότερα(Imperative Programming) Pascal, C, Ada, Pazcal. (Functional Programming) Prolog (Logic Programming) (object-oriented programming) Java, C#
Φιλοσοφία Γλωσσών Προγραμματισμού Προγραμματιστικό Μοντέλο Γλώσσες Προστακτικός Προγραμματισμός FORTRAN, Algol, COBOL (Imperative Programming) Pascal, C, Ada, Pazcal Συναρτησιακός Προγραμματισμός LISP,
Διαβάστε περισσότεραΠληροφορική 2. Γλώσσες Προγραμματισμού
Πληροφορική 2 Γλώσσες Προγραμματισμού 1 2 Γλώσσες προγραμματσιμού Επιτρέπουν την κωδικοποίηση των αλγορίθμων Η εκτέλεση ενός προγράμματος θα πρέπει να δίνει τα ίδια αποτελέσματα με την νοητική εκτέλεση
Διαβάστε περισσότερα2.1. Εντολές. 2.2. Σχόλια. 2.3. Τύποι Δεδομένων
2 Βασικές Εντολές 2.1. Εντολές Οι στην Java ακολουθούν το πρότυπο της γλώσσας C. Έτσι, κάθε εντολή που γράφουμε στη Java θα πρέπει να τελειώνει με το ερωτηματικό (;). Όπως και η C έτσι και η Java επιτρέπει
Διαβάστε περισσότεραΣύνταξη & Συντακτική Ανάλυση
Σύνταξη & Συντακτική Ανάλυση Μια γραμματική για τα Αγγλικά Μια πρόταση αποτελείται από μια ουσιαστική φράση, ένα ρήμα, και μια ουσιαστική φράση ::= Μια ουσιαστική φράση αποτελείται από
Διαβάστε περισσότεραΕισαγωγή στη Γλώσσα ML. Juan Miró
Εισαγωγή στη Γλώσσα ML Juan Miró Κωστής Σαγώνας Συναρτησιακός και Προστακτικός Προγραμματισμός Ένας τρόπος διαχωρισμού Ο προστακτικός προγραμματισμός επικεντρώνει στο πώς θα υλοποιήσουμε
Διαβάστε περισσότερα3 Αλληλεπίδραση Αντικειμένων
Αφαίρεση και Αρθρωσιμότητα 3 Αλληλεπίδραση Αντικειμένων Πώς συνεργάζονται τα αντικείμενα που δημιουργούμε Αφαίρεση (abstraction) είναι η δυνατότητα να αγνοούμε τις λεπτομέρειες και να εστιάζουμε την προσοχή
Διαβάστε περισσότεραΓλώσσες προγραµµατισµού. Ανάπτυξη Συστηµάτων Λογισµικού
ΤΕΧΝΟΛΟΓΙΑ ΛΟΓΙΣΜΙΚΟΥ http://courses.softlab.ntua.gr/softeng/ ιδάσκοντες: (nickie@softlab.ntua.gr) Βασίλης Βεσκούκης (bxb@softlab.ntua.gr) Γλώσσες Προγραµµατισµού και Ανάπτυξη Συστηµάτων Λογισµικού ΤΛ
Διαβάστε περισσότεραΔιάλεξη 2η: Αλγόριθμοι και Προγράμματα
Διάλεξη 2η: Αλγόριθμοι και Προγράμματα Τμήμα Επιστήμης Υπολογιστών, Πανεπιστήμιο Κρήτης Εισαγωγή στην Επιστήμη Υπολογιστών Βασίζεται σε διαφάνειες του Κ Παναγιωτάκη Πρατικάκης (CSD) Αλγόριθμοι και Προγράμματα
Διαβάστε περισσότεραΕισαγωγή στη Γλώσσα ML
Συναρτησιακός και Προστακτικός Προγραμματισμός Εισαγωγή στη Γλώσσα ML Ένας τρόπος διαχωρισμού Ο προστακτικός προγραμματισμός επικεντρώνει στο πως θα υλοποιήσουμε τα συστατικά του προγράμματός μας Ο συναρτησιακός
Διαβάστε περισσότεραΔιάλεξη 3η: Τύποι Μεταβλητών, Τελεστές, Είσοδος/Έξοδος
Διάλεξη 3η: Τύποι Μεταβλητών, Τελεστές, Είσοδος/Έξοδος Τμήμα Επιστήμης Υπολογιστών, Πανεπιστήμιο Κρήτης Εισαγωγή στην Επιστήμη Υπολογιστών Βασίζεται σε διαφάνειες του Κ Παναγιωτάκη Πρατικάκης (CSD) Μεταβλητές,
Διαβάστε περισσότερα10. Με πόσους και ποιους τρόπους μπορεί να αναπαρασταθεί ένα πρόβλημα; 11. Περιγράψτε τα τρία στάδια αντιμετώπισης ενός προβλήματος.
1. Δώστε τον ορισμό του προβλήματος. 2. Σι εννοούμε με τον όρο επίλυση ενός προβλήματος; 3. Σο πρόβλημα του 2000. 4. Σι εννοούμε με τον όρο κατανόηση προβλήματος; 5. Σι ονομάζουμε χώρο προβλήματος; 6.
Διαβάστε περισσότεραΑντικειμενοστρέφεια. Henri Matisse, Harmony in Red, Κωστής Σαγώνας Νίκος Παπασπύρου
Αντικειμενοστρέφεια Henri Matisse, Harmony in Red, 1908 Κωστής Σαγώνας Νίκος Παπασπύρου Ορισμοί αντικειμενοστρέφειας Ποιοι είναι οι ορισμοί των παρακάτω; Αντικειμενοστρεφής
Διαβάστε περισσότεραΚΑΤΑΝΟΗΣΗ ΑΝΑΛΥΣΗ ΕΠΙΛΥΣΗ. Ο προγραμματισμός ασχολείται με το σύνολο των εντολών που δίνονται στον υπολογιστή ώστε να υλοποιείται ο αλγόριθμος.
ΚΑΤΑΝΟΗΣΗ ΑΝΑΛΥΣΗ ΕΠΙΛΥΣΗ Ο προγραμματισμός ασχολείται με το σύνολο των εντολών που δίνονται στον υπολογιστή ώστε να υλοποιείται ο αλγόριθμος 1 2 3 Εικόνα 43: Διάφορες πλακέτες υπολογιστών Μέσα σε δύο
Διαβάστε περισσότερα2 Ορισμός Κλάσεων. Παράδειγμα: Μηχανή για Εισιτήρια. Δομή μιας Κλάσης. Ο Σκελετός της Κλάσης για τη Μηχανή. Ορισμός Πεδίων 4/3/2008
Παράδειγμα: Μηχανή για Εισιτήρια 2 Ορισμός Κλάσεων Σύνταξη κλάσης: πεδία, κατασκευαστές, μέθοδοι Ένας αυτόματος εκδότης εισιτηρίων είναι μια μηχανή που δέχεται χρήματα και εκδίδει ένα εισιτήριο. Εκδίδει
Διαβάστε περισσότεραΤΕΧΝΙΚΕΣ ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΑΦΟΥΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ. Πίνακες Κλάσεις και Αντικείμενα
ΤΕΧΝΙΚΕΣ ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΑΦΟΥΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ Πίνακες Κλάσεις και Αντικείμενα Μαθήματα από το πρώτο εργαστήριο Δημιουργία αντικειμένου Scanner Scanner input = new Scanner(System.in); Το αντικείμενο input
Διαβάστε περισσότεραΜεταγλωττιστές. Γιώργος Δημητρίου. Μάθημα 8 ο. Πανεπιστήμιο Θεσσαλίας - Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
Γιώργος Δημητρίου Μάθημα 8 ο Μετάφραση Οδηγούμενη από τη Σύνταξη Ο ΣΑ καλεί τις ρουτίνες που εκτελούν τη σημασιολογική ανάλυση και παράγουν τον ενδιάμεσο κώδικα Σημασιολογικές πληροφορίες μπορούν να μεταφέρονται
Διαβάστε περισσότεραΕισαγωγή στο Bison. Μεταγλωττιστές, Χειμερινό εξάμηνο
Εισαγωγή στο Bison Μεταγλωττιστές, Χειμερινό εξάμηνο 2016-2017 Συντακτική Ανάλυση Αποτελεί την δεύτερη φάση της μετάφρασης. Εύρεση της σχέσης που υπάρχει των λεκτικών μονάδων ενός προγράμματος. Παράδειγμα
Διαβάστε περισσότεραΔιάλεξη 3: Προγραμματισμός σε JAVA I. Διδάσκων: Παναγιώτης Ανδρέου
Διάλεξη 3: Προγραμματισμός σε JAVA I Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στις έννοιες: - Στοιχειώδης Προγραμματισμός - Προγραμματισμός με Συνθήκες - Προγραμματισμός με Βρόγχους
Διαβάστε περισσότεραΠΛΗΡΟΦΟΡΙΚΗ Ι JAVA Τμήμα θεωρίας με Α.Μ. σε 3, 7, 8 & 9 25/10/07
ΠΛΗΡΟΦΟΡΙΚΗ Ι JAVA Τμήμα θεωρίας με Α.Μ. σε 3, 7, 8 & 9 25/10/07 Αριθμητική στο δυαδικό σύστημα (γενικά) Συμπληρωματικά για δυαδικό σύστημα Η πρόσθεση στηρίζεται στους κανόνες: 0 + 0 = 0, 0 + 1 = 1, 1
Διαβάστε περισσότεραΑντικειμενοστρεφής Προγραμματισμός Διάλεξη 2 : ΜΕΤΑΒΛΗΤΕΣ ΤΕΛΕΣΤΕΣ & ΕΚΦΡΑΣΕΙΣ ΕΛΕΓΧΟΣ ΡΟΗΣ
Αντικειμενοστρεφής Προγραμματισμός Διάλεξη 2 : ΜΕΤΑΒΛΗΤΕΣ ΤΕΛΕΣΤΕΣ & ΕΚΦΡΑΣΕΙΣ ΕΛΕΓΧΟΣ ΡΟΗΣ Κων. Κόκκινος Μεταβλητές-1 Οι μεταβλητές αποτελούν θέσεις μνήμης στις οποίες αποθηκεύονται τιμές αντίστοιχες
Διαβάστε περισσότεραMεταβλητές (variables) και Σταθερές (constants)
Mεταβλητές (variables) και Σταθερές (constants) Οι μεταβλητές είναι οι θέσεις μνήμης στις οποίες ένα πρόγραμμα τοποθετεί τα δεδομένα του κατά τη διάρκεια της λειτουργίας του. θα μάθουμε: πως δηλώνουμε
Διαβάστε περισσότεραΠΑΡΑΡΤΗΜΑ: QUIZ ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ
ΠΑΡΑΡΤΗΜΑ: QUIZ ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ (Οι ερωτήσεις µε κίτρινη υπογράµµιση είναι εκτός ύλης για φέτος) ΕΙΣΑΓΩΓΗ Q1. Οι Πρωταρχικοί τύποι (primitive types) στη Java 1. Είναι όλοι οι ακέραιοι και όλοι οι πραγµατικοί
Διαβάστε περισσότεραΕισαγωγή στην επιστήμη των υπολογιστών
Εισαγωγή στην επιστήμη των υπολογιστών Λογισμικό Υπολογιστών Γλώσσες Προγραμματισμού 1 Εξέλιξη Οι γλώσσες προγραμματισμού είναι σύνολα από προκαθορισμένες λέξεις οι οποίες συνδυάζονται σε προγράμματα σύμφωνα
Διαβάστε περισσότεραΚΕΦΑΛΑΙΟ 8 Η ΓΛΩΣΣΑ PASCAL
8.1. Εισαγωγή ΚΕΦΑΛΑΙΟ 8 Η ΓΛΩΣΣΑ PACAL Πως προέκυψε η γλώσσα προγραμματισμού Pascal και ποια είναι τα γενικά της χαρακτηριστικά; Σχεδιάστηκε από τον Ελβετό επιστήμονα της Πληροφορικής Nicklaus Wirth to
Διαβάστε περισσότεραΚεφάλαιο 6 Υλοποίηση Γλωσσών Προγραμματισμού
Κεφάλαιο 6 Υλοποίηση Γλωσσών Προγραμματισμού Προπτυχιακό μάθημα Αρχές Γλωσσών Προγραμματισμού Π. Ροντογιάννης 1 Μεταγλωττιστής Πρόγραμμα Διαβάζει προγράμματα δεδομένης γλώσσας (πηγαία γλώσσα) και τα μετατρέπει
Διαβάστε περισσότεραΤΕΧΝΙΚΕΣ ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΑΦΟΥΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ. Δημιουργία Κλάσεων και Αντικειμένων
ΤΕΧΝΙΚΕΣ ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΑΦΟΥΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ Δημιουργία Κλάσεων και Αντικειμένων Κλάση Μια κλάση είναι μία αφηρημένη περιγραφή αντικειμένων με κοινά χαρακτηριστικά και κοινή συμπεριφορά. Ένα καλούπι/πρότυπο
Διαβάστε περισσότεραΕισαγωγή στην γλώσσα προγραμματισμού C
Εισαγωγή στην γλώσσα προγραμματισμού C Χαρακτηριστικά της C Ιδιαίτερα δημοφιλής Έχει χρησιμοποιηθεί για τον προγραμματισμό ευρέος φάσματος συστημάτων και εφαρμογών Γλώσσα μετρίου επιπέδου Φιλοσοφία: Ο
Διαβάστε περισσότεραΤεχνολογία Λογισµικού Ι Κεφάλαιο 5
ΕΛΛΗΝΙΚΟ ΑΝΟΙΧΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ Πρόγραµµα σπουδών "ΠΛΗΡΟΦΟΡΙΚΗ" - Θ.Ε. ΠΛΗ11 Τεχνολογία Λογισµικού Ι Κεφάλαιο 5 Βασίλειος Βεσκούκης ιδάκτωρ Ηλεκτρολόγος Μηχανικός και Μηχανικός Υπολογιστών v.vescoukis@cs.ntua.gr
Διαβάστε περισσότεραΤΕΧΝΙΚΕΣ ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΑΦΟΥΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ. Κλάσεις και Αντικείμενα Μέθοδοι
ΤΕΧΝΙΚΕΣ ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΑΦΟΥΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ Κλάσεις και Αντικείμενα Μέθοδοι Παράδειγμα Θέλουμε ένα πρόγραμμα που να προσομοιώνει την κίνηση ενός αυτοκινήτου, το οποίο κινείται και τυπώνει τη θέση του.
Διαβάστε περισσότεραΔομημένος Προγραμματισμός (ΤΛ1006)
Τεχνολογικό Εκπαιδευτικό Ίδρυμα Κρήτης Σχολή Εφαρμοσμένων Επιστημών Τμήμα Ηλεκτρονικών Μηχανικών Τομέας Αυτοματισμού και Πληροφορικής Δομημένος Προγραμματισμός (ΤΛ1006) Δρ. Μηχ. Νικόλαος Πετράκης, Καθηγητής
Διαβάστε περισσότεραΕισαγωγή στον Προγραμματισμό
Εισαγωγή στον Προγραμματισμό 6.1 Η έννοια του προγράμματος Η επίλυση ενός προβλήματος με τον υπολογιστή περιλαμβάνει, τρία σημαντικά στάδια: 1. Τον ακριβή προσδιορισμό του προβλήματος. 2. Την ανάπτυξη
Διαβάστε περισσότεραΕλληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Πληροφορική II. Ενότητα 3 : Γλώσσες προγραμματισμού. Δρ.
1 Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου Πληροφορική II Ενότητα 3 : Γλώσσες προγραμματισμού Δρ. Γκόγκος Χρήστος 2 Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Τμήμα Χρηματοοικονομικής
Διαβάστε περισσότεραΣτόχοι και αντικείμενο ενότητας. Εκφράσεις. Η έννοια του τελεστή. #2.. Εισαγωγή στη C (Μέρος Δεύτερο) Η έννοια του Τελεστή
Στόχοι και αντικείμενο ενότητας Η έννοια του Τελεστή #2.. Εισαγωγή στη C (Μέρος Δεύτερο) Εκφράσεις Προτεραιότητα Προσεταιριστικότητα Χρήση παρενθέσεων Μετατροπές Τύπων Υπονοούμενες και ρητές μετατροπές
Διαβάστε περισσότεραΜεταγλωττιστές. Σημασιολογική Ανάλυση. Εργαστήριο 9. Διδάσκοντες: Δρ. Γεώργιος Δημητρίου Δρ. Άχμεντ Μάχντι
Μεταγλωττιστές Εργαστήριο 9 Σημασιολογική Ανάλυση Διδάσκοντες: Δρ. Γεώργιος Δημητρίου Δρ. Άχμεντ Μάχντι 2016-2017 Σύνταξη και Σημασιολογία Σε οποιαδήποτε γλώσσα (προγραμματισμού ή μη) υπάρχουν δύο βασικές
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ AΙΓΑIΟΥ & ΑΕΙ ΠΕΙΡΑΙΑ Τ.Τ. Τμήματα Ναυτιλίας και Επιχειρηματικών Υπηρεσιών & Μηχ. Αυτοματισμού ΤΕ. Εισαγωγή στη Python
ΠΑΝΕΠΙΣΤΗΜΙΟ AΙΓΑIΟΥ & ΑΕΙ ΠΕΙΡΑΙΑ Τ.Τ. Τμήματα Ναυτιλίας και Επιχειρηματικών Υπηρεσιών & Μηχ. Αυτοματισμού ΤΕ ΠΛΗΡΟΦΟΡΙΚΗ ΤΕΧΝΟΛΟΓΙΑ ΚΑΙ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Η/Υ Εισαγωγή στη Python Νικόλαος Ζ. Ζάχαρης Αναπληρωτής
Διαβάστε περισσότεραΤΕΧΝΙΚΕΣ ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΑΦΟΥΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ. Κλάσεις και Αντικείμενα Μέθοδοι
ΤΕΧΝΙΚΕΣ ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΑΦΟΥΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ Κλάσεις και Αντικείμενα Μέθοδοι Παράδειγμα 1 Θέλουμε ένα πρόγραμμα που να προσομοιώνει την κίνηση ενός αυτοκινήτου, το οποίο κινείται πάνω σε μία ευθεία πάντα
Διαβάστε περισσότεραΤύποι Δεδομένων και Απλές Δομές Δεδομένων. Παύλος Εφραιμίδης V1.0 ( )
Τύποι Δεδομένων και Απλές Δομές Δεδομένων Παύλος Εφραιμίδης V1.0 (2014-01-13) Απλές Δομές Δεδομένων Στην ενότητα αυτή θα γνωρίσουμε ορισμένες απλές Δομές Δεδομένων και θα τις χρησιμοποιήσουμε για την αποδοτική
Διαβάστε περισσότεραΕισαγωγή στο Συναρτησιακό Προγραμματισμό
Εισαγωγή στο Συναρτησιακό Προγραμματισμό Γιάννης Κασσιός Σε αυτό το μάθημα θα εξερευνήσουμε ένα σπουδαίο μοντέλο προγραμματισμού, το συναρτησιακό προγραμματισμό. Θα δούμε το συναρτησιακό προγραμματισμό
Διαβάστε περισσότεραΣτοιχειώδης προγραμματισμός σε C++
Στοιχειώδης προγραμματισμός σε C++ Σύντομο Ιστορικό. Το πρόγραμμα Hello World. Ο τελεστής εξόδου. Μεταβλητές και δηλώσεις τους. Αντικείμενα, μεταβλητές, σταθερές. Ο τελεστής εισόδου. Θεμελιώδεις τύποι.
Διαβάστε περισσότεραΔεδομένα, τελεστές, είσοδος/έξοδος
2 Δεδομένα, τελεστές, είσοδος/έξοδος Τι θα δούμε σε αυτό το μάθημα 1. βασικοί τύποι δεδομένων 2. ακέραιοι 3. κινητής υποδιαστολής 4. ο τύπος decimal 5. χαρακτήρες 6. bool 7. string 8. χρήση μεταβλητών
Διαβάστε περισσότεραΟνόματα και Εμβέλεια. Wassily Kandinsky, Black lines, 1913
Ονόματα και Εμβέλεια Wassily Kandinsky, Black lines, 1913 Κωστής Σαγώνας Ανακύκλωση ονομάτων Η κατανόηση της εμβέλειας είναι άμεση εάν το κάθε τι έχει το δικό του όνομα Αλλά στις μοντέρνες
Διαβάστε περισσότεραΤΕΧΝΙΚΕΣ ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΑΦΟΥΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ. Κλάσεις και Αντικείμενα Μέθοδοι
ΤΕΧΝΙΚΕΣ ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΑΦΟΥΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ Κλάσεις και Αντικείμενα Μέθοδοι Παράδειγμα 1 Θέλουμε ένα πρόγραμμα που να προσομοιώνει την κίνηση ενός αυτοκινήτου, το οποίο κινείται και τυπώνει τη θέση του.
Διαβάστε περισσότεραΤι σημαίνουν οι τύποι συναρτήσεων στην ML. Παράδειγμα επισημειώσεων τύπων στην ML. Επισημειώσεις τύπων (type annotations) f : A B σημαίνει:
Τι σημαίνουν οι τύποι συναρτήσεων στην ML f : A B σημαίνει: Για κάθε x A, f(x) = για κάποιο στοιχείο y = f(x) B ατέρμονη εκτέλεση η εκτέλεση τερματίζει εγείροντας κάποια εξαίρεση Με λόγια: εάν η αποτίμηση
Διαβάστε περισσότεραΤύποι δεδομένων, τελεστές, μεταβλητές
Τύποι δεδομένων, τελεστές, μεταβλητές Βασικά στοιχεία της γλώσσας Η Java χαρακτηρίζεται από ένα αρκετά καλά οργανωμένο σύνολο εντολών κι ένα μέρος της επιτυχίας της οφείλεται στα διάφορα APIs (βιβλιοθήκες)
Διαβάστε περισσότεραΑνάπτυξη και Σχεδίαση Λογισμικού
Ανάπτυξη και Σχεδίαση Λογισμικού Η γλώσσα προγραμματισμού C Γεώργιος Δημητρίου Βασικά Στοιχεία Το αλφάβητο της C Οι βασικοί τύποι της C Δηλώσεις μεταβλητών Είσοδος/Έξοδος Βασικές εντολές της C Αλφάβητο
Διαβάστε περισσότεραΑντικειµενοστρεφής Προγραµµατισµός
16 η διάλεξη Π. Σταθοπούλου pstath@ece.upatras.gr ή pstath@upatras.gr Οµάδα Α (Φοιτητές µε µονό αριθµό Μητρώου ) ιδασκαλία : Παρασκευή 11πµ-13µµ ΗΛ7 Φροντιστήριο : ευτέρα 11πµ-12πµ ΗΛ4 Προηγούµενη ιάλεξη
Διαβάστε περισσότεραPascal, απλοί τύποι, τελεστές και εκφράσεις
Pascal, απλοί τύποι, τελεστές και εκφράσεις 15 Νοεμβρίου 2011 1 Γενικά Στην standard Pascal ορίζονται τέσσερις βασικοί τύποι μεταβλητών: integer: Παριστάνει ακέραιους αριθμούς από το -32768 μέχρι και το
Διαβάστε περισσότεραΤΕΧΝΙΚΕΣ ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΑΦΟΥΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ. Κλάσεις και Αντικείμενα Μέθοδοι
ΤΕΧΝΙΚΕΣ ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΑΦΟΥΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ Κλάσεις και Αντικείμενα Μέθοδοι Παράδειγμα 1 Θέλουμε ένα πρόγραμμα που να προσομοιώνει την κίνηση ενός αυτοκινήτου, το οποίο κινείται πάνω σε μία ευθεία πάντα
Διαβάστε περισσότεραI (JAVA) Ονοματεπώνυμο: Α. Μ.: Δώστε τις απαντήσεις σας ΕΔΩ: Απαντήσεις στις σελίδες των ερωτήσεων ΔΕΝ θα ληφθούν υπ όψην.
I (JAVA) Ονοματεπώνυμο: Α. Μ.: + ΦΥΛΛΟ ΑΠΑΝΤΗΣΕΩΝ Δώστε τις απαντήσεις σας ΕΔΩ: Απαντήσεις στις σελίδες των ερωτήσεων ΔΕΝ θα ληφθούν υπ όψην. + 1 ΦΥΛΛΟ ΑΠΑΝΤΗΣΕΩΝ (σελ. 2/3) 2 ΦΥΛΛΟ ΑΠΑΝΤΗΣΕΩΝ (σελ. 3/3)
Διαβάστε περισσότεραΕισαγωγή στον Προγραμματισμό
Εισαγωγή στον Προγραμματισμό Συναρτήσεις Δημήτρης Μιχαήλ Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ακ. Έτος 2012-2013 Συναρτήσεις Ως τώρα γράφαμε όλα τα προγράμματα μας μέσα στην main..1
Διαβάστε περισσότεραΑντικειμενοστρεφής Προγραμματισμός
Αντικειμενοστρεφής Προγραμματισμός Διδάσκουσα: Αναπλ. Καθηγήτρια Ανδριάνα Πρέντζα aprentza@unipi.gr Εργαστηριακός Συνεργάτης: Δρ. Βασιλική Κούφη vassok@unipi.gr Εργαστήριο 2 Βασικοί Τύποι Μεταβλητών Java
Διαβάστε περισσότεραΜεταγλωττιστές. Γιώργος Δημητρίου. Μάθημα 3 ο. Πανεπιστήμιο Θεσσαλίας - Τμήμα Πληροφορικής
Γιώργος Δημητρίου Μάθημα 3 ο Λεκτική Ανάλυση και Λεκτικοί Αναλυτές Γενικά για τη λεκτική ανάλυση Έννοιες που χρειαζόμαστε Τεχνικές λεκτικής ανάλυσης Πίνακας συμβόλων και διαχείριση λαθών Σχεδίαση λεκτικού
Διαβάστε περισσότεραI (JAVA) Ονοματεπώνυμο: Α. Μ.: Δώστε τις απαντήσεις σας ΕΔΩ: Απαντήσεις στις σελίδες των ερωτήσεων ΔΕΝ θα ληφθούν υπ όψην.
I (JAVA) Ονοματεπώνυμο: Α. Μ.: + ΦΥΛΛΟ ΑΠΑΝΤΗΣΕΩΝ Δώστε τις απαντήσεις σας ΕΔΩ: Απαντήσεις στις σελίδες των ερωτήσεων ΔΕΝ θα ληφθούν υπ όψην. + 1 ΦΥΛΛΟ ΑΠΑΝΤΗΣΕΩΝ (σελ. 2/3) 2 ΦΥΛΛΟ ΑΠΑΝΤΗΣΕΩΝ (σελ. 3/3)
Διαβάστε περισσότεραΑΕΠΠ Ερωτήσεις θεωρίας
ΑΕΠΠ Ερωτήσεις θεωρίας Κεφάλαιο 1 1. Τα δεδομένα μπορούν να παρέχουν πληροφορίες όταν υποβάλλονται σε 2. Το πρόβλημα μεγιστοποίησης των κερδών μιας επιχείρησης είναι πρόβλημα 3. Για την επίλυση ενός προβλήματος
Διαβάστε περισσότεραΚεφάλαιο 2.3: Προγραμματισμός. Επιστήμη ΗΥ Κεφ. 2.3 Καραμαούνας Πολύκαρπος
Κεφάλαιο 2.3: Προγραμματισμός 1 2.3.1 Αναφορά σε γλώσσες προγραμματισμού και «Προγραμματιστικά Υποδείγματα» 2.3.1.1 Πρόγραμμα και Γλώσσες Προγραμματισμού Πρόγραμμα: σύνολο εντολών που χρειάζεται να δοθούν
Διαβάστε περισσότεραΒ. Εισαγωγή στον Προγραμματισμό Η/Υ με την JavaScript
Β. Εισαγωγή στον Προγραμματισμό Η/Υ με την JavaScript Β.1 Τύποι Δεδομένων Όλες οι γλώσσες προγραμματισμού (πρέπει να) υποστηρίζουν πέντε (5) πρωταρχικούς τύπους δεδομένων: char (character) int (integer)
Διαβάστε περισσότεραΕισαγωγή στον Προγραμματισμό
Εισαγωγή στον Προγραμματισμό Πίνακες Δημήτρης Μιχαήλ Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ακ. Έτος 2012-2013 Πίνακες Πολλές φορές θέλουμε να κρατήσουμε στην μνήμη πολλά αντικείμενα
Διαβάστε περισσότεραΠΛΗΡΟΦΟΡΙΚΗ Ι JAVA Τμήμα θεωρίας με Α.Μ. σε 3, 7, 8 & 9 22/11/07
Ακαδ έτος 2007-2008 ΠΛΗΡΟΦΟΡΙΚΗ Ι Φερεντίνος 22/11/07 ΠΛΗΡΟΦΟΡΙΚΗ Ι JAVA Τμήμα θεωρίας με ΑΜ σε 3, 7, 8 & 9 22/11/07 Παράδειγμα με if/else if και user input: import javautil*; public class Grades public
Διαβάστε περισσότεραΕΙΔΗ,ΤΕΧΝΙΚΕΣ ΚΑΙ ΠΕΡΙΒΑΛΛΟΝΤΑ ΠΡΟΓΡΑΜΜΑΤΙ- ΣΜΟΥ
Κεφάλαιο 7 ΕΙΔΗ,ΤΕΧΝΙΚΕΣ ΚΑΙ ΠΕΡΙΒΑΛΛΟΝΤΑ ΠΡΟΓΡΑΜΜΑΤΙ- ΣΜΟΥ Ερωτήσεις 1. Να αναφέρετε διαφορές μεταξύ γλωσσών μηχανής και γλωσσών χαμηλού επιπέδου. Οι γλώσσες μηχανής κωδικοποιούν τις εντολές τους με ομάδες
Διαβάστε περισσότεραΤΕΧΝΙΚΕΣ ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΑΦΟΥΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ. Δημιουργώντας δικές μας Κλάσεις και Αντικείμενα
ΤΕΧΝΙΚΕΣ ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΑΦΟΥΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ Δημιουργώντας δικές μας Κλάσεις και Αντικείμενα Μαθήματα από το πρώτο εργαστήριο Δημιουργία αντικειμένου Scanner Scanner input = new Scanner(System.in); Το
Διαβάστε περισσότεραΕισαγωγή στον Προγραμματισμό
Εισαγωγή στον Προγραμματισμό Έλεγχος Δημήτρης Μιχαήλ Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ακ. Έτος 2012-2013 Σχεσιακοί Τελεστές και Ισότητας Ένα πρόγραμμα εκτός από αριθμητικές πράξεις
Διαβάστε περισσότεραΚεφάλαιο 7 : Είδη, Τεχνικές, και Περιβάλλοντα Προγραµµατισµού
ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΥΠΟΛΟΓΙΣΤΩΝ Κεφάλαιο 7 : Είδη, Τεχνικές, και Περιβάλλοντα Προγραµµατισµού ( Απαντήσεις & Λύσεις Βιβλίου) 1. Σκοποί κεφαλαίου Κύκλος ανάπτυξης προγράµµατος Κατηγορίες γλωσσών προγραµµατισµού
Διαβάστε περισσότεραΠρογραμματισμός Ι (ΗΥ120)
Προγραμματισμός Ι (ΗΥ120) Διάλεξη 4: Τελεστές Τελεστές: Τελεστής Ανάθεσης 2 Το σύμβολο της ανάθεσης είναι το = Προσοχή: το σύμβολο ελέγχου ισότητας είναι το ==. Η μορφή των προτάσεων ανάθεσης είναι:
Διαβάστε περισσότεραΠΛΗΡΟΦΟΡΙΚΗ ΙΙ (JAVA) 11/3/2008
ΠΛΗΡΟΦΟΡΙΚΗ ΙΙ (JAVA) 11/3/2008 Κατασκευαστές (Constructors) Ειδικός τύπος μεθόδων, οι οποίες: - είναι public και έχουν το ίδιο όνομα με αυτό της κλάσης - χρησιμοποιούνται για να αρχικοποιήσουν κάποιες
Διαβάστε περισσότερα3ο σετ σημειώσεων - Πίνακες, συμβολοσειρές, συναρτήσεις
3ο σετ σημειώσεων - Πίνακες, συμβολοσειρές, συναρτήσεις 5 Απριλίου 01 1 Πίνακες Είδαμε ότι δηλώνοντας μία μεταβλητή κάποιου συγκεκριμένου τύπου δεσμεύουμε μνήμη κατάλληλη για να αποθηκευτεί μία οντότητα
Διαβάστε περισσότεραΠρογραμματισμός Ι. Εγγραφές. Δημήτρης Μιχαήλ. Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο
Προγραμματισμός Ι Εγγραφές Δημήτρης Μιχαήλ Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Η Ανάγκη Ομαδοποίησης Πολλές φορές έχουμε πληροφορίες διαφορετικού τύπου οι οποίες όμως έχουν μεγάλη
Διαβάστε περισσότεραΥΠΟΛΟΓΙΣΤΕΣ Ι. Τα επιμέρους τμήματα Η ΟΜΗ TOY ΥΠΟΛΟΓΙΣΤΗ. Αναπαράσταση μεγεθών. Αναλογική αναπαράσταση ΚΕΝΤΡΙΚΗ ΜΝΗΜΗ ΜΟΝΑ Α ΕΛΕΓΧΟΥ
ΥΠΟΛΟΓΙΣΤΕΣ Ι Η ΟΜΗ TOY ΥΠΟΛΟΓΙΣΤΗ Τα επιμέρους τμήματα ΕΙΣΟ ΟΣ ΚΕΝΤΡΙΚΗ ΜΝΗΜΗ ΕΛΕΓΧΟΥ ΑΡΙΘΜΗΤΙΚΗ ΛΟΓΙΚΗ ΕΞΟ ΟΣ ΚΕΝΤΡΙΚΗ ΕΠΕΞΕΡΓΑΣΙΑΣ 1 2 Αναπαράσταση μεγεθών ΜΕΤΡΟΥΜΕΝΟ ΜΕΓΕΘΟΣ ΑΝΑΛΟΓΙΚΗ ΑΝΑΠΑΡΑΣΤΑΣΗ
Διαβάστε περισσότεραΜεθοδολογία Προγραμματισμού
Μεθοδολογία Προγραμματισμού Εισαγωγή στo συναρτησιακό προγραμματισμό με Java Νικόλαος Πεταλίδης Τμήμα Μηχανικών Η/Υ ΤΕΙ Κεντρικής Μακεδονίας Εισαγωγή Εαρινό Εξάμηνο Ν Πεταλίδης (ΤΕΙ Κεντρικής Μακεδονίας)
Διαβάστε περισσότεραΒασικά Στοιχεία της Java
Βασικά Στοιχεία της Java Παύλος Εφραιμίδης Java Βασικά Στοιχεία της γλώσσας Java 1 Τύποι Δεδομένων Η Java έχει δύο κατηγορίες τύπων δεδομένων: πρωτογενείς (primitive) τύπους δεδομένων αναφορές Java Βασικά
Διαβάστε περισσότεραΑ. unsigned int Β. double. Γ. int. unsigned char x = 1; x = x + x ; x = x * x ; x = x ^ x ; printf("%u\n", x); Β. unsigned char
ΕΙΣΑΓΩΓΗ ΣΤΟΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ Εξετάσεις Β Περιόδου 2015 (8/9/2015) ΟΝΟΜΑΤΕΠΩΝΥΜΟ:................................................................................ Α.Μ.:...............................................
Διαβάστε περισσότεραΕΡΩΤΗΣΕΙΣ ΑΞΙΟΛΟΓΗΣΗΣ
Α) Να γράψετε στο τετράδιό σας τον αριθμό κάθε πρότασης και δίπλα το γράμμα "Σ", αν είναι σωστή, ή το γράμμα "Λ", αν είναι λανθασμένη. (Μονάδες 25) 1. Ένα αδόμητο πρόβλημα είναι ταυτόχρονα και ανοικτό
Διαβάστε περισσότεραΕισαγωγή στην C. Μορφή Προγράµµατος σε γλώσσα C
Εισαγωγή στην C Μορφή Προγράµµατος σε γλώσσα C Τµήµα Α Με την εντολή include συµπεριλαµβάνω στο πρόγραµµα τα πρότυπα των συναρτήσεων εισόδου/εξόδου της C.Το αρχείο κεφαλίδας stdio.h είναι ένας κατάλογος
Διαβάστε περισσότεραΒασικές Αρχές Προγραμματισμού
Βασικές Αρχές Προγραμματισμού Κεφάλαιο 2 ΗγλώσσαC Ιστορική Αναδρομή ΗανάπτυξητηςC ξεκίνησε το 1972 στα εργαστήρια Bell από τον Dennis Ritchie με σκοπό την ανάπτυξη ενός λειτουργικού συστήματος για τον
Διαβάστε περισσότεραΕισαγωγή στην επιστήμη των υπολογιστών. Λογισμικό Υπολογιστών Κεφάλαιο 9ο Γλώσσες Προγραμματισμού
Εισαγωγή στην επιστήμη των υπολογιστών Λογισμικό Υπολογιστών Κεφάλαιο 9ο Γλώσσες Προγραμματισμού 1 Εξέλιξη Οι γλώσσες προγραμματισμού είναι σύνολα από προκαθορισμένες λέξεις οι οποίες συνδυάζονται σε προγράμματα
Διαβάστε περισσότεραΣχολικό Βιβλίο - Κεφάλαιο 7 ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΜΕ PASCAL ΠΑΡΟΥΣΙΑΣΗ 13
Σχολικό Βιβλίο - Κεφάλαιο 7 ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΜΕ PASCAL ΠΑΡΟΥΣΙΑΣΗ 13 ΙΣΤΟΡΙΚΑ Παρουσιάστηκε το 1970 από το Niklaus Wirth Προγενέστερη γλώσσα ήταν η Algol 60 Είναι δομημένη γλώσσα προγραμματισμού υψηλού
Διαβάστε περισσότεραΠεριεχόμενα. Πρόλογος... 17
Περιεχόμενα Πρόλογος... 17 Κεφάλαιο 1: Εισαγωγή... 19 Πώς να διαβάσετε αυτό το βιβλίο... 20 Η γλώσσα C Ιστορική αναδρομή... 22 Τα χαρακτηριστικά της C... 23 C Μια δομημένη γλώσσα... 23 C Μια γλώσσα για
Διαβάστε περισσότεραΜαλούτα Θεανώ Σελίδα 1
ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΡΧΕΣ ΤΗΣ ΕΠΙΣΤΗΜΗΣ ΤΩΝ ΥΠΟΛΟΓΙΣΤΩΝ Α. ΕΡΩΤΗΣΕΙΣ ΘΕΩΡΙΑΣ ΦΥΛΛΑΔΙΟ 6 ο ( Ενότητες 2.3 ) 1.Τι είναι πρόγραμμα; 2. Ποια είναι τα πλεονεκτήματα των γλωσσών υψηλού επιπέδου σε σχέση με τις γλώσσες
Διαβάστε περισσότεραΚΕΦΑΛΑΙΟ 6 ΕΙΣΑΓΩΓΗ ΣΤΟΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ. 03/01/09 Χαράλαμπος Τζόκας 1
ΚΕΦΑΛΑΙΟ 6 ΕΙΣΑΓΩΓΗ ΣΤΟΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ 03/01/09 Χαράλαμπος Τζόκας 1 Πρόγραμμα - Προγραμματισμός Πρόγραμμα: Σύνολο εντολών που πρέπει να δοθούν στον Υπολογιστή, ώστε να υλοποιηθεί ο αλγόριθμος της επίλυσης
Διαβάστε περισσότεραΤΕΧΝΙΚΕΣ ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΑΦΟΥΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ. Πίνακες Κλάσεις και Αντικείμενα
ΤΕΧΝΙΚΕΣ ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΑΦΟΥΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ Πίνακες Κλάσεις και Αντικείμενα Μαθήματα από το πρώτο εργαστήριο Έλεγχος ισότητας για Strings: Διαβάζουμε το String option και θέλουμε ένα loop να συνεχίσει
Διαβάστε περισσότεραComputing. Νοέμβριος Έκδοση 1.0
Computing Νοέμβριος 2017 Έκδοση 1.0 Ενότητα Computing Αυτή η ενότητα παραθέτει τις βασικές έννοιες και δεξιότητες που σχετίζονται με την ικανότητα χρήσης υπολογιστικής σκέψης (computational thinking) και
Διαβάστε περισσότεραΚεφάλαιο 4 Σημασιολογία μιας Απλής Προστακτικής Γλώσσας
Κεφάλαιο 4 Σημασιολογία μιας Απλής Προστακτικής Γλώσσας Προπτυχιακό μάθημα Αρχές Γλωσσών Προγραμματισμού Π. Ροντογιάννης 1 Εισαγωγή - 1 Μία κλασσική γλώσσα προγραμματισμού αποτελείται από: Εκφράσεις (των
Διαβάστε περισσότεραΤΕΧΝΙΚΕΣ ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΑΦΟΥΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ. Κλάσεις και Αντικείμενα
ΤΕΧΝΙΚΕΣ ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΑΦΟΥΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ Κλάσεις και Αντικείμενα Η εξέλιξη των γλωσσών προγραμματισμού Η εξέλιξη των γλωσσών προγραμματισμού είναι μια διαδικασία αφαίρεσης Στην αρχή ένα πρόγραμμα ήταν
Διαβάστε περισσότεραΤι χρειάζεται ένας φοιτητής για τη σωστή παρακολούθηση και συμμετοχή στο μαθημα;
Εισαγωγή Τι χρειάζεται ένας φοιτητής για τη σωστή παρακολούθηση και συμμετοχή στο μαθημα; 1. Σελίδα μαθήματος Εγγραφή Ο κάθε φοιτητής πρέπει να κάνει εγγραφή στη σελίδα του μαθήματος στην πλατφόρμα e-class
Διαβάστε περισσότεραΝ!=1*2*3* *(N-1) * N => N! = (Ν-1)! * N έτσι 55! = 54! * 55
ΑΝΑ ΡΟΜΗ- ΑΣΚΗΣΕΙΣ Μια µέθοδος είναι αναδροµική όταν καλεί τον εαυτό της και έχει µια συνθήκη τερµατισµού π.χ. το παραγοντικό ενός αριθµού Ν, µπορεί να καλεί το παραγοντικό του αριθµού Ν-1 το παραγοντικό
Διαβάστε περισσότεραΤΕΧΝΙΚΕΣ ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΑΦΟΥΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ. Κλάσεις και Αντικείμενα Αναφορές
ΤΕΧΝΙΚΕΣ ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΑΦΟΥΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ Κλάσεις και Αντικείμενα Αναφορές Μαθήματα από το lab Υπενθύμιση: Η άσκηση ζητούσε να υλοποιήσετε μία κλάση vector που να διαχειρίζεται διανύσματα οποιουδήποτε
Διαβάστε περισσότεραΑφαίρεση στον FP. Πολυμορφισμός Συναρτήσεις υψηλότερης τάξης Οκνηρός και Άπληστος Υπολογισμός
Αφαίρεση στον FP Πολυμορφισμός Συναρτήσεις υψηλότερης τάξης Οκνηρός και Άπληστος Υπολογισμός Πολυμορφισμός Θα χρησιμοποιήσουμε σαν παράδειγμα τη συνάρτηση ταυτότητας Ι, που ορίζεται ως: fun I x = x Ο ορισμός
Διαβάστε περισσότεραΒασικά Στοιχεία της Java
Βασικά Στοιχεία της Παύλος Εφραιμίδης 1 Βασικά Στοιχεία της γλώσσας Τύποι Δεδομένων Η έχει δύο κατηγορίες τύπων δεδομένων: πρωτογενείς (primitive) iti τύπους δεδομένων δδ αναφορές 2 Βασικά Στοιχεία της
Διαβάστε περισσότεραΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
1 ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Μάθημα 1ο Τμήμα Διοίκησης Επιχειρήσεων α εξάμηνο Β. Φερεντίνος Ορισμός Wikipedia.org 2 Δομημένος προγραμματισμός (structured programming) ή διαδικαστικός προγραμματισμός (procedural
Διαβάστε περισσότεραΓλώσσες Προγραμματισμού Μεταγλωττιστές. Σημασιολογική Ανάλυση
Γλώσσες Προγραμματισμού Μεταγλωττιστές Σημασιολογική Ανάλυση Πανεπιστήμιο Μακεδονίας Τμήμα Εφαρμοσμένης Πληροφορικής Ηλίας Σακελλαρίου Δομή Σημασιολογικής Ανάλυσης Στατική και Δυναμική Σημασιολογία Σημασιολογικοί
Διαβάστε περισσότεραΕμβέλεια. Παραδείγματα. Παραδείγματα. Μπλοκ (blocks)
Ονόματα και Εμβέλεια Ανακύκλωση ονομάτων Η κατανόηση της εμβέλειας είναι άμεση εάν το κάθε τι έχει το δικό του όνομα fun square a = a * a; fun double b = b + b; Αλλά στις μοντέρνες γλώσσες προγραμματισμού,
Διαβάστε περισσότεραΛογισµικό (Software SW) Γλώσσες
Λογισµικό (Software SW) Γλώσσες Προγραµµατισµού Οι γενιές των γλωσσών προγραµµατισµού Προβλήµατα που επιλύονται σε ένα περιβάλλον στο οποίο ο άνθρωπος πρέπει να προσαρµόζεται στα χαρακτηριστικά της µηχανής
Διαβάστε περισσότεραιαφάνειες παρουσίασης #1
ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΗΛΕΚΤΡΟΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ http://www.corelab.ece.ntua.gr/courses/programming/ ιδάσκοντες: Στάθης Ζάχος (zachos@cs.ntua.gr) Νίκος Παπασπύρου (nickie@softlab.ntua.gr) ιαφάνειες παρουσίασης
Διαβάστε περισσότεραΚεφάλαιο 7: Υποπρογράμματα. Αρχές Γλωσσών Προγραμματισμού και Μεταφραστών
Κεφάλαιο 7: Υποπρογράμματα Αρχές Γλωσσών Προγραμματισμού και Μεταφραστών Ορισμός Αφαίρεση με χρήση υποπρογραμμάτων (subprogram abstraction) είναι η αντιστοίχιση ενός συνόλου εισόδων σε ένα σύνολο εξόδων
Διαβάστε περισσότερα1 ΕΙΣΑΓΩΓΗ. Πρωταρχικοί Τύποι
1 ΕΙΣΑΓΩΓΗ Η γλώσσα προγραµµατισµού Java είναι ισχυρά τυποποιηµένη (strongly typed), που σηµαίνει ότι κάθε µεταβλητή και κάθε έκφραση έχει κάποιο τύπο, ο οποίος πρέπει να είναι γνωστός κατά το χρόνο της
Διαβάστε περισσότερα