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

Save this PDF as:
 WORD  PNG  TXT  JPG

Μέγεθος: 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

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 Αλγόριθμος Μοντελο-ελέγχου Πως μπορούμε

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Α Ρ Ι Θ Μ Ο Σ : 6.913

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Μονοτονία - Ακρότατα - 1 1 Αντίστροφη Συνάρτηση

Μονοτονία - Ακρότατα - 1 1 Αντίστροφη Συνάρτηση 4 Μονοτονία - Ακρότατα - Αντίστροφη Συνάρτηση Α. ΑΠΑΡΑΙΤΗΤΕΣ ΓΝΩΣΕΙΣ ΘΕΩΡΙΑΣ Μονοτονία συνάρτησης Μια συνάρτηση f λέγεται: Γνησίως αύξουσα σ' ένα διάστημα Δ του πεδίου ορισμού της, όταν για οποιαδήποτε,

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

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

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

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

Γραμμική Χρονική Λογική (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 και Σημασιολογία

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

Σ Υ Ν Α Ρ Τ Η Σ Ε Ι Σ

Σ Υ Ν Α Ρ Τ Η Σ Ε Ι Σ Σ Υ Ν Α Ρ Τ Η Σ Ε Ι Σ. Να βρείτε το πεδίο ορισµού των παρακάτω συναρτήσεων: ( = g( = + 4 h( = t( = 5 φ( = ln σ( = ln(ln p( = ln m( = λ R λ - λ - k( = ln 4 s( = ηµ. Να εξετάσετε αν για τις παραπάνω συναρτήσεις

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

ί α α I. Β α μ α π α μ α μ π φα α υ α υ αμ α ία ( α. μ3) : ία & α μα μα - αμ υ α ) α α Θ π μα α 79 (55) * 107

ί α α I. Β α μ α π α μ α μ π φα α υ α υ αμ α ία ( α. μ3) : ία & α μα μα - αμ υ α ) α α Θ π μα α 79 (55) * 107 / 3 ELECσδOWAσσ 10616000 10% I 1960 3 3 400 1220 1073000 2 εogδeah 1974 3 2 1 1 1966 1739/87 / 1 3 1966 I & 3 : 63 20 43 144 30 114 247 122 125 367 177 20 5 24 5 19 79 55 * 55 107 107 30 15 15 62 32 30

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

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

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

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

Έστω μια συνεχής (και σχετικά ομαλή) συνάρτηση f( x ), x [0, L]

Έστω μια συνεχής (και σχετικά ομαλή) συνάρτηση f( x ), x [0, L] c Σειρές Fourier-Μετασχηματισμός Fourier Έστω μια συνεχής (και σχετικά ομαλή) συνάρτηση f( ) [ ] για την οποία ξέρουμε ότι f() = f( ) =. Μια τέτοια συνάρτηση μπορούμε πάντα να τη γράψουμε : π f( ) = A

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ΣΥΝΘΕΤΑ ΘΕΜΑΤΑ ΜΙΓΑΔΙΚΟΙ ΣΥΝΑΡΤΗΣΕΙΣ

ΣΥΝΘΕΤΑ ΘΕΜΑΤΑ ΜΙΓΑΔΙΚΟΙ ΣΥΝΑΡΤΗΣΕΙΣ ΣΥΝΘΕΤΑ ΘΕΜΑΤΑ ΜΙΓΑΔΙΚΟΙ ΣΥΝΑΡΤΗΣΕΙΣ ΘΕΜΑ Δίνεται η εξίσωση w w + i 0 () και το πολυώνυμο 3 P ( ) + a + β -,, R α) Να λύσετε την εξίσωση () β)αν ο αριθμός w που βρήκατε στο ερώτημα α) είναι ρίζα της εξίσωσης

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

Mαθηματικά Θετικής - Τεχνολογικής Κατεύθυνσης Γ. Λυκείου Ανάλυση Κεφ. 1 ο ΣΥΝΑΡΤΗΣΕΙΣ

Mαθηματικά Θετικής - Τεχνολογικής Κατεύθυνσης Γ. Λυκείου Ανάλυση Κεφ. 1 ο ΣΥΝΑΡΤΗΣΕΙΣ Γ. Λυκείου Ανάλυση Κεφ. ο Γ / ΛΥΚΕΙΟΥ ΜΑΘΗΜΑΤΙΚΑ ΘΕΤΙΚΗΣ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ ΑΝΑΛΥΣΗ ΚΕΦΑΛΑΙΟ Ο ΣΥΝΑΡΤΗΣΕΙΣ ΙΣΟΤΗΤΑ ΣΥΝΑΡΤΗΣΕΩΝ ΣΥΝΘΕΣΗ ΣΥΝΑΡΤΗΣΕΩΝ ΑΝΤΙΣΤΡΟΦΗ ΣΥΝΑΡΤΗΣΗΣ ΟΡΙΟ ΣΥΝΑΡΤΗΣΗΣ ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ

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

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

Ασκήσεις μελέτης της 11 ης διάλεξης Οικονομικό Πανεπιστήμιο Αθηνών, Τμήμα Πληροφορικής Μάθημα: Τεχνητή Νοημοσύνη, 2015 16 Διδάσκων: Ι. Ανδρουτσόπουλος Ασκήσεις μελέτης της 11 ης διάλεξης 11.1 (α) Μετατρέψτε σε κανονική συζευκτική μορφή (CNF)

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

Παράρτηµα Α. Στοιχεία θεωρίας µέτρου και ολοκλήρωσης.

Παράρτηµα Α. Στοιχεία θεωρίας µέτρου και ολοκλήρωσης. Παράρτηµα Α Στοιχεία θεωρίας µέτρου και ολοκλήρωσης Α Χώροι µέτρου Πέραν της «διαισθητικής» περιγραφής του µέτρου «σχετικά απλών» συνόλων στο από το µήκος τους (όπως πχ είναι τα διαστήµατα, ενώσεις/τοµές

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

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

Ε Π Ι Μ Ε Λ Η Τ Η Ρ Ι Ο Κ Υ Κ Λ Α Δ Ω Ν Ε ρ μ ο ύ π ο λ η, 0 9 Μ α ρ τ ί ο υ 2 0 1 2 Π ρ ο ς : Π ε ρ ιφ ε ρ ε ι ά ρ χ η Ν ο τ ίο υ Α ιγ α ί ο υ Α ρ ι θ. Π ρ ω τ. 3 4 2 2 κ. Ι ω ά ν ν η Μ α χ α ι ρ ί δ η F a x : 2 1 0 4 1 0 4 4 4 3 2, 2 2 8 1

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

1.8 ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΘΕΩΡΗΜΑ BOLZANO A. ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ

1.8 ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΘΕΩΡΗΜΑ BOLZANO A. ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ .8 ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΘΕΩΡΗΜΑ BOLZANO A. ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΜΕΘΟΔΟΛΟΓΙΑ : ΣΥΝΕΧΗΣ ΣΥΝΑΡΤΗΣΗ - ΟΡΙΣΜΟΣ Όταν θέλουμε να εξετάσουμε ως προς τη συνέχεια μια συνάρτηση πολλαπλού τύπου, εργαζόμαστε ως εξής

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

Εισαγωγή στην Τοπολογία

Εισαγωγή στην Τοπολογία Ενότητα: Συνεκτικότητα Γεώργιος Κουµουλλής Τµήµα Μαθηµατικών Αδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε

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

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

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

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

Σηµειώσεις στις σειρές

Σηµειώσεις στις σειρές . ΟΡΙΣΜΟΙ - ΓΕΝΙΚΕΣ ΕΝΝΟΙΕΣ Σηµειώσεις στις σειρές Στην Ενότητα αυτή παρουσιάζουµε τις βασικές-απαραίτητες έννοιες για την µελέτη των σειρών πραγµατικών αριθµών και των εφαρµογών τους. Έτσι, δίνονται συστηµατικά

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

1.8 ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ

1.8 ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΟΡΙΟ ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ 73 8 ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ρισμός της συνέχειας Έστω οι συναρτήσεις g h παρακάτω σχήματα των οποίων οι γραφικές παραστάσεις δίνονται στα C h 6 l ( C l g( C g l l (a Παρατηρούμε ότι:

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

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

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

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

ΠΑΡΑΔΕΙΓΜΑΤΑ ΘΕΜΑ Β. Να μελετήσετε ως προς τη μονοτονία και τα ακρότατα τις παρακάτω συναρτήσεις: f (x) = 0 x(2ln x + 1) = 0 ln x = x = e x =

ΠΑΡΑΔΕΙΓΜΑΤΑ ΘΕΜΑ Β. Να μελετήσετε ως προς τη μονοτονία και τα ακρότατα τις παρακάτω συναρτήσεις: f (x) = 0 x(2ln x + 1) = 0 ln x = x = e x = ΚΕΦΑΛΑΙΟ ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 0: ΕΥΡΕΣΗ ΤΟΠΙΚΩΝ ΑΚΡΟΤΑΤΩΝ [Ενότητα Προσδιορισμός των Τοπικών Ακροτάτων - Θεώρημα Εύρεση Τοπικών Ακροτάτων του κεφ..7 Μέρος Β του σχολικού βιβλίου]. ΠΑΡΑΔΕΙΓΜΑΤΑ

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

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

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

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

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

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

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

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

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

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

ΜΕ ΝΕΟ ΣΥΣΤΗΜΑ 2014 Θ ΕΩΡΙA 10

ΜΕ ΝΕΟ ΣΥΣΤΗΜΑ 2014 Θ ΕΩΡΙA 10 ΠΡΟΑΓΩΓΙΚΕΣ ΕΞΕΤΑΣΕΙΣ ΑΛΓΕΒΡΑΣ Α ΛΥΚΕΙΟΥ ΜΕ ΝΕΟ ΣΥΣΤΗΜΑ 04 Θ ΕΩΡΙA 0 ΘΕΜΑ A Α Να χαρακτηρίσετε τις προτάσεις που ακολουθούν, γράφοντας στην κόλλα σας δίπλα στο γράμμα που αντιστοιχεί σε κάθε πρόταση τη

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

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

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

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

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

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

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

ΚΕΦΑΛΑΙΟ 5: Τανυστικά Γινόµενα

ΚΕΦΑΛΑΙΟ 5: Τανυστικά Γινόµενα ΚΕΦΑΛΑΙΟ 5: Τανυστικά Γινόµενα Στο κεφάλαιο αυτό εισάγουµε την έννοια του τανυστικού γινοµένου προτύπων. Θα είµαστε συνοπτικοί καθώς αναπτύσσουµε µόνο εκείνες τις στοιχειώδεις προτάσεις που θα βρουν εφαρµογές

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

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

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

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

Συνέχεια συνάρτησης Σελ 17. Η απόδειξη ύπαρξης ρίζας εξίσωσης (τουλάχιστον μία) σε

Συνέχεια συνάρτησης Σελ 17. Η απόδειξη ύπαρξης ρίζας εξίσωσης (τουλάχιστον μία) σε Συνέχεια συνάρτησης Σελ 17 ΜΕΘΟΔΟΛΟΓΙΑ 4.0.1 Η απόδειξη ύπαρξης ρίζας εξίσωσης (τουλάχιστον μία) σε κάποιο διάστημα τιμών της μεταβλητής της, οδηγεί στην εφαρμογή του θεωρήματος Βlzan ως εξής: i) Μεταφέρουμε

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

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

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

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

Κλάση NP, NP-Complete Προβλήματα

Κλάση NP, NP-Complete Προβλήματα Κλάση NP, NP-Complete Προβλήματα Βαγγέλης ούρος douros@aueb.gr 1 11/6/2012 Αλγόριθμοι, Εαρινό Εξάμηνο 2012, Φροντιστήριο #14 Προβλήματα Απόφασης & Βελτιστοποίησης 2 Πρόβλημα Απόφασης: Κάθε πρόβλημα που

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

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

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

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

[1] είναι ταυτοτικά ίση με το μηδέν. Στην περίπτωση που το στήριγμα μιας συνάρτησης ελέγχου φ ( x)

[1] είναι ταυτοτικά ίση με το μηδέν. Στην περίπτωση που το στήριγμα μιας συνάρτησης ελέγχου φ ( x) [] 9 ΣΥΝΑΡΤΗΣΙΑΚΟΙ ΧΩΡΟΙ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΣ FOURIER Η «συνάρτηση» δέλτα του irac Η «συνάρτηση» δέλτα ορίζεται μέσω της σχέσης φ (0) αν 0 δ[ φ ] = φ δ dx = (9) 0 αν 0 όπου η φ είναι μια συνάρτηση που ανήκει

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

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

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

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

Σελίδα 1 από 7 ΔΙΑΓΩΝΙΣΜΑ ΕΚΠ. ΕΤΟΥΣ ΜΑΘΗΜΑ / ΤΑΞΗ : ΑΕΠΠ / ΘΕΡΙΝΑ ΣΕΙΡΑ: ΗΜΕΡΟΜΗΝΙΑ:

Σελίδα 1 από 7 ΔΙΑΓΩΝΙΣΜΑ ΕΚΠ. ΕΤΟΥΣ ΜΑΘΗΜΑ / ΤΑΞΗ : ΑΕΠΠ / ΘΕΡΙΝΑ ΣΕΙΡΑ: ΗΜΕΡΟΜΗΝΙΑ: ΜΑΘΗΜΑ / ΤΑΞΗ : ΑΕΠΠ / ΘΕΡΙΝΑ ΣΕΙΡΑ: 1 η ΗΜΕΡΟΜΗΝΙΑ: 08-09-2013 ΘΕΜΑ Α Α1. Να γράψετε στο τετράδιό σας τον αριθμό καθεμιάς από τις παρακάτω προτάσεις 1-8 και δίπλα τη λέξη Σωστό, αν είναι σωστή, ή τη λέξη

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

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

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

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

ΑΣΚΗΣΗ 1 Για τις ερωτήσεις 1-4 θεωρήσατε τον ακόλουθο γράφο. Ποιές από τις παρακάτω προτάσεις αληθεύουν και ποιές όχι;

ΑΣΚΗΣΗ 1 Για τις ερωτήσεις 1-4 θεωρήσατε τον ακόλουθο γράφο. Ποιές από τις παρακάτω προτάσεις αληθεύουν και ποιές όχι; ΘΕΜΑΤΑ ΔΕΝΔΡΩΝ ΓΙΑ ΤΙΣ ΕΞΕΤΑΣΕΙΣ ΠΛΗ0 ΑΣΚΗΣΗ Για τις ερωτήσεις - θεωρήσατε τον ακόλουθο γράφο. Ποιές από τις παρακάτω προτάσεις αληθεύουν και ποιές όχι; Β Ε Α 6 Δ 5 9 8 0 Γ 7 Ζ Η. Σ/Λ Δυο από τα συνδετικά

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

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

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

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

βοήθεια ευθείας και κύκλου. Δεν ισχύει όμως το ίδιο για την παρεμβολή δύο μέσων αναλόγων η οποία απαιτεί τη χρησιμοποίηση διαφορετικών 2

βοήθεια ευθείας και κύκλου. Δεν ισχύει όμως το ίδιο για την παρεμβολή δύο μέσων αναλόγων η οποία απαιτεί τη χρησιμοποίηση διαφορετικών 2 3 ΚΩΝΙΚΕΣ ΤΟΜΕΣ Εισαγωγή Η μελέτη της έλλειψης, της παραβολής και της υπερβολής από τους Αρχαίους Έλληνες μαθηματικούς φαίνεται ότι είχε αφετηρία τη σχέση αυτών των καμπύλων με ορισμένα προβλήματα γεωμετρικών

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 8

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 8 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 8 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt2014/nt2014.html https://sites.google.com/site/maths4edu/home/14

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

Απόδειξη Ισοδυναμίας Συναρτήσεων

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

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

ΑΠΑΝΤΗΣΕΙΣ. ΓΡΑΨΕ ΤΕΛΙΚΗ_ΤΙΜΗ Σημείωση: η παρένθεση στην αριθμητική έκφραση είναι προαιρετική. Η τιμή 0.30 μπορούσε να γραφεί 30/100

ΑΠΑΝΤΗΣΕΙΣ. ΓΡΑΨΕ ΤΕΛΙΚΗ_ΤΙΜΗ Σημείωση: η παρένθεση στην αριθμητική έκφραση είναι προαιρετική. Η τιμή 0.30 μπορούσε να γραφεί 30/100 ΜΑΘΗΜΑ / ΤΑΞΗ : ΑΕΠΠ / ΘΕΡΙΝΑ Γ ΛΥΚΕΙΟΥ ΣΕΙΡΑ: 1 η ΗΜΕΡΟΜΗΝΙΑ: 09/09/2012 ΘΕΜΑ Α Α1. ΑΠΑΝΤΗΣΕΙΣ 1. ΑΝ ΠΟΣΟ_ΑΓΟΡΩΝ > 150 ΤΟΤΕ ΤΕΛΙΚΗ_ΤΙΜΗ ΠΟΣΟ_ΑΓΟΡΩΝ (ΠΟΣΟ_ΑΓΟΡΩΝ * 0.30) ΑΛΛΙΩΣ ΤΕΛΙΚΗ_ΤΙΜΗ ΠΟΣ0_ΑΓΟΡΩΝ

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

Ν Κ Π 6Μ Θ 5 ϑ Μ % # =8 Α Α Φ ; ; 7 9 ; ; Ρ5 > ; Σ 1Τ Ιϑ. Υ Ι ς Ω Ι ϑτ 5 ϑ :Β > 0 1Φ ς1 : : Ξ Ρ ; 5 1 ΤΙ ϑ ΒΦΓ 0 1Φ ς1 : ΒΓ Υ Ι : Δ Φ Θ 5 ϑ Μ & Δ 6 6

Ν Κ Π 6Μ Θ 5 ϑ Μ % # =8 Α Α Φ ; ; 7 9 ; ; Ρ5 > ; Σ 1Τ Ιϑ. Υ Ι ς Ω Ι ϑτ 5 ϑ :Β > 0 1Φ ς1 : : Ξ Ρ ; 5 1 ΤΙ ϑ ΒΦΓ 0 1Φ ς1 : ΒΓ Υ Ι : Δ Φ Θ 5 ϑ Μ & Δ 6 6 # % & ( ) +, %. / % 0 1 / 1 4 5 6 7 8 # 9 # : ; < # = >? 1 :; < 8 > Α Β Χ 1 ; Δ 7 = 8 1 ( 9 Ε 1 # 1 ; > Ε. # ( Ε 8 8 > ; Ε 1 ; # 8 Φ? : ;? 8 # 1? 1? Α Β Γ > Η Ι Φ 1 ϑ Β#Γ Κ Λ Μ Μ Η Ι 5 ϑ Φ ΒΦΓ Ν Ε Ο Ν

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

Αναπαράσταση Γνώσης και Συλλογιστικές

Αναπαράσταση Γνώσης και Συλλογιστικές ναπαράσταση Γνώσης και Συλλογιστικές! Γενικά Προτασιακή λογική Λογική πρώτης τάξης Λογικός προγραµµατισµός Επεκτάσεις της Λογικής Πρώτης Τάξης Συστήµατα Κανόνων Επίλογος ναπαράσταση γνώσης " ναπαράσταση

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

Κεφάλαιο 3β. Ελεύθερα Πρότυπα (µέρος β)

Κεφάλαιο 3β. Ελεύθερα Πρότυπα (µέρος β) Κεφάλαιο 3β Ελεύθερα Πρότυπα (µέρος β) Ο σκοπός µας εδώ είναι να αποδείξουµε το εξής σηµαντικό αποτέλεσµα. 3.3.6 Θεώρηµα Έστω R µια περιοχή κυρίων ιδεωδών, F ένα ελεύθερο R-πρότυπο τάξης s < και N F. Τότε

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

ΚΕΦΑΛΑΙΟ 4 ο : ΑΝΙΣΩΣΕΙΣ ΤΟ 2 Ο ΘΕΜΑ

ΚΕΦΑΛΑΙΟ 4 ο : ΑΝΙΣΩΣΕΙΣ ΤΟ 2 Ο ΘΕΜΑ ΚΕΦΑΛΑΙΟ 4 ο : ΑΝΙΣΩΣΕΙΣ ΤΟ 2 Ο ΘΕΜΑ Άσκηση 1 Δίνονται οι ανισώσεις: 3x και 2 x α) Να βρείτε τις λύσεις τους (Μονάδες 10) β) Να βρείτε το σύνολο των κοινών τους λύσεων (Μονάδες 15) α) Έχουμε 3x 2x x 2

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

Στο κεφάλαιο που ακολουθεί θα ασχοληθούμε με την (μη ομογενή) κυματική εξίσωση σε D χωρικές και 1 χρονική διάσταση :

Στο κεφάλαιο που ακολουθεί θα ασχοληθούμε με την (μη ομογενή) κυματική εξίσωση σε D χωρικές και 1 χρονική διάσταση : Η Κυματική Εξίσωση. Στο κεφάλαιο που ακολουθεί θα ασχοληθούμε με την (μη ομογενή κυματική εξίσωση σε χωρικές και 1 χρονική διάσταση : t ( Ψ (, rt = f(, rt (139 ( Εδώ είναι μια σταθερά με διαστάσεις ταχύτητας.

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

Α. ΘΕΩΡΙΑ Εστω μια συνάρτηση f και x. του πεδίου ορισμού της. Θα λέμε ότι η f είναι συνεχής στο x., όταν

Α. ΘΕΩΡΙΑ Εστω μια συνάρτηση f και x. του πεδίου ορισμού της. Θα λέμε ότι η f είναι συνεχής στο x., όταν Α ΘΕΩΡΙΑ Εστω μια συνάρτηση και ένα σημείο του πεδίου ορισμού της Θα λέμε ότι η είναι συνεχής στο όταν Για παράδειγμα η συνάρτηση είναι συνεχής στο αφού Σύμφωνα με τον παραπάνω ορισμό μια συνάρτηση δεν

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

Σημειώσεις Μαθηματικών 2

Σημειώσεις Μαθηματικών 2 Σημειώσεις Μαθηματικών 2 Συναρτήσεις - 3 Ραφαήλ Φάνης Μαθηματικός 1 Κεφάλαιο 3 Συνέχεια Συναρτήσεων 3.1 Όρισμός Συνεχούς Συνάρτησης Ορισμός Μια συνάρτηση f ονομάζεται συνεχής στο x 0 Df αν υπάρχει το πραγματικός

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

με f f κ)κάθε συνάρτηση ορισμένη σε κλειστό διάστημα έχει μέγιστη και ελάχιστη τιμή στο διάστημα αυτό. λ)αν μια συνάρτηση f είναι συνεχής στο,

με f f κ)κάθε συνάρτηση ορισμένη σε κλειστό διάστημα έχει μέγιστη και ελάχιστη τιμή στο διάστημα αυτό. λ)αν μια συνάρτηση f είναι συνεχής στο, Μαθηματικά κατεύθυνσης Γ Λυκείου Διαγώνισμα διάρκειας 3 ωρών στις Συναρτήσεις και τα Όρια 9-5 Θέμα Α Να χαρακτηρίσετε τις προτάσεις που ακολουθούν, γράφοντας στο τετράδιό σας την ένδειξη Σωστό ή Λάθος

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

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

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

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

Για να εκφράσουμε τη διαδικασία αυτή, γράφουμε: :

Για να εκφράσουμε τη διαδικασία αυτή, γράφουμε: : Η θεωρία στα μαθηματικά προσανατολισμού Γ υκείου Τι λέμε συνάρτηση με πεδίο ορισμού το σύνολο ; Έστω ένα υποσύνολο του Ονομάζουμε πραγματική συνάρτηση με πεδίο ορισμού το μία διαδικασία (κανόνα), με την

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

Μέρος IV. Ελεγχοι Υποθέσεων (Hypothesis Testing)

Μέρος IV. Ελεγχοι Υποθέσεων (Hypothesis Testing) Μέρος IV. Ελεγχοι Υποθέσεων (ypothesis Testig) Βασικές έννοιες Γενική μεθοδολογία Σφάλμα τύπου Ι και -vlue Στατιστικοί έλεγχοι υποθέσεων για ειδικές περιπτώσεις Εφαρμοσμένη Στατιστική Μέρος 4 ο - Κ. Μπλέκας

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

ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ. Βασικά Στοιχεία Λογικής

ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ. Βασικά Στοιχεία Λογικής ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ Βασικά Στοιχεία Λογικής 2 Η Πριγκίπισσα και το Κάστρο Αν ρώταγα ένα μέλος της φυλής που δεν ανήκεις για το ποιον δρόμο πρέπει να πάρω για το κάστρο τι θα μου έλεγε; Μία πριγκίπισσα

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

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

ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΚΑΙ ΠΟΛΙΤΙΣΜΟΥ ΔΙΕΥΘΥΝΣΗ ΑΝΩΤΕΡΗΣ ΚΑΙ ΑΝΩΤΑΤΗΣ ΕΚΠΑΙΔΕΥΣΗΣ ΥΠΗΡΕΣΙΑ ΕΞΕΤΑΣΕΩΝ ΠΑΓΚΥΠΡΙΕΣ ΕΞΕΤΑΣΕΙΣ 2006 ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΚΑΙ ΠΟΛΙΤΙΣΜΟΥ ΔΙΕΥΘΥΝΣΗ ΑΝΩΤΕΡΗΣ ΚΑΙ ΑΝΩΤΑΤΗΣ ΕΚΠΑΙΔΕΥΣΗΣ ΥΠΗΡΕΣΙΑ ΕΞΕΤΑΣΕΩΝ ΠΑΓΚΥΠΡΙΕΣ ΕΞΕΤΑΣΕΙΣ 2006 Μάθημα : Τεχνολογία Αναλογικών και Ψηφιακών Ηλεκτρονικών Τεχνολογία ΙΙ, Πρακτικής

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

ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ 12) ΕΡΓΑΣΙΑ 1 η Ημερομηνία Αποστολής στον Φοιτητή: 20 Οκτωβρίου 2008

ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ 12) ΕΡΓΑΣΙΑ 1 η Ημερομηνία Αποστολής στον Φοιτητή: 20 Οκτωβρίου 2008 ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ ) ΕΡΓΑΣΙΑ η Ημερομηνία Αποστολής στον Φοιτητή: 0 Οκτωβρίου 008 Ημερομηνία παράδοσης της Εργασίας: Νοεμβρίου 008 Πριν

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

ΠΑΡΑΔΕΙΓΜΑΤΑ ΘΕΜΑ Β. 2x 1. είναι Τότε έχουμε: » τον χρησιμοποιούμε κυρίως σε θεωρητικές ασκήσεις.

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

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

ẋ = f(x), x = x 0 όταν t = t 0,

ẋ = f(x), x = x 0 όταν t = t 0, Κεφάλαιο 2 ΤΟ ΘΕΩΡΗΜΑ ΥΠΑΡΞΗΣ ΚΑΙ ΜΟΝΑΔΙΚΟΤΗΤΑΣ 2.1 Πρόβλημα αρχικών τιμών Στο κεφάλαιο αυτό θα δούμε ότι το πρόβλημα αρχικών τιμών (ΑΤ) ẋ = f(x), x = x 0 όταν t = t 0, έχει λύση και μάλιστα μοναδική για

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

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

Π Α Ν Ε Λ Λ Α Δ Ι Κ Ε Σ Ε Ξ Ε Τ Α Σ Ε Ι Σ Κ Ε Ρ Δ Ι Σ Ε Ε Ξ Υ Π Ν Α Μ Ο Ν Α Δ Ε Σ Κ Α Τ Ε Υ Θ Υ Ν Σ Η Σ Π Α Ν Ε Λ Λ Α Δ Ι Κ Ε Σ Ε Ξ Ε Τ Α Σ Ε Ι Σ Κ Ε Ρ Δ Ι Σ Ε Ε Ξ Υ Π Ν Α Μ Ο Ν Α Δ Ε Σ Μ Α Θ Η Μ Α Τ Ι Κ Α Θ Ε Τ Ι Κ Η Σ Τ Ε Χ Ν Ο Λ Ο Γ Ι Κ Η Σ Κ Α Τ Ε Υ Θ Υ Ν Σ Η Σ Πολλές φορές στις πανελλαδικές εξετάσεις

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

ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ Θεωρία Παιγνίων και Αποφάσεων Διδάσκων: Ε. Μαρκάκης, Εαρινό εξάμηνο 2015

ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ Θεωρία Παιγνίων και Αποφάσεων Διδάσκων: Ε. Μαρκάκης, Εαρινό εξάμηνο 2015 ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ Θεωρία Παιγνίων και Αποφάσεων Διδάσκων: Ε. Μαρκάκης, Εαρινό εξάμηνο 2015 Λύσεις 1ης σειράς ασκήσεων Προθεσμία παράδοσης: 22 Απριλίου 2015 Πρόβλημα 1.

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

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

5.9 ΘΕΤΙΚΑ ΟΡΙΣΜΕΝΟΙ ΠΙΝΑΚΕΣ ΚΑΙ ΕΣΩΤΕΡΙΚΟ ΓΙΝΟΜΕΝΟ ΠΙΝΑΚΕΣ ΚΑΙ ΓΡΑΜΜΙΚΟΙ ΤΕΛΕΣΤΕΣ Α Β Δ J 1 =A+Γ και J 3 = Β Γ Ε Δ Ε Ζ d + c x + a + b y ac+ bd x y = R A έχουμε: 1 1 1 1 Για την εξίσωση ( ) ( ) ( ) ( ) A, B,, 0, E 0, Z A = c + d = ac+ bd Γ= a + b Δ= =

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

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

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

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

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

ΜΑΘΗΜΑΤΙΚΑ Β ΓΥΜΝΑΣΙΟΥ ΜΙΑ ΠΡΟΕΤΟΙΜΑΣΙΑ ΓΙΑ ΤΙΣ ΕΞΕΤΑΣΕΙΣ 2 ΓΥΜΝΑΣΙΟ ΥΜΗΤΤΟΥ ΜΑΘΗΜΑΤΙΚΑ Β ΓΥΜΝΑΣΙΟΥ ΜΙΑ ΠΡΟΕΤΟΙΜΑΣΙΑ ΓΙΑ ΤΙΣ ΕΞΕΤΑΣΕΙΣ - Σελίδα 1 από 6 - 1. Η ΔΟΜΗ ΤΩΝ ΘΕΜΑΤΩΝ ΤΩΝ ΕΞΕΤΑΣΕΩΝ Στις εξετάσεις του Μαίου-Ιουνίου µας δίνονται δύο θέµατα θεωρίας και

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ. ΘΕΩΡΗΤΙΚΗ ΑΣΚΗΣΗ 1 ΛΥΣΕΙΣ Ανάλυση Πολυπλοκότητας

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

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

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

ΤΡΑΠΕΖΑ ΘΕΜΑΤΩΝ ΤΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΘΕΤΙΚΟΥ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ ΤΗΣ Β ΛΥΚΕΙΟΥ ΤΡΑΠΕΖΑ ΘΕΜΑΤΩΝ ΤΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΘΕΤΙΚΟΥ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ ΤΗΣ Β ΛΥΚΕΙΟΥ Διανύσματα Πολλαπλασιασμός αριθμού με διάνυσμα ο Θέμα _8603 Δίνεται τρίγωνο ΑΒΓ και σημεία Δ και Ε του επιπέδου τέτοια, ώστε 5 και

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

ΠΑΡΑΔΕΙΓΜΑΤΑ ΘΕΜΑ Β. Να εξετάσετε αν ισχύουν οι υποθέσεις του Θ.Μ.Τ. για την συνάρτηση στο διάστημα [ 1,1] τέτοιο, ώστε: C στο σημείο (,f( ))

ΠΑΡΑΔΕΙΓΜΑΤΑ ΘΕΜΑ Β. Να εξετάσετε αν ισχύουν οι υποθέσεις του Θ.Μ.Τ. για την συνάρτηση στο διάστημα [ 1,1] τέτοιο, ώστε: C στο σημείο (,f( )) ΚΕΦΑΛΑΙΟ ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 6: ΘΕΩΡΗΜΑ ΜΕΣΗΣ ΤΙΜΗΣ ΔΙΑΦΟΡΙΚΟΥ ΛΟΓΙΣΜΟΥ (Θ.Μ.Τ.) [Θεώρημα Μέσης Τιμής Διαφορικού Λογισμού του κεφ..5 Μέρος Β του σχολικού βιβλίου]. ΠΑΡΑΔΕΙΓΜΑΤΑ Παράδειγμα. ΘΕΜΑ

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

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

Λύσεις 4ης Σειράς Ασκήσεων Λύσεις 4ης Σειράς Ασκήσεων Άσκηση 1 Αναγάγουμε τν Κ 0 που γνωρίζουμε ότι είναι μη-αναδρομική (μη-επιλύσιμη) στην γλώσσα: L = {p() η μηχανή Turing Μ τερματίζει με είσοδο κενή ταινία;} Δοσμένης της περιγραφής

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

Ασκήσεις στην ηλεκτρονιακή δόμηση των ατόμων

Ασκήσεις στην ηλεκτρονιακή δόμηση των ατόμων Ασκήσεις στην ηλεκτρονιακή δόμηση των ατόμων Στις παρακάτω ερωτήσεις επιλέξτε τη σωστή απάντηση. Ο μέγιστος αριθμός ηλεκτρονίων για κάθε στιβάδα προκύπτει με εφαρμογή: α. της αρχής της ελάχιστης ενέργειας

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

ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ (ΝΕΟ ΣΥΣΤΗΜΑ) 27 ΜΑΪΟΥ 2016 ΕΚΦΩΝΗΣΕΙΣ ÊÁËÁÌÁÔÁ

ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ (ΝΕΟ ΣΥΣΤΗΜΑ) 27 ΜΑΪΟΥ 2016 ΕΚΦΩΝΗΣΕΙΣ ÊÁËÁÌÁÔÁ ΘΕΜΑ Α ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ (ΝΕΟ ΣΥΣΤΗΜΑ) 27 ΜΑΪΟΥ 2016 ΕΚΦΩΝΗΣΕΙΣ Α1. Να γράψετε στο τετράδιό σας τον αριθµό καθεµιάς από τις παρακάτω προτάσεις 1-5 και, δίπλα,

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

Μαθηματικά Προσανατολισμού Γ Λυκείου Κανιστράς Δημήτριος. Συναρτήσεις Όρια Συνέχεια Μια πρώτη επανάληψη Απαντήσεις των ασκήσεων.

Μαθηματικά Προσανατολισμού Γ Λυκείου Κανιστράς Δημήτριος. Συναρτήσεις Όρια Συνέχεια Μια πρώτη επανάληψη Απαντήσεις των ασκήσεων. Άσκηση Μαθηματικά Προσανατολισμού Γ Λυκείου Κανιστράς Δημήτριος Συναρτήσεις Όρια Συνέχεια Μια πρώτη επανάληψη Απαντήσεις των ασκήσεων Μέρος ο i. Δίνεται η γνησίως μονότονη συνάρτηση f : A IR. Να αποδείξετε

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

Ατομικές Προτιμήσεις και Συνάρτηση Χρησιμότητας - Έστω x=(x 1,,x n ) ένας καταναλωτικός συνδυασμός, όπου x i η ποσότητα του αγαθού i που καταναλώνει

Ατομικές Προτιμήσεις και Συνάρτηση Χρησιμότητας - Έστω x=(x 1,,x n ) ένας καταναλωτικός συνδυασμός, όπου x i η ποσότητα του αγαθού i που καταναλώνει Ατομικές Προτιμήσεις και Συνάρτηση Χρησιμότητας - Έστω x=(x,,x n ) ένας καταναλωτικός συνδυασμός, όπου x i η ποσότητα του αγαθού i που καταναλώνει το άτομο (i =,,n). - Πρόβλημα καταναλωτή: Κάθε άτομο (καταναλωτής)

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

Πανεπιστήμιο Κύπρου Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών

Πανεπιστήμιο Κύπρου Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Πανεπιστήμιο Κύπρου Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εργαστήριο Κυκλωμάτων και Μετρήσεων Εργαστήριο 6 Θεώρημα Thevenin Λευκωσία, 2010 Εργαστήριο 6 Θεώρημα Thevenin Σκοπός: Σκοπός

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

αβ (, ) τέτοιος ώστε f(x

αβ (, ) τέτοιος ώστε f(x ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ ΚΕΦΑΛΑΙΟ ο: ΣΥΝΑΡΤΗΣΕΙΣ - ΟΡΙΟ - ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΘΕΜΑ Α Άσκηση α) Έστω μια συνάρτηση f, η οποία είναι ορισμένη σε ένα κλειστό διάστημα [ αβ., ] Αν η f είναι συνεχής στο [ αβ, ]

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

ΕΡΩΤΗΣΕΙΣ ΜΑΘΗΤΩΝ. Ερώτηση 1. Αν το x o δεν ανήκει στο πεδίο ορισμού μιας συνάρτησης f, έχει νόημα να μιλάμε για παράγωγο της f. στο x = x o?

ΕΡΩΤΗΣΕΙΣ ΜΑΘΗΤΩΝ. Ερώτηση 1. Αν το x o δεν ανήκει στο πεδίο ορισμού μιας συνάρτησης f, έχει νόημα να μιλάμε για παράγωγο της f. στο x = x o? ΕΡΩΤΗΣΕΙΣ ΜΑΘΗΤΩΝ Ερώτηση 1 Αν το x o δεν ανήκει στο πεδίο ορισμού μιας συνάρτησης f, έχει νόημα να μιλάμε για παράγωγο της f στο x = x o? Δεν έχει νόημα Ερώτηση 2 Αν μία συνάρτηση f είναι συνεχής στο

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

ΤΕΛΟΣ 1ΗΣ ΑΠΟ 5 ΣΕΛΙΔΕΣ

ΤΕΛΟΣ 1ΗΣ ΑΠΟ 5 ΣΕΛΙΔΕΣ ΑΡΧΗ 1ΗΣ ΣΕΛΙΔΑΣ ΕΞΕΤΑΣΕΙΣ Γ ΤΑΞΗΣ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΚΑΙ ΕΠΑΛ (ΟΜΑΔΑ Β ) ΣΑΒΒΑΤΟ 23 ΙΑΝΟΥΑΡΙΟΥ 2016 ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ

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

Συναρτησιακές Εξαρτήσεις

Συναρτησιακές Εξαρτήσεις Συναρτησιακές Εξαρτήσεις Βάσεις Δεδομένων 2010-2011 Ευαγγελία Πιτουρά 1 Εισαγωγή Θεωρία για το πότε ένας σχεδιασμός είναι «καλός» Η θεωρία βασίζεται στις Συναρτησιακές Εξαρτήσεις (Functional Dependencies)

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

8. Κβαντική τηλεμεταφορά

8. Κβαντική τηλεμεταφορά 8. Κβαντική τηλεμεταφορά Σύνοψη Στο κεφάλαιο αυτό θα περιγραφεί η κβαντική τηλεμεταφορά και θα δοθεί το αντίστοιχο κβαντικό κύκλωμα. Θα εξηγηθεί γιατί η κβαντική τηλεμεταφορά δεν παραβιάζει το θεώρημα

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