Σειρά Προβλημάτων 4 Ημερομηνία Παράδοσης: 13/11/13

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

Download "Σειρά Προβλημάτων 4 Ημερομηνία Παράδοσης: 13/11/13"

Transcript

1 Σειρά Προβλημάτων 4 Ημερομηνία Παράδοσης: 13/11/13 Άσκηση 1 (20 μονάδες) Οι ιδιότητες διατυπώνοντας στην PLTL ως εξής: (α) Αν ο καταχωρητής Κ 1 κάποια στιγμή πάρει την τιμή 1 θα διατηρήσει την τιμή αυτή για πάντα. G (r 1 G r 1 ) (β) Ο καταχωρητής Κ 1 έχει αρχική τιμή 1 και δεν θα πάρει την τιμή 0 προτού εμφανιστεί στην έξοδο η τιμή 1. r 1 (r 1 U out 1 ) (γ) Οι καταχωρητές δεν μπορούν να έχουν ποτέ την ίδια τιμή. G [(r 1 r 2 ) (r 2 r 1 )] (δ) Η τιμή του καταχωρητή Κ 1 εναλλάσσεται ανάμεσα στο 0 και στο 1 σε διαδοχικές μονάδες χρόνου. G [(r 1 X r 1 ) (r 1 X r 1 )] (ε) Κάθε φορά που το κύκλωμα παίρνει ως είσοδο την τιμή 0, την επόμενη χρονική στιγμή η τιμή του καταχωρητή Κ 2 θα πάρει την τιμή 1 και θα διατηρηθεί τέτοια μέχρι που να λάβουμε την τιμή 1 στην έξοδο του κυκλώματος. G (in X (r 2 (r 2 U out))) Άσκηση 2 (20 μονάδες) Θεωρήστε την ακόλουθη δομή Kripke. 2 {c} {,,d} 1 3 {,,c} 4 {,c} (i) c X H ιδιότητα ικανοποιείται στις καταστάσεις 3 και 4 αφού οι καταστάσεις ικανοποιούν το c και σε κάθε μονοπάτι που ξεκινά από αυτές η επόμενη κατάσταση ικανοποιεί το. (ii) U (G (d c)) Η ιδιότητα ικανοποιείται σε όλες τις καταστάσεις: Στις 2, 3 και 4 το σκέλος G (d c) ικανοποιείται άμεσα αφού όλα τα μονοπάτια που ξεκινούν από αυτές ικανοποιούν συνεχώς τη G (d c) ενώ η κατάσταση 1 είναι τέτοια ώστε το είναι αληθές μέχρι να ικανοποιηθεί το G (d c) Σειρά Προβλημάτων 4 Χειμερινό Εξάμηνο 2013 Σελίδα 1

2 (iii) (d U G c) Η ιδιότητα δεν ικανοποιείται σε καμιά κατάσταση: Σε κάθε κατάσταση υπάρχει μονοπάτι στο οποίο ισχύει ότι d μέχρι να γίνει αληθές το G c. (iv) G GF d Η ιδιότητα ικανοποιείται σε όλες τις καταστάσεις: Σε κάθε κατάσταση και σε κάθε μονοπάτι αν ικανοποιείται το G (γεγονός που δεν ισχύει) ικανοποιείται και το GF d. (v) GF GF d Η ιδιότητα δεν ικανοποιείται σε καμιά κατάσταση: Σε κάθε κατάσταση υπάρχει μονοπάτι στο οποίο ενώ ικανοποιείται η συνθήκη GF δεν ικανοποιείται το συμπέρασμα GF d. Άσκηση 3 (20 μονάδες) (i) F X Η πιο κάτω δομή ικανοποιεί την ιδιότητα. Εντούτοις, η ιδιότητα δεν αποτελεί ταυτολογία αφού υπάρχουν δομές Kripke που δεν την ικανοποιούν: (ii) (F φ F ψ) F (φ ψ) Η πιο κάτω δομή ικανοποιεί την ιδιότητα. {φ,ψ} Εντούτοις, η ιδιότητα δεν αποτελεί ταυτολογία αφού υπάρχουν δομές Kripke που δεν την ικανοποιούν: {φ} {ψ } Σειρά Προβλημάτων 4 Χειμερινό Εξάμηνο 2013 Σελίδα 2

3 (iii) [G (φ Χ φ)] (φ Gφ) Η ιδιότητα αυτή είναι ταυτολογία. Οποιαδήποτε δομή ικανοποιεί τη συνθήκη [G (φ Χ φ)] ικανοποιεί και το συμπέρασμα (φ Gφ). Αυτό ισχύει γιατί αν γνωρίζουμε ότι κάθε φορά που η φ είναι αληθής είναι αληθής και στην αμέσως επόμενη κατάσταση (G (φ Χ φ)) αυτό σημαίνει ότι αν κάποια στιγμή η φ είναι αληθής τότε όλες οι επόμενες καταστάσεις ικανοποιούν την φ. Επομένως αν η φ είναι αληθής στην αρχική κατάσταση, τότε θα είναι αληθής σε όλες τις καταστάσεις της δομής. Για να αποδείξουμε αυστηρά ότι η πρόταση είναι ταυτολογία, θα δείξουμε ότι κάθε μονοπάτι την ικανοποιεί. Αφού η πρόταση ικανοποιείται από κάθε μονοπάτι τότε ικανοποιείται από κάθε δομή Kripke και το συμπέρασμα έπεται. Έχουμε τα εξής: (iv) w [G (φ Χ φ)] (φ Gφ) αν και μόνο αν w G (φ Χ φ) (φ Gφ) αν και μόνο αν w G (φ Χ φ) ή w (φ Gφ) αν και μόνο αν όχι w G (φ Χ φ] ή [ w φ ή w Gφ] αν και μόνο αν όχι i w i φ Χ φ ή [ w φ ή w Gφ] αν και μόνο αν i 0 όχι w i (φ Χ φ) ή [ w φ ή w Gφ] αν και μόνο αν i 0 όχι (w i φ ή w i Χ φ) ή [ w φ ή w Gφ] αν και μόνο αν i 0 [w i φ και όχι (w i Χ φ)] ή [w φ ή w Gφ] αν και μόνο αν i 0 [w i φ και w i+1 φ)] ή [ w φ ή w Gφ] αν και μόνο αν i>0 w i φ ή [ w φ ή w Gφ] αν και μόνο αν [ i>0 w i φ ή w φ ] ή w Gφ αν και μόνο αν i 0 w i φ ή w Gφ αν και μόνο αν w Gφ ή w Gφ αν και μόνο αν (v) F φ G (φ Χ φ) φ Η ιδιότητα αυτή δεν ικανοποιείται σε καμιά δομή Kripke: αν η φ είναι αληθής, τότε, αφού ισχύει ότι G (φ Χ φ), συμπεραίνουμε ότι η φ είναι αληθής σε κάθε κατάσταση της δομής. Επομένως είναι αδύνατο να ισχύει ταυτόχρονα και η F φ. Για να αποδείξουμε ότι η πρόταση δεν ικανοποιείται σε καμιά δομή Kripke αρκεί να δείξουμε ότι δεν ικανοποιείται σε κανένα μονοπάτι καμιάς δομής Kripke. Για να ισχύει αυτό η πρόταση πρέπει να είναι ισοδύναμη με Fle, ή, εναλλακτικά ότι η άρνηση της πρότασης είναι ισοδύναμη με True. Πιο κάτω ακολουθούμε την δεύτερη επιλογή και θα δείξουμε ότι για οποιοδήποτε μονοπάτι w [F φ G (φ Χ φ) φ] αν και μόνο αν w True: w [F φ G (φ Χ φ) φ] αν και μόνο αν w [F φ G (φ Χ φ) φ] αν και μόνο αν όχι w F φ ή όχι w G (φ Χ φ) ή όχι w φ αν και μόνο αν ( i 0 w i φ) ή ( i w i (φ Χ φ)) ή όχι w φ αν και μόνο αν ( i 0 w i φ) ή ( i 0 w i (φ Χ φ)) ή όχι w φ αν και μόνο αν ( i 0 w i φ) ή ( i 0 w i φ Χ φ) ή όχι w φ αν και μόνο αν ( i 0 w i φ) ή ( i 0 w i φ και w i Χ φ) ή όχι w φ αν και μόνο αν ( i 0 w i φ) ή ( i 0 w i φ και w i+1 φ) ή όχι w φ αν και μόνο αν ( i 0 w i φ) ή ( i 1 w i φ) ή όχι w 0 φ αν και μόνο αν ( i 0 w i φ) ή ( i 0 w i φ) αν και μόνο αν Σειρά Προβλημάτων 4 Χειμερινό Εξάμηνο 2013 Σελίδα 3

4 Άσκηση 4 (20 μονάδες) i. AG (p (q EX p)) p AG (p q) Οι προτάσεις δεν είναι ισοδύναμες αφού η πιο κάτω δομή ικανοποιεί την πρώτη πρόταση αλλά όχι τη δεύτερη. {p} {p } {q} ii. AG (p (q AX p)) EF (p q AX p) Οι προτάσεις δεν είναι ισοδύναμες αφού η πιο κάτω δομή ικανοποιεί τη δεύτερη πρόταση αλλά όχι την πρώτη. {p} {p } {q} iii. AG (p (q AX p)) AG p AG (p q) Οι προτάσεις δεν είναι ισοδύναμες αφού η πιο κάτω δομή ικανοποιεί την πρώτη πρόταση αλλά όχι τη δεύτερη. {p} Άσκηση 5 (20 μονάδες) Θεωρείστε την ακόλουθη δομή Kripke. {} {, } Σειρά Προβλημάτων 4 Χειμερινό Εξάμηνο 2013 Σελίδα 4

5 Να αποφασίσετε κατά πόσο οι πιο κάτω CTL ιδιότητες ικανοποιούνται από τη δομή. Να εξηγήσετε τις απαντήσεις σας χρησιμοποιώντας τον αλγόριθμο μοντελοελέγχου της CTL. i. ΕF E [ U AG ] Ε [ U E [ U AG ]] Ε [ U E [ U EF ]] Ε [ U E [ U [ E ( U )]]] EU EU {4} {0, 3, 4} {4} EU {0, 1, 2, 3} Η πρόταση ικανοποιείται από τη δομή αφού ικανοποιείται στην αρχική κατάσταση. Σειρά Προβλημάτων 4 Χειμερινό Εξάμηνο 2013 Σελίδα 5

6 ii. EX ( ) EF [ A ( U ) AG ] EX ( ) E ( U (( E [ U ( )] EG ) EF )) EX ( ) E ( U (( E [ U ( )] AF ) E ( U ))) EX ( ) E ( U (( E [ U ( )] AF ) E ( U ))) {0, 1, 3, 4} EU {0, 1, 2, 3} EX {2} {0, 1} {3} {2, 3, 4} {0, 3, 4} {4} {0, 1, 4} EU {0, 1, 2, 3} {0, 1} EU {0, 1, 4} {1, 2} {0, 1, 4} {1} AF {0, 3, 4} {1, 2} {0, 1, 4} {0, 3, 4} Η πρόταση ικανοποιείται από τη δομή αφού ικανοποιείται στην αρχική κατάσταση. Σειρά Προβλημάτων 4 Χειμερινό Εξάμηνο 2013 Σελίδα 6

Λύσεις Σειράς Ασκήσεων 4

Λύσεις Σειράς Ασκήσεων 4 Άσκηση 1 Λύσεις Σειράς Ασκήσεων 4 Έστω το σύνολο ατομικών προτάσεων ΑΡ = {red, yellow, green}. Με βάση τις ατομικές προτάσεις ΑΡ διατυπώστε τις πιο κάτω προτάσεις που αφορούν την κατάσταση των φώτων της

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

Λύσεις Σειράς Ασκήσεων 4

Λύσεις Σειράς Ασκήσεων 4 Άσκηση 1 Λύσεις Σειράς Ασκήσεων 4 Θεωρήστε το σύνολο των ατομικών προτάσεων ΑΡ = {α, π, ε} που αντιστοιχούν στις ενέργειες αποστολής μηνύματος, παραλαβής μηνύματος και επιστροφής αποτελέσματος που εκτελούνται

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

Λύσεις Σειράς Ασκήσεων 4

Λύσεις Σειράς Ασκήσεων 4 Άσκηση 0 (25 μονάδες) Λύσεις Σειράς Ασκήσεων 4 (α) Θεωρήστε το πιο κάτω πρόγραμμα λογικού προγραμματισμού και χρησιμοποιήστε τη μέθοδο της SLD επίλυσης για να φθάσετε σε διάψευση του στόχου. concat([],

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

Σειρά Προβλημάτων 3 Ημερομηνία Παράδοσης: 04/04/16

Σειρά Προβλημάτων 3 Ημερομηνία Παράδοσης: 04/04/16 ΜΕΡΟΣ Α Άσκηση 1 Σειρά Προβλημάτων 3 Ημερομηνία Παράδοσης: 04/04/16 Δύο ιδιότητες φ και ψ είναι ισοδύναμες μεταξύ τους, φ ψ, αν, για κάθε δομή Kripke M, M φ αν και μόνο αν M ψ. Να αποφασίσετε ποια από

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

CTL - Λογική Δένδρου Υπολογισμού (ΗR Κεφάλαιο 3.4)

CTL - Λογική Δένδρου Υπολογισμού (ΗR Κεφάλαιο 3.4) CTL - Λογική Δένδρου Υπολογισμού (ΗR Κεφάλαιο 3.4) Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Διακλαδωμένες Χρονικές λογικές CTL σύνταξη και ερμηνεία Έλεγχος μοντέλου για τη CTL Σύγκριση των PLTL

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

CTL Έλεγχος Μοντέλου (ΗR Κεφάλαιο 3.5 και 3.6.1)

CTL Έλεγχος Μοντέλου (ΗR Κεφάλαιο 3.5 και 3.6.1) CTL Έλεγχος Μοντέλου (ΗR Κεφάλαιο 3.5 και 3.6.1) Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Έλεγχος μοντέλου για τη CTL CTL* ΕΠΛ 412 Λογική στην Πληροφορική 8-1 Αλγόριθμος Μοντελο-ελέγχου Πως μπορούμε

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

Ασκήσεις Επανάληψης Λύσεις

Ασκήσεις Επανάληψης Λύσεις Άσκηση 1 Ασκήσεις Επανάληψης Λύσεις (α) Το επακόλουθο (A (B C)) ((A C) (A B)) είναι ψευδές. Αυτό φαίνεται στην ανάθεση τιμών [Α] = Τ, [Β] = F, [C] = T. (β) Ακολουθεί η απόδειξη του επακόλουθου. 1. x(p(x)

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

CTL - Λογική Δένδρου Υπολογισμού

CTL - Λογική Δένδρου Υπολογισμού CTL - Λογική Δένδρου Υπολογισμού Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Διακλαδωμένες Χρονικές λογικές CTL σύνταξη και ερμηνεία Έλεγχος μοντέλου για τη CTL Σύγκριση των PLTL και CTL Δικαιοσύνη

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

Γραμμική και διακλαδωμένη χρονική λογική

Γραμμική και διακλαδωμένη χρονική λογική CTL - Λογική Δένδρου Υπολογισμού Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Διακλαδωμένες Χρονικές λογικές CTL σύνταξη και ερμηνεία Έλεγχος μοντέλου για τη CTL Σύγκριση των PLTL και CTL Δικαιοσύνη

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

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 664: Ανάλυση και Επαλήθευση Συστημάτων ΕΝΔΙΑΜΕΣΗ ΕΞΕΤΑΣΗ ΗΜΕΡΟΜΗΝΙΑ : Πέμπτη, 21 Μαρτίου 2013 ΔΙΑΡΚΕΙΑ : 14:00 16:00 ΔΙΔΑΣΚΟΥΣΑ : Άννα Φιλίππου Ονοματεπώνυμο:

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

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

Σειρά Προβλημάτων 1 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 1 Λύσεις (α) Χρησιμοποιούμε τις επιπλέον μεταβλητές PC i, (program counters) οι οποίες παίρνουν ως τιμές ονόματα των γραμμών του κώδικα όπως φαίνεται πιο κάτω. Process P i :

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

ΕΠΑΝΑΛΗΠΤΙΚΕΣ ΑΣΚΗΣΕΙΣ ΣΤΗ CTL/LTL

ΕΠΑΝΑΛΗΠΤΙΚΕΣ ΑΣΚΗΣΕΙΣ ΣΤΗ CTL/LTL ΕΠΑΝΑΛΗΠΤΙΚΕΣ ΑΣΚΗΣΕΙΣ ΣΤΗ CTL/LTL ΑΣΚΗΣΗ 1 Θεωρήστε το μοντέλο Μ ενός συστήματος που δίνεται από το αυτόματο του σχήματος p, q s 0 s 1 s 2 q, και το (άπειρο) δέντρο του σχήματος s0 p, q s1 q, s0 p, q

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

Λύσεις Σειράς Ασκήσεων 1

Λύσεις Σειράς Ασκήσεων 1 Λύσεις Σειράς Ασκήσεων 1 Άσκηση 1 Έστω οι προτάσεις / προϋπόθεσεις: Π1. Σε όσους αρέσει η τέχνη αρέσουν και τα λουλούδια. Π2. Σε όσους αρέσει το τρέξιμο αρέσει και η μουσική. Π3. Σε όσους δεν αρέσει η

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

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

ΠΡΟΔΙΑΓΡΑΦΗ ΙΔΙΟΤΗΤΩΝ ΜΕ ΧΡΟΝΙΚΗ ΛΟΓΙΚΗ Ι ΠΡΟΔΙΑΓΡΑΦΗ ΙΔΙΟΤΗΤΩΝ ΜΕ ΧΡΟΝΙΚΗ ΛΟΓΙΚΗ Ι Ιδιότητες προσεγγισιμότητας (reachability properties): αναφέρονται στο ενδεχόμενο προσέγγισης μιας συγκεκριμένης κατάστασης. Ιδιότητες ασφαλείας (safety properties):

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

Λύσεις Σειράς Ασκήσεων 2

Λύσεις Σειράς Ασκήσεων 2 Άσκηση 1 Λύσεις Σειράς Ασκήσεων 2 Ακολουθεί η διατύπωση των προτάσεων στον Κατηγορηματικό Λογισμό. (α) Δεν υπάρχουν δύο διαφορετικές πτήσεις με τον ίδιο αριθμό. x 1, d 1, a 1, s 1, t 1, x 2, d 2, a 2,

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

Άλγεβρες ιεργασιών και Τροπικές Λογικές

Άλγεβρες ιεργασιών και Τροπικές Λογικές Άλγεβρες ιεργασιών και Τροπικές Λογικές Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Οι λογικές HML και WHML Ο λογικός χαρακτηρισµός των ~ και Η λογική CTL- ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστηµάτων

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

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

Φροντιστήριο 2 Λύσεις Φροντιστήριο 2 Λύσεις Άσκηση 1 1. p ( p r) προϋπόθεση 2. r προϋπόθεση 3. q προσωρινή υπόθεση 4. p προσωρινή υπόθεση 5. p r ΜP 6. p προσωρινή υπόθεση r προσωρινή υπόθεση 7. i 4, 6 8. r e 9. r e 5, 8, 6

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

ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο η Σειρά Ασκήσεων

ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο η Σειρά Ασκήσεων ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2017 1 η Σειρά Ασκήσεων Παράδοση: Τρίτη, 28/2/2017 μέχρι το τέλος του φροντιστηρίου Σημείωση: Οι απαντήσεις πρέπει να είναι τεκμηριωμένες Άσκηση 1.1 [1 μονάδα]

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

ΧΡΟΝΙΚΗ ΛΟΓΙΚΗ Ι ΤΥΠΙΚΕΣ ΜΕΘΟΔΟΙ ΑΝΑΛΥΣΗΣ ΣΥΣΤΗΜΑΤΩΝ ΤΜ. ΠΛΗΡΟΦΟΡΙΚΗΣ Α.Π.Θ. ΔΙΔΑΣΚΩΝ: Π. ΚΑΤΣΑΡΟΣ. 29 Ιουνίου 2007 ΔΙΑΦΑΝΕΙΑ 1

ΧΡΟΝΙΚΗ ΛΟΓΙΚΗ Ι ΤΥΠΙΚΕΣ ΜΕΘΟΔΟΙ ΑΝΑΛΥΣΗΣ ΣΥΣΤΗΜΑΤΩΝ ΤΜ. ΠΛΗΡΟΦΟΡΙΚΗΣ Α.Π.Θ. ΔΙΔΑΣΚΩΝ: Π. ΚΑΤΣΑΡΟΣ. 29 Ιουνίου 2007 ΔΙΑΦΑΝΕΙΑ 1 ΧΡΟΝΙΚΗ ΛΟΓΙΚΗ Ι ΗλογικήCTL* (Computation Tree Logic) χρησιμοποιείται από εργαλεία ελέγχου μοντέλων για την τυπική περιγραφή ιδιοτήτων καταστάσεων που αναφέρονται στις εκτελέσεις ενός συστήματος. Χρησιμοποιεί

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

Λύσεις Σειράς Ασκήσεων 5

Λύσεις Σειράς Ασκήσεων 5 Άσκηση 1 (α) {x = 12 y = 7} skip {y = 7} Λύσεις Σειράς Ασκήσεων 5 Η προδιαγραφή αυτή είναι ορθή τόσο με την έννοια της μερικής ορθότητας όσο και με την έννοια της ολικής ορθότητας. Αυτό οφείλεται στο γεγονός

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

Λύσεις Σειράς Ασκήσεων 1

Λύσεις Σειράς Ασκήσεων 1 Λύσεις Σειράς Ασκήσεων 1 Άσκηση 1 p q r p (q r) (p q) p q r ( r p q) T T T T F T T T T F F F F T T F T T T T T T F F T T T T F T T T F T T F T F T F T T F F T T F T F F F F T F T T Ο πιο πάνω πίνακας παρουσιάζει

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

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης

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

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

Λύσεις 1 ης Σειράς Ασκήσεων

Λύσεις 1 ης Σειράς Ασκήσεων Λύσεις 1 ης Σειράς Ασκήσεων Άσκηση 1 α) p q r (p s) ((s t) t) 1. p q r προϋπόθεση 2. p s προσωρινή υπόθεση 3. s t προσωρινή υπόθεση 4. p e 1 5. s ΜP 2,4 6. t ΜP 3,5 7. (s t) t i 3, 6 8. (p s) ((s t) t)

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

Μη γράφετε στο πίσω μέρος της σελίδας

Μη γράφετε στο πίσω μέρος της σελίδας Μαθηματική Λογική Εξέταση Σεπτεμβρίου 2016 Σελ. 1 από 5 Στη σελίδα αυτή γράψτε μόνο τα στοιχεία σας. Γράψτε τις απαντήσεις σας στις επόμενες σελίδες, κάτω από τις αντίστοιχες ερωτήσεις. Στις απαντήσεις

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

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

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

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

Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα:

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

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

Λύσεις Σειράς Ασκήσεων 5

Λύσεις Σειράς Ασκήσεων 5 Άσκηση 1 Λύσεις Σειράς Ασκήσεων 5 Να υπολογίσετε τις ασθενέστερες προσυνθήκες έτσι ώστε οι πιο κάτω προδιαγραφές να είναι ορθές σύμφωνα (i) με την έννοια της μερικής ορθότητας και (ii) με την έννοια της

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

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

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

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

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

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

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

Λύσεις 1 ης Σειράς Ασκήσεων

Λύσεις 1 ης Σειράς Ασκήσεων Λύσεις 1 ης Σειράς Ασκήσεων Άσκηση 1 Έστω οι ατομικές προτάσεις A 1 = H Αντιγόνη κέρδισε τον αγώνα, A 3 = H Αντιγόνη πήρε την τρίτη θέση, Β 2 = Ο Βίκτορας πήρε την δεύτερη θέση, Γ 3 = Ο Γιάννης πήρε την

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

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

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ME ΠΟΛΛΕΣ ΚΑΙ ΕΓΚΑΡΔΙΕΣ ΕΥΧΕΣ ΓΙΑ ΚΑΛΕΣ ΓΙΟΡΤΕΣ, ΥΓΕΙΑ ΚΑΙ ΠΡΟΟΔΟ ΣΕ ΕΣΑΣ ΚΑΙ ΤΙΣ ΟΙΚΟΓΕΝΕΙΕΣ ΣΑΣ Φυλλάδιο 2: Σχεσιακή Λογική ΔΕΚΕΜΒΡΙΟΣ 2006 ΠΑΡΑΔΟΣΗ: 12/11/2006

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

Λύσεις Σειράς Ασκήσεων 5

Λύσεις Σειράς Ασκήσεων 5 Λύσεις Σειράς Ασκήσεων 5 Άσκηση 1 (α) Ακολουθεί η απόδειξη της προδιαγραφής (0) { A[X] = x A[Y] = y X Y (1) { A[Y] = y A[X] + Α[Υ] A[Y] = x X Y (2) A[X] := A[X] + A[Y]; (3) { A[Y] = y A[X] A[Y] = x X Y

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

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

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

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

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

Π Ο Λ Ι Τ Ι Κ Α Κ Α Ι Σ Τ Ρ Α Τ Ι Ω Τ Ι Κ Α Γ Ε Γ Ο Ν Ο Τ Α Α Ρ Χ Α Ι Α Ι Σ Τ Ο Ρ Ι Α Π Ο Λ Ι Τ Ι Κ Α Κ Α Ι Σ Τ Ρ Α Τ Ι Ω Τ Ι Κ Α Γ Ε Γ Ο Ν Ο Τ Α Σ η µ ε ί ω σ η : σ υ ν ά δ ε λ φ ο ι, ν α µ ο υ σ υ γ χ ω ρ ή σ ε τ ε τ ο γ ρ ή γ ο ρ ο κ α ι α τ η µ έ λ η τ ο ύ

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

Επαναληπτικό Διαγώνισμα στη Δομή Ακολουθίας και Δομή Επιλογής

Επαναληπτικό Διαγώνισμα στη Δομή Ακολουθίας και Δομή Επιλογής Επαναληπτικό Διαγώνισμα στη Δομή Ακολουθίας και Δομή Επιλογής Ονοματεπώνυμο:.. Διάρκεια:... Mονάδες:.. Βαθμός: Θέμα Α Α1. Να γράψετε τον αριθμό της κάθε μιας από τις παρακάτω προτάσεις και δίπλα το γράμμα

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

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

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

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

Επίπεδα Γραφήματα : Προβλήματα και Υπολογιστική Πολυπλοκότητα

Επίπεδα Γραφήματα : Προβλήματα και Υπολογιστική Πολυπλοκότητα Αλγόριθμοι πολυωνυμικού χρόνου Ένας αλγόριθμος πολυωνυμικού χρόνου έχει χρόνο εκτέλεσης όπου είναι μία (θετική) σταθερά Κλάση πολυπλοκότητας : περιλαμβάνει τα προβλήματα που επιδέχονται λύση σε πολυωνυμικό

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

Λύσεις Σειράς Ασκήσεων 5

Λύσεις Σειράς Ασκήσεων 5 Άσκηση Λύσεις Σειράς Ασκήσεων 5 Έστω P και Q συνθήκες και S ένα πρόγραμμα. Να εξηγήσετε με λόγια τις πιο κάτω προδιαγραφές (i) με την έννοια της μερικής ορθότητας και (ii) με την έννοια της ολικής ορθότητας.

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

Η ΕΝΝΟΙΑ ΤΗΣ ΣΥΝΑΡΤΗΣΗΣ 1η κατηγορία: ΕΥΡΕΣΗ ΠΕΔΙΟΥ ΟΡΙΣΜΟΥ

Η ΕΝΝΟΙΑ ΤΗΣ ΣΥΝΑΡΤΗΣΗΣ 1η κατηγορία: ΕΥΡΕΣΗ ΠΕΔΙΟΥ ΟΡΙΣΜΟΥ Η ΕΝΝΟΙΑ ΤΗΣ ΣΥΝΑΡΤΗΣΗΣ η κατηγορία: ΕΥΡΕΣΗ ΠΕΔΙΟΥ ΟΡΙΣΜΟΥ Για να βρούμε το πεδίο ορισμού μιας συνάρτησης, αρκεί να βρούμε τις τιμές του χ για τις οποίες ορίζονται οι πράξεις που αναγράφονται στο τύπο

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

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

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

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

Λύσεις Σειράς Ασκήσεων 2

Λύσεις Σειράς Ασκήσεων 2 Λύσεις Σειράς Ασκήσεων 2 Άσκηση 1 N φιλόσοφοι κάθονται γύρω από ένα τραπέζι με N καρέκλες, N πιάτα και N πιρούνια. Όταν κάποιος φιλόσοφος πεινάσει παίρνει τα δύο πιρούνια που βρίσκονται δίπλα από το πιάτο

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

β) 3 n < n!, n > 6 i i! = (n + 1)! 1, n 1 i=1

β) 3 n < n!, n > 6 i i! = (n + 1)! 1, n 1 i=1 Κεφάλαιο 2: Στοιχεία Λογικής - Μέθοδοι Απόδειξης 1. Να αποδειχθεί ότι οι λογικοί τύποι: (p ( (( p) q))) (p q) και p είναι λογικά ισοδύναμοι. Θέλουμε να αποδείξουμε ότι: (p ( (( p) q))) (p q) p, ή με άλλα

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

τότε για κάθε αριθμό ξ μεταξύ των f(α) και f(β) υπάρχει τουλάχιστον ένας x0 (α, β) τέτοιος ώστε να ισχύει f(x0)=ξ. Μονάδες 15

τότε για κάθε αριθμό ξ μεταξύ των f(α) και f(β) υπάρχει τουλάχιστον ένας x0 (α, β) τέτοιος ώστε να ισχύει f(x0)=ξ. Μονάδες 15 ΔΙΑΓΩΝΙΣΜΑ ΣΤΑ ΟΡΙΑ ΚΑΙ ΣΤΗ ΣΥΝΕΧΕΙΑ ΘΕΜΑ o Α Να αποδείξετε ότι, αν μία συνάρτηση f είναι συνεχής στο κλειστό διάστημα [α, β] και f(α)f(β), τότε για κάθε αριθμό ξ μεταξύ των f(α) και f(β) υπάρχει τουλάχιστον

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

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

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

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

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

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

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

4.2 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ

4.2 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ 14 4 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ Ας υποθέσουμε ότι θέλουμε να βρούμε το πηλίκο και το υπόλοιπο της διαίρεσης του με τον Σύμφωνα με το γνωστό αλγόριθμο της διαίρεσης, το πηλίκο θα είναι ένας ακέραιος κ, τέτοιος,

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

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

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

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

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Δείγμα Ενδιάμεσης Εξέτασης Λύσεις Άσκηση 1 [30 μονάδες] Να αποδείξετε τα πιο κάτω λογικά επακόλουθα χρησιμοποιώντας τα συστήματα

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

Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα:

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

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

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

Σημειώσεις Λογικής I. Εαρινό Εξάμηνο Καθηγητής: Λ. Κυρούσης Σημειώσεις Λογικής I Εαρινό Εξάμηνο 2011-2012 Καθηγητής: Λ. Κυρούσης 2 Τελευταία ενημέρωση 28/3/2012, στις 01:37. Περιεχόμενα 1 Εισαγωγή 5 2 Προτασιακή Λογική 7 2.1 Αναδρομικοί Ορισμοί - Επαγωγικές Αποδείξεις...................

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

0x2 = 2. = = δηλαδή η f δεν. = 2. Άρα η συνάρτηση f δεν είναι συνεχής στο [0,3]. Συνεπώς δεν. x 2. lim f (x) = lim (2x 1) = 3 και x 2 x 2

0x2 = 2. = = δηλαδή η f δεν. = 2. Άρα η συνάρτηση f δεν είναι συνεχής στο [0,3]. Συνεπώς δεν. x 2. lim f (x) = lim (2x 1) = 3 και x 2 x 2 ΚΕΦΑΛΑΙΟ ο: ΣΥΝΑΡΤΗΣΕΙΣ - ΟΡΙΟ - ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΕΝΟΤΗΤΑ 8: ΘΕΩΡΗΜΑ BOLZANO - ΠΡΟΣΗΜΟ ΣΥΝΑΡΤΗΣΗΣ - ΘΕΩΡΗΜΑ ΕΝΔΙΑΜΕΣΩΝ ΤΙΜΩΝ - ΘΕΩΡΗΜΑ ΜΕΓΙΣΤΗΣ ΚΑΙ ΕΛΑΧΙΣΤΗΣ ΤΙΜΗΣ - ΣΥΝΟΛΟ ΤΙΜΩΝ ΣΥΝΕΧΟΥΣ ΣΥΝΑΡΤΗΣΗΣ

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

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ : Λογική στην Πληροφορική Δείγμα Ενδιάμεσης Εξέτασης Σκελετοί Λύσεων Άσκηση [0 μονάδες] α Να αναφέρετε τρεις μεθόδους μέσω των οποίων μπορούμε να αποφασίσουμε

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

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

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

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

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

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

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

Μη γράφετε στο πίσω μέρος της σελίδας

Μη γράφετε στο πίσω μέρος της σελίδας Μαθηματική Λογική A Ενδιάμεση εξέταση Μάρτιος 2014 Σελ. 1 από 6 Στη σελίδα αυτή γράψτε μόνο τα στοιχεία σας. Γράψτε τις απαντήσεις σας στις επόμενες σελίδες, κάτω από τις αντίστοιχες ερωτήσεις. Στις απαντήσεις

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

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

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

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

[(W V c ) (W c V c )] c \ W = [(W V c ) (W c V c )] c \ W = [(W V c ) c (W c V c ) c ] \ W = [(W c W ) V ] \ W

[(W V c ) (W c V c )] c \ W = [(W V c ) (W c V c )] c \ W = [(W V c ) c (W c V c ) c ] \ W = [(W c W ) V ] \ W ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Ιανουάριος 2012 Τμήμα Μαθηματικών Διδάσκων: Χρήστος Κουρουνιώτης Μ1124 ΘΕΜΕΛΙΑ ΤΩΝ ΜΑΘΗΜΑΤΙΚΩΝ Παρατηρήσεις 1. Διαβάστε προσεκτικά τα θέματα πριν αρχίσετε να απαντάτε. Οι απαντήσεις

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

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

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

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

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

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

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

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

Σειρά Προβλημάτων 4 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα { ww w {a,b}* }. (β) Να διατυπώσετε την τυπική περιγραφή

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

ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΛΟΓΙΚΗΣ

ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΛΟΓΙΚΗΣ ΧΛΤΖΙΝ ΠΥΛΟΣ ΒΣΙΚΕΣ ΕΝΝΟΙΕΣ ΛΟΓΙΚΗΣ 1. ύο προτάσεις που έχουν την ίδια σηµασία λέγονται ταυτόσηµες. 2. Μια αποφαντική πρόταση χαρακτηρίζεται αληθής όταν περιγράφει µια πραγµατική κατάσταση του κόσµου µας.

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

Επαναληπτικές Ασκήσεις στα Σύνολα

Επαναληπτικές Ασκήσεις στα Σύνολα Επαναληπτικές Ασκήσεις στα Σύνολα ) Εξετάστε αν η παρακάτω πρόταση είναι αληθής για οποιαδήποτε σύνολα Α,Β,C. Δικαιολογήστε την απάντηση σας Αν A B και B C, τότε Α C έστω Β {α,β,γ}, αφού Α B τότε ένα παράδειγμα

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

Θεώρημα Βolzano. Κατηγορία 1 η. 11.1 Δίνεται η συνάρτηση:

Θεώρημα Βolzano. Κατηγορία 1 η. 11.1 Δίνεται η συνάρτηση: Κατηγορία η Θεώρημα Βolzano Τρόπος αντιμετώπισης:. Όταν μας ζητούν να εξετάσουμε αν ισχύει το θεώρημα Bolzano για μια συνάρτηση f σε ένα διάστημα [, ] τότε: Εξετάζουμε την συνέχεια της f στο [, ] (αν η

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

( 2) 1 0,. Αν ρ 1, ρ 2 οι ρίζες της (ε) και

( 2) 1 0,. Αν ρ 1, ρ 2 οι ρίζες της (ε) και ΘΕΜΑ ο Δίνεται η συνάρτηση f με τύπο : f( x) α Να βρείτε το πεδίο ορισμού της x x x x β Να βρείτε τα σημεία τομής της με τους άξονες αν υπάρχουν γ Αν α, β ρίζες της εξίσωσης: ΘΕΜΑ ο x x f ( x), να δείξετε

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

Απλές επεκτάσεις και Αλγεβρικές Θήκες

Απλές επεκτάσεις και Αλγεβρικές Θήκες Κεφάλαιο 7 Απλές επεκτάσεις και Αλγεβρικές Θήκες Στο κεφάλαιο αυτό εξετάζουµε τις απλές επεκτάσεις σωµάτων και τις συγκρίνουµε µε τις επεκτάσεις Galois. Επίσης εξετάζουµε τις αλγεβρικά κλειστές επεκτάσεις

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

ΚΕΦΑΛΑΙΟ 3ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 5: ΘΕΩΡΗΜΑ ROLLE [Θεώρημα Rolle του κεφ.2.5 Μέρος Β του σχολικού βιβλίου]. ΠΑΡΑΔΕΙΓΜΑΤΑ

ΚΕΦΑΛΑΙΟ 3ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 5: ΘΕΩΡΗΜΑ ROLLE [Θεώρημα Rolle του κεφ.2.5 Μέρος Β του σχολικού βιβλίου]. ΠΑΡΑΔΕΙΓΜΑΤΑ ΚΕΦΑΛΑΙΟ 3ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 5: ΘΕΩΡΗΜΑ ROLLE [Θεώρημα Rolle του κεφ..5 Μέρος Β του σχολικού βιβλίου]. ΠΑΡΑΔΕΙΓΜΑΤΑ ΘΕΜΑ Β Παράδειγμα. Να εξετάσετε από τις παρακάτω συναρτήσεις ποιές ικανοποιούν

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

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

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

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

Α Ρ Ι Θ Μ Ο Σ : 6.913

Α Ρ Ι Θ Μ Ο Σ : 6.913 Α Ρ Ι Θ Μ Ο Σ : 6.913 ΠΡΑΞΗ ΚΑΤΑΘΕΣΗΣ ΟΡΩΝ ΔΙΑΓΩΝΙΣΜΟΥ Σ τ η ν Π ά τ ρ α σ ή μ ε ρ α σ τ ι ς δ ε κ α τ έ σ σ ε ρ ι ς ( 1 4 ) τ ο υ μ ή ν α Ο κ τ ω β ρ ί ο υ, η μ έ ρ α Τ ε τ ά ρ τ η, τ ο υ έ τ ο υ ς δ

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

ΠΑΝΕΛΛΗΝΙΕΣ ΕΞΕΤΑΣΕΙΣ 2014

ΠΑΝΕΛΛΗΝΙΕΣ ΕΞΕΤΑΣΕΙΣ 2014 ΠΑΝΕΛΛΗΝΙΕΣ ΕΞΕΤΑΣΕΙΣ 4 ΠΡΟΤΕΙΝΟΜΕΝΑ ΘΕΜΑΤΑ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ Γ ΛΥΚΕΙΟΥ ΘΕΤΙΚΗΣ & ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ ΘΕΜΑ Α Α Έστω μία συνάρτηση f η οποία είναι συνεχής σε ένα διάστημα Δ. Αν f σε κάθε εσωτερικό σημείο

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

<Πεδία ορισμού ισότητα πράξεις σύνθεση>

<Πεδία ορισμού ισότητα πράξεις σύνθεση> Συναρτήσεις 1 A Έστω μία συνάρτηση Να βρείτε το πεδίο ορισμού της συνάρτησης B Δίνεται η συνάρτηση Να βρείτε το πεδίο ορισμού των συναρτήσεων :, και Γ Να εξετάσετε

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

Κεφάλαιο 5 Αξιωματική Σημασιολογία και Απόδειξη Ορθότητας Προγραμμάτων

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

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

Βρέντζου Τίνα Φυσικός Μεταπτυχιακός τίτλος ΜEd: «Σπουδές στην εκπαίδευση»

Βρέντζου Τίνα Φυσικός Μεταπτυχιακός τίτλος ΜEd: «Σπουδές στην εκπαίδευση» 1 2.1 ΟΙ ΠΡΑΞΕΙΣ ΚΑΙ ΟΙ ΙΔΙΟΤΗΤΕΣ ΤΟΥΣ Ιδιότητες των πράξεων Στους πραγματικούς αριθμούς ορίστηκαν οι πράξεις της πρόσθεσης και του πολλαπλασιασμού και με την οήθειά τους η αφαίρεση και η διαίρεση. Για

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

Κανονικές μορφές - Ορισμοί

Κανονικές μορφές - Ορισμοί HY-180 Περιεχόμενα Κανονικές μορφές (Normal Forms) Αλγόριθμος μετατροπής σε CNF-DNF Άρνηση (Negation) Βασικές Ισοδυναμίες με άρνηση Νόμος De Morgan Πίνακες Αληθείας Κανονικές μορφές - Ορισμοί Ορισμός:

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

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ Διακριτά Μαθηματικά Ι Ενότητα 5: Αρχή Εγκλεισμού - Αποκλεισμού Διδάσκων: Χ. Μπούρας (bouras@cti.gr) Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό

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

x < y ή x = y ή y < x.

x < y ή x = y ή y < x. ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Εαρινό Εξάμηνο 011-1 Τμήμα Μαθηματικών Διδάσκων: Χ.Κουρουνιώτης Μ8 ΕΡΓΑΣΤΗΡΙΟ ΑΝΑΛΥΣΗΣ Φυλλάδιο 1 Ανισότητες Οι πραγματικοί αριθμοί είναι διατεταγμένοι. Ενισχύουμε αυτήν την ιδέα με

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

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

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

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

Μη γράφετε στο πίσω μέρος της σελίδας

Μη γράφετε στο πίσω μέρος της σελίδας Μαθηματική Λογική Εξέταση Σεπτέμβριος 2014 α Σελ. 1 από 5 Στη σελίδα αυτή γράψτε μόνο τα στοιχεία σας. Γράψτε τις απαντήσεις σας στις επόμενες σελίδες, κάτω από τις αντίστοιχες ερωτήσεις. Στις απαντήσεις

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

NP-complete problems. IS, 4-Degree IS,CLIQUE, NODE COVER, MAX CUT, MAX BISECTION, BISECTION WIDTH. NP-complete problems 1 / 30

NP-complete problems. IS, 4-Degree IS,CLIQUE, NODE COVER, MAX CUT, MAX BISECTION, BISECTION WIDTH. NP-complete problems 1 / 30 NP-complete problems IS, 4-Degree IS,CLIQUE, NODE COVER, MAX CUT, MAX BISECTION, BISECTION WIDTH Καλογερόπουλος Παναγιώτης (ΜΠΛΑ) NP-complete problems 1 / 30 Independent Set is NP-complete Ορισμός. Εστω

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

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

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

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

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

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

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

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

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

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

Άλγεβρες Διεργασιών και Σχέσεις Ισοδυναμίας

Άλγεβρες Διεργασιών και Σχέσεις Ισοδυναμίας Άλγεβρες Διεργασιών και Σχέσεις Ισοδυναμίας Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Σχέσεις ισοδυναμίας trce equivlence filure equivlence strong isimultion wek isimultion ΕΠΛ 664 Ανάλυση και Επαλήθευση

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

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

Σειρά Προβλημάτων 3 Λύσεις Σειρά Προβλημάτων 3 Λύσεις Άσκηση 1 Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) {0 n 1 n n > 0} {0 n 1 2n n > 0} (β) {w {a,b} * η w ξεκινά και τελειώνει με το ίδιο σύμβολο

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

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 Εισαγωγή Η Λογική ασχολείται με τους νόμους ορθού συλλογισμού και μελετά τους κανόνες βάσει των οποίων

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

2.1 ΜΟΝΟΤΟΝΙΑ ΑΚΡΟΤΑΤΑ ΣΥΜΜΕΤΡΙΕΣ ΣΥΝΑΡΤΗΣΗ

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

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

ΛΥΜΕΝΕΣ ΑΣΚΗΣΕΙΣ ΣΤΙΣ ΣΥΝΑΡΤΗΣΕΙΣ

ΛΥΜΕΝΕΣ ΑΣΚΗΣΕΙΣ ΣΤΙΣ ΣΥΝΑΡΤΗΣΕΙΣ ΛΥΜΕΝΕΣ ΑΣΚΗΣΕΙΣ ΣΤΙΣ ΣΥΝΑΡΤΗΣΕΙΣ ΑΣΚΗΣΗ 1η Να βρείτε το πεδίο ορισμού των συναρτήσεων: 5 α) f β) f 1 1 9 γ) f δ) f log 1 4 ημ ημ συν ε) f α) Για να ορίζεται η f() πρέπει και αρκεί + (1) Έχουμε: (1).(

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

Θ έ µ α τ α Τ ύ π ο υ Σ ω σ τ ό Λ ά θ ο ς

Θ έ µ α τ α Τ ύ π ο υ Σ ω σ τ ό Λ ά θ ο ς Θ έ µ α τ α Τ ύ π ο υ Σ ω σ τ ό Λ ά θ ο ς Να χαρακτηρίσετε µε Σ (Σωστό) ή Λ (Λάθος) τους παρακάτω ισχυρισµούς:. Για κάθε α R ισχύει ότι : α =α.. Για κάθε α R ισχύει ότι : α = α.. Για κάθε α R ισχύει ότι

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

Κατ οίκον Εργασία 2 Λύσεις

Κατ οίκον Εργασία 2 Λύσεις Κατ οίκον Εργασία 2 Λύσεις Άσκηση 1 Ακολουθεί η διατύπωση των προτάσεων στον προτασιακό λογισμό. (α) Κάθε ενεργός χρήστης είναι είτε διαχειριστής είτε κανονικός χρήστης του συστήματος. x [Ενεργός (x) Διαχειριστής(x)

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

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

Φροντιστήριο 7 Λύσεις Άσκηση 1 Θεωρείστε το πιο κάτω αυτόματο στοίβας: Φροντιστήριο 7 Λύσεις (α) Να εξηγήσετε με λόγια ποια γλώσσα αναγνωρίζεται από το αυτόματο. (β) Να δώσετε τον τυπικό ορισμό του αυτομάτου. (γ) Να δείξετε

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

Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση

Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση 8 Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση Υπάρχουν δύο θεµελιώδη αποτελέσµατα που µας βοηθούν να υπολογίζουµε πολλαπλά ολοκληρώµατα Το πρώτο αποτέλεσµα σχετίζεται µε τον υπολογισµό ενός

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

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

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

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

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

- ΟΡΙΟ - ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΕΝΟΤΗΤΑ 5: ΚΡΙΤΗΡΙΟ ΠΑΡΕΜΒΟΛΗΣ - ΤΡΙΓΩΝΟΜΕΤΡΙΚΑ ΟΡΙΑ - ΟΡΙΟ ΣΥΝΘΕΤΗΣ ΣΥΝΑΡΤΗΣΗΣ ΚΕΦΑΛΑΙΟ ο: ΣΥΝΑΡΤΗΣΕΙΣ - ΟΡΙΟ - ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΕΝΟΤΗΤΑ 5: ΚΡΙΤΗΡΙΟ ΠΑΡΕΜΒΟΛΗΣ - ΤΡΙΓΩΝΟΜΕΤΡΙΚΑ ΟΡΙΑ - ΟΡΙΟ ΣΥΝΘΕΤΗΣ ΣΥΝΑΡΤΗΣΗΣ [Ενότητες Κριτήριο Παρεμβολής - Τριγωνομετρικά Όρια - Όριο Σύνθετης

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

ΚΕΦΑΛΑΙΟ 3ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 5: ΘΕΩΡΗΜΑ ROLLE [Θεώρημα Rolle του κεφ.2.5 Μέρος Β του σχολικού βιβλίου]. ΑΣΚΗΣΕΙΣ

ΚΕΦΑΛΑΙΟ 3ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 5: ΘΕΩΡΗΜΑ ROLLE [Θεώρημα Rolle του κεφ.2.5 Μέρος Β του σχολικού βιβλίου]. ΑΣΚΗΣΕΙΣ ΚΕΦΑΛΑΙΟ 3ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 5: ΘΕΩΡΗΜΑ ROLLE [Θεώρημα Rolle του κεφ..5 Μέρος Β του σχολικού βιβλίου]. ΑΣΚΗΣΕΙΣ ΘΕΜΑ Β Άσκηση 1. Να δείξετε ότι η εξίσωση 7 3 + + + 3= (1) έχει ακριβώς μία πραγματική

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ - Τµήµα Εφαρµοσµένων Μαθηµατικών

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ - Τµήµα Εφαρµοσµένων Μαθηµατικών ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ - Τµήµα Εφαρµοσµένων Μαθηµατικών «Γραµµική Άλγεβρα Ι» (ΕΜ111) Χειµερινό Εξάµηνο 2006-2007, ιδάσκων: Ι. Τσαγράκης 5 Ο ΦΥΛΛΑ ΙΟ ΑΣΚΗΣΕΩΝ Άσκηση 1: Έστω V ένας διανυσµατικός χώρος επί

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

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

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

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

α=5, β=7, γ=20, δ=αληθής

α=5, β=7, γ=20, δ=αληθής γραπτή εξέταση στo μάθημα ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ Γ ' ΛΥΚΕΙΟΥ Τάξη: Γ Λυκείου Τμήμα: Βαθμός: Ονοματεπώνυμο: Καθηγητές: Θ Ε Μ Α A Α1. Να γράψετε στο τετράδιό σας τον αριθμό καθεμιάς

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

Δραστηριότητα Περίπτωσης. Τίτλος: Οι διαφορές της απλής, της σύνθετης και της εμφωλευμένης δομής επιλογής

Δραστηριότητα Περίπτωσης. Τίτλος: Οι διαφορές της απλής, της σύνθετης και της εμφωλευμένης δομής επιλογής Δραστηριότητα Περίπτωσης Τίτλος: Οι διαφορές της απλής, της σύνθετης και της εμφωλευμένης δομής επιλογής Γενικός Διδακτικός Στόχος: Να κατανοήσουν οι μαθητές τις διαφορές της απλής, της σύνθετης και της

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

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

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

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

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

1 ΜΑΘΗΜΑΤΙΚΑ ΘΕΤΙΚΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ ΕΞΕΤΑΣΕΙΣ ΠΡΟΣΟΜΟΙΩΣΗΣ 2014 ΠΡΟΤΥΠΟ ΠΕΙΡΑΜΑΤΙΚΟ ΛΥΚΕΙΟ ΑΝΑΒΡΥΤΩΝ ΜΑΘΗΜΑΤΙΚΑ ΘΕΤΙΚΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ ΕΞΕΤΑΣΕΙΣ ΠΡΟΣΟΜΟΙΩΣΗΣ ΘΕΜΑ ο Α. Έστω μια συνάρτηση f: Α R η οποία είναι. Να γράψετε τον ορισμό της αντίστροφης συνάρτησης

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