ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2017
|
|
- Αγάθη Παπανικολάου
- 6 χρόνια πριν
- Προβολές:
Transcript
1 ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [1 μονάδα] Έστω F(x,y) = «Το αυτοκίνητο x έχει μέγιστη ταχύτητα μεγαλύτερη από αυτή του αυτοκινήτου y», με Π.Ο. των x,y το σύνολο των αγωνιστικών αυτοκινήτων. Γράψτε σε Κατηγορηματικό Λογισμό τις παρακάτω προτάσεις. Στη συνέχεια βρείτε την άρνηση της πρότασης σε κατηγορηματικό λογισμό και προσπαθείστε να τις μεταφέρετε σε φυσική γλώσσα. a. Κάθε αυτοκίνητο τρέχει γρηγορότερα από όλα (συμπεριλαμβανομένου του εαυτού του) b. Κάθε αυτοκίνητο είναι γρηγορότερο από κάποιο άλλο c. Υπάρχει ένα αυτοκίνητο που είναι ταχύτερο από όλα τα άλλα d. Κάποιο αυτοκίνητο είναι ταχύτερο από κάποιο άλλο a. x yf(x,y) Άρνηση: x yf(x,y) x y F(x,y) Υπάρχει ένα αγωνιστικό αυτοκίνητο που έχει μικρότερη ή ίδια μέγιστη ταχύτητα από κάποιο άλλο b. x yf(x,y) Άρνηση: x yf(x,y) x y F(x,y) Υπάρχει ένα αυτοκίνητο που είναι πιο αργό από όλα τα άλλα c. x yf(x,y) Άρνηση: x yf(x,y) x y F(x,y) Για κάθε αυτοκίνητο υπάρχει ένα άλλο πιο αργό d. x yf(x,y) Άρνηση: x yf(x,y) x y F(x,y) Κάθε αυτοκίνητο είναι πιο αργό από όλα τα άλλα Άσκηση 2.2 [1 μονάδα] Διατυπώστε τις παρακάτω εκφράσεις ως προτάσεις κατηγορηματικού λογισμού ανεξάρτητα αν είναι αληθείς ή όχι. Σε κάθε περίπτωση, προσδιορίστε τα κατηγορήματα και τα Π.Ο. των μεταβλητών που θα χρησιμοποιήσετε. Δεν θα πρέπει να χρησιμοποιήσετε συντομογραφίες. a. Ο Μήτσος είναι υπάλληλος b. Όλοι οι υπάλληλοι είναι τμηματάρχες c. Ο Μάρκος είναι τμηματάρχης d. Οι τμηματάρχες είναι υπάλληλοι
2 e. Όλοι οι υπάλληλοι είτε πιστεύουν ότι ο τμηματάρχης τους θεωρεί φίλους τους είτε ότι δεν τους γνωρίζει καθόλου. f. Όλοι έχουν ένα φίλο g. Οι τμηματάρχες σχολιάζουν μόνο αυτούς που δεν είναι φίλοι τους h. Ο Μήτσος σχολίασε τον Μάρκο i. Είναι ο Μήτσος φίλος του Μάρκου? Έστω C(x) = «Ο x είναι υπάλληλος», D(x) = «O x είναι τμηματάρχης» F(x,y) = «O x είναι φίλος του y», K(x,y) = «O x γνωρίζει τον y», S(x,y) = «O x σχoλιάζει τον y» με x,y στο πεδίο των ανθρώπων a. C(Μήτσος) b. x (C(x) D(x)) c. D(Μάρκος) d. x(d(x) C(x)) e. x( y((c(x) D(y)) (F(y,x) K(y,x)))) f. x( y(f(x,y)) g. x( y(d(x) S(x,y)) F(x,y)) h. S(Μήτσος, Μάρκος) i. Δεν είναι πρόταση Άσκηση 2.3 [1 μονάδα] Έστω P(x,y): το x είναι κομμάτι του y. Μεταφράστε στα ελληνικά τις προτάσεις a. xp(x,x) b. x yp(x,y) c. y xp(x,y) d. x yp(x,y) e. y xp(x,y) f. x y z(p(x,z) P(y,z)) a. Κάθε τι είναι κομμάτι του εαυτού του b. Κάθε τι είναι κομμάτι κάποιου c. Κάθε τι έχει κάτι σαν κομμάτι του d. Κάτι είναι κομμάτι όλων e. Κάτι έχει κομμάτι του τα πάντα f. Για κάθε δύο πράγματα, μπορεί κανείς να βρει ένα πράγμα που να είναι κομμάτι και των δύο. Άσκηση 2.4 [1 μονάδα]
3 Γράψτε τις παρακάτω προτάσεις ως προτάσεις του κατηγορηματικού λογισμού. Στη συνέχεια διατυπώστε την άρνηση της κάθε πρότασης ως πρόταση του κατηγορηματικού λογισμού και μεταφράστε την ξανά σε φυσική γλώσσα. Μπορείτε να υποθέσετε ότι τα γράμματα I,j,k,l,m,n παριστάνουν φυσικούς αριθμούς και τα x,y,z παριστάνουν πραγματικούς αριθμούς. a. To 12 διαιρείται με το 6 b. Για κάθε ακέραιο m, αν το 12 διαιρείται με το m, το ίδιο συμβαίνει και με το 24 c. Το 15 διαιρείται από κάποιο ακέραιο d. To 17 είναι πρώτος αριθμός e. Δεν υπάρχει ελάχιστος θετικός πραγματικός αριθμός a. n(12 = 6n), n Z b. m ( n(12 = mn) n(24 = mn)), m,n Z c. m( n[15=mn)) m,n(15 = mn), m,n Z d. m,n((m 1) (m 17) (17 = mn)] n,m[(17 = mn) (m=1) (m=17)), m,n Z e. x((x>0) y[(y>0) (y<x)), x,y R Άρνηση και μεταφορά στη φυσική γλώσσα a. n(12 = 6n), n Z n(12 6n) Το 12 δεν είναι πολλαπλάσιο του 6 ή το 12 δεν διαιρείται με το 6 b. ( m( n(12 = mn) n(24 = mn)), m,n Z) ( m( ( n(12 = mn) n(24=mn))) ( m( n(12 mn) n(24=mn))) m n(12=mn) n(24 mn)) Υπάρχει ακέραιος που διαιρεί το 12 αλλά δεν διαιρεί το 24 c. ( m( n[15=mn)) m n(15 mn) To 15 δεν διαιρείται από κανένα ακέραιο d. ( m,n((m 1) (m 17) (17 = mn)]) m,n((m 1) (m 17) (17 = mn)]) «Υπάρχει ακέραιος διάφορος του 17 και της μονάδας που διαιρεί το 17» ή αλλιώς «το 17 δεν είναι πρώτος» e. x((x>0) y[(y>0) (y<x)) x(x 0 y[(y>0) (y<x)) x(x>0 y[(y>0) (y<x)) x(x>0 y[(y 0) (y x)] Υπάρχει ελάχιστος πραγματικός αριθμός Άσκηση 2.5 [1 μονάδα] Έστω η πρόταση «Αν ο ακέραιος n είναι διάφορος του 0 ή του 1 τότε n 2 >n» Διατυπώστε την πρόταση σε κατηγορηματικό λογισμό και βρείτε την αντιθετική (inverse), την αντίστροφη (converse) και την αντιστροφοαντίθετη (contrapositive) πρόταση.
4 n (n 0 n 1) n 2 >n με Π.Ο. του n το N Inverse: n, (n=0) (n=1) n 2 n Converse: n, n 2 >n (n 0) (n 1) Contrapositive: n, n 2 n ((n=0) (n=1) Άσκηση 2.6 [1 μονάδα] a. Βρείτε την άρνηση των παρακάτω προτάσεων: b. Αν ο δάσκαλος λείπει, κάποιοι μαθητές δεν κάνουν τις ασκήσεις τους c. Όλοι οι μαθητές έκαναν τις ασκήσεις τους και ο δάσκαλος είναι παρών d. Κάποιοι μαθητές δεν έκαναν τις ασκήσεις τους ή ο δάσκαλος έλειπε a. Ο δάσκαλος λείπει και όλοι οι μαθητές έκαναν τις ασκήσεις τους b. Κάποιοι μαθητές δεν έκαναν τις ασκήσεις τους ή ο δάσκαλος λείπει. c. Όλοι οι μαθητές έκαναν τις ασκήσεις τους και ο δάσκαλος είναι παρών Άσκηση 2.7 [2 μονάδες] Γράψτε τις παρακάτω προτάσεις χρησιμοποιώντας ποσοδείκτες και βρείτε τις αρνήσεις τους. a. Για κάθε φυσικό αριθμό υπάρχει ένας μικρότερος φυσικός αριθμός b. Το τετράγωνο κάθε πραγματικού αριθμού είναι μη αρνητικός πραγματικός αριθμός c. Κάποιοι σκύλοι είναι χορτοφάγοι d. Υπάρχει ένας πραγματικός αριθμός που είναι ρητός e. Σε κάθε φοιτητή αρέσει τουλάχιστον ένα θέμα απο τα μαθηματικά a. n N, m N,m<n n(n N m N,m<n) n(n N m(m N m<n)) n(n N m(m N m<n)) Άρνηση: n(n N m(m N m<n)) n(n N m(m N m n)) n N, m N, m n b. x R, x 2 0 Άρνηση: x(x R x 2 <0) x R, x 2 <0 c. Έστω V(x): Ο x είναι χορτοφάγος, στο Π.Ο. των σκύλων. Η πρόταση γράφεται xv(x) Άρνηση: x V(x) d. x R, x Q x(x R x Q)
5 Άρνηση: x(x R x Q) e. Έστω S(x): Ο x είναι φοιτητής, στο Π.Ο., των ανθρώπων, L(x,s): Στον x, αρέσει το s όπου x ανήκει στο σύνολο των ανθρώπων και το s στα μαθηματικά θέματα x(s(x) sl(x,s)) Άρνηση: x(s(x) s L(x,s)) Άσκηση 2.8 [2 μονάδες] Γράψτε τις αρνήσεις των παρακάτω προτάσεων. Σε κάθε μία από τις περιπτώσεις προσδιορίστε αν η αρχική πρόταση είναι αληθής με μια μικρή εξήγηση ή αντιπαράδειγμα. a. x R, x 0 b. z Z, ((o z είναι άρτιος) (o z είναι περιττός)) c. n N, ((o n είναι άρτιος) (ο 2 είναι πρώτος)) d. y R, (y < 1) e. x R, y R, xy=1 f. n N, m N, n=2m Σημείωση: Θυμηθείτε πώς ερμηνεύονται οι συντομεύσεις αυτής της μορφής: x R, x 0 x(x R x 0) και z Z, z<0 z (z Z z<0 ) a. Άρνηση: x R, x 0 x(x R x 0) x(x R x 0) x(x R x<0) Η αρχική πρόταση δεν ισχύει (π.χ. x=-4) H άρνησή της είναι αληθής b. Άρνηση: z Z, ((o z είναι άρτιος) (o z είναι περιττός)) z(z Z ((o z είναι άρτιος) (o z είναι περιττός)) z (z Z ((ο z δεν είναι άρτιος) (ο z δεν είναι περιττός)) z (z Z (( ο z είναι περιττός) (ο z είναι άρτιος)) z Z, (( ο z είναι περιττός) (ο z είναι άρτιος)) Η αρχική πρόταση είναι αληθής ( Η πρόταση γράφεται: z (z Z ((o z είναι άρτιος) (o z είναι περιττός)) ) Η άρνησή της δεν είναι (ένας αριθμός δεν μπορεί να είναι άρτιος και περιττός συγχρόνως) c. Άρνηση: ( n N, ((o n είναι άρτιος) (ο 2 είναι πρώτος))) n(n N ((o n είναι περιττός) (ο 2 δεν είναι πρώτος))
6 Η αρχική πρόταση είναι αληθής H άρνησή της δεν είναι (n=81) d. Άρνηση: y R, (y < 1) y (y R) (y 0 < 1) 3 3 y(( (y R) (y < 1)) 3 y((y R) ((y=0) < 1)) y((y R) (y 0) )) y R, (y 0) 1)) 3 3 Η αρχική πρόταση είναι ψευδής (π.χ. y=3) Η άρνησή της είναι αληθής e. Άρνηση: ( x R, y R, xy=1) ( x(x R y(y R xy=1)) x(x R y(y R xy 1)) x R, y R, xy 1) Η αρχική πρόταση είναι ψευδής (δεν υπάρχει τέτοιος πραγματικός αριθμός) Η άρνησή της είναι αληθής f. Άρνηση: n N, m N, n=2m n(n N m(m N n=2m) n(n N m(m N n 2m)) n(n N m(m N n 2m)) n N, m N, n 2m Η αρχική πρόταση είναι ψευδής (δεν ισχύει για n περιττό ακέραιο) Η άρνησή της είναι αληθής
ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2018
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2018 2 η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [1.5 μονάδα] Έστω Τ(x): O x έχει σταθερό υπολογιστή, L(x): O x έχει laptop, S(x): O x έχει smartphone, με τη μεταβλητή
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου
ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου Θέμα 1: a. Δείξτε κατά πόσον η πρόταση ((p q) r) ((p q) (q r)) αποτελεί ή όχι ταυτολογία. Κάποιος ιδιόρρυθμος δικαστής ρωτήθηκε κατά
Διαβάστε περισσότεραΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο η Σειρά Ασκήσεων
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2017 1 η Σειρά Ασκήσεων Παράδοση: Τρίτη, 28/2/2017 μέχρι το τέλος του φροντιστηρίου Σημείωση: Οι απαντήσεις πρέπει να είναι τεκμηριωμένες Άσκηση 1.1 [1 μονάδα]
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2018 Λύσεις ασκήσεων προόδου
ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 018 Λύσεις ασκήσεων προόδου Θέμα 1: a. Δείξτε κατά πόσον η πρόταση ((p q) r) ((p q) (q r)) αποτελεί ή όχι ταυτολογία. b. Κάποιος ιδιόρρυθμος δικαστής ρωτήθηκε
Διαβάστε περισσότεραΗΥ118 - Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2013
ΗΥ118 - Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2013 2 η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [2 μονάδες] Έστω μεταβλητές και σταθερές στο σύνολο των ανθρώπων και η προτασιακή μορφή Ρ(x, y) με το νόημα "o x αγαπά
Διαβάστε περισσότεραΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων Λύσεις
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2016 3 η Σειρά Ασκήσεων Λύσεις Άσκηση 3.1 [1 μονάδα] Έστω p(x) και q(x) κατηγορήματα με πεδίο ορισμού Ω με σύνολα αλήθειας Α και Β αντίστοιχα (Σύνολα αλήθειας:
Διαβάστε περισσότεραΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων - Λύσεις
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2018 3 η Σειρά Ασκήσεων - Λύσεις Άσκηση 3.1 [1 μονάδα] Έστω Α={1,2,3,{1,3},4,{5,6}}. Ποιες από τις παρακάτω προτάσεις είναι σωστές και ποιες λάθος; i. {5,6} Α vi.
Διαβάστε περισσότεραΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο Παράδοση: Τρίτη 26/2/2019, μέχρι το τέλος του φροντιστηρίου
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2019 1 η Σειρά Ασκήσεων (Προτασιακός Λογισμός) Παράδοση: Τρίτη 26/2/2019, μέχρι το τέλος του φροντιστηρίου Σημείωση: Όλες οι απαντήσεις πρέπει να είναι τεκμηριωμένες
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Παρασκευή, 16/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 17-Feb-18
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Τρίτη, 20/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 20-Feb-18
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2017 Τελική Εξέταση Ιουνίου - Τετάρτη, 14/06/2017 ΛΥΣΕΙΣ
ΗΥ8: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 07 Τελική Εξέταση Ιουνίου - Τετάρτη, 4/06/07 ΛΥΣΕΙΣ Σημείωση: Οι παρακάτω λύσεις είναι ενδεικτικές. Ενδεχομένως, υπάρχουν και άλλοι σωστοί τρόποι επίλυσης. Θέμα
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Πέμπτη, 15/02/2018 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 15-Feb-18
Διαβάστε περισσότεραΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3
ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3 ιδασκοντες: Α. Μπεληγιάννης - Σ. Παπαδάκης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt.html Τετάρτη 13 Μαρτίου 2013 Ασκηση 1. Αφού ϐρείτε την
Διαβάστε περισσότεραΚατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5)
Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στον Κατηγορηματικό Λογισμό Σύνταξη Κανόνες Συμπερασμού Σημασιολογία ΕΠΛ 412 Λογική στην
Διαβάστε περισσότεραΟρισμένες σελίδες του βιβλίου
Ορισμένες σελίδες του βιβλίου 7. Θεωρούμε το σύνολο αναφοράς 0,,. Να οριστούν τα σύνολα: Α. των τριψηφίων αριθμών που σχηματίζουν τα στοιχεία του Ω. Β. των τριψηφίων αριθμών με διαφορετικά ψηφία Γ. των
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Πέµπτη, 23/02/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 2/23/2017
Διαβάστε περισσότεραΦροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 28/2/2017
Φροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 28/2/2017 Άσκηση Φ2.1 Διατυπώστε τις παρακάτω προτάσεις ως προτάσεις κατηγορηματικού λογισμού. Σε κάθε περίπτωση, προσδιορίστε τα κατηγορήματα
Διαβάστε περισσότεραΦροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 26/2/2019
Φροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 26/2/2019 Άσκηση Φ2.1 Διατυπώστε τις παρακάτω προτάσεις ως προτάσεις κατηγορηματικού λογισμού. Σε κάθε περίπτωση, προσδιορίστε τα κατηγορήματα
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2016 Λύσεις ασκήσεων προόδου
ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 016 Λύσεις ασκήσεων προόδου Θέμα 1: [16 μονάδες] [8] Έστω ότι μας δίνουν τα παρακάτω δεδομένα: Εάν αυτό το πρόγραμμα ΗΥ είναι αποδοτικό, τότε εκτελείται γρήγορα.
Διαβάστε περισσότεραΣημεία Προσοχής στην Παράγραφο Ε1.
Σημεία Προσοχής στην Παράγραφο Ε1. 1. Πότε μια πρόταση που περιέχει το ή είναι αληθής; Μια πρόταση που περιέχει τον σύνδεσμο "ή", ουσιαστικά αποτελείται από δύο ισχυρισμούς. Μπορεί και οι δύο ισχυρισμοί
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2018 Τελική Εξέταση Ιουνίου Λύσεις
ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 018 Τελική Εξέταση Ιουνίου Λύσεις Προσοχή: Οι παρακάτω λύσεις είναι ενδεικτικές, μπορεί να υπάρχουν και άλλες που επίσης να είναι σωστές. Θέμα 1: [16 μονάδες]
Διαβάστε περισσότεραΣτοιχεία Κατηγορηματικής Λογικής
Στοιχεία Κατηγορηματικής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κατηγορηματική Λογική
Διαβάστε περισσότεραΠροτάσεις. Εισαγωγή στις βασικές έννοιες των Μαθηματικών. Ποιες είναι προτάσεις; Προτάσεις 6/11/ ο Μάθημα Μαθηματική Λογική (επανάληψη)
Εισαγωγή στις βασικές έννοιες των Μαθηματικών 5 ο Μάθημα Μαθηματική Λογική (επανάληψη) Προτάσεις Η πρόταση είναι μια γλωσσική ενότητα, η οποία εκφράζει κάποιο νόημα. Παραδείγματα: Η Μαρία σχεδιάζει ένα
Διαβάστε περισσότεραK15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων
K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Στοιχεία προτασιακής λογικής Περιεχόμενα
Διαβάστε περισσότεραa. a + b = 3. b. a διαιρεί τ ο b. c. a - b = 0. d. ΜΚΔ(a, b) = 1. e. ΕΚΠ(a, b) = 6.
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2016 4 η Σειρά Ασκήσεων - Λύσεις Άσκηση 4.1 [1 μονάδα] Βρείτε όλα τα διατεταγμένα ζεύγη στη σχέση R από το Α={0,1,2,3} στο Β={0,1,2,3,4} όπου (a,b) R αν και μόνο
Διαβάστε περισσότεραΓενικά Μαθηματικά ΙΙ
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 6 η : Μερική Παράγωγος ΙΙ Λουκάς Βλάχος Καθηγητής Αστροφυσικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης
Διαβάστε περισσότεραΔΟΜΗ ΕΠΙΛΟΓΗΣ. Οι διάφορες εκδοχές της
ΔΟΜΗ ΕΠΙΛΟΓΗΣ Οι διάφορες εκδοχές της Απλή επιλογή Ναι Ομάδα Εντολών Α Ισχύει η Συνθήκη; Χ Χ Χ Όχι Αν (Συνθήκη =Αληθινή) Τότε Ομάδα εντολών Τέλος_αν Λειτουργία: 1. Αν ισχύει η συνθήκη εκτελείται ΠΡΩΤΑ
Διαβάστε περισσότεραΤυχαίες Μεταβλητές (τ.µ.)
Τυχαίες Μεταβλητές (τ.µ.) Τυχαία Μεταβλητή (τ.µ.) : συνάρτηση Χ (.) µε πεδίο ορισµού τον δειγµατικό χώρο Ω και πεδίο τιµών ένα σύνολο πραγµατικών αριθµών. X (.) : Ω D ιακριτές τ.µ. Συνεχείς τ.µ. Η πιθανοτική
Διαβάστε περισσότεραΠρόταση. Αληθείς Προτάσεις
Βασικές έννοιες της Λογικής 1 Πρόταση Στην καθημερινή μας ομιλία χρησιμοποιούμε εκφράσεις όπως: P1: «Καλή σταδιοδρομία» P2: «Ο Όλυμπος είναι το ψηλότερο βουνό της Ελλάδας» P3: «Η Θάσος είναι το μεγαλύτερο
Διαβάστε περισσότεραΠραγματικοί Αριθμοί 2
Διαφορικός Λογισμός Συναρτήσεις μίας μεταβλητής Όριο και συνέχεια Συνάρτησης Παράγωγος Συνάρτησης o Ιδιότητες παραγώγων o Κανόνες παραγώγισης o Διαφορικό συνάρτησης o Συναρτήσεις με παραμετρική μορφή Βασικά
Διαβάστε περισσότεραΣΥΝΑΡΤΗΣΕΙΣ ΔΥΟ ΜΕΤΑΒΛΗΤΩΝ
ΣΥΝΑΡΤΗΣΕΙΣ ΔΥΟ ΜΕΤΑΒΛΗΤΩΝ Έννοια συνάρτησης Παραγώγιση Ακρότατα Ασκήσεις Βασικές έννοιες Στην Οικονομία, τα περισσότερα από τα μετρούμενα μεγέθη, εξαρτώνται από άλλα μεγέθη. Π.χ η ζήτηση από την τιμή,
Διαβάστε περισσότεραx < y ή x = y ή y < x.
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Εαρινό Εξάμηνο 011-1 Τμήμα Μαθηματικών Διδάσκων: Χ.Κουρουνιώτης Μ8 ΕΡΓΑΣΤΗΡΙΟ ΑΝΑΛΥΣΗΣ Φυλλάδιο 1 Ανισότητες Οι πραγματικοί αριθμοί είναι διατεταγμένοι. Ενισχύουμε αυτήν την ιδέα με
Διαβάστε περισσότεραΠαράδειγμα άμεσης απόδειξης. HY118-Διακριτά Μαθηματικά. Μέθοδοι αποδείξεως για προτάσεις της μορφής εάν-τότε
HY118-Διακριτά Μαθηματικά Τρίτη, 27/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 27-Feb-18
Διαβάστε περισσότεραc(2x + y)dxdy = 1 c 10x )dx = 1 210c = 1 c = x + y 1 (2xy + y2 2x + y dx == yx = 1 (32 + 4y) (2x + y)dxdy = 23 28
Πανεπιστήµιο Κρήτης - Τµήµα Επιστήµης Υπολογιστών ΗΥ-7: Πιθανότητες-Χειµερινό Εξάµηνο 5 ιδάσκων : Π. Τσακαλίδης Λύσεις 6ης Σειρά Ασκήσεων Ασκηση. (α) Εχουµε ότι : 6 5 x= y= 6 x= 6 x= c(x + y)dxdy = ) c
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Τρίτη, 27/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 27-Feb-18
Διαβάστε περισσότεραΣτοιχεία Κατηγορηματικής Λογικής
Στοιχεία Κατηγορηματικής Λογικής Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης, Δ. Σούλιου Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κατηγορηματική
Διαβάστε περισσότεραΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3
ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt2014/nt2014.html https://sites.google.com/site/maths4edu/home/14
Διαβάστε περισσότεραx y z xy yz zx, να αποδείξετε ότι x=y=z.
ΑΣΚΗΣΕΙΣ ΣΤΗΝ ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ ΚΕΦ. ο A. Ταυτότητες, ιδιότητες δυνάμεων, διάταξη.1 Να παραγοντοποιήσετε τις παρακάτω παραστάσεις: 1. 15a x 15a y 5a x 5a y. a x a x a x a x 3 3 4 3 3 3 3. x 4xy 16 4 y
Διαβάστε περισσότεραΑΣΚΗΣΕΙΣ ΣΤΗ ΛΟΓΙΚΗ Α Ψ Α Ψ viii) 9. Α Ψ ix) Α Ψ xi) Α Ψ xii) 0 0. Α Ψ xiii) Α Ψ xiv) Α Ψ xv)
ΑΣΚΗΣΕΙΣ ΣΤΗ ΛΟΓΙΚΗ 1. Σε κάθε μία από τις παρακάτω προτάσεις να κυκλώσετε το γράμμα Α, αν θεωρείτε ότι ο ισχυρισμός που διατυπώνετε είναι αληθής, ενώ αν θεωρείτε ότι είναι ψευδής να κυκλώσετε το Ψ. Οι
Διαβάστε περισσότεραΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική)
ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική) Δημήτρης Φωτάκης Διακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο 2 η Εργασία: Γενική Εικόνα Αρκετά καλή βαθμολογική εικόνα (
Διαβάστε περισσότεραΑΛΓΕΒΡΑ - ΚΕΦΑΛΑΙΟ 4ο Εξισώσεις - Ανισώσεις Δευτέρου Βαθμού
ΑΛΓΕΒΡΑ - ΚΕΦΑΛΑΙΟ 4ο Εξισώσεις - Ανισώσεις Δευτέρου Βαθμού 97 98 ΕΡΩΤΗΣΕΙΣ ΑΝΑΠΤΥΞΗΣ 1. Να λυθεί η εξίσωση: 1 1 1 ( x+ )(x ) = x 3 3 9. Αν η εξίσωση (x - 3) λ + 3 = λ x έχει ρίζα τον αριθμό, να υπολογιστεί
Διαβάστε περισσότεραΣτοιχεία Κατηγορηματικής Λογικής
Στοιχεία Κατηγορηματικής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κατηγορηματική Λογική
Διαβάστε περισσότεραΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ
1. ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ Στόχος Να γνωρίζουν οι μαθητές: να αξιοποιούν το σύμβολο της συνεπαγωγής και της ισοδυναμίας να αξιοποιούν τους συνδέσμους «ή», «και» ΕΙΣΑΓΩΓΗ Η συννενόηση μεταξύ των ανθρώπων
Διαβάστε περισσότεραΔιακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Σκελετοί Λύσεων Ημερομηνία : Σάββατο, 27 Οκτωβρίου 2012 Διάρκεια : 11:00 13:00 Διδάσκουσα : Άννα Φιλίππου Άσκηση
Διαβάστε περισσότεραΑπειροστικός Λογισμός ΙΙ, εαρινό εξάμηνο Φυλλάδιο ασκήσεων επανάληψης.
Απειροστικός Λογισμός ΙΙ, εαρινό εξάμηνο 2016-17. Φυλλάδιο ασκήσεων επανάληψης. 1. Για καθεμία από τις παρακάτω συναρτήσεις ελέγξτε βάσει του ορισμού της παραγωγισιμότητας αν είναι παραγωγίσιμη στο αντίστοιχο
Διαβάστε περισσότεραΦροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 01/03/2016
Φροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 01/03/2016 Άσκηση Φ2.1 Διατυπώστε τις παρακάτω προτάσεις ως προτάσεις κατηγορηματικού λογισμού. Σε κάθε περίπτωση, προσδιορίστε τα κατηγορήματα
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά. Νόµοι ισοδυναµίας. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Παρασκευή, 24/02/2017
HY118- ιακριτά Μαθηµατικά Παρασκευή, 24/02/2017 Κατηγορηµατικός Λογισµός Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University
Διαβάστε περισσότεραΚΑΤΑΝΟΜΕΣ Ι ΙΑΣΤΑΤΩΝ ΤΥΧΑΙΩΝ ΜΕΤΑΒΛΗΤΩΝ (Συνέχεια)
(Συνέχεια) Χαράλαµπος Α. Χαραλαµπίδης 23 εκεµβρίου 29 5.1. Στο τυχαίο πείραµα της ϱίψης δύο διακεκριµένων κύβων έστω X η ένδειξη του πρώτου κύβου και Y η µεγαλύτερη από τις δύο ενδείξεις. Να προσδιορισθούν
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων
ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων Θέμα 1: [14 μονάδες] 1. [5] Έστω Y(x): «Το αντικείμενο x είναι ηλεκτρονικός υπολογιστής», Φ(y):
Διαβάστε περισσότεραΚανονικές μορφές - Ορισμοί
HY-180 Περιεχόμενα Κανονικές μορφές (Normal Forms) Αλγόριθμος μετατροπής σε CNF-DNF Άρνηση (Negation) Βασικές Ισοδυναμίες με άρνηση Νόμος De Morgan Πίνακες Αληθείας Κανονικές μορφές - Ορισμοί Ορισμός:
Διαβάστε περισσότεραΕπιμέλεια: xr.tsif Σελίδα 1 ΠΡΟΤΕΙΝΟΜΕΝΕΣ ΑΣΚΗΣΕΙΣ ΓΙΑ ΜΑΘΗΤΙΚΟΥΣ ΔΙΑΓΩΝΙΣΜΟΥΣ ΤΕΥΧΟΣ 6ο ΑΣΚΗΣΕΙΣ 501-600 Αφιερωμένο σε κάθε μαθητή που ασχολείται ή πρόκειται να ασχοληθεί με Μαθηματικούς διαγωνισμούς
Διαβάστε περισσότεραΔιαφορικές Εξισώσεις.
Διαφορικές Εξισώσεις. Εαρινό εξάμηνο 05-6. Λύσεις δεύτερου φυλλαδίου ασκήσεων.. Βρείτε όλες τις λύσεις της εξίσωσης Bernoulli x y = xy + y 3 καθορίζοντας προσεκτικά το διάστημα στο οποίο ορίζεται καθεμιά
Διαβάστε περισσότεραΔΙΑΓΩΝΙΣΜΑ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ 2 Β' Λυκείου. Ύλη: Συστήματα Ιδιότητες Συναρτήσεων
Είμαστε τυχεροί που είμαστε δάσκαλοι ΔΙΑΓΩΝΙΣΜΑ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ 2 Β' Λυκείου Ον/μο:. ΕΠΑ.Λ. Ύλη: Συστήματα Ιδιότητες Συναρτήσεων 05-10-1 Θέμα 1 ο : Α.i. Τι ονομάζουμε γραμμική εξίσωση; ( μον.) ii. Πότε
Διαβάστε περισσότερα1. Να σημειώσετε το σωστό (Σ) ή το λάθος (Λ) στους παρακάτω ισχυρισμούς :
ΚΡΙΤΗΡΙΑ ΑΞΙΟΛΟΓΗΣΗΣ 1. Να σημειώσετε το σωστό (Σ) ή το λάθος (Λ) στους παρακάτω ισχυρισμούς : 1. Αν μια πρόταση Ρ(ν) αληθής για ν = 3 και με την υπόθεση ότι Ρ(ν) είναι αληθής αποδείξουμε ότι και η Ρ(ν+1)
Διαβάστε περισσότεραc(x 1)dx = 1 xf X (x)dx = (x 2 x)dx = 2 3 x3 x 2 x 2 2 (x 1)dx x 2 f X (x)dx = (x 3 x 2 )dx = 2 4 x4 2 3 x3
Πανεπιστήµιο Κρήτης - Τµήµα Επιστήµης Υπολογιστών Θεωρία Πιθανοτήτων ιδάσκων : Π. Τσακαλίδης Λύσεις Τελικής Εξέτασης - 9 Ιανουαρίου 05 Θέµα. α Η γραφική παράσταση της σ.π.π. f X x ϕαίνεται στο σχήµα :
Διαβάστε περισσότεραΦροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 22/2/2018
Φροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 22/2/2018 Άσκηση Φ2.1 Διατυπώστε τις παρακάτω προτάσεις ως προτάσεις κατηγορηματικού λογισμού. Σε κάθε περίπτωση, προσδιορίστε τα κατηγορήματα
Διαβάστε περισσότεραΑ Γυμνασίου, Μέρο Α : Αριθμητική Άλγεβρα, Κεφάλαιο 1 - Οι φυσικοί αριθμοί
Α Γυμνασίου, Μέρο Α : Αριθμητική Άλγεβρα, Κεφάλαιο 1 - Οι φυσικοί αριθμοί Μαθηματικά Α Γυμνασίου Μέρο Α - Κεφάλαιο 1 Α. 1.2. Οι αριθμοί 0, 1, 2, 3, 4, 5, 6... 98, 99, 100... 1999, 2000, 2001,... ονομάζονται
Διαβάστε περισσότεραΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ - ΓΛΩΣΣΑ
ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ Τεχνικές Σχεδίασης Αλγορίθμων Εισαγωγή στον Προγραμματισμό - ΓΛΩΣΣΑ Επιμέλεια: Ομάδα Διαγωνισμάτων από Το στέκι των πληροφορικών ο Θέμα 1 Α. α) Ποια είναι
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Πέµπτη, 02/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/2/2017
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Πέμπτη, 01/03/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 02-Mar-18
Διαβάστε περισσότεραΚριτήρια διαιρετότητας. Κριτήριο για το 2. Κριτήριο για το 5. Κριτήριο για το 10,100, Θεωρία. Όνομα: Μαθηματικά Κεφάλαιο 11.
Μαθηματικά Κεφάλαιο 11 Κριτήρια διαιρετότητας Όνομα: Ημερομηνία: / / Θεωρία Κριτήρια διαιρετότητας Κριτήρια διαιρετότητας λέγονται οι κανόνες με τους οποίους μπορώ να συμπεράνω χωρίς να κάνω τη διαίρεση
Διαβάστε περισσότεραΥπολογιστικά & Διακριτά Μαθηματικά
Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 2:Στοιχεία Μαθηματικής Λογικής Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,
Διαβάστε περισσότεραΑΣΚΗΣΕΙΣ ΣΤΗ ΟΜΗ ΕΠΙΛΟΓΗΣ (ΑΝΑΦΕΡΟΝΤΑΙ ΟΣΑ ΠΡΟΕΡΧΟΝΤΑΙ ΑΠΟ ΤΗΝ ΤΡΑΠΕΖΑ ΘΕΜΑΤΩΝ)
ΑΣΚΗΣΕΙΣ ΣΤΗ ΟΜΗ ΕΠΙΛΟΓΗΣ (ΑΝΑΦΕΡΟΝΤΑΙ ΟΣΑ ΠΡΟΕΡΧΟΝΤΑΙ ΑΠΟ ΤΗΝ ΤΡΑΠΕΖΑ ΘΕΜΑΤΩΝ) ΑΣΚΗΣΗ 1 (ΤΡΑΠΕΖΑ ΘΕΜΑΤΩΝ) Δίνεται ο παρακάτω αλγόριθμος : Αλγόριθμος Παράδειγμα_1 Διάβασε α Αν α < 0 τότε α α * 5 Τέλος_αν
Διαβάστε περισσότεραΤις ασκήσεις επιμελήθηκαν οι καθηγητές της Γ Γυμνασίου των σχολείων μας και ο συντονιστής Μαθηματικών.
Τις ασκήσεις επιμελήθηκαν οι καθηγητές της Γ Γυμνασίου των σχολείων μας και ο συντονιστής Μαθηματικών. Ερωτήσεις «Σωστού - Λάθους» 1) Για όλους τους πραγματικούς α, β ισχύει: ( ) ( ) 3 3 ) Για όλους τους
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Τρίτη, 21/02/2017 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 2/21/2017
Διαβάστε περισσότεραΜΑΘΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ ΙΙ
ΜΑΘΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ ΙΙ Ακρότατα Δρ. Ιωάννης Ε. Λιβιέρης Τμήμα Μηχανικών Πληροφορικής Τ.Ε. TEI Δυτικής Ελλάδας 2 Ακρότατα συνάρτησης Έστω συνάρτηση f A R 2 R και ένα σημείο P(x, y ) A. Η τιμή f(x, y )
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Παρασκευή, 24/02/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 2/24/2017
Διαβάστε περισσότεραΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 3
ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Λυσεις Ασκησεων - Φυλλαδιο 3 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt2016/nt2016.html Πέµπτη 3 Νοεµβρίου 2016 Ασκηση 1. Αφού ϐρείτε
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ - Τµήµα Εφαρµοσµένων Μαθηµατικών
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ - Τµήµα Εφαρµοσµένων Μαθηµατικών «Γραµµική Άλγεβρα Ι» (ΕΜ111) Χειµερινό Εξάµηνο 2006-2007, ιδάσκων: Ι. Τσαγράκης 5 Ο ΦΥΛΛΑ ΙΟ ΑΣΚΗΣΕΩΝ Άσκηση 1: Έστω V ένας διανυσµατικός χώρος επί
Διαβάστε περισσότεραΜαθηματικά. Ενότητα 2: Δεκαδικοί αριθμοί, κλάσματα, δυνάμεις, ρίζες και ποσοστά. Σαριαννίδης Νικόλαος Τμήμα Λογιστικής και Χρηματοοικονομικής
Μαθηματικά Ενότητα 2: Δεκαδικοί αριθμοί, κλάσματα, δυνάμεις, ρίζες και ποσοστά Σαριαννίδης Νικόλαος Τμήμα Λογιστικής και Χρηματοοικονομικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες
Διαβάστε περισσότεραΚεφάλαιο 7 Βασικά Θέματα Προγραμματισμού. Εφαρμογές Πληροφορικής Κεφ. 7 Καραμαούνας Πολύκαρπος 1
Κεφάλαιο 7 Βασικά Θέματα Προγραμματισμού Καραμαούνας Πολύκαρπος 1 1. Τύποι και Μεταβλητές Τύποι δεδομένων: 1. Ακέραιος π.χ. 3, -9, 2004 2. Πραγματικός π.χ. 3.14 3. Χαρακτήρας π.χ. 3ο Ενιαίο Λύκειο 4. Λογικός
Διαβάστε περισσότερα0, x < 0 1+x 8, 0 x < 1 1 2, 1 x < x 8, 2 x < 4
Πανεπιστήµιο Κρήτης - Τµήµα Επιστήµης Υπολογιστών ΗΥ-7: Πιθανότητες-Χειµερινό Εξάµηνο 5 ιδάσκων : Π. Τσακαλίδης Φροντιστήριο 7 Συνεχείς Τυχαίες Μεταβλητές Επιµέλεια : Κωνσταντίνα Φωτιάδου Ασκηση. Εστω
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά. Ένα παράδειγµα... Έχουµε δει. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Πέµπτη, 23/02/2017
HY118- ιακριτά Μαθηµατικά Πέµπτη, 23/02/2017 Κατηγορηµατικός Λογισµός Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Τρίτη, 21/02/2017 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 2/21/2017
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα
Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 1. Μαθηματικό Υπόβαθρο 23, 26 Ιανουαρίου 2007 Δρ. Παπαδοπούλου Βίκη 1 1.1. Σύνολα Ορισμός : Σύνολο μια συλλογή από αντικείμενα Στοιχεία: Μέλη συνόλου Τα στοιχεία
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ - ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΕΙΣΑΓΩΓΙΚΕΣ ΜΕΤΑΠΤΥΧΙΑΚΕΣ ΕΞΕΤΑΣΕΙΣ 26 ΙΟΥΛΙΟΥ 2008 ΕΥΤΕΡΟ ΜΕΡΟΣ :
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ - ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΑΛΓΕΒΡΑ - ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ ΑΝΑΛΥΣΗ ΑΡΙΘΜΗΤΙΚΗ ΑΝΑΛΥΣΗ ΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ ΠΙΘΑΝΟΤΗΤΕΣ - ΣΤΑΤΙΣΤΙΚΗ ΕΙΣΑΓΩΓΙΚΕΣ ΜΕΤΑΠΤΥΧΙΑΚΕΣ ΕΞΕΤΑΣΕΙΣ
Διαβάστε περισσότεραΟ μαθητής που έχει μελετήσει το κεφάλαιο αυτό θα πρέπει να είναι σε θέση:
Ο μαθητής που έχει μελετήσει το κεφάλαιο αυτό θα πρέπει να είναι σε θέση: Να γνωρίζει: α. την έννοια του μιγαδικού αριθμού και β. πότε δύο μιγαδικοί αριθμοί είναι ίσοι. Να μπορεί να βρίσκει: α. το άθροισμα,
Διαβάστε περισσότεραΓ τάξη Τεχνολογικής Κατεύθυνσης Ενιαίου Λυκείου ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ. ΔΟΜΗ ΕΠΙΛΟΓΗΣ Διδάσκων: ΔΟΥΡΒΑΣ ΙΩΑΝΝΗΣ
Γ τάξη Τεχνολογικής Κατεύθυνσης Ενιαίου Λυκείου ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΔΟΜΗ ΕΠΙΛΟΓΗΣ Διδάσκων: ΔΟΥΡΒΑΣ ΙΩΑΝΝΗΣ Κεφάλαιο 2 : Δομή Επιλογής Εντολές επιλογής Εντολή ΑΝ. Εντολές
Διαβάστε περισσότεραΧρησιμοποιείται για να αποφασίσει το πρόγραμμα αν θα κάνει κάτι σε ένα σημείο της εκτέλεσής του, εξετάζοντας αν ισχύει ή όχι μια συνθήκη.
Εργαστήριο 4: 4.1 Η Δομή Ελέγχου if Χρησιμοποιείται για να αποφασίσει το πρόγραμμα αν θα κάνει κάτι σε ένα σημείο της εκτέλεσής του, εξετάζοντας αν ισχύει ή όχι μια συνθήκη. Γενική Μορφή: Παρατηρήσεις:
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Παρασκευή, 04/04/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 4/7/2017
Διαβάστε περισσότεραΚατηγορηµατική Λογική Προτασιακή Λογική: πλαίσιο διατύπωσης και µελέτης επιχειρηµάτων για πεπερασµένο πλήθος «λογικών αντικειµένων». «Λογικό αντικείµε
Στοιχεία Κατηγορηµατικής Λογικής ιδάσκοντες: Φ. Αφράτη, Σ. Ζάχος,. Σούλιου Επιµέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κατηγορηµατική
Διαβάστε περισσότεραΛΧ1004 Μαθηματικά για Οικονομολόγους
ΛΧ1004 Μαθηματικά για Οικονομολόγους Μάθημα 1 ου Εξαμήνου 2Θ+2Φ(ΑΠ) Ι. Δημοτίκαλης, Επίκουρος Καθηγητής 1 ΤΕΙ ΚΡΗΤΗΣ-ΤΜΗΜΑ Λ&Χ: jdim@staff.teicrete.gr ΠΡΟΤΕΙΝΟΜΕΝΟ ΒΙΒΛΙΟ ΕΦΑΡΜΟΓΕΣ ΜΑΘΗΜΑΤΙΚΟΥ ΛΟΓΙΣΜΟΥ
Διαβάστε περισσότεραΕισαγωγή στη Θεωρία Αριθµών για το Λύκειο. Ασκήσεις
Εισαγωγή στη Θεωρία Αριθµών για το Λύκειο Σηµειώσεις Προετοιµασίας για Μαθηµατικούς ιαγωνισµούς Ασκήσεις Αλέξανδρος Γ. Συγκελάκης ags@math.uoc.gr Νοέµβριος 2012 1 Ασκησεις στη Θεωρια Αριθµων 1 Μαθηµατική
Διαβάστε περισσότεραΑποφασισιµότητα. HY118- ιακριτά Μαθηµατικά. Βασικές µέθοδοι απόδειξης. 07 -Αποδείξεις. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο 2017
HY118- ιακριτά Μαθηµατικά Πέµπτη, 02/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/2/2017
Διαβάστε περισσότεραΣΥΝΑΡΤΗΣΕΙΣ ΔΥΟ ΜΕΤΑΒΛΗΤΩΝ
ΣΥΝΑΡΤΗΣΕΙΣ ΔΥΟ ΜΕΤΑΒΛΗΤΩΝ Έννοια συνάρτησης δύο μεταβλητών Ισουψείς καμπύλες Παραγώγιση Μερικές παράγωγοι πρώτου και δευτέρου βαθμού Ασκήσεις Βασικές έννοιες Στην Οικονομία, τα περισσότερα από τα μετρούμενα
Διαβάστε περισσότεραΔΙΑΓΩΝΙΣΜΑ ΠΡΟΣΟΜΟΙΩΣΗΣ ΣΤΗΝ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ
ΔΙΑΓΩΝΙΣΜΑ ΠΡΟΣΟΜΟΙΩΣΗΣ ΣΤΗΝ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ 05/01/2010 ΘΕΜΑ 1 ο Α) Δίνεται η παρακάτω ακολουθία εντολών αλγορίθμου: ΑΛΓΟΡΙΘΜΟΣ Θέμα1 ΔΙΑΒΑΣΕ Ν Σ 0 π 0 ΓΙΑ ψ ΑΠΟ -1 ΜΕΧΡΙ
Διαβάστε περισσότεραΟι Φυσικοί Αριθμοί. Παρατήρηση: Δεν στρογγυλοποιούνται αριθμοί τηλεφώνων, Α.Φ.Μ., κωδικοί αριθμοί κλπ. Πρόσθεση Φυσικών αριθμών
Οι Φυσικοί Αριθμοί Γνωρίζουμε ότι οι αριθμοί είναι ποσοτικές έννοιες και για να τους γράψουμε χρησιμοποιούμε τα αριθμητικά σύμβολα. Οι αριθμοί μετρούν συγκεκριμένα πράγματα και φανερώνουν το πλήθος της
Διαβάστε περισσότεραΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ Περιεχόμενα : Α) Προτάσεις-Σύνθεση προτάσεων Β)Απόδειξη μιας πρότασης Α 1 ) Τι είναι πρόταση Β 1 ) Βασικές έννοιες Α ) Συνεπαγωγή Β ) Βασικές μέθοδοι απόδειξης Α 3 ) Ισοδυναμία
Διαβάστε περισσότεραΑσκήσεις Επανάληψης Λύσεις
Άσκηση 1 Ασκήσεις Επανάληψης Λύσεις (α) Το επακόλουθο (A (B C)) ((A C) (A B)) είναι ψευδές. Αυτό φαίνεται στην ανάθεση τιμών [Α] = Τ, [Β] = F, [C] = T. (β) Ακολουθεί η απόδειξη του επακόλουθου. 1. x(p(x)
Διαβάστε περισσότεραΣυνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF
Συνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF 1 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Πέμπτη 15/02/2018 Κρεατσούλας Κωνσταντίνος Ασυνεπές σύνολο
Διαβάστε περισσότεραΜερικές διατάξεις. HY118- ιακριτά Μαθηµατικά. Μερικές διατάξεις, παράδειγµα. ιαγράµµατα Hasse: Αναπαράσταση σχέσεων µερικής διάταξης
HY118- ιακριτά Μαθηµατικά Παρασκευή, 04/04/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 4/7/2017
Διαβάστε περισσότερα(a + b) + c = a + (b + c), (ab)c = a(bc) a + b = b + a, ab = ba. a(b + c) = ab + ac
Σημειώσεις μαθήματος Μ1212 Γραμμική Άλγεβρα ΙΙ Χρήστος Κουρουνιώτης ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ 2014 Κεφάλαιο 1 Διανυσματικοί Χώροι Στο εισαγωγικό μάθημα Γραμμικής Άλγεβρας ξεκινήσαμε μελετώντας
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά. Συναρτήσεις. Συνάρτηση. Συνάρτηση: Τυπικός ορισµός Συναρτήσεις
HY118- ιακριτά Μαθηµατικά Παρασκευή, 08/04/2016 Συναρτήσεις Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of
Διαβάστε περισσότεραΜαθηματικά Α' Γυμ. - Ερωτήσεις Θεωρίας 1 ΕΡΩΤΗΣΕΙΣ. (1) Ποιοι είναι οι φυσικοί αριθμοί; Γράψε τέσσερα παραδείγματα.
Μαθηματικά Α' Γυμ. - Ερωτήσεις Θεωρίας 1 ΕΡΩΤΗΣΕΙΣ (1) Ποιοι είναι οι φυσικοί αριθμοί; Γράψε τέσσερα παραδείγματα. (2) Ποιοι είναι οι άρτιοι και ποιοι οι περιττοί αριθμοί; Γράψε από τρία παραδείγματα.
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Παρασκευή, 08/04/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 4/10/2016
Διαβάστε περισσότεραΜαθηματικά: Αριθμητική και Άλγεβρα. Μάθημα 3 ο, Τμήμα Α. Τρόποι απόδειξης
Μαθηματικά: Αριθμητική και Άλγεβρα Μάθημα 3 ο, Τμήμα Α Ο πυρήνας των μαθηματικών είναι οι τρόποι με τους οποίους μπορούμε να συλλογιζόμαστε στα μαθηματικά. Τρόποι απόδειξης Επαγωγικός συλλογισμός (inductive)
Διαβάστε περισσότεραα) f(x(t), y(t)) = 0,
Ρητές καμπύλες Μια επίπεδη αλγεβρική καμπύλη V (f) είναι το σύνολο όλων των σημείων του επιπέδου K 2 που μηδενίζουν κάποιο συγκεκριμένο ανάγωγο πολυώνυμο f K[x, y], δηλαδή V (f) = {(x 0, y 0 ) K 2 f(x
Διαβάστε περισσότεραΑς θεωρήσουμε δύο πραγματικούς αριθμούς. Είναι γνωστό ότι:,. Αυτό σημαίνει ότι: «=», «
.1 Στη παράγραφο αυτή θα γνωρίσουμε μερικές βασικές έννοιες της Λογικής, τις οποίες θα χρησιμοποιήσουμε στη συνέχεια, όπου αυτό κρίνεται αναγκαίο, για τη σαφέστερη διατύπωση μαθηματικών εννοιών, προτάσεων
Διαβάστε περισσότεραΕφαρμοσμένα Μαθηματικά ΙΙ
Τμήμα Μηχανολόγων Μηχανικών Πανεπιστήμιο Θεσσαλίας Εφαρμοσμένα Μαθηματικά ΙΙ Διανυσματικά Πεδία Επικαμπύλια Ολοκληρώματα Θεώρημα Green Ιωάννης Λυχναρόπουλος Μαθηματικός, MSc, PhD Επικαμπύλιο Ολοκλήρωμα
Διαβάστε περισσότερα