Σημειώσεις Λογικής I. Εαρινό Εξάμηνο Καθηγητής: Λ. Κυρούσης

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "Σημειώσεις Λογικής I. Εαρινό Εξάμηνο Καθηγητής: Λ. Κυρούσης"

Transcript

1 Σημειώσεις Λογικής I Εαρινό Εξάμηνο Καθηγητής: Λ. Κυρούσης

2 2 Τελευταία ενημέρωση 28/3/2012, στις 01:37.

3 Περιεχόμενα 1 Εισαγωγή 5 2 Προτασιακή Λογική Αναδρομικοί Ορισμοί - Επαγωγικές Αποδείξεις Σημασιολογία της Γ Επάρκεια (Πληρότητα) προτασιακών συνδέσμων Μονομελή επαρκή σύνολα συνδέσμων Μη επαρκή σύνολα συνδέσμων Το Θεώρημα της Συμπάγειας Κατηγορηματική Λογική Συντακτικό και σημασιολογία Λίγα στοιχεία από τη Θεωρία Αναδρομής Αναδρομικά και αναδρομικά απαριθμητά σύνολα

4 ΠΕΡΙΕΧΟΜΕΝΑ 4 Τελευταία ενημέρωση 28/3/2012, στις 01:37.

5 Κεφάλαιο 1 Εισαγωγή Η Μαθηματική Λογική με λίγα λόγια είναι η μαθηματική θεώρηση της μαθηματικής προσέγγισης. Στην Μαθηματική Λογική εξετάζουμε την μαθηματική γλώσσα, δηλαδή την γλώσσα που μέχρι τώρα χρησιμοποιούσαμε για να αποδεικνύουμε θεωρήματα, μέσα σε ένα εντελώς αυστηρό (μαθηματικό) πλαίσιο. Η μαθηματική γλώσσα λοιπόν είναι το αντικείμενο του μαθήματος. Ο πρακτικός στόχος αυτού του μαθήματος είναι η καλύτερη κατανόηση της μαθηματικής προσέγγισης. Ο μη πρακτικός στόχος του (και ο σημαντικότερος) είναι να καταλάβουμε τι σημαίνει μαθηματική απόδειξη και μαθηματική αλήθεια, να εξετάσουμε αν αυτά τα δύο ταυτίζονται και τέλος να κατανοήσουμε τι σημαίνει αλγοριθμικότητα των μαθηματικών. Στο μάθημα θα γίνεται χρήση δύο γλωσσών: της γλώσσας αντικείμενο, δηλαδή της γλώσσας υπό μελέτη, και της Μεταγλώσσας, δηλαδή της γλώσσας με την οποία θα μιλάμε εμείς για την γλώσσα αντικείμενο (π.χ Ελληνικά, Αγγλικά κλπ.). Η διάκριση πρέπει να είναι απολύτως σαφής για να μπορέσει κάποιος να παρακολουθήσει το μάθημα. Σε αυτό το μάθημα πολύ συχνά θα συγχέουμε το όνομα του αντικειμένου με το ίδιο το αντικείμενο, π.χ. πολλές φορές θα λέμε ο τύπος ϕ, θα επικαλούμαστε δηλαδή το όνομα του τύπου, και θα εννοούμε την συντακτική μορφή του τύπου. Τέλος, όπως έχουμε συνηθίσει στα μαθηματικά να χρησιμοποιούμε μεταβλητές x, y, z, οι οποίες μπορούν εν δυνάμει να πάρουν οποιαδήποτε τιμή μέσα από ένα σύνολο, σε αυτό το μάθημα θα χρησιμοποιούμε συντακτικές μεταβλητές, δηλαδή μεταβλητές ϕ, ψ, χ που θα παίρνουν εν δυνάμει οποιαδήποτε μορφή μπορεί να πάρει ένας σωστός συντακτικά τύπος. 5

6 6 Τελευταία ενημέρωση 28/3/2012, στις 01:37.

7 Κεφάλαιο 2 Προτασιακή Λογική Ορισμός Με Γ 0 συμβολίζουμε την γλώσσα του προτασιακού λογισμού η οποία θα περιέχει: Μία αριθμήσιμη ακολουθία από προτασιακές (λογικές) μεταβλητές p 0, p 1,.... Τους λογικούς συνδέσμους (άρνηση), (σύζευξη), (διάζευξη), (συνεπαγωγή), (διπλή συνεπαγωγή). Τις παρενθέσεις (, ). Παρατήρηση. Στον παραπάνω ορισμό χρησιμοποιήσαμε ορισμένα στοιχεία της μεταγλώσσας, συγκεκριμένα τα σύμβολα, και Αναδρομικοί Ορισμοί - Επαγωγικές Αποδείξεις Ορισμός Έκφραση είναι μία πεπερασμένη ακολουθία από σύμβολα της Γ 0 (π.χ. p 0 (). Θα συμβολίζουμε με E(Γ 0 ) το σύνολο των εκφράσεων. Ορισμός Μία έκφραση θα ονομάζεται προτασιακός τύπος αν και μόνον αν: είναι προτασιακή μεταβλητή, είναι της μορφής ( ϕ), (ϕ ψ) (ϕ ψ) (ϕ ψ) (ϕ ψ) όπου ϕ και ψ προτασιακοί τύποι 1. Παρατήρηση. Για λόγους ευκολίας γραφής θα κάνουμε την ακόλουθη σύμβαση: το θα είναι ισχυρότερο όλων, τα, θα είναι ισχυρότερα από τα,,τα, θα είναι το ίδιο ισχυρά, και τέλος τα, θα είναι το ίδιο ισχυρά. Δηλαδή π.χ. θα γράφουμε p 0 p 1 p 3 p 4 αντί για ((( p 0 ) p 1 ) (p 3 p 4 )). Ορισμός (Επαγωγική απόδειξη). Για να δείξουμε ότι μία ιδιότητα ισχύει για κάθε προτασιακό τύπο πρέπει να δείξουμε: 1. Βάση επαγωγής: Την αποδεικνύουμε για τις προτασιακές μεταβλητές 2. Δεχόμενοι ότι η ιδιότητα ισχύει για τους προτασιακούς τύπους ϕ, ψ, την αποδεικνύουμε για τους ( ϕ), (ϕ ψ), (ϕ ψ), (ϕ ψ), (ϕ ψ). 1 Ας σημειώσουμε ότι οι εκφράσεις ϕ και ψ του προηγούμενου ορισμού είναι συντακτικές μεταβλητές. 7

8 2.1. ΑΝΑΔΡΟΜΙΚΟΙ ΟΡΙΣΜΟΙ - ΕΠΑΓΩΓΙΚΕΣ ΑΠΟΔΕΙΞΕΙΣ Πρόταση Κάθε τύπος έχει το ίδιο πλήθος αριστερών και δεξιών παρενθέσεων. Απόδειξη. Εύκολη με επαγωγή στη δομή του τύπου. Πρόταση Κάθε γνήσιο μη κενό αρχικό τμήμα ενός τύπου έχει περισσότερες αριστερές από δεξιές παρενθέσεις. Απόδειξη. Εύκολη με επαγωγή στη δομή του τύπου, χρησιμοποιώντας και την πρόταση Πρόταση Κάθε προτασικός τύπος εμπίπτει σε μία ακριβώς από τις περιπτώσεις του ορισμού Απόδειξη. Με απαγωγή σε άτοπο. Έστω ότι ένας τύπος ϕ εμπίπτει σε 2 περιπτώσεις του ορισμού Για παράδειγμα έστω ότι ϕ (ψ 1 ψ 2 ) και ϕ (ψ 1 ψ 2 ) για κάποιους τύπους ψ 1, ψ 2, ψ 1, ψ 2. Τότε εύκολα μπορούμε να συμπεράνουμε ότι είτε ο ψ 1 είναι γνήσιο αρχικό τμήμα του ψ 1 είτε το αντίστροφο. Αυτό όμως είναι άτοπο από την πρόταση Οι υπόλοιπες περιπτώσεις αποδεικνύονται ανάλογα. 8 Τελευταία ενημέρωση 28/3/2012, στις 01:37.

9 ΚΕΦΑΛΑΙΟ 2. ΠΡΟΤΑΣΙΑΚΗ ΛΟΓΙΚΗ 2.2 Σημασιολογία της Γ 0 Στην προηγούμενη παράγραφο είδαμε το συντακτικό της Γ 0, δηλαδή πως συντάσσονται οι προτασιακοί τύποι. Σε αυτήν την παράγραφο θα δούμε πως αποκτούν νόημα. Ορισμός Αποτίμηση (ή απονομή αληθείας) είναι μια συνάρτηση a : M(Γ 0 ) {A, Ψ} (ή {0, 1}). Η αποτίμηση μπορεί να επεκταθεί σε μία συνάρτηση ā : T (Γ 0 ) {A, Ψ} αναδρομικά σύμφωνα με τους ακόλουθους πίνακες αληθείας: ā(ϕ) ā(ψ) ā( ϕ) ā(ϕ ψ) ā(ϕ ψ) ā(ϕ ψ) ā(ϕ ψ) A A Ψ A A A A A Ψ Ψ Ψ A Ψ Ψ Ψ A A Ψ A A Ψ Ψ Ψ A Ψ Ψ A A Παρατήρηση. Στα επόμενα (καταχρηστικά) θα χρησιμοποιούμε πολλές φορές τον συμβολισμό a αντί του ā για λόγους ευκολίας γραφής. Ωστόσο πρέπει να είναι σαφές ότι στην πραγματικότητα αυτό είναι μία σύμβαση, αφού η συνάρτηση ā είναι επέκταση της a. Ορισμός Έστω T T (Γ 0 ). Θα λέμε ότι: 1. ο προτασιακός τύπος ϕ είναι ικανοποιήσιμος αν υπάρχει τουλάχιστον μία αποτίμηση a με ā(ϕ) = A. Σε αυτήν την περίπτωση θα λέμε επίσης ότι η a ικανοποιεί τον ϕ. 2. η αποτίμηση a ικανοποιεί το T, αν και μόνον αν η a ικανοποιεί κάθε στοιχείο του T. 3. το T είναι ικανοποιήσιμο αν και μόνον αν υπάρχει μία αποτίμηση που το ικανοποιεί 2 4. ο ϕ είναι ταυτολογία αν και μόνον αν κάθε αποτίμηση ικανοποιεί τον ϕ. 5. ο ϕ είναι αντίφαση αν και μόνον αν ο ϕ είναι ταυτολογία. 6. το T συνεπάγεται ταυτολογικά το ϕ, και θα γράφουμε T ϕ αν και μόνον αν κάθε αποτίμηση που ικανοποιεί το T ικανοποιεί και το ϕ. Παρατήρηση. Στον παραπάνω ορισμό, αξίζει να σημειωθεί ότι η τιμή του ā(ϕ) εξαρτάται μόνον από τιμή που δίνει η a στις προτασιακές μεταβλητές που εμφανίζονται στον ϕ. Παρατήρηση. Εύκολα συμπεραίνουμε ότι ϕ αν και μόνο αν ο ϕ είναι ταυτολογία 3. Θεώρημα T ϕ T { ϕ} δεν είναι ικανοποιήσιμο Απόδειξη. ( ) Υποθέτουμε ότι το T { ϕ} είναι ικανοποιήσιμο. Άρα υπάρχει αποτίμηση a που ικανοποιεί όλους τους τύπους του T { ϕ}. Άρα υπάρχει a που δίνει την τιμή A σε όλα τα στοιχεία του T και την τιμή Ψ στο ϕ. Άτοπο. 4 2 Γιατί είναι λάθος να πούμε ότι το σύνολο T είναι ικανοποιήσιμο αν και μόνον αν κάθε στοιχείο του T είναι ικανοποιήσιμο; 3 Θεωρούμε ότι όλες οι αποτιμήσεις ικανοποιούν το κενό σύνολο. 4 Στην παραπάνω απόδειξη, χρησιμοποιήσαμε την μέθοδο της είς άτοπον απαγωγής για να αποδείξουμε την είς άτοπον απαγωγή. Κάτι τέτοιο μπορούμε να το κάνουμε, γιατί χρησιμοποιήσαμε την είς άτοπον απαγωγή στη μεταγλώσσα. Τελευταία ενημέρωση 28/3/2012, στις 01:37. 9

10 2.3. ΕΠΑΡΚΕΙΑ (ΠΛΗΡΟΤΗΤΑ) ΠΡΟΤΑΣΙΑΚΩΝ ΣΥΝΔΕΣΜΩΝ ( ) Υποθέτουμε ότι το T { ϕ} δεν είναι ικανοποιήσιμο και θα δείξουμε ότι T ϕ. Έστω a αποτίμηση που ικανοποιεί τα στοιχεία του T. Αφού το T { ϕ} δεν είναι ικανοποιήσιμο αναγκαστικά η a θα δώσει τιμή Ψ στο ϕ, και συνεπώς τιμή Aστο ϕ, άρα η a θα ικανοποιεί και το ϕ. Παρατήρηση. Έστω T μη ικανοποιήσιμο και ϕ τυχών προτασιακός τύπος. Τότε T ϕ, αφού η μη ικανοποιησιμότητα του T μας λέει ότι δεν υπάρχει αποτίμηση που να ικανοποιεί όλους τους προτασιακούς τύπους του T. Θεώρημα Οι ακόλουθες προτάσεις είναι ταυτολογίες: ϕ ψ ψ ϕ ϕ ψ ψ ϕ ϕ (ψ χ) (ϕ ψ) χ ϕ (ψ χ) (ϕ ψ) χ ϕ (ψ χ) (ϕ ψ) (ϕ χ) ϕ (ψ χ) (ϕ ψ) (ϕ χ) ϕ ϕ (ϕ ψ) ϕ ψ (ϕ ψ) ϕ ψ (ϕ ψ) ϕ ψ ϕ ϕ (Αντιμεταθετικότητα) (Προσεταιριστικότητα) (Επιμεριστικότητα) (Διπλή άρνηση) (Άρνηση συνεπαγωγής) (Νόμοι De Morgan) (Νόμος απόκλεισης του τρίτου) (ϕ ψ) ( ψ ϕ) (Νόμος αντιθετοαναστροφής) (ϕ ψ) ϕ ψ (Νόμοι αντικατάστασης) (ϕ ψ) (ϕ ψ) (ψ ϕ) (ϕ ψ) ( ϕ ψ) (ϕ ψ) ( ϕ ψ) Απόδειξη. Αφήνεται ως άσκηση. Παρατήρηση. Λέμε ότι οι ϕ, ψ είναι λογικά ισοδύναμοι όταν ο τύπος ϕ ψ είναι ταυτολογία. Σε αυτή την περίπτωση γράφουμε και ϕ ψ. 2.3 Επάρκεια (Πληρότητα) προτασιακών συνδέσμων Ορισμός Ένα σύνολο προτασιακών συνδέσμων C θα λέγεται επαρκές (ή πλήρες), αν κάθε προτασιακός τύπος είναι ισοδύναμος με έναν προτασιακό τύπο, στον οποίο εμφανίζονται σύνδεσμοι μόνον από το C Θεώρημα Το σύνολο {,, } είναι επαρκές. 10 Τελευταία ενημέρωση 28/3/2012, στις 01:37.

11 ΚΕΦΑΛΑΙΟ 2. ΠΡΟΤΑΣΙΑΚΗ ΛΟΓΙΚΗ Απόδειξη. Η απόδειξη γίνεται με επαγωγή: Για τις προτασιακές μεταβλητές το θεώρημα ισχύει (αφού οι προτασιακές μεταβλητές δεν έχουν συνδέσμους). Υποθέτουμε ότι το θεώρημα ισχύει για τους προτασιακούς τύπους ϕ και ψ. Έστω ϕ, ψ δύο προτασιακοί τύποι με συνδέσμους από το υπό εξέταση σύνολο, ώστε ϕ ϕ και ψ ψ. Τότε έχουμε ότι: ϕ ϕ ϕ ψ ϕ ψ ϕ ψ ϕ ψ ϕ ψ ϕ ψ ϕ ψ (ϕ ψ) (ψ ϕ) Μονομελή επαρκή σύνολα συνδέσμων Στα όσα έχουμε δει μέχρι τώρα, έχουμε συναντήσει μόνο έναν μονοθέσιο προτασιακό σύνδεσμο, το 5. Αποδεικνύεται πως κανένα σύνολο συνδέσμων που αποτελείται μόνο από έναν μονοθέσιο σύνδεσμο δεν είναι επαρκές. Θα παρουσιάζουμε δύο ακόμη διθέσιους συνδέσμους και στη συνέχεια θα δείξουμε ότι κάθε ένας από αυτούς αποτελεί και επαρκές σύνολο προτασιακών συνδέσμων. Οι δύο σύνδεσμοι που μας απασχολούν είναι ο NAND ( ή ) και ο NOR ( ), των οποίων τους πίνακες αληθείας παρουσιάζουμε παρακάτω: ā(ϕ) ā(ψ) ā(ϕ ψ) ā(ϕ ψ) A A Ψ Ψ A Ψ A Ψ Ψ A A Ψ Ψ Ψ A A Θεώρημα Τα σύνολα προτασιακών συνδέσμων { } και { } είναι επαρκή Απόδειξη. Δείχνουμε πρώτα (άσκηση) ότι το σύνολο {, } είναι επαρκές. Αρκεί λοιπόν να δείξουμε ότι μπορούμε να εκφράσουμε τους δύο αυτούς προτασιακούς συνδέσμους μόνο με τον. Πράγματι: ϕ ϕ ϕ ϕ ψ (ϕ ψ) (ϕ ψ) Αντίστοιχα δουλεύουμε και για τον. 5 Υπάρχουν άλλοι μονοθέσιοι προτασιακοί σύνδεσμοι; Και αν ναι, τότε ποιοι είναι οι πίνακες αληθείας τους; Υπάρχουν μηδενοθέσιοι προτασιακοί σύνδεσμοι; Και αν ναι, τότε ποιοι είναι; Τελευταία ενημέρωση 28/3/2012, στις 01:37. 11

12 2.4. ΤΟ ΘΕΩΡΗΜΑ ΤΗΣ ΣΥΜΠΑΓΕΙΑΣ Μη επαρκή σύνολα συνδέσμων Για να δείξουμε ότι ένα σύνολο προτασιακών συνδέσμων δεν είναι επαρκές, αρκεί να βρούμε μία ιδιότητα που έχουν οι προτασιακοί τύποι που χρησιμοποιούν στοιχεία μόνον από αυτό το σύνολο, την οποία δεν έχουν όλοι οι προτασιακοί τύποι. Παραδείγματα θα δούμε ευθύς αμέσως. Πρόταση Το { } δεν είναι επαρκές. Απόδειξη. Παρατηρούμε ότι ένας προτασιακός τύπος ϕ που περιέχει μόνο τον σύνδεσμο έχει την ακόλουθη ιδιότητα: P = Για κάθε αποτίμηση a που δίνει στις μεταβλητή του ϕ τιμή A ισχύει ότι ā(ϕ) = A. Θα αποδείξουμε με επαγωγή τον παραπάνω ισχυρισμό. Για την βάση της επαγωγής, θεωρούμε ότι ο ϕ είναι μία προτασιακή μεταβλητή 6, και επομένως προφανώς ο ϕ έχει την P. Για το επαγωγικό βήμα θεωρούμε ότι ο ϕ έχει την μορφή ψ χ όπου για τους ψ, χ ισχύει P. Αφού από την επαγωγική υπόθεση ισχύει ότι ā(ψ) = A και ā(χ) = A, από τον πίνακα αληθείας του προκύπτει ότι ā(ϕ) = A. Παρατηρούμε ότι ο p δεν έχει την P, άρα το { } δεν είναι επαρκές. Πρόταση Το {, } δεν είναι επαρκές Απόδειξη. Άσκηση. Ορισμός Ορίζουμε τον τριθέσιο προτασιακό σύνδεσμο π(ϕ, ψ, χ) που ορίζεται ως η πλειοψηφία των τιμών των ϕ, ψ, χ Το Θεώρημα της Συμπάγειας Ορισμός Ένα σύνολο τύπων Σ λέγεται πεπερασμένα ικανοποιήσιμο (π.ι.) αν κάθε πεπερασμένο υποσύνολό του είναι ικανοποιήσιμο. Θεώρημα (Συμπάγειας). Έστω σύνολο τύπων Σ. Το Σ είναι ικανοποιήσιμο αν και μόνον αν είναι π.ι. Αν το Σ είναι ικανοποιήσιμο όλα τα πεπερασμένα υποσύνολά του είναι ικανοποιήσιμα (προφανώς). Άρα η μία κατεύθυνση προκύπτει εύκολα. Για να δείξουμε την άλλη κατεύθυνση βλέπουμε ότι πρέπει να ορίσουμε μία αποτίμηση, η οποία θα κάνει αληθείς όλους τους τύπους που είναι στο Σ. Ένας τέτοιος ορισμός μοιάζει δύσκολος εκ πρώτης όψεως. Για παράδειγμα θα μπορούσαμε να ορίσουμε την αποτίμηση να κάνει αληθείς τις μεταβλητές που εμφανίζονται στο Σ χωρίς άρνηση και ψευδείς τις μεταβλητές που εμφανίζονται στο Σ με άρνηση. Τι κάνουμε όμως αν μια μεταβλητή δεν εμφανίζεται καθόλου στο Σ; Μετά από άλλες παρόμοιες σκέψεις οδηγούμαστε στο ότι πρέπει να επεκτείνουμε το σύνολο Σ. 6 Μηδέν εμφανίσεις του. 7 Ποιος είναι ο πίνακας αληθείας του π; 12 Τελευταία ενημέρωση 28/3/2012, στις 01:37.

13 ΚΕΦΑΛΑΙΟ 2. ΠΡΟΤΑΣΙΑΚΗ ΛΟΓΙΚΗ Έστω ϕ 1, ϕ 2,... μία απαρίθμηση των τύπων (το E(Γ 0 ) είναι αριθμήσιμο, ως ένωση αριθμήσιμων συνόλων, άρα και το σύνολο των τύπων είναι αριθμήσιμο, βλ. και θεώρημα 3.2.1). Ορίζουμε την παρακάτω ακολουθία συνόλων: 0 = Σ { i {ϕ i+1 = i+1 } αν i {ϕ i+1 } π.ι. i { ϕ i+1 } αλλιώς i 0 Λήμμα Για κάθε i το σύνολο i είναι π.ι. Απόδειξη. Με επαγωγή στο i. ΒΑΣΗ Για i = 0 το 0 = Σ είναι π.ι. ΕΠΑΓΩΓΙΚΗ ΥΠΟΘΕΣΗ Υποθέτουμε ότι το i είναι π.ι. ΕΠΑΓΩΓΙΚΟ ΒΗΜΑ Θα δείξουμε ότι το i + 1 είναι π.ι. Θέτουμε A i = i {ϕ i+1 }, B i = i { ϕ i+1 }. Έστω ότι και το A i και το B i δεν είναι π.ι. Τότε υπάρχουν πεπερασμένα υποσύνολα του i έστω i, i τέτοια ώστε τα σύνολα A i = i {ϕ i+1}, B i = i { ϕ i+1} δεν είναι ικανοποιήσιμα. Επειδή όμως το i είναι π.ι. θα υπάρχει μία απονομή αλήθειας, έστω α, η οποία ικανοποιεί κάθε τύπο του i i. Η α φυσικά δεν μπορεί να ικανοποιεί τα A i, B i οπότε θα πρέπει α(ϕ i+1 ) = α( ϕ i+1 ) = Ψ, το οποίο είναι άτοπο. Επομένως τoυλάχιστον ένα από τα A i, B i είναι π.ι., άρα από τον ορισμό του i+1 και αυτό είναι π.ι. Από το λήμμα έχουμε ότι το σύνολο = i=0 είναι π.ι και ακόμα (από τον ορισμό των i ) ότι για κάθε τύπο ϕ, ϕ ϕ. Έστω προτασιακή μεταβλητή A. Ορίζουμε την απονομή αλήθειας α ως εξής: { A A a(a) = Ψ A / i 0 Λήμμα Για κάθε τύπο ϕ α(ϕ) = A ϕ Απόδειξη. Δείχνουμε την ισοδυναμία με επαγωγή στη δομή των τύπων: ΒΑΣΗ - ϕ = A (προτασιακή μεταβλητή) Προφανές από τον ορισμό της α ΕΠΑΓΩΓΙΚΗ ΥΠΟΘΕΣΗ Υποθέτουμε ότι η ζητούμενη ισοδυναμία ισχύει για τύπους ϕ 1, ϕ 2 ΕΠΑΓΩΓΙΚΟ ΒΗΜΑ Θα δείξουμε το ζητούμε αν ϕ = ϕ 1 ϕ 2. Οι υπόλοιπες περιπτώσεις είναι παρόμοιες και αφήνονται ως άσκηση. ( ) α(ϕ 1 ϕ 2 ) = A α(ϕ 1 ) = α(ϕ 2 ) = A. Από ε.υ. έχουμε ότι ϕ 1, ϕ 2. Αν (ϕ 1 ϕ 2 ) τότε υπάρχει ένα υποσύνολο του το {ϕ 1, ϕ 2, (ϕ 1 ϕ 2 )} το οποίο δεν είναι ικανοποιήσιμο. Αυτό όμως είναι άτοπο, γιατί από το λήμμα δείξαμε ότι το είναι π.ι. Οπότε (ϕ 1 ϕ 2 ). ( ) ϕ 1 ϕ 2. Έστω ότι α(ϕ 1 ϕ 2 ) = Ψ. Τότε α(ϕ 1 ) = Ψ α(ϕ 2 ) = Ψ. Από ε.υ. όμως θα ισχύει ότι ϕ 1 / ϕ 2 /. Αν ϕ 1 / τότε θα ισχύει ότι ϕ 1. Όμως το σύνολο { ϕ 1, ϕ 1 ϕ 2 } δεν είναι ικανοποιήσιμο, το οποίο είναι άτοπο. Όμοια καταλήγουμε σε άτοπο αν ϕ 2 /. Οπότε σε κάθε περίπτωση α(ϕ 1 ϕ 2 ) = A. Τελευταία ενημέρωση 28/3/2012, στις 01:37. 13

14 2.4. ΤΟ ΘΕΩΡΗΜΑ ΤΗΣ ΣΥΜΠΑΓΕΙΑΣ Το λήμμα μας λέει ότι η α ικανοποιεί το. Από την κατασκευή του όμως ισχύει ότι Σ. Οπότε το Σ είναι ικανοποιήσιμο. Έτσι ολοκληρώσαμε την απόδειξη του θεωρήματος Λήμμα Σ = ϕ Σ Σ, Σ < τέτοιο ώστε Σ = ϕ Απόδειξη. Αν το Σ δεν είναι ικανοποιήσιμο, η ισοδυναμία ισχύει τεριμμένα, οπότε στην παρακάτω απόδειξη υποθέτουμε ότι Σ ικανοποιήσιμο. ( ) Από το έχουμε ότι Σ { ϕ} όχι ικανοποιήσιμο. Οπότε από το θεώρημα της συμπάγειας, υπάρχει Σ Σ, Σ < τέτοιο ώστε το σύνολο Σ ϕ δεν είναι ικανοποιήσιμο. Όμως πάλι από το λήμμα έχουμε ότι Σ = ϕ. ( ) Κάθε απονομή αλήθειας που ικανοποιεί όλα τα στοιχεία του Σ ικανοποιεί και όλα τα στοιχεία του Σ άρα και το ϕ. 14 Τελευταία ενημέρωση 28/3/2012, στις 01:37.

15 Κεφάλαιο 3 Κατηγορηματική Λογική 3.1 Συντακτικό και σημασιολογία Ορισμός Μία πρωτοβάθμια γλώσσα Γ 1 αποτελείται από Μία άπειρη ακολουθία μεταβλητών: v 0, v 1,... Τους λογικούς συνδέσμους:, Τις παρενθέσεις: (, ) Το σύμβολο της ισότητας: Τον καθολικό ποσοδείκτη: Για κάθε φυσικό n 0 ένα σύνολο (ενδεχομένως κενό) από n-μελή κατηγορηματικά σύμβολα (ή σύμβολα ιδιοτήτων): P ni Για κάθε φυσικό n 0 ένα σύνολο (ενδεχομένως κενό) από n-θέσια συναρτησιακά σύμβολα: f ni Ένα σύνολο (ενδεχομένως κενό) από σύμβολα σταθερών: c k Παρατήρηση. Οι λογικοί σύνδεσμοι,, καθώς και ο υπαρξιακός ποσοδείκτης θα εισαχθούν αργότερα ως συντομεύσεις των, και. Επίσης πολλές φορές θα χρησιμοποιούμε καταχρηστικά το κλασικό σύμβολο της ισότητας = αντί του χάριν απλότητας. Παρατήρηση. Συνήθως μία πρωτοβάθμια γλώσσα έχει πεπερασμένο πλήθος κατηγορηματικών και συναρτησιακών συμβόλων, και πεπερασμένο πλήθος σταθερών. Ορισμός Έκφραση είναι μία πεπερασμένη ακολουθία από σύμβολα της Γ 1. Θα συμβολίζουμε με E(Γ 1 ) το σύνολο των εκφράσεων. Ορισμός Μία έκφραση θα ονομάζεται όρος της Γ 1 αν και μόνον αν: είναι προτασιακή μεταβλητή, είναι σταθερά, 15

16 3.1. ΣΥΝΤΑΚΤΙΚΟ ΚΑΙ ΣΗΜΑΣΙΟΛΟΓΙΑ είναι της μορφής ft 1... t n, όπου t 1,..., t n όροι και f n-θέσιο συναρτησιακό σύμβολο της Γ 1. Το σύνολο των όρων της Γ 1 το συμβολίζουμε με O(Γ 1 ). Παρατήρηση. Θα γράφουμε τον όρο ft 1... t n και ως f(t 1,..., t n ) για να μας θυμίζει το συνήθη τρόπο γραφής των συναρτήσεων. Δείχνουμε το ανάλογο της πρότασης Πρόταση Κάθε γνήσιο, μη κενό πρόθεμα ενός όρου δεν είναι όρος. Απόδειξη. Με επαγωγή στη δομή των όρων. Δείχνουμε το ανάλογο της πρότασης Πρόταση Κάθε έκφραση που είναι όρος εμπίπτει σε ακριβώς μία περίπτωση του ορισμού Απόδειξη. Με απαγωγή σε άτοπο χρησιμοποιώντας το θεώρημα Παρατήρηση. Με συντακτική ανάλυση και χρησιμοποιώντας τα θεωρήματα 3.1.1, μπορούμε να κατασκευάσουμε έναν αλγόριθμο ο οποίος αποφασίζει για κάθε συμβολοσειρά αν είναι όρος ή όχι. 16 Τελευταία ενημέρωση 28/3/2012, στις 01:37.

17 ΚΕΦΑΛΑΙΟ 3. ΚΑΤΗΓΟΡΗΜΑΤΙΚΗ ΛΟΓΙΚΗ 3.2 Λίγα στοιχεία από τη Θεωρία Αναδρομής Αναδρομικά και αναδρομικά απαριθμητά σύνολα Θα δώσουμε μερικά στοιχεία από Θεωρία Αναδρομής. Θεωρούμε ένα αριθμήσιμο σύνολο Σ το οποίο θα ονομάζουμε αλφάβητο. Ορίζουμε Σ i = { ακολουθία συμβόλων του Σ με μήκος i}. Ορίζουμε Σ = i=0 Σi (άστρο του Kleene για το σύνολο Σ). Δίνουμε το παρακάτω λήμμα χωρίς απόδειξη. Λήμμα Αν τo Σ είναι αριθμήσιμο τότε το Σ είναι αριθμήσιμο. Έστω αλγόριθμος A και x Σ. Με A(x) συμβολίζουμε τον υπολογισμό του A με είσοδο το x. Αν γράφουμε A(x) = y εννοούμε ότι ο A με είσοδο x τερματίζει και δίνει έξοδο y. Ορισμός Ένα σύνολο L Σ λέγεται γλώσσα. 2. Για κάθε γλώσσα L ορίζουμε το συμπλήρωμα της L ως εξής: L c = Σ \ L 3. Μία γλώσσα L καλείται ανδρομική 1 αν υπάρχει αλγόριθμος A, ο οποίος για κάθε x Σ τερματίζει και: Λέμε ακόμα ότι ο A αποφασίζει την L. x L A(x) = yes x / L A(x) = no 4. Μια γλώσσα L καλείται αναδρομικά αριθμήσιμη(α.α) 2 αν υπάρχει αλγόριθμος A που αριθμεί τα στοιχεία της. Δηλαδή o A τυπώνει στην έξοδό του όλα τα στοιχεία της L χωρίς απαραίτητα καθορισμένη σειρά και με πιθανές επαναλήψεις. 5. Μια γλώσσα L καλείται ημιανδρομική αν υπάρχει αλοριθμος A τέτοιος ώστε 3 x L A(x) = yes Θεώρημα Για κάθε γλώσσα L : L αναδρομική L c αναδρομική. Απόδειξη. Προφανής, αρκεί να αντιστρέψουμε το yes με το no στον αλγόριθμο που αποφασίζει την L (ή την L c αντίστοιχα). Θεώρημα Για κάθε γλώσσα L : L ημιαναδρομική L α.α. Απόδειξη. ( ) Όπως είπαμε το Σ είναι αριθμήσιμο. Οπότε έστω w 1, w 2,... μία αρίθμηση των στοιχείων του. Αφού η L είναι ημιανδρομική υπάρχει αλγόριθμος A τέτοιος ώστε για κάθε i 1: w i L A (w i ) = yes (3.1) 1 άλλες ονομασίες είναι αποκρίσιμη, αλγοριθμική, διαγνώσιμη, επιλύσιμη 2 αλλιώς αναγνωρίσιμη 3 αν x / L δεν ξέρουμε πως θα συμπεριφερθεί το A(x). Μπορεί και να μην τερματίσει! Τελευταία ενημέρωση 28/3/2012, στις 01:37. 17

18 3.2. ΛΙΓΑ ΣΤΟΙΧΕΙΑ ΑΠΟ ΤΗ ΘΕΩΡΙΑ ΑΝΑΔΡΟΜΗΣ Θα περιγράψουμε έναν αλγόριθμο 4 A ο οποίος απαριθμεί τα στοιχεία της L. Ο A λειτουργεί σε βήματα. Στο n-οστό βήμα (n 1) ο A κάνει το εξής: i, 1 i n προσομειώνει τη λειτουργία του A για το w i για ένα (ακόμα) βήμα. Αν ο A τερματίσει και A (w i ) = yes τότε ο A τυπώνει το w i στην έξοδο και συνεχίζει στο επόμενο i. Ουσιαστικά αυτό που κάνει ο A είναι να τρέχει τον A "παράλληλα" για όλα τα στοιχεία του Σ. Λόγω της σχέσης 3.1 ο A θα τερματίσει υποχρεωτικά, απαντώτας yes, για όλα τα στοιχεία της L, οπότε αυτά θα τυπωθούν σίγουρα στην έξοδο του A. ( ) Τρέχουμε τον αλγόριθμο που αριθμεί την L και για κάθε x που θα βγει στην έξοδό του απαντάμε yes. Με αυτόν τον τρόπο απαντάμε yes για όλα τα στοιχεία της L αφού αυτά θα βγουν υποχρεωτικά στην απαρίθημηση. Αντίστροφα αν για κάποιο x απαντήσουμε yes σημαίνει ότι εμφανίστηκε κάπου στην απαρίθμηση άρα ανήκει στην L. Θεώρημα Για κάθε γλώσσα L : L αναδρομική L και L c α.α. Απόδειξη. ( ) Από το θεώρημα έχουμε ότι L c αναδρομική. Από τον ορισμό φαίνεται ότι κάθε αναδρομική γλώσσα είναι και ημιανδρομική, οπότε και α.α. Οπότε έχουμε το ζητούμενο. ( ) Έστω A, A οι αλγόριθμοι που απαριθμούν τις L, L c αντίστοιχα. Ένας αλγόριθμος ο οποίος αποφασίζει την L λειτουργεί ως εξής: για κάθε w Σ κάνουμε παράλληλα τους υπολογισμούς A(w), A (w). Επειδή w L w L c υποχρεωτικά κάποιο από τα A(w), A (w) θα σταματήσει και θα απαντήσει yes. Αν A(w) = yes τότε απαντάμε yes. Αν A (w) = yes απαντάμε no. Παρατήρηση. Από τα προηγούμενα κεφάλαια είναι σαφές ότι υπάρχουν αλγόριθμοι για τα παρακάτω: Για να αποφασίσουμε μία έκφραση της Γ 0 είναι τύπος. (κάνουμε μια συντακτική ανάλυση της έκφρασης χρησιμοποιώντας και τα λήμματα 2.1.1, 2.1.2, 2.1.3). Για να αποφασίσουμε αν ένας τύπος είναι ταυτολογία ή όχι. Για να αποφασίσουμε αν ένας τύπος είναι ικανοποιήσιμος. Για να αποφασίσουμε αν Σ = ϕ, με Σ πεπερασμένο. Οι αλγόριθμοι για τα 2-4 μπορούν να υλοποιηθούν εξετάζοντας όλες τις περιπτώσεις από τον πίνακα αλήθειας. 4 η μέθοδος που θα χρησιμοποιήσουμε ονομάζεται dovetailing 18 Τελευταία ενημέρωση 28/3/2012, στις 01:37.

p p 0 1 1 0 p q p q p q 0 0 0 0 1 0 1 0 0 1 1 1 p q

p p 0 1 1 0 p q p q p q 0 0 0 0 1 0 1 0 0 1 1 1 p q Σημειώσεις του Μαθήματος Μ2422 Λογική Κώστας Σκανδάλης ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ 2010 Εισαγωγή Η Λογική ασχολείται με τους νόμους ορθού συλλογισμού και μελετά τους κανόνες βάσει των οποίων

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

Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5)

Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5) Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στον Κατηγορηματικό Λογισμό Σύνταξη Κανόνες Συμπερασμού Σημασιολογία ΕΠΛ 412 Λογική στην

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

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

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

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

Στοιχεία Προτασιακής Λογικής

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

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

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

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

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

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

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

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

Υποθετικές προτάσεις και λογική αλήθεια

Υποθετικές προτάσεις και λογική αλήθεια Υποθετικές προτάσεις και λογική αλήθεια Δρ. Παναγιώτης Λ. Θεοδωρόπουλος Σχολικός Σύμβουλος κλάδου ΠΕ03 www.p-theodoropoulos.gr Περίληψη Στην εργασία αυτή επιχειρείται μια ερμηνεία της λογικής αλήθειας

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

. (iii) Μόνο οι εκφράσεις που σχηµατίζονται από τα i,ii είναι προτασιακοί τύποι.

. (iii) Μόνο οι εκφράσεις που σχηµατίζονται από τα i,ii είναι προτασιακοί τύποι. Boolean Logic Ορισµός: Προτασιακοί τύποι είναι οι εκφράσεις που ορίζονται επαγωγικά ως εξής: (i) Τα σύµβολα προτάσεων είναι προτασιακοί τύποι. (ii) Αν φ και ψ είναι προτασιακοί τύποι τότε οι ( φ ψ ),(

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

ΠΛΗ 20, 2 η ΟΣΣ (Προτασιακή Λογική)

ΠΛΗ 20, 2 η ΟΣΣ (Προτασιακή Λογική) ΠΛΗ 20, 2 η ΟΣΣ (Προτασιακή Λογική) Δημήτρης Φωτάκης Διακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο 1 η Εργασία: Γενική Εικόνα Πολύ καλή εικόνα με εξαιρετική βαθμολογία

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

Τεχνητή Νοημοσύνη. 8η διάλεξη ( ) Ίων Ανδρουτσόπουλος.

Τεχνητή Νοημοσύνη. 8η διάλεξη ( ) Ίων Ανδρουτσόπουλος. Τεχνητή Νοημοσύνη 8η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται στο βιβλίο Artificial Intelligence A Modern Approach των S. Russel

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

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

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

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

Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο

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

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

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

Σειρά Προβλημάτων 5 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { D το D είναι ένα DFA το οποίο αποδέχεται όλες τις λέξεις στο Σ * } (α) Για να διαγνώσουμε το πρόβλημα μπορούμε

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

Διακριτά Μαθηματικά Ι

Διακριτά Μαθηματικά Ι ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Διακριτά Μαθηματικά Ι Μαθηματική λογική και αποδεικτικές τεχνικές Διδάσκων: Επίκουρος Καθηγητής Σπύρος Κοντογιάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό

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

Λογική Πρώτης Τάξης. Γιώργος Κορφιάτης. Νοέµβριος Εθνικό Μετσόβιο Πολυτεχνείο

Λογική Πρώτης Τάξης. Γιώργος Κορφιάτης. Νοέµβριος Εθνικό Μετσόβιο Πολυτεχνείο Λογική Πρώτης Τάξης Γιώργος Κορφιάτης Εθνικό Μετσόβιο Πολυτεχνείο Νοέµβριος 2008 Σύνταξη Ορισµός (Σύνταξη της λογικής πρώτης τάξης) Λεξιλόγιο Σ = (Φ, Π, r) Συναρτήσεις f Φ Σχέσεις R Π r( ) η πληθικότητα

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

Προτασιακός Λογισμός (HR Κεφάλαιο 1)

Προτασιακός Λογισμός (HR Κεφάλαιο 1) Προτασιακός Λογισμός (HR Κεφάλαιο 1) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Σύνταξη Λογικός Συμπερασμός Σημασιολογία Ορθότητα και Πληρότητα Κανονικές Μορφές Προτάσεις Horn ΕΠΛ 412 Λογική

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

Πληρότητα της μεθόδου επίλυσης

Πληρότητα της μεθόδου επίλυσης Πληρότητα της μεθόδου επίλυσης Λήμμα: Αν κάθε μέλος ενός συνόλου όρων περιέχει ένα αρνητικό γράμμα, τότε το σύνολο είναι ικανοποιήσιμο. Άρα για να είναι μη-ικανοποιήσιμο, θα πρέπει να περιέχει τουλάχιστον

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

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 6: Προτασιακός Λογισμός

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 6: Προτασιακός Λογισμός Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 6: Προτασιακός Λογισμός Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες

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

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2016 Λύσεις ασκήσεων προόδου

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2016 Λύσεις ασκήσεων προόδου ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 016 Λύσεις ασκήσεων προόδου Θέμα 1: [16 μονάδες] [8] Έστω ότι μας δίνουν τα παρακάτω δεδομένα: Εάν αυτό το πρόγραμμα ΗΥ είναι αποδοτικό, τότε εκτελείται γρήγορα.

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

Στοιχεία Κατηγορηματικής Λογικής

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

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

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

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

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

1. ΕΙΣΑΓΩΓΗ ΣΤΗ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ

1. ΕΙΣΑΓΩΓΗ ΣΤΗ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ MYY204 Διακριτά Μαθηματικά Μθ άii Προτασιακή Λογική ιδακτικές Σημειώσεις EPP : Παράγραφοι 1.1 1.2 Rosen: Παράγραφοι 1.1 1.3 1 η +2 η Εβδομάδα Άνοιξη 2015 Τμήμα Μηχανικών Η/Υ & Πληροφορικής Παν. Ιωαννίνων

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

Η δυαδική σχέση M ( «παράγει σε ένα βήμα» ) ορίζεται ως εξής: (q, w) M (q, w ), αν και μόνο αν w = σw, για κάποιο σ Σ

Η δυαδική σχέση M ( «παράγει σε ένα βήμα» ) ορίζεται ως εξής: (q, w) M (q, w ), αν και μόνο αν w = σw, για κάποιο σ Σ Πεπερασμένα Αυτόματα (ΠΑ) Τα πεπερασμένα αυτόματα είναι οι απλούστερες «υπολογιστικές μηχανές». Δεν έχουν μνήμη, μόνο μία εσωτερική μονάδα με πεπερασμένο αριθμό καταστάσεων. Διαβάζουν τη συμβολοσειρά εισόδου

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

K15 Ψηφιακή Λογική Σχεδίαση 4+5: Άλγεβρα Boole

K15 Ψηφιακή Λογική Σχεδίαση 4+5: Άλγεβρα Boole K15 Ψηφιακή Λογική Σχεδίαση 4+5: Άλγεβρα Boole Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Ορισμός της δίτιμης άλγεβρας Boole Περιεχόμενα 1 Ορισμός της

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

Στοιχεία Κατηγορηματικής Λογικής

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

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

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ Περιεχόμενα : Α) Προτάσεις-Σύνθεση προτάσεων Β)Απόδειξη μιας πρότασης Α 1 ) Τι είναι πρόταση Β 1 ) Βασικές έννοιες Α ) Συνεπαγωγή Β ) Βασικές μέθοδοι απόδειξης Α 3 ) Ισοδυναμία

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

ΕΙΣΑΓΩΓΙΚΟ ΚΕΦΑΛΑΙΟ. a β a β.

ΕΙΣΑΓΩΓΙΚΟ ΚΕΦΑΛΑΙΟ. a β a β. ΕΙΣΑΓΩΓΙΚΟ ΚΕΦΑΛΑΙΟ Ε.1 ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ Στη παράγραφο αυτή θα γνωρίσουμε μερικές βασικές έννοιες της Λογικής, τις οποίες θα χρησιμοποιήσουμε στη συνέχεια, όπου αυτό κρίνεται αναγκαίο, για τη σαφέστερη

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

Μαθηματική Λογική και Λογικός Προγραμματισμός

Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών

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

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

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

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

Στοιχεία Προτασιακής Λογικής

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

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

Μαθηματική Λογική και Λογικός Προγραμματισμός

Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών

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

Μαθηματική Λογική και Λογικός Προγραμματισμός

Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών

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

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

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

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

Σημειώσεις Ανάλυσης Ι. Θεωρούμε γνωστούς τους φυσικούς αριθμούς

Σημειώσεις Ανάλυσης Ι. Θεωρούμε γνωστούς τους φυσικούς αριθμούς Σημειώσεις Ανάλυσης Ι 1. Οι ρητοί αριθμοί Θεωρούμε γνωστούς τους φυσικούς αριθμούς 1, 2, 3, και τις πράξεις (πρόσθεση - πολλαπλασιασμό)μεταξύ αυτών. Οι φυσικοί αριθμοί είναι επίσης διατεταγμένοι με κάποια

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

Φροντιστήριο 9 Λύσεις

Φροντιστήριο 9 Λύσεις Άσκηση 1 Φροντιστήριο 9 Λύσεις Να κατασκευάσετε μια μηχανή Turing με δύο ταινίες η οποία να αποδέχεται στην πρώτη της ταινία μια οποιαδήποτε λέξη w {a,b} * και να γράφει τη λέξη w R στη δεύτερη της ταινία.

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

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Φυλλάδιο 1: Προτασιακή Λογική ΟΚΤΩΒΡΙΟΣ 2006 1. Ικανοποιησιμότητα Αποφασίστε αν οι παρακάτω προτάσεις είναι ταυτολογίες, ικανοποιήσιμες ή μη-ικανοποιήσιμες

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

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 8. Πότε το γινόμενο δύο ή περισσοτέρων αριθμών παραγόντων είναι ίσο με το μηδέν ;

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

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

Μεταθέσεις και πίνακες μεταθέσεων

Μεταθέσεις και πίνακες μεταθέσεων Παράρτημα Α Μεταθέσεις και πίνακες μεταθέσεων Το παρόν παράρτημα βασίζεται στις σελίδες 671 8 του βιβλίου: Γ. Χ. Ψαλτάκης, Κβαντικά Συστήματα Πολλών Σωματιδίων (Πανεπιστημιακές Εκδόσεις Κρήτης, Ηράκλειο,

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

Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (2)

Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (2) Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (2) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Κανονικές Εκφράσεις (1.3) Τυπικός Ορισμός Ισοδυναμία με κανονικές γλώσσες Μη Κανονικές

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

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΛΗ20, ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ ΚΑΙ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΠΡΩΤΗ ΕΞΕΤΑΣΗ ΙΟΥΛΙΟΥ 203, Α ΜΕΡΟΣ ΣΥΜΠΛΗΡΩΣΤΕ ΤΑ ΣΤΟΙΧΕΙΑ ΣΑΣ ΚΑΙ ΜΗΝ ΑΝΟΙΞΕΤΕ ΤΑ ΕΡΩΤΗΜΑΤΑ ΑΝ ΔΕΝ ΣΑΣ ΠΕΙ Ο ΕΠΙΤΗΡΗΤΗΣ ΕΠΩΝΥΜΟ ΟΝΟΜΑ... ΠΑΤΡΩΝΥΜΟ...ΤΜΗΜΑ..

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

Μαθηματική Λογική και Λογικός Προγραμματισμός

Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών

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

Ε Μέχρι 18 Μαΐου 2015.

Ε Μέχρι 18 Μαΐου 2015. Ε Μέχρι 18 Μαΐου 2015. 1 Αντικείμενα: δακτύλιοι Fraleigh, 4.1. Ορισμός έννοιας «δακτυλίου». Χαρακτηρισμοί δακτυλίων και στοιχείων αυτών: Δακτύλιος R Στοιχεία δακτυλίου R / (= δεν έχει μηδενοδιαιρέτες άρα

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

K15 Ψηφιακή Λογική Σχεδίαση 7-8: Ανάλυση και σύνθεση συνδυαστικών λογικών κυκλωμάτων

K15 Ψηφιακή Λογική Σχεδίαση 7-8: Ανάλυση και σύνθεση συνδυαστικών λογικών κυκλωμάτων K15 Ψηφιακή Λογική Σχεδίαση 7-8: Ανάλυση και σύνθεση συνδυαστικών λογικών κυκλωμάτων Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Η έννοια του συνδυαστικού

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

Μ Α Θ Η Μ Α Τ Α Γ Λ Υ Κ Ε Ι Ο Υ

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

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

8. Πολλαπλές μερικές παράγωγοι

8. Πολλαπλές μερικές παράγωγοι 94 8 Πολλαπλές μερικές παράγωγοι Οι μερικές παράγωγοι,,, αν υπάρχουν, μιας συνάρτησης : U R R ( U ανοικτό είναι αυτές συναρτήσεις από το U στο R, επομένως μπορεί να ορισθεί για αυτές η έννοια της μερικής

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

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

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

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

Διακριτά Μαθηματικά Ι

Διακριτά Μαθηματικά Ι ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Διακριτά Μαθηματικά Ι Μαθηματική λογική και αποδεικτικές τεχνικές Διδάσκων: Επίκουρος Καθηγητής Σπύρος Κοντογιάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό

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

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 4: Εισαγωγή / Σύνολα

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 4: Εισαγωγή / Σύνολα Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 4: Εισαγωγή / Σύνολα Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες

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

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

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

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

Τα παρακάτω σύνολα θα τα θεωρήσουμε γενικά γνωστά, αν και θα δούμε πολλές από τις ιδιότητές τους: N Z Q R C

Τα παρακάτω σύνολα θα τα θεωρήσουμε γενικά γνωστά, αν και θα δούμε πολλές από τις ιδιότητές τους: N Z Q R C Κεφάλαιο 1 Εισαγωγικές έννοιες Στο κεφάλαιο αυτό θα αναφερθούμε σε ορισμένες έννοιες, οι οποίες ίσως δεν έχουν άμεση σχέση με τους διανυσματικούς χώρους, όμως θα χρησιμοποιηθούν αρκετά κατά τη μελέτη τόσο

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

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

Θεωρία Υπολογισμού και Πολυπλοκότητα Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 1. Μαθηματικό Υπόβαθρο 23, 26 Ιανουαρίου 2007 Δρ. Παπαδοπούλου Βίκη 1 1.1. Σύνολα Ορισμός : Σύνολο μια συλλογή από αντικείμενα Στοιχεία: Μέλη συνόλου Τα στοιχεία

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

Λογική. Φροντιστήριο 3: Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF

Λογική. Φροντιστήριο 3: Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Φροντιστήριο 3: Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Άδειες

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

Γενικό πλάνο. Μαθηµατικά για Πληροφορική. Παράδειγµα αναδροµικού ορισµού. οµική επαγωγή ΠΑΡΑ ΕΙΓΜΑ. 3ο Μάθηµα

Γενικό πλάνο. Μαθηµατικά για Πληροφορική. Παράδειγµα αναδροµικού ορισµού. οµική επαγωγή ΠΑΡΑ ΕΙΓΜΑ. 3ο Μάθηµα Γενικό πλάνο Μαθηµατικά για Πληροφορική 3ο Μάθηµα Ηλίας Κουτσουπιάς, Γιάννης Εµίρης Τµήµα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήµιο Αθηνών 14/10/2008 1 Παράδειγµα δοµικής επαγωγής 2 Ορισµός δοµικής

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

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

ΑΝΑΛΥΣΗ 1 ΤΕΤΑΡΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης. ΑΝΑΛΥΣΗ 1 ΤΕΤΑΡΤΟ ΜΑΘΗΜΑ, 15-10-13 Μ. Παπαδημητράκης. 1 Παράδειγμα. Ως εφαρμογή της Αρχιμήδειας Ιδιότητας θα μελετήσουμε το σύνολο { 1 } A = n N = {1, 1 n 2, 1 } 3,.... Κατ αρχάς το σύνολο A έχει προφανώς

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

n = r J n,r J n,s = J

n = r J n,r J n,s = J Ανάλυση Fourer και Ολοκλήρωμα Lebesgue (2011 12) 4ο Φυλλάδιο Ασκήσεων Υποδείξεις 1. Εστω E [a, b] με µ (E) = 0. Δείξτε ότι το [a, b] \ E είναι πυκνό υποσύνολο του [a, b]. Υπόδειξη. Θεωρήστε ένα μη κενό

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

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα.

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα. 4 Συνεκτικά σύνολα Έστω, Ι διάστηµα και f : Ι συνεχής, τότε η f έχει την ιδιότητα της ενδιαµέσου τιµής, δηλαδή, η f παίρνει κάθε τιµή µεταξύ δύο οποιονδήποτε διαφορετικών τιµών της, συνεπώς το f ( Ι )

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

HY118- ιακριτά Μαθηµατικά

HY118- ιακριτά Μαθηµατικά HY118- ιακριτά Μαθηµατικά Πέµπτη, 18/02/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 2/18/2016

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

Διακριτά Μαθηματικά Ι

Διακριτά Μαθηματικά Ι ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Διακριτά Μαθηματικά Ι Θεωρία συνόλων Διδάσκων: Επίκουρος Καθηγητής Σπύρος Κοντογιάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης

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

Ας θεωρήσουμε δύο πραγματικούς αριθμούς. Είναι γνωστό ότι:,. Αυτό σημαίνει ότι: «=», «

Ας θεωρήσουμε δύο πραγματικούς αριθμούς. Είναι γνωστό ότι:,. Αυτό σημαίνει ότι: «=», « .1 Στη παράγραφο αυτή θα γνωρίσουμε μερικές βασικές έννοιες της Λογικής, τις οποίες θα χρησιμοποιήσουμε στη συνέχεια, όπου αυτό κρίνεται αναγκαίο, για τη σαφέστερη διατύπωση μαθηματικών εννοιών, προτάσεων

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

10.1 Υπολογίσιμες συναρτήσεις και αναδρομικά σύνολα

10.1 Υπολογίσιμες συναρτήσεις και αναδρομικά σύνολα Κεφάλαιο 10 Υπολογισιμότητα Κύρια βιβλιογραφική αναφορά για αυτό το Κεφάλαιο είναι η Hopcroft, Motwani, and Ullman 2007. 10.1 Υπολογίσιμες συναρτήσεις και αναδρομικά σύνολα Μέχρι στιγμής έχουμε δει ουσιαστικά

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

Μαθηματική Επαγωγή. Τεχνικές Απόδειξης. Αποδείξεις Ύπαρξης. Μαθηματική Επαγωγή

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

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

ΒΑΣΙΚΕΣ ΑΡΧΕΣ ΨΗΦΙΑΚΗΣ ΤΕΧΝΟΛΟΓΙΑΣ. Κεφάλαιο 3

ΒΑΣΙΚΕΣ ΑΡΧΕΣ ΨΗΦΙΑΚΗΣ ΤΕΧΝΟΛΟΓΙΑΣ. Κεφάλαιο 3 ΒΑΣΙΚΕΣ ΑΡΧΕΣ ΨΗΦΙΑΚΗΣ ΤΕΧΝΟΛΟΓΙΑΣ Κεφάλαιο 3 Δυαδική λογική Με τον όρο λογική πρόταση ή απλά πρόταση καλούμε κάθε φράση η οποία μπορεί να χαρακτηριστεί αληθής ή ψευδής με βάση το νόημα της. π.χ. Σήμερα

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

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

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

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

Κανονικές Γλώσσες. Κανονικές Γλώσσες. Κανονικές Γλώσσες και Αυτόματα. Κανονικές Γλώσσες και Αυτόματα

Κανονικές Γλώσσες. Κανονικές Γλώσσες. Κανονικές Γλώσσες και Αυτόματα. Κανονικές Γλώσσες και Αυτόματα Κανονικές Γλώσσες Κανονικές Γλώσσες Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Κανονική γλώσσα αν παράγεται από κανονική γραμματική. Παραγωγές P (V Σ) Σ * ((V Σ) ε) Παραγωγές μορφής:

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

Συνεχή Κλάσματα. Εμμανουήλ Καπνόπουλος Α.Μ 282

Συνεχή Κλάσματα. Εμμανουήλ Καπνόπουλος Α.Μ 282 Συνεχή Κλάσματα Εμμανουήλ Καπνόπουλος Α.Μ 282 5 Νοεμβρίου 204 Ορισμός και ιδιότητες: Ορισμός: Έστω a 0, a, a 2,...a n ανεξάρτητες μεταβλητές, n N σχηματίζουν την ακολουθία {[a 0, a,..., a n ] : n N} όπου

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

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

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

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

f(x) f(c) x 1 c x 2 c

f(x) f(c) x 1 c x 2 c Μαθηματικός Λογισμός Ι Φθινόπωρο 2014 Σημειώσεις 1-12-14 Μ. Ζαζάνης 1 Πραγματικές Συναρτήσεις και Ορια Εστω S R ένα υποσύνολο του R και f : S R μια συνάρτηση με πεδίο ορισμού το S και τιμές στους πραγματικούς

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

a n = sup γ n. lim inf n n n lim sup a n = lim lim inf a n = lim γ n. lim sup a n = lim β n = 0 = lim γ n = lim inf a n. 2. a n = ( 1) n, n = 1, 2...

a n = sup γ n. lim inf n n n lim sup a n = lim lim inf a n = lim γ n. lim sup a n = lim β n = 0 = lim γ n = lim inf a n. 2. a n = ( 1) n, n = 1, 2... ΜΑΘΗΜΑΤΙΚΗ ΑΝΑΛΥΣΗ Β.ΒΛΑΧΟΥ, Α. ΣΟΥΡΜΕΛΙΔΗΣ Τμήμα Μαθηματικών, Πανεπιστήμιο Πατρών Φθινόπωρο 2013 1 Θα θέλαμε να αναφέρουμε ότι για την συγγραφή αυτών των σημειώσεων χρησιμοποιήσαμε ιδιαίτερα α)το βιβλίο

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

1 Η εναλλάσσουσα ομάδα

1 Η εναλλάσσουσα ομάδα Η εναλλάσσουσα ομάδα Η εναλλάσσουσα ομάδα Όπως είδαμε η συνάρτηση g : S { } είναι ένας επιμορφισμός ομάδων. Ο πυρήνας Ke g {σ S / g σ } του επιμορφισμού συμβολίζεται με A περιέχει όλες τις άρτιες μεταθέσεις

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

Περιεχόμενα. Πρόλογος 3

Περιεχόμενα. Πρόλογος 3 Πρόλογος Η Γραμμική Άλγεβρα είναι ένα σημαντικό συστατικό στο πρόγραμμα σπουδών, όχι μόνο των Μαθηματικών, αλλά και άλλων τμημάτων, όπως είναι το τμήμα Φυσικής, Χημείας, των τμημάτων του Πολυτεχνείου,

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

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

Σειρά Προβλημάτων 5 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { Μ η Μ είναι μια ΤΜ η οποία διαγιγνώσκει το πρόβλημα ΙΣΟΔΥΝΑΜΙΑ ΤΜ (διαφάνεια 9 25)} (α) Γνωρίζουμε ότι το

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

ΚΕΦΑΛΑΙΟ 3ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 8: ΜΟΝΟΤΟΝΙΑ ΣΥΝΑΡΤΗΣΗΣ [Ενότητα Μονοτονία Συνάρτησης του κεφ.2.6 Μέρος Β του σχολικού βιβλίου].

ΚΕΦΑΛΑΙΟ 3ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 8: ΜΟΝΟΤΟΝΙΑ ΣΥΝΑΡΤΗΣΗΣ [Ενότητα Μονοτονία Συνάρτησης του κεφ.2.6 Μέρος Β του σχολικού βιβλίου]. ΚΕΦΑΛΑΙΟ 3ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 8: ΜΟΝΟΤΟΝΙΑ ΣΥΝΑΡΤΗΣΗΣ [Ενότητα Μονοτονία Συνάρτησης του κεφ..6 Μέρος Β του σχολικού βιβλίου]. ΠΑΡΑΔΕΙΓΜΑΤΑ Παράδειγμα 1. ΘΕΜΑ Β Να μελετηθούν ως προς την μονοτονία

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

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

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

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

Κανονικές Γλώσσες. ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών

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

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

Μορφές αποδείξεων Υπάρχουν πολλά είδη αποδείξεων. Εδώ θα δούμε τα πιο κοινά: Εξαντλητική μέθοδος ή μέθοδος επισκόπησης. Οταν το πρόβλημα έχει πεπερασμ

Μορφές αποδείξεων Υπάρχουν πολλά είδη αποδείξεων. Εδώ θα δούμε τα πιο κοινά: Εξαντλητική μέθοδος ή μέθοδος επισκόπησης. Οταν το πρόβλημα έχει πεπερασμ Μαθηματικά Πληροφορικής 2ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Μορφές αποδείξεων Υπάρχουν πολλά είδη αποδείξεων. Εδώ θα δούμε τα πιο κοινά: Εξαντλητική μέθοδος ή μέθοδος επισκόπησης.

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

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 118 ερωτήσεις θεωρίας με απάντηση 324 416 ασκήσεις για λύση. 20 συνδυαστικά θέματα εξετάσεων

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 118 ερωτήσεις θεωρίας με απάντηση 324 416 ασκήσεις για λύση. 20 συνδυαστικά θέματα εξετάσεων ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ 118 ερωτήσεις θεωρίας με απάντηση 34 416 ασκήσεις για λύση ερωτήσεις κατανόησης λυμένα παραδείγματα 0 συνδυαστικά θέματα εξετάσεων Π Ε Ρ Ι Ε Χ Ο Μ Ε Ν Α Εισαγωγική ενότητα Το λεξιλόγιο

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

Ξέρουμε ότι: Συνάρτηση-απεικόνιση με πεδίο ορισμού ένα σύνολο Α και πεδίο τιμών ένα σύνολο Β είναι κάθε μονοσήμαντη απεικόνιση f του Α στο Β.

Ξέρουμε ότι: Συνάρτηση-απεικόνιση με πεδίο ορισμού ένα σύνολο Α και πεδίο τιμών ένα σύνολο Β είναι κάθε μονοσήμαντη απεικόνιση f του Α στο Β. Η έννοια της ακολουθίας Ξέρουμε ότι: Συνάρτηση-απεικόνιση με πεδίο ορισμού ένα σύνολο Α και πεδίο τιμών ένα σύνολο Β είναι κάθε μονοσήμαντη απεικόνιση f του Α στο Β. Δηλαδή: f : A B Η ακολουθία είναι συνάρτηση.

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

ι3.4 Παραδείγματα T ) έχει την ιδιότητα Heine-Borel, αν κάθε κλειστό και φραγμένο υποσύνολό του είναι συμπαγές.

ι3.4 Παραδείγματα T ) έχει την ιδιότητα Heine-Borel, αν κάθε κλειστό και φραγμένο υποσύνολό του είναι συμπαγές. 6 ι3.4 Παραδείγματα Στην παράγραφο αυτή θα μελετήσουμε κάποια σημαντικά παραδείγματα, για τις εφαρμογές, χώρων συναρτήσεων οι οποίοι είναι τοπικά κυρτοί και μετρικοποιήσιμοι αλλά η τοπολογία τους δεν επάγεται

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

Θεωρία Galois. Πρόχειρες σημειώσεις (εκδοχή )

Θεωρία Galois. Πρόχειρες σημειώσεις (εκδοχή ) Θεωρία Galos Πρόχειρες σημειώσεις 0- (εκδοχή -7-0) Περιεχόμενα 0 Υπενθυμίσεις και συμπληρώματα Ανάγωγα πολυώνυμα Ανάγωγα πολυώνυμα και σώματα Χαρακτηριστική σώματος Απλές ρίζες πολυωνύμων Ασκήσεις 0 Επεκτάσεις

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

Βασικές έννοιες από τη Θεωρία Συνόλων και τον Προτασιακό Λογισμό

Βασικές έννοιες από τη Θεωρία Συνόλων και τον Προτασιακό Λογισμό Κεφάλαιο 1 Βασικές έννοιες από τη Θεωρία Συνόλων και τον Προτασιακό Λογισμό Κύριες βιβλιογραφικές αναφορές για αυτό το Κεφάλαιο είναι οι Kamke 1950, Halmos 1960 και C. L. Liu and C. Liu 1985. 1.1 Εισαγωγή

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

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

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

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

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

Θεωρία Υπολογισμού και Πολυπλοκότητα Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 10. Μηχανές Turing 20,23 Μαρτίου 2007 Δρ. Παπαδοπούλου Βίκη 1 Μηχανές Turing: Ένα Γενικό Μοντέλο Υπολογισμού Ποια μοντέλα υπολογισμού μπορούν να δεχθούν γλώσσες

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

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

Σειρά Προβλημάτων 1 Λύσεις ΕΠΛ2: Θεωρία Υπολογισμού και Πολυπλοκότητα Σειρά Προβλημάτων Λύσεις Άσκηση Έστω αλφάβητο Σ και γλώσσες Λ, Λ 2, Λ επί του αλφάβητου αυτού. Να διερευνήσετε κατά πόσο ισχύει κάθε μια από τις πιο κάτω σχέσεις.

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

ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ. Λογισμός 4. Ενότητα 3: Το Θεώρημα του Lebesgue. Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών

ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ. Λογισμός 4. Ενότητα 3: Το Θεώρημα του Lebesgue. Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 3: Το Θεώρημα του Lebesgue. Μιχ. Γ. Μαριάς Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.

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

Πρόλογος. «ΚΙ ΟΜΩΣ, ΤΑ ΚΟΙΝΑ ΣΗΜΕΙΑ ΤΩΝ ΓΡΑΦΙΚΩΝ ΠΑΡΑΣΤΑΣΕΩΝ ΔΥΟ ΑΝΤΙΣΤΡΟΦΩΝ ΣΥΝΑΡΤΗΣΕΩΝ, ΑΝ ΥΠΑΡΧΟΥΝ, ΒΡΙΣΚΟΝΤΑΙ ΜΟΝΟ ΠΑΝΩ ΣΤΗΝ ΕΥΘΕΙΑ y=x»

Πρόλογος. «ΚΙ ΟΜΩΣ, ΤΑ ΚΟΙΝΑ ΣΗΜΕΙΑ ΤΩΝ ΓΡΑΦΙΚΩΝ ΠΑΡΑΣΤΑΣΕΩΝ ΔΥΟ ΑΝΤΙΣΤΡΟΦΩΝ ΣΥΝΑΡΤΗΣΕΩΝ, ΑΝ ΥΠΑΡΧΟΥΝ, ΒΡΙΣΚΟΝΤΑΙ ΜΟΝΟ ΠΑΝΩ ΣΤΗΝ ΕΥΘΕΙΑ y=x» 5 Περιεχόμενα Πρόλογος 7 Ίσες συναρτήσεις και συναρτήσεις Ορισμός αντίστροφης συνάρτησης 2 Η μόνη συνάρτηση που είναι ίση με την αντίστοφή της είναι η ταυτοτική 3 Συμπεράσματα 5 Βασικές ιδιότητες αντίστροφων

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

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

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

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

Λογική Δημήτρης Πλεξουσάκης Φροντιστήριο 6: Προτασιακός Λογισμός: Μέθοδος Επίλυσης Τμήμα Επιστήμης Υπολογιστών

Λογική Δημήτρης Πλεξουσάκης Φροντιστήριο 6: Προτασιακός Λογισμός: Μέθοδος Επίλυσης Τμήμα Επιστήμης Υπολογιστών Λογική Δημήτρης Πλεξουσάκης Φροντιστήριο 6: Προτασιακός Λογισμός: Μέθοδος Επίλυσης Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται στην άδεια χρήσης Creative Commons και

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

Τεχνητή Νοημοσύνη. 7η διάλεξη ( ) Ίων Ανδρουτσόπουλος.

Τεχνητή Νοημοσύνη. 7η διάλεξη ( ) Ίων Ανδρουτσόπουλος. Τεχνητή Νοημοσύνη 7η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται στο βιβλίο Artificial Intelligence A Modern Approach των S. Russel

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

Κεφάλαιο 4 Διανυσματικοί Χώροι

Κεφάλαιο 4 Διανυσματικοί Χώροι Κεφάλαιο Διανυσματικοί Χώροι Διανυσματικοί χώροι - Βασικοί ορισμοί και ιδιότητες Θεωρούμε τρία διαφορετικά σύνολα: Διανυσματικοί Χώροι α) Το σύνολο διανυσμάτων (πινάκων με μία στήλη) με στοιχεία το οποίο

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ (ΗΥ-119)

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ (ΗΥ-119) ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΠΙΣΤΗΜΗΣ ΥΠΟΛΟΓΙΣΤΩΝ ΙΩΑΝΝΗΣ Α. ΤΣΑΓΡΑΚΗΣ ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ (ΗΥ-119) ΜΕΡΟΣ 5: ΔΙΑΝΥΣΜΑΤΙΚΟΙ ΥΠΟΧΩΡΟΙ ΓΡΑΜΜΙΚΗ ΑΝΕΞΑΡΤΗΣΙΑ ΒΑΣΕΙΣ & ΔΙΑΣΤΑΣΗ Δ.Χ. ΣΗΜΕΙΩΣΕΙΣ

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Τμήμα Φυσικής Σημειώσεις Ανάλυσης Ι (ανανεωμένο στις 5 Δεκεμβρίου 2012)

ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Τμήμα Φυσικής Σημειώσεις Ανάλυσης Ι (ανανεωμένο στις 5 Δεκεμβρίου 2012) ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Τμήμα Φυσικής Σημειώσεις Ανάλυσης Ι (ανανεωμένο στις 5 Δεκεμβρίου 2012) Τμήμα Θ. Αποστολάτου & Π. Ιωάννου 1 Σειρές O Ζήνων ο Ελεάτης (490-430 π.χ.) στη προσπάθειά του να υποστηρίξει

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

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΛΗ0, ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ ΚΑΙ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΕΡΩΤΗΜΑΤΑ ΠΡΩΤΗ ΕΞΕΤΑΣΗ ΙΟΥΛΙΟΥ 015, Α ΜΕΡΟΣ 1. Στους παρακάτω τύπους τα,, είναι προτασιακοί τύποι. Ισχύει ότι: 1. ( Σ / Λ ) O τύπος ( ) ( ) είναι αντίφαση.

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

Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές

Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 1 /

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

Η Θεωρία στα Μαθηματικά κατεύθυνσης της Γ Λυκείου

Η Θεωρία στα Μαθηματικά κατεύθυνσης της Γ Λυκείου Η Θεωρία στα Μαθηματικά κατεύθυνσης της Γ Λυκείου wwwaskisopolisgr έκδοση 5-6 wwwaskisopolisgr ΣΥΝΑΡΤΗΣΕΙΣ 5 Τι ονομάζουμε πραγματική συνάρτηση; Έστω Α ένα υποσύνολο του Ονομάζουμε πραγματική συνάρτηση

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

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

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

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

f(x) = και στην συνέχεια

f(x) = και στην συνέχεια ΕΡΩΤΗΣΕΙΣ ΜΑΘΗΤΩΝ Ερώτηση. Στις συναρτήσεις μπορούμε να μετασχηματίσουμε πρώτα τον τύπο τους και μετά να βρίσκουμε το πεδίο ορισμού τους; Όχι. Το πεδίο ορισμού της συνάρτησης το βρίσκουμε πριν μετασχηματίσουμε

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

Ε Μέχρι 31 Μαρτίου 2015.

Ε Μέχρι 31 Μαρτίου 2015. Ε Μέχρι 31 Μαρτίου 2015. 1 Αντικείμενα: δακτύλιοι Fraleigh, 4.1. Ορισμός έννοιας «δακτυλίου». Χαρακτηρισμοί δακτυλίων και στοιχείων αυτών: Δακτύλιος R Στοιχεία δακτυλίου R / (= δεν έχει μηδενοδιαιρέτες

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

ΑΣΚΗΣΕΙΣ ΠΙΘΑΝΟΤΗΤΩΝ του Παν. Λ. Θεοδωρόπουλου 0

ΑΣΚΗΣΕΙΣ ΠΙΘΑΝΟΤΗΤΩΝ του Παν. Λ. Θεοδωρόπουλου 0 ΑΣΚΗΣΕΙΣ ΠΙΘΑΝΟΤΗΤΩΝ του Παν. Λ. Θεοδωρόπουλου 0 Η Θεωρία Πιθανοτήτων είναι ένας σχετικά νέος κλάδος των Μαθηματικών, ο οποίος παρουσιάζει πολλά ιδιαίτερα χαρακτηριστικά στοιχεία. Επειδή η ιδιαιτερότητα

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

ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Ι

ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Ι ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Ι Για τον προτασιακό λογισμό παρουσιάσαμε την αποδεικτική θεωρία (natural deduction/λογικό συμπέρασμα) τη σύνταξη (ορίζεται με γραμματική χωρίς συμφραζόμενα και εκφράζεται με συντακτικά

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

1. στο σύνολο Σ έχει ορισθεί η πράξη της πρόσθεσης ως προς την οποία το Σ είναι αβελιανή οµάδα, δηλαδή

1. στο σύνολο Σ έχει ορισθεί η πράξη της πρόσθεσης ως προς την οποία το Σ είναι αβελιανή οµάδα, δηλαδή KΕΦΑΛΑΙΟ ΤΟ ΣΥΝΟΛΟ ΤΩΝ ΠΡΑΓΜΑΤΙΚΩΝ ΑΡΙΘΜΩΝ ιατεταγµένα σώµατα-αξίωµα πληρότητας Ένα σύνολο Σ καλείται διατεταγµένο σώµα όταν στο σύνολο Σ έχει ορισθεί η πράξη της πρόσθεσης ως προς την οποία το Σ είναι

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