Φυλλάδια 2&3: Κατηγορηµατική Λογική
|
|
- Διόσκουροι Δράκος
- 6 χρόνια πριν
- Προβολές:
Transcript
1 ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Φυλλάδια 2&3: Κατηγορηµατική Λογική ΕΚΕΜΒΡΙΟΣ 2007 ΣΗΜΕΙΩΣΗ: ΟΙ ΛΥΣΕΙΣ ΠΟΥ ΑΚΟΛΟΥΘΟΥΝ ΕΧΟΥΝ ΟΘΕΙ ΑΠΟ ΣΥΝΑ ΕΛΦΟΥΣ ΣΑΣ ΤΩΝ ΟΠΟΙΩΝ ΤΑ ΟΝΟΜΑΤΑ ΑΝΑΓΡΑΦΟΝΤΑΙ. A. Θεωρείστε την ακόλουθη πρόταση. x.( p(x) q(x)) (p(x) q(x)) ώστε µια ερµηνεία που ικανοποιεί την πρόταση αυτή για ένα δικό σας σύµπαν και µια ερµηνεία που δεν την ικανοποιεί για το ίδιο σύµπαν. Απάντηση από Α. αλάτση: Σύµπαν: {α} Ικανοποιείται για {q(a)} εν ικανοποιείται για {p(a)} Απάντηση από Α.Παντελη Universe = {a} Ικανοποιείται για e1 = {} εν ικανοποιείται για e2 = {p(a),q(a)} B. είξτε αναλυτικά ποια από τα παρακάτω ζεύγη είναι ενοποιήσιµα a. p(x, b, f(y)), p(a,y, f(z)) b. p(f(x,b), g(y), f(z,a)), p(y, g(f(g(w),w)), f(w,z)) c. p(f(g(a)), x, f(h(z,z)), h(y,g(w))), p(y, g(z), f(v), h(f(w),x)) Απάντηση από Καζιολα Οδυσσέα:
2 a. p(x,b,f(y)) p(a,y,f(z)) s0={ },so ={x a},s1= s0 o s0 ={}o{x a}={x a} p(x, b, f(z))s1=p(a, b, f(y)) p(a, y, f(z))s1=p(a, y, f(z)) s1 ={y b},s2=s1 o s1 ={x a}o{y b}={x a, y b} p(a, b, f(y))s2=p(a, b, f(b)) p(a, y, f(z))s2=p(a, b, f(z)) f(b),f(z). s2 ={z b},s3=s2 o s2 ={x a, y b, z b} p(a, b, f(b))s3=p(a, b, f(b)) p(a, b, f(z))s3=p(a, b, f(b)) b. p(f(x, b), g(y), f(z, a)) p(y, g(f(g(w), w)), f(w, z)) s0={ }, s0 ={y f(x, b)},s1=s0 o s0 ={}o{y f(x, b)}= {y f(x,b)} p(f(x, b), g(y), f(z, a))s1=p(f(x, b), g(f(x, b)), f(z, a)) p(y, g(f(g(w), w)), f(w, z))s1= p(f(x, b), g(f(g(w), w)), f(w, z)) g(f(x, b)) g(f(g(w), w)) f(x, b) f(g(w), w),s1={x g(w)} f(x, b)s1=f(g(w), b) f(g(w), w)s1 =f(g(w), w),s1 ={w b}, s2 =s1 o s1 ={x g(w)} o {w b}={x g(b), w b}
3 f(g(w), b)s2= f(g(b), b) f(g(w), w)s2=f(g(b), b) s3=s1 o s2={y f(x, b)}o{x g(b), w b}={y f(g(b), b), x g(b), w b} p(f(x, b), g(f(x, b)), f(z, a))s3= p(f(g(b), b), g(f(g(b), b)), f(z, a)) p(f(x, b), g(f(g(w), w)), f(w, z))s3=p(f(g(b), b), g(f(g(b), b)), f(b, z)) f(z, a) f(b, z), s0={},s0 ={z b},s1= s0 o so ={z b} f(z, a)s1=f(b, a) f(b, z)s1=f(b, b).όµως, α διάφορο του b.άρα δεν ενοποιούνται c. p(f(g(a)), x, f(h(z, z)), h(y, g(w))) p(y, g(z), f(v), h(f(w),x)) s0={},s0 ={y f(g(a))},s1=s0 o s0 ={y f(g(a))} p(f(g(a)), x, f(h(z, z)), h(y, g(w)))s1= p(f(g(a)), x, f(h(z, z)), h(f(g(a)),g(w)) p(y, g(z), f(v), h(f(w),x))s1= p(f(g(a)), g(z), f(v), h(f(w),x)) x g(z),s1 ={x g(z)}, s2=s1 o s1 ={y f(g(a))}o{x g(z)}= {y f(g(a)), x g(z)} p(f(g(a)), x, f(h(z, z)), h(f(g(a)),g(w))s2= p(f(g(a)),g(z), f(h(z, z)), h(f(g(a)),g(w)) p(f(g(a)), g(z), f(v), h(f(w),x))s2= p(f(g(a)), g(z), f(v), h(f(w),g(z))) f((h(z, z)) f(v),s1={v h(z, z)}, s3=s2 o s1={y f(g(a)), x g(z)}o{v h(z, z)}= {y f(g(a)), x g(z),v h(z, z)} p(f(g(a)),g(z), f(h(z,z)),h(f(g(a)),g(w))s3= p(f(g(a)),g(z),
4 f(h(z, z)),h(f(g(a)),g(w)) p(f(g(a)), g(z), f(v), h(f(w),g(z)))s3= p(f(g(a)), g(z), f(h(z, z)), h(f(w),g(z))) h(f(g(a)),g(w)) h(f(w),g(z)) f(g(a)) f(w),s0={ }, s0 ={w g(a)}, s1=s0 o s0 ={w g(a)} h(f(g(a)),g(w))s1=h(f(g(a)), g(g(a))) h(f(w),g(z))s1=h(f(g(a)), g(z)) g(g(a)) g(z)),s1 ={z g(a)}, s2=s1 o s1 ={w g(a)}o{z g(a)}= {w g(a),z g(a)} h(f(g(a)), g(g(a)))s2=h(f(g(a)), g(g(a))) h(f(g(a)), g(z))s2=h(f(g(a)), g(g(a))) Άρα: s4=s3 o s2= {y f(g(a)), x g(z), v h(z, z)}o{w g(a),z g(a)}= {y f(g(a)), x g(g(a)), v h(z, z), w g(a),z g(a)} p(f(g(a)),g(z),f(h(z,z)),h(f(g(a)),g(w))s4= p(f(g(a)),g(g(a)),f(h(g(a), g(a))),h(f(g(a)),g(g(a))) p(f(g(a)), g(z), f(h(z, z)), h(f(w),g(z)))s4= p(f(g(a)),g(g(a)),f(h(g(a), g(a))),h(f(g(a)),g(g(a))) Αποφασίστε (µη δείξετε τη διαδικασία) ποιά από τα παρακάτω ζεύγη είναι ενοποιήσιµα
5 Απάντηση από Κυριακου Ανδρονίκη d. f(g(v),h(u,v)), f(g(w),h(w,j(x,y))) d. f(g(v),h(u,v)), f(g(w),h(w,j(x,y))) e. f(g(v),h(u,v)), f(g(w),h(w,j(x,u))) f. f(x,f(u,x)), f(f(y,a),f(z,f(b,z))) Το ζεύγος ενοποιείται και ο ενοποιητής είναι ο { u <- j(x, y), v <- j(x, y), w <- j(x, y)} e. f(g(v),h(u,v)), f(g(w),h(w,j(x,u))) εν υπάρχει ενοποιητής για αυτό το ζεύγος άρα δεν ενοποιείται. f. f(x,f(u,x)), f(f(y,a),f(z,f(b,z))) Το ζεύγος αυτό ενοποιείται και ο ενοποιητής είναι ο {x <- f(b, a), u <- a, y <- b, z <- a} (τα αρχικά γράµµατα της αλφαβήτου είναι σταθερές οντοτήτων, ενώ τα γράµµατα προς το τέλος της αλφαβήτου είναι µεταβλητές) Γ. Μετατρέψατε την παρακάτω πρόταση και την άρνησή της σε προτασιακή µορφή w. x.( y.( p(x, y) r(y)) z.(q(w, z))) Λύση από Α.Παντελη 1) w. x.( y.( p(x, y) r(y)) z.(q(w, z))) Σ. w. x.( ( z.(q(w, z))) y.( p(x, y) r(y))) Α. w. x.( z.( q(w, z))) y.( p(x, y) r(y))) Π. - Υ. x.( z.( q(a, z))) ( p(x, f(x)) r(f(x)))) K. q(a, z) ( p(x, f(x)) r(f(x))) E. ( q(a, z) p(x, f(x))) ( q(a, z) r(f(x))) T. { q(a, z), p(x, f(x))}, { q(a, z), r(f(x))} 2) ( w. x.( y.( p(x, y) r(y)) z.(q(w, z)))) Σ. ( w. x.( ( z.(q(w, z))) y.( p(x, y) r(y)))) Α. ( w. x.( z.( q(w, z)) y.( p(x, y) r(y))))
6 w. x. ( z.( q(w, z)) y.( p(x, y) r(y)))) w. x.( z.(q(w, z)) y.(p(x, y) r(y)))) Π. - Υ. w. (q(w, f(w)) y.(p(g(w), y) r(y)))) K. q(w, f(w)) (p(g(w), y) r(y)) E. - T.{q(w, f(w))}, {p(g(w), y), r(y)}. εδοµένων των παρακάτω υποθέσεων 1. x.(logician(x) coffee(x)) 2. x.( theorems(x) coffee(x)) 3. x.(logician(friend(x))) ώστε µια απόδειξη για το συµπέρασµα χρησιµοποιώντας (α) τη µέθοδο του Herbrand, (b) τον κανόνα της επίλυσης: x.(logician(x) coffee(x) theorems(x)) (α) Η µέθοδος Herbrand ΕΝ εφαρµόζεται λόγω του ότι το σύµπαν είναι άπειρο (εξαιτίας ύπαρξης συνασρτησιακού όρου) (β) Λύση από Κυριακου Ανδρονικη Μετατρέπουµε τις προτάσεις σε κανονική µορφή και έχουµε: 1. { logician(x), coffee(x)} 2. {theorems(x), coffee(x)} 3. {logician(friend(a))} Η άρνηση του συµπεράσµατος είναι: x.(logician(x) coffee(x) theorems(x)) Μετατρέπουµε την άρνηση του συµπεράσµατος σε κανονική µορφή και έχουµε: { logician(x), coffee(x), theorems(x)} Εφαρµόζουµε την επίλυση: 1. { logician(x), coffee(x)} 2. {theorems(x), coffee(x)}
7 3. {logician(friend(a))} 4. { logician(x), coffee(x), theorems(x)} 5. { logician(x), theorems(x)} (1, 4) 6. { logician(x), coffee(x)} (2, 5) 7. { logician(x)} (6, 1) 8. {} (7, 3) x friend(a) Ε. Tι µετατροπές θα κάνατε για την εφαρµογή της µεθόδου Herbrand? Κάντε τις αλλαγές που προτείνετε και εφαρµόσατε τη µέθοδο. Λύση από Α. Παντελη Θεώρηµα Herbrand : Ένα σύνολο προτάσεων δίχως ποσοδείκτες έχει µοντέλο αν και µόνο αν έχει Herbrand µοντέλο. 1. logician(friend(a)) coffee(friend(a))) 2. theorems(friend(a)) coffee(friend(a))) 3. logician(friend(a)) 4. logician(friend(a)) coffee(friend(a)) theorems(friend(a))) HU = {friend(a)} Ουσιαστικά θεωρεί και χρησιµοποιεί το friend(a) ) ώς σταθερά οντότητας «β» HB = {logician(friend(a)), coffee(friend(a)), theorems(friend(a))} H-Ερµηνείες {} ν ν χ {logician(friend(a)} χ {coffee(friend(a)} ν χ
8 {theorems(friend(a)} ν Ν χ {logician(friend(a), coffee(friend(a)} ν Χ {logician(friend(a), theorems(friend(a)} χ {coffee(friend(a), theorems(friend(a)} ν Ν χ {logician(friend(a), coffee(friend(a), theorems(friend(a)} ν Ν ν χ Λύση από Μ.Πολυχρόνη (µε µια διόρθωση) Σύνολο Ικανοποίησης 1. x.(logician(x) coffee(x)) Υπόθεση 2. x.( theorems(x) coffee(x)) Υπόθεση 3. x.(logician(x)) Υπόθεση 4. (logician(a) coffee(a) theorems(a)) Skolemization Φτιάχνουµε στη συνέχεια το Hu σύµπαν και Hb βάση. Hu: {a} Hb:{logician(a), coffee(a), theorems(a)} Στη συνέχεια φτιάχνουµε όλες τις δυνατές ερµηνείες από το Hb και τα τοποθετούµε σε πίνακα και ελέγχουµε αν όλες οι ερµηνείες δεν ικανοποιούνται δηλ. το άτοπο αφού αρνηθήκαµε το συµπέρασµα πρέπει να αποδείξουµε το άτοπο δηλ. ότι καµία ερµηνεία δεν ικανοποιείται. Έτσι έχουµε : (logician(x) ( theorems(x) (logician(x)) ( logician(a) coffee(x)) coffee(x)) coffee(a) theorems(a)) Σ {} X X logician(a) X X
9 coffee(a) X X X theorems(a) X X logician(a),coffee(a) X X logician(a),theorems(a) X X coffee(a),theorems(a) X X logician(a),coffee(a),theorems(a ) X X ΣΤ. Κανόνας της επίλυσης: Αποδείξτε ότι για τις παρακάτω προτάσεις δεν υπάρχει µοντέλο α. { p(x, y), q(x, y, f(x,y))} { r(y, z), q(a, y, z)} {r(y, z), q(a, y, z)} {p(x, g(x)), q(x, g(x), z)} { r(x,y), q(x, w, z)} 1. { p(χ, Υ), q(χ, Υ, f(χ,υ))} 2. { r(υ, Ζ), q(a, Υ, Ζ)} 3. {r(υ, Ζ), q(a, Υ, Ζ)} 4. {p(χ, g(χ)), q(χ, g(χ), Ζ)} 5. { r(χ,υ), q(χ, W, Z)} 6. {q(x,g(x),f(x,g(x)))} 4,1 {Y<-g(X), Z<-f(X,g(X))} 7. { r(χ,υ)} 6,5 {W<-g(X), Z<-f(X,g(X))} { r(υ,z)} Μετονοµασία 8. { q(a,y,z)} 7,3 9. {} 8,6 {X<-a,Y<-g(a),Z<-f(a,g(a))} β. { r(x,y), r(y,z), r(x,z)} { p(x,y), q(y,z), r(x,z)} {p(a,b)} {q(b,c)} { r(a,c)}
10 Λύση 1. { r(x, y), r(y, z), r(x, z)} 2. { p(x, y), q(y, z), r(x, z)} 3. {p(a, b)} 4. {q(b, c)} 5. { r(a, c)} 6. { q(b, z), r(a, z)} (2, 3) 7. {r(a, c)} (6, 4) 8. {} (7, 5) Ζ. Μετατρέψατε τις προτασιακές µορφές της ΣΤ(β) σε προτάσεις της κατηγορηµατικής λογικής και αποδείξτε ότι δεν υπάρχει µοντέλο που να τις ικανοποιεί χρησιµοποιώντας το µοντέλο του Herbrand. Απάντηση από Α.Παντελη 1. r(x,y) r(y,z) r(x,z) 2. p(x,y) q(y,z) r(x,z) 3.p(a,b) 4.q(b,c) 5. r(a,c) HU = {a,b,c} Η µέθοδος Herbrand θα χρειαστεί ελεγχο 2 54 ερµηνειών που είναι πρακτικά αδύνατο. Παρατηρούµε όµως ότι οι προτάσεις γράφονται και 1. r(x,y) r(y,z) r(x,z) 2. p(x,y) q(y,z) r(x,z)
11 3. p(a,b) q(b,c) r(a,c) Παρατηρούµε ότι για x<-a, y<-b, z<- c η 3 είναι η άρνηση της 2, και αφού η 2 πρέπει να ισχύει για κάθε x,y,z το σύνολο δεν έχει Η-µοντέλο (άρα δεν έχει µοντέλο γενικά) Η. Αποδείξτε µε τον κανόνα της επίλυσης τα ακόλουθα α. Η πρόταση (Α (Β C)) & (A B) (A C) είναι µη-ικανοποιήσιµη β. Η Β είναι λογική συνέπεια από το σύνολο υποθέσεων ={ (Β Α), ((Β Γ) Α), ((Α Β) Γ) } γ. Ότι {( x( α(x) (β(x) γ(x)) )), ( x(α(x) δ(x) )} x (δ(x) γ(x)) Λύση από Ε.Μπουρνάκη α. (a<=>(b=>c))^(a<=>b)^(a<=> c) Σ (( a v (b=>c))^(a v (b=>c))) ^ ( a v b)^(a v b) ^ ( a v c)^(a v c) (( a v b v c)^(a v ( b v c))) ^ ( a v b)^(a v b) ^ ( a v c)^(a v c) A (( a v b v c)^(a v (b ^ c))) ^ ( a v b)^(a v b) ^ ( a v c)^(a v c) E ( a v b v c) ^ (a v (b ^ c)) ^ ( a v b) ^ (a v b) ^ ( a v c) ^ (a v c) ( a v b v c) ^ (a v b) ^ (a v c) ^ ( a v b) ^ (a v b) ^ ( a v c) ^ (a v c) T { a, b, c}, {a, b}, {a, c}, { a, b}, {a, b}, { a, c}, {a, c} Εφαρµογή της επίλυσης 1. { a, b, c} 2. {a, b} 3. {a, c} 4. { a, b} 5. {a, b} 6. { a, c} 7. {a, c} 8. {b} 2,4 9. { a, b} 1,6
12 10.{ b} 9,5 11.{} 8,10 β. Υποθέσεις β=>α (β^γ) => α α^β=> γ Συµπέρασµα β β=>α Σ β v α Α β v α Ε β v α Τ { β, α} (β^γ) => α Σ (β^γ) v α Α β v γ v α Ε β v γ v α Τ { β, γ, α} α^β=> γ Σ (α^β) v γ Α α v β v γ Ε α v β v γ Τ { α, β, γ}
13 Εφαρµογή επίλυσης 1. { β, α} Υπόθεση 2. { β, γ, α} Υπόθεση 3. { α, β, γ} Υπόθεση 4. {β} Άρνηση συµπεράσµατος 5. { α, β} 2,3 6. { β} 5,1 7. {} 6,4 γ. Υποθέσεις Χ(α(Χ) => (β(χ) ^ γ(χ))) Χ(α(Χ) ^ δ(χ)) Συµπέρασµα Χ(δ(Χ) ^ γ(χ)) Χ(α(Χ) => (β(χ) ^ γ(χ))) Σ Χ( α(χ) v (β(χ) ^ γ(χ))) Α Π Υ Κ α(χ) v (β(χ) ^ γ(χ)) Ε ( α(χ) v β(χ)) ^ ( α(χ) v γ(χ)) Τ { α(χ), β(χ)} { α(χ), γ(χ)}
14 Χ(α(Χ) ^ δ(χ)) Σ Α Π Υ α(α) ^ δ(α) Κ Ε Τ {α(α)} {δ(α)} Χ(δ(Χ) ^ γ(χ)) Σ Α Χ( δ(χ) v γ(χ)) Π Υ Κ δ(χ) v γ(χ) Ε Τ { δ(χ), γ(χ)} Εφαρµογή επίλυσης 1. { α(χ), β(χ)} Υπόθεση 1 2. { α(χ), γ(χ)} Υπόθεση 1 3. {α(α)} Υπόθεση 2 4. {δ(α)} Υπόθεση 2 5. { δ(χ), γ(χ)} Άρνηση συµπεράσµατος 6. { γ(α)} 5,4 7. { α(α)} 6,2 8. {} 7,3
15 Θ. Σας δίνονται οι ακόλουθες προτάσεις p(w) q(w) True p(x) r(x) q(y) s(y) r(z) s(z) Χρησιµοποιείστε τη µέθοδο του Herbrand για να δείξετε αν η s(a) είναι λογική συνέπεια των παραπάνω υποθέσεων. Λύση από Μ.Πολυχρόνη. Σύνολο Ικανοποίησης p(w) q(w) True p(x) r(x) q(y) s(y) r(z) s(z) s(a) 2. Φτιάχνουµε το Herbrand Universe και το Herbrand Base Hu:{a} και Hb:{p(a),q(a),r(a),s(a)} 3. Κατασκευάζουµε όλους τους συνδυασµούς του Hb και ελέγχουµε όλες τις ερµηνείες αν ικανοποιούνται. p(w) q(w) True p(x) q(y) r(z) s(z) s(a) Σύνολο r(x) s(y) {} x x p(a) x x q(a) X x
16 r(a) x x s(a) x x p(a), q(a) X x p(a), r(a) x x x p(a), s(a) x x x q(a), r(a) X x x q(a), s(a) x x r(a), s(a) x x p(a), q(a),r(a) X x x p(a), q(a),s(a) x x p(a), r(a),s(a) x x x q(a), r(a),s(a) x x p(a),q(a),r(a),s(a) x x Πράγµατι καµία ερµηνεία δεν ικανοποιείται. Συνεπώς φτάσαµε στο άτοπο. Άρα, πράγµατι η s(a) είναι λογική συνέπεια των πιο πάνω υποθέσεων
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Ημερομηνία : Πέμπτη, 30 Οκτωβρίου 2014 Διάρκεια : 10:30 12.00 Διδάσκουσα : Άννα Φιλίππου ΠΡΟΤΥΠΕΣ ΛΥΣΕΙΣ Οδηγίες:
Διαβάστε περισσότεραMαθηματική Λογική και Λογικός Προγραμματισμός
ΕΠΙΚΟΙΝΩΝΙΑΚΩΝ ΣΥΤΗΜΑΤΩΝ ΦΕΒΡΟΥΑΡΙΟΥ 2004 Θέμα 1 ο : Αποδείξτε με τον κανόνα της επίλυσης τα ακόλουθα Α. Η πρόταση (Α (Β C)) & (A B) & (A C) είναι μη επαληθεύσιμη Β. Η Β είναι αποδείξιμη από το Δ={ (Β
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Δείγμα Ενδιάμεσης Εξέτασης Λύσεις Άσκηση 1 [30 μονάδες] Να αποδείξετε τα πιο κάτω λογικά επακόλουθα χρησιμοποιώντας τα συστήματα
Διαβάστε περισσότεραΚατ οίκον Εργασία 2 Λύσεις
Κατ οίκον Εργασία 2 Λύσεις Άσκηση 1 Ακολουθεί η διατύπωση των προτάσεων στον προτασιακό λογισμό. (α) Κάθε ενεργός χρήστης είναι είτε διαχειριστής είτε κανονικός χρήστης του συστήματος. x [Ενεργός (x) Διαχειριστής(x)
Διαβάστε περισσότεραΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ME ΠΟΛΛΕΣ ΚΑΙ ΕΓΚΑΡΔΙΕΣ ΕΥΧΕΣ ΓΙΑ ΚΑΛΕΣ ΓΙΟΡΤΕΣ, ΥΓΕΙΑ ΚΑΙ ΠΡΟΟΔΟ ΣΕ ΕΣΑΣ ΚΑΙ ΤΙΣ ΟΙΚΟΓΕΝΕΙΕΣ ΣΑΣ Φυλλάδιο 2: Σχεσιακή Λογική ΔΕΚΕΜΒΡΙΟΣ 2006 ΠΑΡΑΔΟΣΗ: 12/11/2006
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Σκελετοί Λύσεων Ημερομηνία : Σάββατο, 27 Οκτωβρίου 2012 Διάρκεια : 11:00 13:00 Διδάσκουσα : Άννα Φιλίππου Άσκηση
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 3
Λύσεις Σειράς Ασκήσεων 3 Άσκηση 1 Να υπολογίσετε την προτασιακή μορφή των πιο κάτω προτάσεων. (α) xyz [(P(x,y) Q(y,z)) Q(x,y)] x P(x,f(x)) Βήμα 1: Μετατροπή σε Κανονική Μορφή Prenex: xyz [(P(x,y) Q(y,z))
Διαβάστε περισσότερα\5. Κατηγορηματικός Λογισμός (Predicate Calculus)
\5 Κατηγορηματικός Λογισμός (Predicate Calculus) 51 Αντικείμενα Ιδιότητες και Σχέσεις Θεωρείστε την παρακάτω εξαγωγή συμπεράσματος: Κανένας ακέραιος δεν είναι μεγαλύτερος από το τετράγωνό του Το 1 2 είναι
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 2
Άσκηση 1 Λύσεις Σειράς Ασκήσεων 2 Ακολουθεί η διατύπωση των προτάσεων στον Κατηγορηματικό Λογισμό. (α) Δεν υπάρχουν δύο διαφορετικές πτήσεις με τον ίδιο αριθμό. x 1, d 1, a 1, s 1, t 1, x 2, d 2, a 2,
Διαβάστε περισσότεραΠανεπιστήμιο Κρήτης Τμήμα Επιστήμης Υπολογιστών. Σχεσιακός Λογισμός
Σχεσιακός Λογισμός Γλώσσα βασισμένη στον Κατηγορηματικό Λογισμό 1 ης Τάξης (First Order Predicate Calculus) Οι περισσότερες γλώσσες επερώτησης σχεσιακών βάσεων δεδομένων βασίζονται στον Σχεσιακό Λογισμό
Διαβάστε περισσότεραΑνδρέας Παπαζώης. Τμ. Διοίκησης Επιχειρήσεων
Ανδρέας Παπαζώης Τμ. Διοίκησης Επιχειρήσεων Περιεχόμενα Εργ. Μαθήματος Ενοποίηση όρων μίας πρότασης μέσω αντικατάστασης Η έννοια της επιλύουσας προτάσεων Διαδικασία απόδειξης και εξαγωγής συμπερασμάτων
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 3
Άσκηση 1 Λύσεις Σειράς Ασκήσεων 3 Να εφαρμόσετε τον αλγόριθμο ενοποίησης (Διαφάνεια 4-23) για κάθε ένα από τα πιο κάτω ζεύγη όρων. Να δείξετε όλα τα ενδιάμεσα στάδια της εκτέλεσης του αλγόριθμου και καταλήγοντας
Διαβάστε περισσότεραΚατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5)
Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στον Κατηγορηματικό Λογισμό Σύνταξη Κανόνες Συμπερασμού Σημασιολογία ΕΠΛ 412 Λογική στην
Διαβάστε περισσότεραΚατηγορηµατική Λογική Προτασιακή Λογική: πλαίσιο διατύπωσης και µελέτης επιχειρηµάτων για πεπερασµένο πλήθος «λογικών αντικειµένων». «Λογικό αντικείµε
Στοιχεία Κατηγορηµατικής Λογικής ιδάσκοντες: Φ. Αφράτη, Σ. Ζάχος,. Σούλιου Επιµέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κατηγορηµατική
Διαβάστε περισσότεραΚεφάλαιο 8 Σημασιολογία λογικών προγραμμάτων
Κεφάλαιο 8 Σημασιολογία λογικών προγραμμάτων Σύνοψη Στο κεφάλαιο αυτό παρουσιάζεται η μοντελοθεωρητική σημασιολογία του λογικού προγραμματισμού, δηλαδή αυτή που βασίζεται σε ερμηνείες και μοντέλα, με τελικό
Διαβάστε περισσότερα3Νο. ασκήσεις Α Ν Α Λ Υ Σ Η 1Ο Κ Ε Φ Α Λ Α Ι Ο. Θετική Τεχνολογική Κατεύθυνση ( ) ( 0)
Λ Υ Κ Ε Ι Ο Α Ν Α Λ Υ Σ Η 1Ο Κ Ε Φ Α Λ Α Ι Ο ΕΠΙΜΕΛΕΙΑ : Π Δ ΤΡΙΜΗΣ ΜΑΘΗΜΑΤΙΚΟΣ Θετική Τεχνολογική Κατεύθυνση ασκήσεις (ΝΑ ΛΥΘΟΥΝ ΜΕΤΑ ΑΠΟ ΤΙΣ ΑΝΤΙΣΤΟΙΧΕΣ ΤΟΥ ΒΙΒΛΙΟΥ) 3Νο ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ 1 Να μελετήσετε
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ : Λογική στην Πληροφορική Δείγμα Ενδιάμεσης Εξέτασης Σκελετοί Λύσεων Άσκηση [0 μονάδες] α Να αναφέρετε τρεις μεθόδους μέσω των οποίων μπορούμε να αποφασίσουμε
Διαβάστε περισσότεραΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική)
ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική) Δημήτρης Φωτάκης Διακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο 2 η Εργασία: Γενική Εικόνα Ικανοποιητική βαθμολογική εικόνα
Διαβάστε περισσότερα2.1 Πολυώνυμα. 1. Ποιες από τις παρακάτω παραστάσεις είναι πολυώνυμα; 3 2 ii. x iii. 3 iv. vi.
.1 Πολυώνυμα 1. Ποιες από τις παρακάτω παραστάσεις είναι πολυώνυμα; i. 1 x + x ii. x + 7 x iii. 5 x + 7x x iv. 1 x + x v. 1 4 4 x + x + 4x vi. 1 x + 5x. Ποιες από τις παρακάτω παραστάσεις είναι πολυώνυμα
Διαβάστε περισσότερα1 Συνοπτική ϑεωρία. 1.1 Νόµοι του Προτασιακού Λογισµού. p p p. p p. ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών HY-180: Λογική Εαρινό Εξάµηνο 2016 Κ. Βάρσος Πρώτο Φροντιστήριο 1 Συνοπτική ϑεωρία 1.1 Νόµοι του Προτασιακού Λογισµού 1. Νόµος ταυτότητας : 2. Νόµοι αυτοπάθειας
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Ημερομηνία : Τετάρτη 24 Οκτωβρίου, 2018 Διάρκεια : 12:00 13:30 Διδάσκουσα : Άννα Φιλίππου Ονοματεπώνυμο: ΠΡΟΧΕΙΡΕΣ
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά. Νόµοι ισοδυναµίας. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Παρασκευή, 24/02/2017
HY118- ιακριτά Μαθηµατικά Παρασκευή, 24/02/2017 Κατηγορηµατικός Λογισµός Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Ημερομηνία : Δευτέρα 2 Νοεμβρίου 2015 Διάρκεια : 10:30 12:00 Διδάσκουσα : Άννα Φιλίππου Ονοματεπώνυμο: Αριθμός
Διαβάστε περισσότεραΣτοιχεία Κατηγορηματικής Λογικής
Στοιχεία Κατηγορηματικής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κατηγορηματική Λογική
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Παρασκευή, 16/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 17-Feb-18
Διαβάστε περισσότεραΣτοιχεία Κατηγορηματικής Λογικής
Στοιχεία Κατηγορηματικής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κατηγορηματική Λογική
Διαβάστε περισσότεραΣειρά Προβλημάτων 2 Λύσεις
Σειρά Προβλημάτων 2 Λύσεις Άσκηση 1 Χρησιμοποιώντας τα πιο κάτω κατηγορήματα και σταθερές και υποθέτωντας ως σύμπαν το σύνολο όλων των ανθρώπων, να διατυπώσετε τις προτάσεις που ακολουθούν στον Κατηγορηματικό
Διαβάστε περισσότεραΗΥ118 - Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2013
ΗΥ118 - Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2013 2 η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [2 μονάδες] Έστω μεταβλητές και σταθερές στο σύνολο των ανθρώπων και η προτασιακή μορφή Ρ(x, y) με το νόημα "o x αγαπά
Διαβάστε περισσότεραΑρχεία και Βάσεις Δεδομένων
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Αρχεία και Βάσεις Δεδομένων Διάλεξη 7η: Σχεσιακός Λογισμός Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Σχεσιακός Λογισμός Γλώσσα βασισμένη στον Κατηγορηματικό
Διαβάστε περισσότεραΠεριεχόμενα 1 Πρωτοβάθμια Λογική Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων ) / 60
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραΣτοιχεία Κατηγορηματικής Λογικής
Στοιχεία Κατηγορηματικής Λογικής Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης, Δ. Σούλιου Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κατηγορηματική
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Πέµπτη, 23/02/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 2/23/2017
Διαβάστε περισσότεραΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική)
ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική) Δημήτρης Φωτάκης Διακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο 2 η Εργασία: Γενική Εικόνα Αρκετά καλή βαθμολογική εικόνα (
Διαβάστε περισσότεραΤελική Εξέταση 10 Φεβρουαρίου 2017 ιάρκεια εξέτασης 2 ώρες και 30 λεπτά
Αριστοτελειο Πανεπιστηµιο Θεσσαλονικης Τµηµα Μαθηµατικων Αλγεβρικές οµές ΙΙ 1. Εστω ότι R Z 3 [x]. Τελική Εξέταση 10 Φεβρουαρίου 2017 ιάρκεια εξέτασης 2 ώρες 30 λεπτά (αʹ) Να αποδείξετε ότι ο R είναι περιοχή
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Τρίτη, 21/02/2017 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 2/21/2017
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Τρίτη, 20/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 20-Feb-18
Διαβάστε περισσότεραΑΣΚΗΣΕΙΣ. 2. ίνεται το Ρ(x) αν το ρ είναι ρίζα Ρ(2x) 2x τότε το ρ είναι ρίζα του Ρ( Ρ(2x)) 2x.
ΑΣΚΗΣΕΙΣ. ίνονται τα πολυώνυµα Ρ (x), Ρ (x), Ρ (x) αν τα πολυώνυµα Ρ (x) και Ρ (x) δεν έχουν κοινή ρίζα και ισχύει : ( Ρ (x)) + (Ρ (x)) = (Ρ (x)) για κάθε x R να δείξετε ότι το Ρ (x) δεν έχει πραγµατική
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 3
Λύσεις Σειράς Ασκήσεων 3 Άσκηση 1 Να εφαρμόσετε τη διαδικασία της επίλυσης στα πιο κάτω προτασιακά σύνολα. (α) { P(a,f(f(x))) }, { P(y,z), P(y, f(f(z))) }, {P(x,b), Q(x)}, {P(x,b),Q(x)} Η Μέθοδος της Επίλυσης
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Τρίτη, 21/02/2017 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 2/21/2017
Διαβάστε περισσότεραΛογική Δημήτρης Πλεξουσάκης Ασκήσεις στον Κατηγορηματικό Λογισμό Τμήμα Επιστήμης Υπολογιστών
Λογική Δημήτρης Πλεξουσάκης Ασκήσεις στον Κατηγορηματικό Λογισμό Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται στην άδεια χρήσης Creative Commons και ειδικότερα Αναφορά
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Πέμπτη, 15/02/2018 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 15-Feb-18
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 3
Άσκηση 1 Λύσεις Σειράς Ασκήσεων 3 Να εφαρμόσετε τον αλγόριθμο ενοποίησης (Διαφάνεια 4 23) για κάθε ένα από τα πιο κάτω ζεύγη όρων. Να δείξετε όλα τα ενδιάμεσα στάδια της εκτέλεσης του αλγόριθμου και καταλήγοντας
Διαβάστε περισσότεραΚΕΦΑΛΑΙΟ 4ο: ΠΟΛΥΩΝΥΜΑ ΑΛΓΕΒΡΑ Β ΛΥΚΕΙΟΥ
ΚΕΦΑΛΑΙΟ 4ο: ΠΟΛΥΩΝΥΜΑ ΑΛΓΕΒΡΑ Β ΛΥΚΕΙΟΥ ) Copyright 2015 Αποστόλου Γιώργος Αποστόλου Γεώργιος apgeorge2004@yahoocom Αδεια χρήσης 3η Εκδοση, Ιωάννινα, Σεπτέµβριος 2015 Περιεχόµενα 1 ΠΟΛΥΩΝΥΜΑ-ΠΟΛΥΩΝΥΜΙΚΕΣ
Διαβάστε περισσότεραΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 4
ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Λυσεις Ασκησεων - Φυλλαδιο 4 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt2016/nt2016.html Πέµπτη 10 Νοεµβρίου 2016 Ασκηση 1. Να ϐρεθούν
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Παρασκευή, 24/02/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 2/24/2017
Διαβάστε περισσότεραΕΛΑΧΙΣΤΑ ΑΝΩ ΜΕΓΙΣΤΑ ΚΑΤΩ ΦΡΑΓΜΑΤΑ
ΕΛΑΧΙΣΤΑ ΑΝΩ ΜΕΓΙΣΤΑ ΚΑΤΩ ΦΡΑΓΜΑΤΑ Κασαπίδης Γεώργιος Μαθηµατικός Στο άρθρο αυτό µελετάµε την πιο χαρακτηριστική ιδιότητα του συνόλου R των πραγµατικών αριθµών. ΟΡΙΣΜΟΣ 1 Ένα σύνολο Α από πραγµατικούς
Διαβάστε περισσότεραΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Ασκησεις - Φυλλαδιο 4. ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος :
ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Ασκησεις - Φυλλαδιο 4 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt2015/nt2015.html ευτέρα 30 Μαρτίου 2015 Ασκηση 1. Να ϐρεθούν όλοι
Διαβάστε περισσότεραΜη γράφετε στο πίσω μέρος της σελίδας
Μαθηματική Λογική Τελική εξέταση Ιούλιος 2014 α Σελ. 1 από 5 Στη σελίδα αυτή γράψτε μόνο τα στοιχεία σας. Γράψτε τις απαντήσεις σας στις επόμενες σελίδες, κάτω από τις αντίστοιχες ερωτήσεις. Στις απαντήσεις
Διαβάστε περισσότεραHY 180 Λογική Διδάσκων: Δ. Πλεξουσάκης Φροντιστήριο 5
HY 180 Λογική Διδάσκων: Δ. Πλεξουσάκης Φροντιστήριο 5 Α) ΘΕΩΡΙΑ Η Μορφολογική Παραγωγή ανήκει στα συστήματα παραγωγής, δηλαδή σε αυτά που παράγουν το συμπέρασμα με χρήση συντακτικών κανόνων λογισμού. Η
Διαβάστε περισσότεραΠΟΛΥΩΝΥΜΑ ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ
ΠΟΛΥΩΝΥΜΑ ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ Έννοια του πολυωνύμου. Ας υποθέσουμε ότι έχουμε μια μεταβλητή x που μπορεί να πάρει κάθε πραγματική τιμή. Μονώνυμο του x, είναι κάθε παράσταση της μορφής : x όπου α είναι
Διαβάστε περισσότερα9 Πολυώνυμα Διαίρεση πολυωνύμων
4ο Κεφάλαιο 9 Πολυώνυμα Διαίρεση πολυωνύμων Α ΑΠΑΡΑΙΤΗΤΕΣ ΓΝΩΣΕΙΣ ΘΕΩΡΙΑΣ Ορισμοί Μονώνυμο του x ονομάζουμε κάθε παράσταση της μορφής ν αx όπου α R, * ν N και x μια μεταβλητή που μπορεί να πάρει οποιαδήποτε
Διαβάστε περισσότεραΛογική Πρώτης Τάξης. Γιώργος Κορφιάτης. Νοέµβριος Εθνικό Μετσόβιο Πολυτεχνείο
Λογική Πρώτης Τάξης Γιώργος Κορφιάτης Εθνικό Μετσόβιο Πολυτεχνείο Νοέµβριος 2008 Σύνταξη Ορισµός (Σύνταξη της λογικής πρώτης τάξης) Λεξιλόγιο Σ = (Φ, Π, r) Συναρτήσεις f Φ Σχέσεις R Π r( ) η πληθικότητα
Διαβάστε περισσότερα2ογελ ΣΥΚΕΩΝ 2ογελ ΣΥΚΕΩΝ ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Β Λυκει(ου ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ
ογελ ΣΥΚΕΩΝ ογελ ΣΥΚΕΩΝ ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Β Λυκει(ου ο ΓΕΛ ΣΥΚΕΩΝ ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Β ΛΥΚΕΙΟΥ ογελ ΣΥΚΕΩΝ ογελ ΣΥΚΕΩΝ ΣΧΟΛΙΚΟ ΕΤΟΣ -4 ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Επιμέλεια: ΧΑΛΑΤΖΙΑΝ ΠΑΥΛΟΣ
Διαβάστε περισσότερα2.2 ιαίρεση Πολυωνύμων
ιαίρεση Πολυωνύμων 1 Να γίνουν οι διαιρέσεις: α) (x 5 - x + x - 9) : (x - 1) β) (x 4-7x + x - 15) : (x + 5) γ) (x - 4αx + α ) : (x - α) δ) [7x - (9α + 7α ) x + 9α ] : (x - α) Με τη βοήθεια του σχήματος
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 3Β
ΕΠΛ 412 Λογική στην Πληροφορική Χειμερινό Εξάμηνο 2012 Άσκηση 1 Λύσεις Σειράς Ασκήσεων 3Β i. Ανά πάσα στιγμή ο εκτυπωτής χρησιμοποιείται από το πολύ ένα χρήστη. G ( Αλίκη.χρήση Βαγγέλης.χρήση) ii. iii.
Διαβάστε περισσότεραΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 4
ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 4 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt2014/nt2014.html https://sites.google.com/site/maths4edu/home/14
Διαβάστε περισσότεραsup B, τότε υπάρχουν στοιχεία α A και β B µε α < β.
ΣΧΟΛΗ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ & ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΟΜΕΑΣ ΜΑΘΗΜΑΤΙΚΩΝ Εξετάσεις στη Μαθηµατική Ανάλυση Ι Φεβρουαρίου, 3 Θ. (α ) Εστω A, B µη κενά ϕραγµένα σύνολα πραγµατικών αριθµών. είξτε ότι αν inf A
Διαβάστε περισσότεραΔιακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά. Παράδειγµα άµεσης απόδειξης. Μέθοδοι αποδείξεως για προτάσεις της µορφής εάν-τότε. 08 - Αποδείξεις
HY118- ιακριτά Μαθηµατικά Παρασκευή, 06/03/2015 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/8/2015
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότεραΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 4
ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 4 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt2014/nt2014.html https://sites.google.com/site/maths4edu/home/14
Διαβάστε περισσότεραΜη γράφετε στο πίσω μέρος της σελίδας
Μαθηματική Λογική Εξέταση Σεπτεμβρίου 2015 Σελ. 1 από 6 Στη σελίδα αυτή γράψτε μόνο τα στοιχεία σας. Γράψτε τις απαντήσεις σας στις επόμενες σελίδες, κάτω από τις αντίστοιχες ερωτήσεις. Στις απαντήσεις
Διαβάστε περισσότερα(x) = δ(x) π(x) + υ(x)
Μάθηµα 12 Κεφάλαιο 4ο: Πολυώνυµα Πολυωνυµικές Εξισώσεις Θεµατικές Ενότητες: Α. ιαίρεση Πολυωνύµων Β. Σχήµα Horner Η ταυτότητα της Ευκλείδειας διαίρεσης Αν ( χ), δ ( χ) δύο πολυώνυµα µε δ ( χ) 0 και βαθµούς
Διαβάστε περισσότεραΚατηγορηµατική Λογική
Προβλήµατα της Προτασιακής Λογικής Γιατί δεν µας αρκεί η Προτασιακή Λογική; Εστω ότι ισχύουν τα P και Q: P : «Ο Σωκράτης είναι άνθρωπος» Q : «Κάθε άνθρωπος είναι ϑνητός» R : «Ο Σωκράτης είναι ϑνητός» Μπορούµε
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά. Ένα παράδειγµα... Έχουµε δει. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Πέµπτη, 23/02/2017
HY118- ιακριτά Μαθηµατικά Πέµπτη, 23/02/2017 Κατηγορηµατικός Λογισµός Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University
Διαβάστε περισσότεραΑνδρέας Παπαζώης. Τμ. Διοίκησης Επιχειρήσεων
Ανδρέας Παπαζώης Τμ. Διοίκησης Επιχειρήσεων Περιεχόμενα Εργ. Μαθήματος Εισαγωγή στην προτασιακή μορφή της γνώσης Μετατροπή γνώσης σε προτασιακή μορφή Κανόνες μετατροπής Παραδείγματα μετατροπής σε προτασιακή
Διαβάστε περισσότεραΜαθηματική Λογική (προπτυχιακό) Εξέταση Ιανουαρίου 2018 Σελ. 1 από 5
Μαθηματική Λογική (προπτυχιακό) Εξέταση Ιανουαρίου 2018 Σελ. 1 από 5 Στη σελίδα αυτή γράψτε μόνο τα στοιχεία σας. Γράψτε τις απαντήσεις σας στις επόμενες σελίδες, κάτω από τις αντίστοιχες ερωτήσεις. Στις
Διαβάστε περισσότεραΑΣΚΗΣΕΙΣ ΤΡΙΓΩΝΟΜΕΤΡΙΑΣ Β ΛΥΚ. ΕΞΙΣΩΣΕΙΣ
ΑΣΚΗΣΕΙΣ ΤΡΙΓΩΝΟΜΕΤΡΙΑΣ Β ΛΥΚ. ΕΞΙΣΩΣΕΙΣ Λυγάτσικας Ζήνων Πειραµατικό Γενικό Λύκειο Βαρβακείου Σχολής 6 Ιανουαρίου 013 1 Ασκήσεις 1.1 Ασκήσεις Επανάληψης 1. είξτε ότι : ηµ x + 3συν y 5.. Να αποδείξτε ότι
Διαβάστε περισσότεραf(x) dx. f(x)dx = 0. f(x) dx = 1 < 1 = f(x) dx. Θα είχαµε f(c) = 0, ενώ η f δεν µηδενίζεται πουθενά στο [0, 2].
Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» Κεφάλαιο 7: Ολοκλήρωµα Riem Α Οµάδα. Εστω f : [, ] R. Εξετάστε αν οι παρακάτω προτάσεις είναι αληθείς ή ψευδείς (αιτιολογήστε πλήρως την απάντησή σας).
Διαβάστε περισσότεραΕΠΛ 412 Λογική στην Πληροφορική 4-1
Επίλυση Resolution Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: H Μέθοδος της Επίλυσης στον Προτασιακό Λογισμό στον Κατηγορηματικό Λογισμό ΕΠΛ 412 Λογική στην Πληροφορική 4-1 Το όνειρο του
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Παρασκευή, 27/02/2015 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/1/2015
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότεραΕπανάληψη. ΗΥ-180 Spring 2019
Επανάληψη Έχουμε δει μέχρι τώρα 3 μεθόδους αποδείξεων του Προτασιακού Λογισμού: Μέσω πίνακα αληθείας για τις υποθέσεις και το συμπέρασμα, όπου ελέγχουμε αν υπάρχουν ερμηνείες που ικανοποιούν τις υποθέσεις
Διαβάστε περισσότεραΘΕΩΡΗΜΑ ΜΕΣΗΣ ΤΙΜΗΣ - ΘΕΩΡΗΜΑ ROLLE
ΘΕΩΡΗΜΑ ΜΕΣΗΣ ΤΙΜΗΣ - ΘΕΩΡΗΜΑ ROLLE Θεώρημα Rolle Αν μια συνάρτηση f είναι συνεχής στο κλειστό διάστημα [α, β], παραγωγίσιμη στο ανοικτό διάστημα (α, β) και ισχύει ότι f(α) f(β), τότε υπάρχει ένα τουλάχιστον
Διαβάστε περισσότεραΣΥΓΚΛΙΣΗ ΣΥΝΑΡΤΗΣΗΣ: Ορισμός Cauchy
ΣΥΓΚΛΙΣΗ ΣΥΝΑΡΤΗΣΗΣ: Ορισμός Cauchy Augustin- Louis Cauchy 1789-1857 ΠΛΕΥΡΙΚΑ ΟΡΙΑ Ορισμός σύγκλισης Cauchy συγκλίνει για x ξ Η συνάρτηση f(x) ɛ > 0 δ (ɛ, ξ) : x ξ < δ f(x) l < ɛ f(x) = l + f(x) = l +
Διαβάστε περισσότεραΛύσεις και Υποδείξεις Επιλεγµένων Ασκήσεων
Λύσεις και Υποδείξεις Επιλεγµένων Ασκήσεων 11 1 i) ii) 1 1 1 0 1 1 0 0 0 x = 0 x +x 4 +x 5 = x = 1 Λύνοντας ως προς x και στη συνέχεια ως προς x 4, ϐρίσκουµε ότι η γενική λύση του συστήµατος είναι η 5άδα
Διαβάστε περισσότεραΔΙΑΚΡΙΣΑ ΜΑΘΗΜΑΣΙΚΑ. Καηηγορημαηικός Λογιζμός
ΔΙΑΚΡΙΣΑ ΜΑΘΗΜΑΣΙΚΑ Καηηγορημαηικός Λογιζμός Μοπθέρ Θεωπημάηων Υπάξρεη έλα αληηθείκελν ώζηε λα ηζρύεη θάηη. Υπαξμηαθόο πνζνδείθηεο Γηα θάζε αληηθείκελν ηζρύεη όηη θάηη. Καζνιηθόο πνζνδείθηεο 2 Καηηγοπήμαηα
Διαβάστε περισσότεραΟΜΟΣΠΟΝ ΙΑ ΕΚΠΑΙ ΕΥΤΙΚΩΝ ΦΡΟΝΤΙΣΤΩΝ ΕΛΛΑ ΟΣ (Ο.Ε.Φ.Ε.) ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ 2014 ÊÏÑÕÖÁÉÏ
ΟΜΟΣΠΟΝ ΙΑ ΕΚΠΑΙ ΕΥΤΙΚΩΝ ΦΡΟΝΤΙΣΤΩΝ ΕΛΛΑ ΟΣ (ΟΕΦΕ) ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ 01 Ε_ΜλΘΤ(α) ΤΑΞΗ: Β ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΜΑΘΗΜΑ: ΜΑΘΗΜΑΤΙΚΑ / ΚΑΤΕΥΘΥΝΣΗΣ Ηµεροµηνία: Κυριακή Μαΐου 01 ιάρκεια Εξέτασης:
Διαβάστε περισσότεραΜη πεπερασµένα όρια και όριο στο άπειρο
Μη πεπερασµένα όρια και όριο στο άπειρο Λυγάτσικας Ζήνων Πρότυπο Πειρµαµατικό Γενικό Λύκειο Βαρβακείου Σχολής 9 εκεµβρίου 203 Μη Πεπερασµένο Οριο Συναρτησεων στο x 0. Το Μη-πεπερασµένο Το Απειρο Ορισµός.
Διαβάστε περισσότερα4.1 ΕΝΝΟΙΑ ΠΟΛΥΩΝΥΜΟΥ -ΒΑΘΜΟΣ-ΙΣΟΤΗΤΑ-ΡΙΖΕΣ. ΛΥΣΗ 1 2 =κ κ κ 1+43κ κ = =0
4.1 ΕΝΝΟΙΑ ΠΟΛΥΩΝΥΜΟΥ -ΒΑΘΜΟΣ-ΙΣΟΤΗΤΑ-ΡΙΖΕΣ 4.1.1 Να δειχθεί ότι για κάθε κ R το πολυώνυμο P (x) = (κ - 1) x 5 + (3κ 2 + 2) x 3 + κx δεν έχει ρίζα το 1. 2 1 2 =κ 11 2 +3κ + 2 1 + 2 1 2 =0 κ 1+43κ + 2+16κ
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Δημήτρης Πλεξουσάκης 2ο μέρος σημειώσεων: Συστήματα Αποδείξεων για τον ΠΛ, Μορφολογική Παραγωγή, Κατασκευή Μοντέλων Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 2
Λύσεις Σειράς Ασκήσεων 2 Άσκηση 1 N φιλόσοφοι κάθονται γύρω από ένα τραπέζι με N καρέκλες, N πιάτα και N πιρούνια. Όταν κάποιος φιλόσοφος πεινάσει παίρνει τα δύο πιρούνια που βρίσκονται δίπλα από το πιάτο
Διαβάστε περισσότεραΜαθηματικοί Διαγωνισμοί για Μαθητές Γυμνασίου (Juniors)
Μαθηματικοί Διαγωνισμοί για Μαθητές Γυμνασίου (Juniors) Δάτης Καλάλη Στον παππού και στην γιαγιά μου Πρόλογος Οι διαγωνισμοί των μαθηματικών διοργανώνονται στις περισσότερες χώρες σε εθνικό και διεθνή
Διαβάστε περισσότερα4.2 ΑΝΙΣΩΣΕΙΣ 2 ου ΒΑΘΜΟΥ
1 4. ΑΝΙΣΩΣΕΙΣ ου ΒΑΘΜΟΥ ΘΕΩΡΙΑ 1. Η γενική µορφή του τριωνύµου µε µεταβλητή x R i) α x + βx + γ, α 0 ii) β α x + α 4α, α 0. Ειδικές µορφές του τριωνύµου Όταν > 0 τότε α x + βx + γ α(x x 1 )(x x ), όπου
Διαβάστε περισσότεραΟρια Συναρτησεων - Ορισµοι
Ορια Συναρτησεων - Ορισµοι Λυγάτσικας Ζήνων Βαρβάκειο Ενιαίο Πειραµατικό Λύκειο 3 Σεπτεµβρίου 205 Εισαγωγή Στην παράγραφο αυτή ϑα δούµε πως προκύπτει η ιδέα του ορίου στην προσπά- ϑεια να ορίσουµε την
Διαβάστε περισσότεραΣυνέχεια Συνάρτησης. Λυγάτσικας Ζήνων. Βαρβάκειο Ενιαίο Πειραµατικό Λύκειο. 1 εκεµβρίου f(x) = f(x 0 )
Συνέχεια Συνάρτησης Λυγάτσικας Ζήνων Βαρβάκειο Ενιαίο Πειραµατικό Λύκειο 1 εκεµβρίου 013 1 Ορισµός Ορισµός 1.1 Μια πραγµατική συνάρτηση f : A R λέµε ότι είναι συνεχής στο x 0 A αν και µόνο αν : x x 0 fx
Διαβάστε περισσότεραΑνάλυση πολλών μεταβλητών. Δεύτερο φυλλάδιο ασκήσεων.
Ανάλυση πολλών μεταβλητών. Δεύτερο φυλλάδιο ασκήσεων. 1. Ποιά από τα παρακάτω σύνολα είναι συμπαγή; Μία κλειστή μπάλα, μία ανοικτή μπάλα, ένα ανοικτό ορθ. παραλληλεπίπεδο, ένα ευθ. τμήμα (στον R n ), μία
Διαβάστε περισσότερα(Καταληκτική ηµεροµηνία παραλαβής 16/11/2004) (Α) Ποιες είναι οι προϋποθέσεις ώστε να ισχύουν οι παρακάτω διανυσµατικές σχέσεις:
1 η Εργασία 004-005 (Καταληκτική ηµεροµηνία παραλαβής 16/11/004) Άσκηση 1 (7 µονάδες) (Α) Ποιες είναι οι προϋποθέσεις ώστε να ισχύουν οι παρακάτω διανυσµατικές σχέσεις: (α) A+ B C µε A + B C (β) A+ B AB
Διαβάστε περισσότεραΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3
ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt2014/nt2014.html https://sites.google.com/site/maths4edu/home/14
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Πέµπτη, 09/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/9/2017
Διαβάστε περισσότεραΑσκήσεις Επανάληψης Λύσεις
Άσκηση 1 Ασκήσεις Επανάληψης Λύσεις (α) Το επακόλουθο (A (B C)) ((A C) (A B)) είναι ψευδές. Αυτό φαίνεται στην ανάθεση τιμών [Α] = Τ, [Β] = F, [C] = T. (β) Ακολουθεί η απόδειξη του επακόλουθου. 1. x(p(x)
Διαβάστε περισσότεραΛύσεις 2 ης Σειράς Ασκήσεων
Λύσεις 2 ης Σειράς Ασκήσεων Άσκηση 1 Στην άσκηση αυτή σας ζητείται να διατυπώσετε στον Κατηγορηματικό Λογισμό ένα σύνολο από απαιτήσεις/προτάσεις που σχετίζονται με ένα κοινωνικό δίκτυο χρησιμοποιώντας
Διαβάστε περισσότεραΘΕΩΡΗΜΑ ROLLE. τέτοιο ώστε. στο οποίο η εφαπτομένη είναι παράλληλη στον άξονα χχ. της γραφικής παράστασης της f x με. Κατηγορίες Ασκήσεων
Διατύπωση: Εάν για μια συνάρτηση ΘΕΩΡΗΜΑ ROLLE x ισχύουν Η x συνεχής στο [α,β] Η x παραγωγίσιμη στο (α, β) a τότε υπάρχει ένα τουλάχιστον, τέτοιο ώστε ' 0 Γεωμετρική Ερμηνεία : Γεωμετρικά το θεώρημα ROLLE
Διαβάστε περισσότεραΛογική Δημήτρης Πλεξουσάκης Φροντιστήριο 5: Προτασιακός Λογισμός: Κατασκευή Μοντέλων Τμήμα Επιστήμης Υπολογιστών
Λογική Δημήτρης Πλεξουσάκης Φροντιστήριο 5: Προτασιακός Λογισμός: Κατασκευή Μοντέλων Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης 1. Το παρόν εκπαιδευτικό υλικό υπόκειται στην άδεια χρήσης Creative Commons
Διαβάστε περισσότεραΔιαφορικές Εξισώσεις Πρώτης Τάξης
Κεφάλαιο 2 Διαφορικές Εξισώσεις Πρώτης Τάξης Στο κεφάλαιο αυτό θα μελετήσουμε διαφορικές εξισώσεις πρώτης τάξης και θα διατυπώσουμε χωρίς απόδειξη βασικά θεωρήματα αυτών. Το εδάφιο 2.1 ασχολείται με γραμμικές
Διαβάστε περισσότεραΘΕΩΡΗΜΑ (Μέσης Τιμής) Έστω f: [α, β] R συνεχής και παραγωγίσιμη στο (α, β). Τότε υπάρχει ξ (α, β)
Έστω συνάρτηση f: [α, β] R παραγωγίσιμη. Τότε η παράγωγος συνάρτηση f (x) παίρνει όλες τις τιμές μεταξύ των f (α) και f (β). Έστω f (α) < λ < f (β). Πρέπει να δείξουμε ότι υπάρχει x 0 ώστε f (x 0 ) = λ.
Διαβάστε περισσότεραΚριτήριο παρεµβολής Βοηθητική συνάρτηση. R R τέτοια, ώστε να ισχύει. f(x) x. lim. ii) x 0. lim f (x) = 0. x 0. lim. ( x + x + 4) = 4. x 0.
ΜΑΘΗΜΑ 8.4.5 ΟΡΙΟ ΣΥΝΑΡΤΗΣΗΣ ΣΤΟ Κριτήριο παρεµβολής Βοηθητική συνάρτηση R ΑΣΚΗΣΕΙΣ Κριτήριο παρεµβολής. 4 f () Να βρείτε το i) i) ( 4 ) ( 4 ) R R τέτοια, ώστε να ισχύει f () 0 4 0 0 4 για κάθε κοντά στο
Διαβάστε περισσότερα