Λύσεις Σειράς Ασκήσεων 4
|
|
- Ῥαάβ Ρόκας
- 7 χρόνια πριν
- Προβολές:
Transcript
1 Άσκηση 1 Λύσεις Σειράς Ασκήσεων 4 Έστω το σύνολο ατομικών προτάσεων ΑΡ = {red, yellow, green}. Με βάση τις ατομικές προτάσεις ΑΡ διατυπώστε τις πιο κάτω προτάσεις που αφορούν την κατάσταση των φώτων της τροχαίας στον χρονικό λογισμό LTL. (α) Το φανάρι τη χρονική στιγμή 4 είναι είτε κόκκινο, είτε κίτρινο είτε πράσινο. XXXX(red yellow green) (β) Ανά πάσα στιγμή το φανάρι μπορεί να είναι είτε κόκκινο, είτε κίτρινο είτε πράσινο. G(red yellow green) (γ) Ανά πάσα στιγμή, αν το φανάρι είναι κόκκινο, τότε την επόμενη χρονική στιγμή θα είναι κίτρινο. G(red X yellow) (δ) Από τη στιγμή που θα πάρει κόκκινο χρώμα, σε 2 μονάδες χρόνου το φανάρι θα είναι κίτρινο. G ((red X red) XXX yellow) (ε) Το φανάρι εναλλάσσεται ανάμεσα στα χρώματα κόκκινο κίτρινο πράσινο κόκκινο και διατηρεί κάθε ένα από τα χρώματα αυτά για 2 μονάδες χρόνου. G [(red yellow green) (red yellow green) (red yellow green)] G [ [( red X red) (X red XX red XXX yellow)] [(yellow X yellow) (X yellow XX yellow XXX green)] [( green X green) (X green XX green XXX red)] ] Άσκηση 2 Θεωρήστε την ακόλουθη δομή Kripke. 3 4 {b} 1 2 {a} {a,b} Για κάθε μια από τις πιο κάτω ιδιότητες να αποφασίσετε (1) κατά πόσο υπάρχει μονοπάτι που να ικανοποιεί την ιδιότητα και, αν ναι, να επιδείξετε ένα τέτοιο μονοπάτι, και (2) κατά πόσο η δομή ικανοποιεί την ιδιότητα. Λύσεις Σειράς Προβλημάτων 4 Χειμερινό Εξάμηνο 2014 Σελίδα 1
2 (i) (ii) F G b 1. Μονοπάτι που ικανοποιεί την ιδιότητα: Η δομή δεν ικανοποιεί την ιδιότητα αφού αυτή δεν ισχύει για κάθε μονοπάτι που ξεκινά από την αρχική κατάσταση, π.χ a U b 1. Μονοπάτι που ικανοποιεί την ιδιότητα: Η δομή δεν ικανοποιεί την ιδιότητα αφού αυτή δεν ισχύει για κάθε μονοπάτι που ξεκινά από την αρχική κατάσταση, π.χ. 13 (iii) a U (X b) 1. Μονοπάτι που ικανοποιεί την ιδιότητα: Η δομή ικανοποιεί την ιδιότητα. Το Χb ικανοποιείται για όλα τα μονοπάτια που ξεκινούν από την κατάσταση 1 και προχωρούν προς τις καταστάσεις 2 και 4. Τα μονοπάτια που ξεκινούν από την κατάσταση 1 και προχωρούν προς την κατάσταση 3 ικανοποιούν a, στην κατάσταση 1 και Χb στην κατάσταση 3. (iv) a U [ X a X b ] 1. Μονοπάτι που ικανοποιεί την ιδιότητα: Η δομή ικανοποιεί την ιδιότητα. Ισχύει, αφού ισχύει και η ιδιότητα (iii). Το στο δεξί μέλος του U δεν περιορίζει τα μονοπάτια στα οποία ικανοποιείται η ιδιότητα (iii), αλλά αντίθετα τα αυξάνει. (v) X a G (a b) 1. Μονοπάτι που ικανοποιεί την ιδιότητα: Η δομή ικανοποιεί την ιδιότητα. Για μονοπάτια που ξεκινούν από την αρχική και ακολουθούν οι καταστάσεις 2 ισχύει το X a. Για τα μονοπάτια που ξεκινούν από την αρχική και ακολουθεί η κατάσταση 3 ή 4 ισχύει το G (a b) αφού αυτό δεν ικανοποιείται μόνο στην κατάσταση 2 η οποία δεν είναι προσβάσιμη από κανένα μονοπάτι που περνά από την κατάσταση 3. (vi) G b X (a b) 1. Μονοπάτι που ικανοποιεί την ιδιότητα: Η δομή ικανοποιεί την ιδιότητα αφού σε κανένα μονοπάτι δεν ικανοποιείται το G b. Άσκηση 3 Για κάθε μια από τις πιο κάτω προτάσεις να αποφασίσετε αν υπάρχει δομή Kripke στην οποία να ικανοποιείται, αιτιολογώντας τις απαντήσεις σας. (i) [q U (p q)] G p {p} { } Λύσεις Σειράς Προβλημάτων 4 Χειμερινό Εξάμηνο 2014 Σελίδα 2
3 Θα δείξουμε ότι η πρόταση είναι ταυτολογία. Έστω δομή Μ με αρχική κατάσταση s και w μονοπάτι που ξεκινά από την κατάσταση αυτή. Τότε έχουμε τα εξής: w [q U (p q)] G p αν και μόνο αν εφόσον w [q U (p q)] τότε w G p αν και μόνο αν εφόσον k τ.ω. w k p q και j τ.ω. 0 j <k w j q τότε όχι [ i w i p ] αν και μόνο αν εφόσον k τ.ω. w k p και w k q και j τ.ω. 0 j<k,w j q τότε I, i=k και w i p αν και μόνο αν true (ii) F (p U q) (F p F q) Υπάρχει δομή που ικανοποιεί την πρόταση, αλλά η πρόταση δεν ικανοποιείται σε όλες τις δομές. {p} {q} Δομή που δεν ικανοποιεί την πρόταση: {q} { } (iii) G F p [G (p F p)] {p} { } Θα δείξουμε ότι η πρόταση είναι ταυτολογία Έστω δομή Μ με αρχική κατάσταση s και w μονοπάτι που ξεκινά από την κατάσταση αυτή. Τότε έχουμε τα εξής: w G F p [G (p F p)] αν και μόνο αν εφόσον w G F p τότε w G (p F p) αν και μόνο αν εφόσον k ισχύει ότι w k F p τότε k ισχύει ότι αν w k p τότε w k F p αν και μόνο αν true (iv) φ G (φ Χ φ) (φ U Χ φ) Λύσεις Σειράς Προβλημάτων 4 Χειμερινό Εξάμηνο 2014 Σελίδα 3
4 Υπάρχει δομή που ικανοποιεί την πρόταση, αλλά η πρόταση δεν ικανοποιείται σε όλες τις δομές. Δομή που δεν ικανοποιεί την πρόταση: {ψ} Άσκηση 4 Δύο ιδιότητες φ και ψ είναι ισοδύναμες μεταξύ τους, φ ψ, αν, για κάθε δομή Kripke M, M φ αν και μόνο αν M ψ. Να αποφασίσετε ποια από τα πιο κάτω ζεύγη προτάσεων περιέχουν ισοδύναμες προτάσεις. Αν δύο προτάσεις είναι ισοδύναμες να δώσετε απόδειξη χρησιμοποιώντας τη σημασιολογία, διαφορετικά να παρουσιάσετε δομή Kripke στην οποία να ικανοποιείται η μία ιδιότητα αλλά όχι η άλλη. (α) Α(φ U ψ) Ε(φ U ψ) Οι ιδιότητες δεν είναι ισοδύναμες. Στο πιο κάτω αντιπαράδειγμα ικανοποιείται το δεξί μέλος αλλά όχι το αριστερό. {ψ} (β) Α (φ U ψ) (ψ ΑG φ) E (ψ U φ) ΕF φ Οι ιδιότητες δεν είναι ισοδύναμες. Στο πιο κάτω αντιπαράδειγμα ικανοποιείται το αριστερό μέλος αλλά όχι το δεξί. {ψ} (γ) A(φ U (ψ AG φ)) AF ψ EF φ Οι ιδιότητες είναι ισοδύναμες. Θα δείξουμε ότι για κάθε δομή Kripke M με αρχική κατάσταση s, M,s A(φ U (ψ AG φ)) αν και μόνο αν M,s AF ψ EF φ M,s A(φ U (ψ AG φ)) για κάθε μονοπάτι w που ξεκινά από την s, ισχύει ότι M,w φ U (ψ AG φ) Λύσεις Σειράς Προβλημάτων 4 Χειμερινό Εξάμηνο 2014 Σελίδα 4
5 για κάθε μονοπάτι w που ξεκινά από την s, ισχύει ότι k τέτοιο ώστε M,w k ψ AG φ και i, 0 i k έχουμε ότι M,w i φ για κάθε μονοπάτι w που ξεκινά από την s, ισχύει ότι k τέτοιο ώστε M,w k ψ και M,w k AG φ και i, 0 i k έχουμε ότι M,w i φ για κάθε μονοπάτι w που ξεκινά από την s, ισχύει ότι k τέτοιο ώστε M,w k ψ και για κάθε μονοπάτι w που ξεκινά από την s, ισχύει ότι k τέτοιο ώστε M,w k AG φ και i, 0 i k έχουμε ότι M,w i φ για κάθε μονοπάτι w που ξεκινά από την s, ισχύει ότι k τέτοιο ώστε για κάθε μονοπάτι w που ξεκινά από την w k έχουμε ότι M, w G φ και i, 0 i k έχουμε ότι M,w i φ για κάθε μονοπάτι w που ξεκινά από την s, ισχύει ότι k τέτοιο ώστε για κάθε μονοπάτι w που ξεκινά από την w k και για κάθε κατάσταση s του μονοπατιού έχουμε ότι M, s φ και i, 0 i k έχουμε ότι M,w i φ για κάθε μονοπάτι w που ξεκινά από την s και για κάθε κατάσταση s του μονοπατιού έχουμε ότι M, s φ δεν υπάρχει μονοπάτι w που ξεκινά από την s και κατάσταση s του μονοπατιού τέτοια ώστε M, s φ M,s EF φ Άσκηση 5 Θεωρήστε την ακόλουθη δομή Kripke και αποφασίστε σε ποιες από τις καταστάσεις της δομής ικανοποιείται κάθε μια από τις CTL ιδιότητες που ακολουθούν. Να εξηγήσετε τις απαντήσεις σας χρησιμοποιώντας τον αλγόριθμο μοντελοελέγχου της CTL. 2 {b,d} {a,b} 1 3 {a} 4 {a,} (i) AG EF Ε(b U d) Αρχικά μετατρέπουμε την πρόταση σε μια ισοδύναμη η οποία αποτελείται μόνο από τελεστές του επαρκούς συνόλου. Στη συνέχεια δημιουργούμε το δέντρο που αντιστοιχεί Λύσεις Σειράς Προβλημάτων 4 Χειμερινό Εξάμηνο 2014 Σελίδα 5
6 στην πρόταση και ξεκινώντας από τα φύλλα υπολογίζουμε τις καταστάσεις που ικανοποιούν κάθε υπο ιδιότητα μέχρι να φτάσουμε στη ρίζα του δέντρου. AG EF Ε(b U d) AG Ε (true U E(b U d)) EF Ε (true U E(b U d)) E (true U Ε (true U E(b U d))) {1,2,3,4} EU {} true {1,2,3,4} {} EU {1,2,3,4} true {1,2,3,4} EU {1,2} b {1,2} d {2} Επομένως η ιδιότητα ικανοποιείται σε όλες τις καταστάσεις. (ii) EX [ E(b U a) EF ] [Α(a U ) AX EG b] Αρχικά μετατρέπουμε την πρόταση σε μια ισοδύναμη η οποία αποτελείται μόνο από τελεστές του επαρκούς συνόλου. Στη συνέχεια δημιουργούμε το δέντρο που αντιστοιχεί στην πρόταση και ξεκινώντας από τα φύλλα υπολογίζουμε τις καταστάσεις που ικανοποιούν κάθε υπο ιδιότητα μέχρι να φτάσουμε στη ρίζα του δέντρου. EX [E(b U a) EF ] [A(a U ) AX EG b] EX [E(b U a) EF ] [A(a U ) AX EG b] EX [E(b U a) E(true U )] [A(a U ) AX (AF b)] EX [E(b U a) E(true U )] [A(a U ) EX (AF b)] EX [E(b U a) E(true U )] [ (E[ U (a )] EG) EX AF b] EX [E(b U a) E(true U )] [ (E[ U (a )] AF ) EX AF b] Λύσεις Σειράς Προβλημάτων 4 Χειμερινό Εξάμηνο 2014 Σελίδα 6
7 {2,4} {1,2,3,4} EX {2,4} {2} {1,2,3,4} {1,3,4} EU 4 {1,2,3} {2} EX {1,3,4} {1,3,4} EU b a true {1,2,3,4} EU {1,2,3} {1,2,3} ΑF AF {3,4} {1,2} {1,3,4} {1,2,3} {2} {2} {1,2,3} {3,4} b {1,2} a {1,3,4} Λύσεις Σειράς Προβλημάτων 4 Χειμερινό Εξάμηνο 2014 Σελίδα 7
Σειρά Προβλημάτων 4 Λύσεις
Σειρά Προβλημάτων 4 Λύσεις Άσκηση 1 Θεωρήστε την ακόλουθη δομή Kripke. {entry} 0 1 {active} 2 {active, request} 3 {active, response} Να διατυπώσετε τις πιο κάτω προτάσεις στην LTL (αν αυτό είναι εφικτό)
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Ημερομηνία Παράδοσης: 13/11/13
Σειρά Προβλημάτων 4 Ημερομηνία Παράδοσης: 13/11/13 Άσκηση 1 (20 μονάδες) Οι ιδιότητες διατυπώνοντας στην PLTL ως εξής: (α) Αν ο καταχωρητής Κ 1 κάποια στιγμή πάρει την τιμή 1 θα διατηρήσει την τιμή αυτή
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 4
Άσκηση 1 Λύσεις Σειράς Ασκήσεων 4 Θεωρήστε το σύνολο των ατομικών προτάσεων ΑΡ = {α, π, ε} που αντιστοιχούν στις ενέργειες αποστολής μηνύματος, παραλαβής μηνύματος και επιστροφής αποτελέσματος που εκτελούνται
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 4
Άσκηση 1 Λύσεις Σειράς Ασκήσεων 4 i. FG φ GF ψ G (φ U (ψ φ)) Έστω δομή Μ και w κάποιο μονοπάτι της δομής. Θα δείξουμε ότι w FG φ GF ψ αν και μόνο αν w G (φ U (ψ φ)) Ξεκινώντας με το αριστερό σκέλος έχουμε:
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 1 Λύσεις (α) Χρησιμοποιούμε τις επιπλέον μεταβλητές PC 1, PC 2, (program counters) οι οποίες παίρνουν ως τιμές ονόματα των γραμμών του κώδικα όπως φαίνεται πιο κάτω. bool y 1
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 4
Άσκηση 0 (25 μονάδες) Λύσεις Σειράς Ασκήσεων 4 (α) Θεωρήστε το πιο κάτω πρόγραμμα λογικού προγραμματισμού και χρησιμοποιήστε τη μέθοδο της SLD επίλυσης για να φθάσετε σε διάψευση του στόχου. concat([],
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 1 Λύσεις (α) Χρησιμοποιούμε τις επιπλέον μεταβλητές PC i, (program counters) οι οποίες παίρνουν ως τιμές ονόματα των γραμμών του κώδικα όπως φαίνεται πιο κάτω. Process P i :
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
ΕΠΛ664: Ανάλυση και Επαλθευση Συστημάτων Τμμα Πληροφορικς Άσκηση 1 Σειρά Προβλημάτων 1 Λύσεις (α) Χρησιμοποιούμε τις επιπλέον μεταβλητές PC0, PC1, (program counters) οι οποίες παίρνουν ως τιμές ονόματα
Διαβάστε περισσότερα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 CTL* ΕΠΛ 412 Λογική στην Πληροφορική 8-1 Αλγόριθμος Μοντελο-ελέγχου Πως μπορούμε
Διαβάστε περισσότεραΑσκήσεις Επανάληψης Λύσεις
Άσκηση 1 Ασκήσεις Επανάληψης Λύσεις (α) Το επακόλουθο (A (B C)) ((A C) (A B)) είναι ψευδές. Αυτό φαίνεται στην ανάθεση τιμών [Α] = Τ, [Β] = F, [C] = T. (β) Ακολουθεί η απόδειξη του επακόλουθου. 1. x(p(x)
Διαβάστε περισσότεραCTL - Λογική Δένδρου Υπολογισμού
CTL - Λογική Δένδρου Υπολογισμού Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Διακλαδωμένες Χρονικές λογικές CTL σύνταξη και ερμηνεία Έλεγχος μοντέλου για τη CTL Σύγκριση των PLTL και CTL Δικαιοσύνη
Διαβάστε περισσότεραΓραμμική και διακλαδωμένη χρονική λογική
CTL - Λογική Δένδρου Υπολογισμού Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Διακλαδωμένες Χρονικές λογικές CTL σύνταξη και ερμηνεία Έλεγχος μοντέλου για τη CTL Σύγκριση των PLTL και CTL Δικαιοσύνη
Διαβάστε περισσότεραΑσκήσεις Επανάληψης Λύσεις
Άσκηση 1 Ασκήσεις Επανάληψης Λύσεις (α) Το επακόλουθο (A (B C)) ((A C) (A B)) είναι ψευδές. Αυτό φαίνεται στην ανάθεση τιμών [Α] = Τ, [Β] = F, [C] = T. (β) Ακολουθεί η απόδειξη του επακόλουθου. 1. x(p(x)
Διαβάστε περισσότεραΣειρά Προβλημάτων 3 Ημερομηνία Παράδοσης: 04/04/16
ΜΕΡΟΣ Α Άσκηση 1 Σειρά Προβλημάτων 3 Ημερομηνία Παράδοσης: 04/04/16 Δύο ιδιότητες φ και ψ είναι ισοδύναμες μεταξύ τους, φ ψ, αν, για κάθε δομή Kripke M, M φ αν και μόνο αν M ψ. Να αποφασίσετε ποια από
Διαβάστε περισσότεραΕΠΑΝΑΛΗΠΤΙΚΕΣ ΑΣΚΗΣΕΙΣ ΣΤΗ CTL/LTL
ΕΠΑΝΑΛΗΠΤΙΚΕΣ ΑΣΚΗΣΕΙΣ ΣΤΗ CTL/LTL ΑΣΚΗΣΗ 1 Θεωρήστε το μοντέλο Μ ενός συστήματος που δίνεται από το αυτόματο του σχήματος p, q s 0 s 1 s 2 q, και το (άπειρο) δέντρο του σχήματος s0 p, q s1 q, s0 p, q
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 664: Ανάλυση και Επαλήθευση Συστημάτων ΕΝΔΙΑΜΕΣΗ ΕΞΕΤΑΣΗ ΗΜΕΡΟΜΗΝΙΑ : Πέμπτη, 21 Μαρτίου 2013 ΔΙΑΡΚΕΙΑ : 14:00 16:00 ΔΙΔΑΣΚΟΥΣΑ : Άννα Φιλίππου Ονοματεπώνυμο:
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 1 Λύσεις (α) Χρησιμοποιούμε τις επιπλέον μεταβλητές PC 0, PC 1, (program counters) οι οποίες παίρνουν ως τιμές ονόματα των γραμμών του κώδικα όπως φαίνεται πιο κάτω. P[0] P[1]
Διαβάστε περισσότεραΑσκήσεις Επανάληψης Λύσεις
Άσκηση 1 Ασκήσεις Επανάληψης Λύσεις (α) Κανένα πιρούνι δεν χρησιμοποιείται ποτέ από περισσότερους από ένα φιλόσοφους. ΑG [ (l 0 r 2) (l 1 r 0) (l 2 r 1) (β) Ο φιλόσοφος i θα φάει τουλάχιστον μια φορά.
Διαβάστε περισσότεραΆλγεβρες ιεργασιών και Τροπικές Λογικές
Άλγεβρες ιεργασιών και Τροπικές Λογικές Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Οι λογικές HML και WHML Ο λογικός χαρακτηρισµός των ~ και Η λογική CTL- ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστηµάτων
Διαβάστε περισσότεραΣτην ενότητα αυτή θα μελετηθούν τα εξής θέματα:
Χρονικά αυτόματα Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Συστήματα πραγματικού Χρόνου Διακριτός και συνεχής χρόνος Χρονικά αυτόματα Χρονική CTL ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 7-1 Συστήματα
Διαβάστε περισσότεραΣτην ενότητα αυτή θα µελετηθούν τα εξής θέµατα:
Χρονικά αυτόµατα Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Συστήµατα πραγµατικού Χρόνου ιακριτός και συνεχής χρόνος Χρονικά αυτόµατα Χρονική CTL ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστηµάτων 12-1 Συστήµατα
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Σειρά Προβλημάτων 1 Λύσεις Άσκηση 1 Να διατυπώσετε τον πιο κάτω συλλογισμό στον Προτασιακό Λογισμό και να τον αποδείξετε χρησιμοποιώντας τη Μέθοδο της Επίλυσης. Δηλαδή, να δείξετε ότι αν ισχύουν οι πέντε
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις Να αποφασίσετε κατά πόσο οι πιο κάτω προδιαγραφές είναι ορθές σύμφωνα με την έννοια της μερικής ορθότητας και την έννοια της ολικής ορθότητας. Να αιτιολογήσετε σύντομα
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 1
Λύσεις Σειράς Ασκήσεων 1 Άσκηση 1 Έστω οι προτάσεις / προϋπόθεσεις: Π1. Σε όσους αρέσει η τέχνη αρέσουν και τα λουλούδια. Π2. Σε όσους αρέσει το τρέξιμο αρέσει και η μουσική. Π3. Σε όσους δεν αρέσει η
Διαβάστε περισσότεραΑυτοματοποιημένη Επαλήθευση
Αυτοματοποιημένη Επαλήθευση Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Έλεγχος Μοντέλου Αλγόριθμοι γράφων Αλγόριθμοι αυτομάτων Αυτόματα ως προδιαγραφές ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 4-1
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Σειρά Προβλημάτων 4 Λύσεις Άσκηση Θεωρήστε τις πιο κάτω διεργασίες: A....A B....B.... P ( A B \{ P ( A A \{,,, },,, } (α Να κτίσετε τα συστήματα μεταβάσεων που αντιστοιχούν στις διεργασίες P, Ρ. Ακολουθούν
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 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 Λύσεις Σειράς Ασκήσεων 2 Ακολουθεί η διατύπωση των προτάσεων στον Κατηγορηματικό Λογισμό. (α) Δεν υπάρχουν δύο διαφορετικές πτήσεις με τον ίδιο αριθμό. x 1, d 1, a 1, s 1, t 1, x 2, d 2, a 2,
Διαβάστε περισσότεραΛύσεις 2 ης Σειράς Ασκήσεων
Λύσεις 2 ης Σειράς Ασκήσεων Άσκηση 1 Στην άσκηση αυτή σας ζητείται να διατυπώσετε στον Κατηγορηματικό Λογισμό ένα σύνολο από απαιτήσεις/προτάσεις που σχετίζονται με ένα κοινωνικό δίκτυο χρησιμοποιώντας
Διαβάστε περισσότεραΛύσεις 1 ης Σειράς Ασκήσεων
Λύσεις 1 ης Σειράς Ασκήσεων Άσκηση 1 Έστω οι ατομικές προτάσεις A 1 = H Αντιγόνη κέρδισε τον αγώνα, A 3 = H Αντιγόνη πήρε την τρίτη θέση, Β 2 = Ο Βίκτορας πήρε την δεύτερη θέση, Γ 3 = Ο Γιάννης πήρε την
Διαβάστε περισσότεραΗ ΕΝΝΟΙΑ ΤΗΣ ΠΑΡΑΓΩΓΟΥ. (ii) f (x) = π. f (x)
I Παράγωγος συνάρτησης σε σηµείο Η ΕΝΝΟΙΑ ΤΗΣ ΠΑΡΑΓΩΓΟΥ Να βρείτε ( αν υπάρχει ) την παράγωγο της συνάρτησης f στο σηµείο (i) f () = +, = (ii) f () =, = (iii) f () = + 6, = (iv) f () = συν, = Να βρείτε
Διαβάστε περισσότεραΣειρά Προβλημάτων 3 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 3 Λύσεις Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) { a m b n c p m,n,p 0 και είτε m + n = p είτε m = n + p } (β) { xx rev yy rev x, y {a,b}
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 2
Λύσεις Σειράς Ασκήσεων 2 Άσκηση 1 N φιλόσοφοι κάθονται γύρω από ένα τραπέζι με N καρέκλες, N πιάτα και N πιρούνια. Όταν κάποιος φιλόσοφος πεινάσει παίρνει τα δύο πιρούνια που βρίσκονται δίπλα από το πιάτο
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Σειρά Προβλημάτων 1 Λύσεις Άσκηση 1 O πιο κάτω συλλογισμός (αποτελεί μικρή παραλλαγή συλλογισμού που) αποδίδεται στον Samuel Clarke και προέρχεται από την εργασία του Demonstration of the Being and Attributes
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 (15 μονάδες) Σειρά Προβλημάτων 5 Λύσεις Να δώσετε προδιαγραφές (τριάδες Hoare) για τα πιο κάτω προγράμματα: (α) Ένα πρόγραμμα το οποίο παίρνει ως δεδομένο εισόδου δύο πίνακες Α και Β και ελέγχει
Διαβάστε περισσότερα9. Κόκκινα-Μαύρα Δέντρα
Πανεπιστήμιο Πειραιώς Σχολή Τεχνολογιών Πληροφορικής και Επικοινωνιών Τμήμα Ψηφιακών Συστημάτων 9. Κόκκινα-Μαύρα Δέντρα 2 ομές εδομένων 4 5 Χρήστος ουλκερίδης Τμήμα Ψηφιακών Συστημάτων 9/12/2016 Δέντρα,
Διαβάστε περισσότεραPROJECT ΣΤΟ ΜΑΘΗΜΑ ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΕΥΡΕΤΙΚΕΣ ΜΕΘΟ ΟΥΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ ΠΟΛΥΤΕΧΝΙΚΗ ΣΧΟΛΗ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ Η/Υ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ PROJECT ΣΤΟ ΜΑΘΗΜΑ ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΕΥΡΕΤΙΚΕΣ ΜΕΘΟ ΟΥΣ ΜΕΡΟΣ ΠΡΩΤΟ Πολίτη Όλγα Α.Μ. 4528 Εξάµηνο 8ο Υπεύθυνος Καθηγητής Λυκοθανάσης
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 3Β
ΕΠΛ 412 Λογική στην Πληροφορική Χειμερινό Εξάμηνο 2012 Άσκηση 1 Λύσεις Σειράς Ασκήσεων 3Β i. Ανά πάσα στιγμή ο εκτυπωτής χρησιμοποιείται από το πολύ ένα χρήστη. G ( Αλίκη.χρήση Βαγγέλης.χρήση) ii. iii.
Διαβάστε περισσότεραΠΡΟΔΙΑΓΡΑΦΗ ΙΔΙΟΤΗΤΩΝ ΜΕ ΧΡΟΝΙΚΗ ΛΟΓΙΚΗ Ι
ΠΡΟΔΙΑΓΡΑΦΗ ΙΔΙΟΤΗΤΩΝ ΜΕ ΧΡΟΝΙΚΗ ΛΟΓΙΚΗ Ι Ιδιότητες προσεγγισιμότητας (reachability properties): αναφέρονται στο ενδεχόμενο προσέγγισης μιας συγκεκριμένης κατάστασης. Ιδιότητες ασφαλείας (safety properties):
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ : Λογική στην Πληροφορική Δείγμα Ενδιάμεσης Εξέτασης Σκελετοί Λύσεων Άσκηση [0 μονάδες] α Να αναφέρετε τρεις μεθόδους μέσω των οποίων μπορούμε να αποφασίσουμε
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα { w#z w, z {a,b}* και η z είναι υπολέξη της w}. Συγκεκριμένα,
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα { ww w {a,b}* }. (β) Να διατυπώσετε την τυπική περιγραφή
Διαβάστε περισσότεραΣειρά Προβλημάτων 3 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 3 Λύσεις Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) { w {(, )} * οι παρενθέσεις στην w είναι ισοζυγισμένες } (β) { a k b m c 2m a k k > 0,
Διαβάστε περισσότεραΕΕΓΔ Οδηγίες προς τους μαθητές για τη χρήση του λογισμικού εξέτασης (EL)
ΕΕΓΔ Οδηγίες προς τους μαθητές για τη χρήση του λογισμικού εξέτασης (EL) Πίνακας Περιεχομένων 1 ΕΙΣΑΓΩΓΗ 3 2 ΣΥΜΠΛΗΡΩΝΟΝΤΑΣ ΤΑ ΤΕΣΤ 3 2.1 Η σύνδεση με το σύστημα (log-in) 3 2.2 Έλεγχος του ήχου για το
Διαβάστε περισσότεραΑσκήσεις μελέτης της 8 ης διάλεξης
Οικονομικό Πανεπιστήμιο Αθηνών, Τμήμα Πληροφορικής Μάθημα: Τεχνητή Νοημοσύνη, 2017 18 Διδάσκων: Ι. Ανδρουτσόπουλος Ασκήσεις μελέτης της 8 ης διάλεξης 8.1. (i) Έστω ότι α και β είναι δύο τύποι της προτασιακής
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Σειρά Προβλημάτων 1 Λύσεις Άσκηση 1 Σκοπεύετε να διοργανώσετε ένα πάρτι για τους συμφοιτητές σας κάτω από τους πιο κάτω περιορισμούς. Π1. Η Μαίρη δεν μπορεί να έρθει. Π2. Ο Ηλίας και η Αντιγόνη είτε θα
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) ({ G η G είναι μια ασυμφραστική γραμματική που δεν παράγει καμιά λέξη με μήκος μικρότερο του 2 } (β) { Μ,w
Διαβάστε περισσότερα1 (6) 9 (6) 2 (3) 10 (9) 3 (6) 11 (6) 4 (8) 12 (6) 5 (6) 13 (8) 6 (5) 14 (6) 7 (6) 15 (11) 8 (8)
Πανεπιστήμιο Κύπρου Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών ΗΜΥ 311: Διακριτη Αναλυση και Δομες Χειμερινό Εξάμηνο 2015-2016 Καθηγητής: Χριστόφορος Χατζηκωστής Τελική Εξέταση Τρίτη, 22 Δεκεμβρίου,
Διαβάστε περισσότεραΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 7: ΣΥΝΕΠΕΙΕΣ ΘΕΩΡΗΜΑΤΟΣ ΜΕΣΗΣ ΤΙΜΗΣ
ΚΕΦΑΛΑΙΟ 3ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 7: ΣΥΝΕΠΕΙΕΣ ΘΕΩΡΗΜΑΤΟΣ ΜΕΣΗΣ ΤΙΜΗΣ [Κεφ..6: Συνέπειες του Θεωρήματος της Μέσης Τιμής πλην της Ενότητας Μονοτονία Συνάρτησης του σχολικού βιβλίου]. ΠΑΡΑΔΕΙΓΜΑΤΑ
Διαβάστε περισσότεραΣειρά Προβλημάτων 3 Λύσεις
Σειρά Προβλημάτων 3 Λύσεις Άσκηση 1 Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) {0 n 1 n n > 0} {0 n 1 2n n > 0} (β) {w {a,b} * η w ξεκινά και τελειώνει με το ίδιο σύμβολο
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Πιο κάτω υπάρχει ένα σχεδιάγραμμα που τοποθετεί τις κλάσεις των κανονικών, ασυμφραστικών, διαγνώσιμων και αναγνωρίσιμων γλωσσών μέσα στο σύνολο όλων των γλωσσών. Ακολουθούν
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Δημήτρης Πλεξουσάκης 2ο μέρος σημειώσεων: Συστήματα Αποδείξεων για τον ΠΛ, Μορφολογική Παραγωγή, Κατασκευή Μοντέλων Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης
Διαβάστε περισσότεραΟΜΟΣΠΟΝΔΙΑ ΕΚΠΑΙΔΕΥΤΙΚΩΝ ΦΡΟΝΤΙΣΤΩΝ ΕΛΛΑΔΟΣ (Ο.Ε.Φ.Ε.) ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ 2018 A ΦΑΣΗ
ΤΑΞΗ: Γ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΣ: ΘΕΤΙΚΩΝ ΣΠΟΥΔΩΝ / ΣΠΟΥΔΩΝ ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΜΑΘΗΜΑ: ΜΑΘΗΜΑΤΙΚΑ Ημερομηνία: Σάββατο 13 Ιανουαρίου 18 Διάρκεια Εξέτασης: 3 ώρες ΘΕΜΑ Α ΑΠΑΝΤΗΣΕΙΣ Α1. Απόδειξη
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { R η R είναι μια κανονική έκφραση η οποία παράγει μια μη πεπερασμένη γλώσσα} (β) { G η G είναι μια CFG η οποία
Διαβάστε περισσότεραΠανεπιστήμιο Κρήτης Τμήμα Επιστήμης Υπολογιστών. Σχεσιακός Λογισμός
Σχεσιακός Λογισμός Γλώσσα βασισμένη στον Κατηγορηματικό Λογισμό 1 ης Τάξης (First Order Predicate Calculus) Οι περισσότερες γλώσσες επερώτησης σχεσιακών βάσεων δεδομένων βασίζονται στον Σχεσιακό Λογισμό
Διαβάστε περισσότεραΧΡΟΝΙΚΗ ΛΟΓΙΚΗ Ι ΤΥΠΙΚΕΣ ΜΕΘΟΔΟΙ ΑΝΑΛΥΣΗΣ ΣΥΣΤΗΜΑΤΩΝ ΤΜ. ΠΛΗΡΟΦΟΡΙΚΗΣ Α.Π.Θ. ΔΙΔΑΣΚΩΝ: Π. ΚΑΤΣΑΡΟΣ. 29 Ιουνίου 2007 ΔΙΑΦΑΝΕΙΑ 1
ΧΡΟΝΙΚΗ ΛΟΓΙΚΗ Ι ΗλογικήCTL* (Computation Tree Logic) χρησιμοποιείται από εργαλεία ελέγχου μοντέλων για την τυπική περιγραφή ιδιοτήτων καταστάσεων που αναφέρονται στις εκτελέσεις ενός συστήματος. Χρησιμοποιεί
Διαβάστε περισσότεραΑΡΙΘΜΗΤΙΚΗ ΑΝΑΛΥΣΗ, , 3 Ο ΕΞΑΜΗΝΟ ΑΠΑΝΤΗΣΕΙΣ ΕΡΓΑΣΙΑΣ #4: ΟΛΟΚΛΗΡΩΣΗ ΕΠΙΜΕΛΕΙΑ: Σ. Μισδανίτης. με το πολυώνυμο παρεμβολής Lagrange 2 ης τάξης
ΑΡΙΘΜΗΤΙΚΗ ΑΝΑΛΥΣΗ, 6-7, 3 Ο ΕΞΑΜΗΝΟ ΑΠΑΝΤΗΣΕΙΣ ΕΡΓΑΣΙΑΣ #: ΟΛΟΚΛΗΡΩΣΗ ΕΠΙΜΕΛΕΙΑ: Σ. Μισδανίτης. Διατυπώστε τον 1 ο κανόνα ολοκλήρωσης Smpson b f ( xdx ) ( 1 3 f f f ) a, αντικαθιστώντας τη συνάρτηση f
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα { w w = (ab) 2m b m (ba) m, m 0 } (β) Να διατυπώσετε
Διαβάστε περισσότεραRed-black δέντρα (Κεφ. 5)
Red-black δέντρα (Κεφ. ) Δομές Δεδομένων Παπαγιαννόπουλος Δημήτριος 30 Μαρτίου 07 30 Μαρτίου 07 papagianno@ceid.upatras.gr . Εισαγωγή Περιεχόμενα. Ορισμός red-black δέντρων 3. Αναζήτηση σε red-black δέντρα
Διαβάστε περισσότεραHY 180 Λογική Διδάσκων: Δ. Πλεξουσάκης Φροντιστήριο 5
HY 180 Λογική Διδάσκων: Δ. Πλεξουσάκης Φροντιστήριο 5 Α) ΘΕΩΡΙΑ Η Μορφολογική Παραγωγή ανήκει στα συστήματα παραγωγής, δηλαδή σε αυτά που παράγουν το συμπέρασμα με χρήση συντακτικών κανόνων λογισμού. Η
Διαβάστε περισσότεραΣειρά Προβλημάτων 3 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 3 Λύσεις Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) { x x η τιμή της αριθμητικής έκφρασης 10 2n + 10 n + 1, n 1} (β) { a i b j c k d m i, j,
Διαβάστε περισσότεραΑπειροστικός Λογισμός Ι, χειμερινό εξάμηνο Λύσεις ένατου φυλλαδίου ασκήσεων.
Απειροστικός Λογισμός Ι, χειμερινό εξάμηνο 018-19. Λύσεις ένατου φυλλαδίου ασκήσεων. 1. Έστω a < b. Αποδείξτε ότι υπάρχει ξ ώστε (i) a < ξ < b και e b e a = (b a)e ξ. (ii) a < ξ < b και cos b cos a = (e
Διαβάστε περισσότερα2742/ 207/ /07.10.1999 «&»
2742/ 207/ /07.10.1999 «&» 1,,,. 2 1. :.,,,..,..,,. 2., :.,....,, ,,..,,..,,,,,..,,,,,..,,,,,,..,,......,,. 3., 1. ' 3 1.., : 1. T,, 2., 3. 2 4. 5. 6. 7. 8. 9..,,,,,,,,, 1 14. 2190/1994 ( 28 ),,..,, 4.,,,,
Διαβάστε περισσότερα) = 0. Λύσεις/Ρίζες της εξίσωσης. Ακριβώς δύο άνισες πραγματικές λύσεις, τις: Η εξίσωση δεν έχει πραγματικές λύσεις
4. Εξισώσεις 2ου βαθμού αx 2 + βx + γ = 0, α 0 α, β, γ παράμετροι και x η μεταβλητή Αν ρ ρίζα/λύση της εξίσωσης, τότε αρ 2 + βρ + γ = 0 Αν ρ 1, ρ 2 ρίζες/λύσεις της εξίσωσης, τότε το τριώνυμο γράφεται
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { D το D είναι ένα DFA το οποίο αποδέχεται όλες τις λέξεις στο Σ * } (α) Για να διαγνώσουμε το πρόβλημα μπορούμε
Διαβάστε περισσότεραΦροντιστήριο 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
Διαβάστε περισσότεραx (a 1 + a 2 ) mod 9, y (a 1 a 2 ) mod 9.
Πανεπιστήμιο Κύπρου Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών ΗΜΥ 311: Διακριτη Αναλυση και Δομες Χειμερινό Εξάμηνο 2017-2018 Καθηγητής: Χριστόφορος Χατζηκωστής Τελική Εξέταση Πέμπτη, 14 Δεκεμβρίου,
Διαβάστε περισσότεραRed- black δέντρα Εκτενείς Δομές Δεδομένων (Κεφ. 5)
ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ Η/Υ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ Red- black δέντρα Εκτενείς Δομές Δεδομένων (Κεφ. ) Δομές Δεδομένων Μπαλτάς Αλέξανδρος 4 Μαρτίου 0 ampaltas@ceid.upatras.gr Περιεχόμενα. Εισαγωγή. Ορισμός red- black
Διαβάστε περισσότεραΛΥΜΕΝΕΣ ΑΣΚΗΣΕΙΣ ΣΤΙΣ ΣΥΝΑΡΤΗΣΕΙΣ
ΛΥΜΕΝΕΣ ΑΣΚΗΣΕΙΣ ΣΤΙΣ ΣΥΝΑΡΤΗΣΕΙΣ 1. Να βρείτε το πεδίο ορισμού των συναρτήσεων: 5 3 α) f 3 1 1 γ) f 9 β) f 3 δ) f log 1 4 α) Για να ορίζεται η f() πρέπει και αρκεί 3 3 + (1) Έχουμε: (1) ( 3+), και 1,
Διαβάστε περισσότεραΦροντιστήριο 7 Λύσεις
Άσκηση 1 Θεωρείστε το πιο κάτω αυτόματο στοίβας: Φροντιστήριο 7 Λύσεις (α) Να εξηγήσετε με λόγια ποια γλώσσα αναγνωρίζεται από το αυτόματο. (β) Να δώσετε τον τυπικό ορισμό του αυτομάτου. (γ) Να δείξετε
Διαβάστε περισσότεραΑνανεώσιμη και Καθαρή Ενέργεια
World Robot Olympiad 2017 Κατηγορία Regular Senior Λύκειο Περιγραφή πρόκλησης, κανονισμοί και Βαθμολόγηση Sustainabots [ Ρομπότ για βιωσιμότητα ] Ανανεώσιμη και Καθαρή Ενέργεια Έκδοση: Τελική Έκδοση 15
Διαβάστε περισσότεραα) Πώς παίρνουμε αποφάσεις στην καθημερινή μας ζωή; Συμπληρώσετε τον παρακάτω πίνακα: τότε
1. ΠΕΡΙΓΡΑΦΗ ΚΑΙ ΑΝΑΛΥΣΗ ΦΥΛΛΩΝ ΕΡΓΑΣΙΑΣ (Ή ΚΑΙ ΑΛΛΟΥ ΔΙΔΑΚΤΙΚΟΥ ΥΛΙΚΟΥ) ΑΞΙΟΛΟΓΗΣΗ ΤΩΝ ΜΑΘΗΤΩΝ ΦΥΛΛΟ ΕΡΓΑΣΙΑΣ 1 «Η δομή επιλογής εάν» Δραστηριότητα 1 α) Πώς παίρνουμε αποφάσεις στην καθημερινή μας ζωή;
Διαβάστε περισσότεραΠΑΡΟΡΑΜΑΤΑ ΣΤΟ ΒΙΒΛΙΟ ΤΟΥ Η. ΡΟΥΣΑΛΗ ΜΑΘΗΜΑΤΙΚΑ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΟΜΑΔΩΝ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ. ΤΟ 3ο ΚΑΙ ΤΟ 4ο ΘΕΜΑ (ΕΚΔΟΣΕΙΣ ΠΑΤΑΚΗ)
ΠΑΡΟΡΑΜΑΤΑ ΣΤΟ ΒΙΒΛΙΟ ΤΟΥ Η. ΡΟΥΣΑΛΗ ΜΑΘΗΜΑΤΙΚΑ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΟΜΑΔΩΝ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ ΤΟ ο ΚΑΙ ΤΟ 4ο ΘΕΜΑ (ΕΚΔΟΣΕΙΣ ΠΑΤΑΚΗ) Στις επισυναπτόμενες σελίδες του παραπάνω βιβλίου έχουν γίνει από τον συγγραφέα
Διαβάστε περισσότεραΣημειώσεις Λογικής I. Εαρινό Εξάμηνο Καθηγητής: Λ. Κυρούσης
Σημειώσεις Λογικής I Εαρινό Εξάμηνο 2011-2012 Καθηγητής: Λ. Κυρούσης 2 Τελευταία ενημέρωση 28/3/2012, στις 01:37. Περιεχόμενα 1 Εισαγωγή 5 2 Προτασιακή Λογική 7 2.1 Αναδρομικοί Ορισμοί - Επαγωγικές Αποδείξεις...................
Διαβάστε περισσότεραibemo Kazakhstan Republic of Kazakhstan, West Kazakhstan Oblast, Aksai, Pramzone, BKKS office complex Phone: ; Fax:
Διαβάστε περισσότερα
Αρχεία και Βάσεις Δεδομένων
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Αρχεία και Βάσεις Δεδομένων Διάλεξη 7η: Σχεσιακός Λογισμός Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Σχεσιακός Λογισμός Γλώσσα βασισμένη στον Κατηγορηματικό
Διαβάστε περισσότεραChess Academy Free Lessons Ακαδημία Σκάκι Δωρεάν Μαθήματα. Οι κινήσεις των κομματιών Σκοπός της παρτίδας, το Ματ Πατ Επιμέλεια: Γιάννης Κατσίρης
Οι κινήσεις των κομματιών Σκοπός της παρτίδας, το Ματ Πατ Επιμέλεια: Γιάννης Κατσίρης Παρατήρηση: Μόνο σε αυτό το μάθημα όταν λέμε κομμάτι εννοούμε κομμάτι ή πιόνι και όταν λέμε κομμάτια εννοούμε κομμάτια
Διαβάστε περισσότεραΣειρά Προβλημάτων 2 Λύσεις
Σειρά Προβλημάτων 2 Λύσεις Άσκηση 1 Χρησιμοποιώντας τα πιο κάτω κατηγορήματα και σταθερές και υποθέτωντας ως σύμπαν το σύνολο όλων των ανθρώπων, να διατυπώσετε τις προτάσεις που ακολουθούν στον Κατηγορηματικό
Διαβάστε περισσότεραΦροντιστήριο 8 Λύσεις
Άσκηση 1 Θεωρήστε την πιο κάτω Μηχανή Turing. Φροντιστήριο 8 Λύσεις Σε κάθε σκέλος, να προσδιορίσετε την ακολουθία των φάσεων τις οποίες διατρέχει η μηχανή όταν δέχεται τη διδόμενη λέξη. (α) 11 (β) 1#1
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου
ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου Θέμα 1: a. Δείξτε κατά πόσον η πρόταση ((p q) r) ((p q) (q r)) αποτελεί ή όχι ταυτολογία. Κάποιος ιδιόρρυθμος δικαστής ρωτήθηκε κατά
Διαβάστε περισσότεραΓραμμική Χρονική Λογική (Linear Temporal Logic) (ΗR Κεφάλαιο 3.1 και 3.2)
Γραμμική Χρονική Λογική (Linear Temporal Logic) (ΗR Κεφάλαιο 3.1 και 3.2) Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Επαλήθευση Συστημάτων και Μοντελοέλεγχος Σύνταξη της PLTL Δομές Kripke και Σημασιολογία
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα {w 1w 2 w 1 {0,1} * και w 2 = 0 k 1 m όπου k και m
Διαβάστε περισσότεραΆσκησηη 1. (α) Το αυτόματο. (γ) Να δείξετε όλα aabbb. Λύση. λέξεις. αυτόματο. (β) Τυπικά. μεταβάσεων δ. ορίζεται. (γ) Θα δείξουμε τα.
ΕΠΛ211: : Θεωρία Υπολογισμού και Πολυπλοκότητα Φροντιστήριο 7 Λύσεις Άσκησηη 1 Θεωρήστε το πιο κάτω αυτόματο στοίβας: (α) Να εξηγήσετε με λόγια ποια γλώσσαα αναγνωρίζεται από τοο αυτόματο. (β) Να δώσετε
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ - Τµήµα Εφαρµοσµένων Μαθηµατικών
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ - Τµήµα Εφαρµοσµένων Μαθηµατικών «Γραµµική Άλγεβρα Ι» (ΕΜ111) Χειµερινό Εξάµηνο 2006-2007, ιδάσκων: Ι. Τσαγράκης 5 Ο ΦΥΛΛΑ ΙΟ ΑΣΚΗΣΕΩΝ Άσκηση 1: Έστω V ένας διανυσµατικός χώρος επί
Διαβάστε περισσότεραΦροντιστήριο 2 Λύσεις
Άσκηση Φροντιστήριο 2 Λύσεις Ποια από τα πιο κάτω αυτόματα αποτελούν DFA επί του αλφάβητου {,}. Αιτιολογήστε τις απαντήσεις σας. (i) (ii) (iii) (iv) (v), (vi), (i) Όχι, δεν υπάρχει αρχική κατάσταση. (ii)
Διαβάστε περισσότεραΑΛΓΕΒΡΑ B ΛΥΚΕΙΟΥ. Γενικής Παιδείας ΑΠΑΝΤΗΣΕΙΣ ΛΥΣΕΙΣ ΣΧΟΛΙΚΟΥ ΒΙΒΛΙΟΥ
ΑΛΓΕΒΡΑ B ΛΥΚΕΙΥ Γενικής Παιδείας ΑΠΑΝΤΗΣΕΙΣ ΛΥΣΕΙΣ ΣΧΛΙΚΥ ΒΙΒΛΙΥ Σχολικό βιβλίο: Απαντήσεις Λύσεις Κεφάλαιο ο: Συστήματα Γραμμικά συστήματα Α ΜΑΔΑΣ Έχουμε: = 4 i = 6 = + = + = = Άρα, η λύση του συστήματος
Διαβάστε περισσότεραΚεφάλαιο 3 ΠΑΡΑΓΩΓΟΣ. 3.1 Η έννοια της παραγώγου. y = f(x) f(x 0 ), = f(x 0 + x) f(x 0 )
Κεφάλαιο 3 ΠΑΡΑΓΩΓΟΣ 3.1 Η έννοια της παραγώγου Εστω y = f(x) µία συνάρτηση, που συνδέει τις µεταβλητές ποσότητες x και y. Ενα ερώτηµα που µπορεί να προκύψει καθώς µελετούµε τις δύο αυτές ποσοτήτες είναι
Διαβάστε περισσότεραΦροντιστήριο 8 Λύσεις
Άσκηση 1 Φροντιστήριο 8 Λύσεις Θεωρήστε την πιο κάτω Μηχανή Turing όπου όλες οι μεταβάσεις που απουσιάζουν οδηγούν στην κατάσταση απόρριψης (q απόρριψης). Σε κάθε σκέλος, να προσδιορίσετε την ακολουθία
Διαβάστε περισσότεραΗλεκτρονικοί Υπολογιστές
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΧΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 7: Μη Σειριακή Εκτέλεση Εντολών Συνθήκες και Τελεστές στη C++ Ζαχαρούλα Ανδρεοπούλου Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό
Διαβάστε περισσότεραΦροντιστήριο 2 Λύσεις
ΕΠΛ2: Θεωρία Υπολογισμού και Πολυπλοκότητα Άσκηση Φροντιστήριο 2 Λύσεις Ποια από τα πιο κάτω αυτόματα αποτελούν DFA επί του αλφάβητου {,}. Αιτιολογήστε τις απαντήσεις σας. (i) (ii) (iii) (iv) (v), (vi),
Διαβάστε περισσότερα1 ο Διαγώνισμα Ύλη: Συναρτήσεις μέχρι και τα ακρότατα
Θέμα Α Α1. Θεωρήστε τον παρακάτω ισχυρισμό: 1 ο Διαγώνισμα Ύλη: Συναρτήσεις μέχρι και τα ακρότατα 018-19 «Για κάθε ζεύγος πραγματικών συναρτήσεων,g :, 0 ή g 0» ισχύει ότι g 0 αν και μόνο αν α) Να χαρακτηρίσετε
Διαβάστε περισσότεραParts Manual. Trio Mobile Surgery Platform. Model 1033
Trio Mobile Surgery Platform Model 1033 Parts Manual For parts or technical assistance: Pour pièces de service ou assistance technique : Für Teile oder technische Unterstützung Anruf: Voor delen of technische
Διαβάστε περισσότεραΗλεκτρονικοί Υπολογιστές
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΧΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 4: Αριθμητικές Πράξεις και Κανόνες στη C++ Ζαχαρούλα Ανδρεοπούλου Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες
Διαβάστε περισσότεραΣΩΜΑ ΠΡΟΣΚΟΠΩΝ ΚΥΠΡΟΥ Η ΕΙΚΟΝΑ ΜΑΣ
Υπό την Υψηλή Προστασία του Προέδρου της Κυπριακής Δημοκρατίας Η ΕΙΚΟΝΑ ΜΑΣ Λευκωσία, Ιούνιος 2016 ΕΙΚΟΝΑ ΣΩΜΑΤΟΣ ΠΡΟΣΚΟΠΩΝ ΚΥΠΡΟΥ Με σκοπό τη διασφάλιση ενιαίας ταυτότητας, συνοχής και αναγνωρισιμότητας,
Διαβάστε περισσότεραΘεωρία Γραφημάτων και Εφαρμογές - Διακριτά Μαθηματικά ΙΙ Φεβρουάριος 2017
Θεωρία Γραφημάτων και Εφαρμογές - Διακριτά Μαθηματικά ΙΙ Φεβρουάριος 2017 ΕΓΘΑ : Σ. Κοσμαδάκης, «Εισαγωγή στα Γραφήματα, Θεωρία-Ασκήσεις». Α 1 Έστω η παρακάτω σχέση Q(k) πάνω στο σύνολο {1, 2} όπου k τυχαίος
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Δείγμα Ενδιάμεσης Εξέτασης Λύσεις Άσκηση 1 [30 μονάδες] Να αποδείξετε τα πιο κάτω λογικά επακόλουθα χρησιμοποιώντας τα συστήματα
Διαβάστε περισσότεραΜΑΘΗΜΑΤΙΚΑ Θετικής & Τεχνολογικής Κατεύθυνσης Β ΜΕΡΟΣ (ΑΝΑΛΥΣΗ) ΚΕΦ 1 ο : Όριο Συνέχεια Συνάρτησης
ΜΑΘΗΜΑΤΙΚΑ Θετικής & Τεχνολογικής Κατεύθυνσης Β ΜΕΡΟΣ (ΑΝΑΛΥΣΗ) ΚΕΦ ο : Όριο Συνέχεια Συνάρτησης Φυλλάδιο Φυλλάδι555 4 ο ο.α) ΕΝΝΟΙΑ ΣΥΝΑΡΤΗΣΗΣ - ΓΡΑΦΙΚΗ ΠΑΡΑΣΤΑΣΗ.α) ΕΝΝΟΙΑ ΣΥΝΑΡΤΗΣΗΣ - ΓΡΑΦΙΚΗ ΠΑΡΑΣΤΑΣΗ
Διαβάστε περισσότερα===========================================================================
=========================================================================== Α. (50 µον.) Σας δίνεται ο ακόλουθος γράφος, το οποίο πρέπει να χρωµατίσετε χρησιµοποιώντας 4 χρώµατα (R,G,B,Υ), ώστε δύο γειτονικές
Διαβάστε περισσότεραΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ME ΠΟΛΛΕΣ ΚΑΙ ΕΓΚΑΡΔΙΕΣ ΕΥΧΕΣ ΓΙΑ ΚΑΛΕΣ ΓΙΟΡΤΕΣ, ΥΓΕΙΑ ΚΑΙ ΠΡΟΟΔΟ ΣΕ ΕΣΑΣ ΚΑΙ ΤΙΣ ΟΙΚΟΓΕΝΕΙΕΣ ΣΑΣ Φυλλάδιο 2: Σχεσιακή Λογική ΔΕΚΕΜΒΡΙΟΣ 2006 ΠΑΡΑΔΟΣΗ: 12/11/2006
Διαβάστε περισσότερα