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

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

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

Transcript

1 HY118- ιακριτά Μαθηµατικά Πέµπτη, 23/02/2017 Αντώνης Α. Αργυρός Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 2/23/

2 Κατηγορηµατικός Λογισµός 2/23/

3 Έχουµε δει Ανάγκη/σηµασία Κατηγόρηµα, µεταβλητές, προτασιακή µορφή, πεδίο ορισµού, µοντέλο Ποσοδείκτες Καθολικός Υπαρξιακός Ελεύθερες / δεσµευµένες µεταβλητές Ο συµβολισµός ϕ(x:=a) 2/23/

4 Ένα παράδειγµα... P= Πέρασα όλα τα µαθήµατα που έδωσα το προηγούµενο εξάµηνο Έστω M το σύνολο των µαθηµάτων που έδωσα το προηγούµενο εξάµηνο. Έστω Π(x) = Πέρασα το µάθηµα x Τότε η πρόταση P γράφεται ως: x Π(x) Είναι η παραπάνω πρόταση αληθής; Εάν έδωσες κάποια µαθήµατα και τα πέρασες όλα τότε, ναι, είναι αληθής... αλλά και εάν ΕΝ έδωσες κανένα µάθηµα, τότε πάλι η πρόταση είναι αληθής! 2/23/

5 Πως µπορούµε να χειριστούµε την ίδια περίπτωση χωρίς να εµπλέξουµε κενό πεδίo ορισµού; P= Πέρασα όλα τα µαθήµατα που έδωσα το προηγούµενο εξάµηνο ΈστωΣτο σύνολο όλων των µαθηµάτων (µη κενό) Έστω Π(x) = Πέρασα το µάθηµα x Έστω Ε(x) = Έδωσα το µάθηµα x Τότε η πρόταση P γράφεται: x (Ε(x) Π(x)) Είναι η παραπάνω πρόταση αληθής; Εάν έδωσες κάποια µαθήµατα και τα πέρασες όλα τότε, ναι, είναι αληθής... αλλά και εάν ΕΝ έδωσες κανένα µάθηµα, τότε πάλι η πρόταση είναι αληθής! 2/23/

6 Συντακτικό του κατηγορηµατικού xp(x) πρόταση λογισµού yq(x) προτασιακή µορφή x( y R(x,y)) -πρόταση xp(b) -πρόταση η xp(b) είναι αληθής αν και µόνο αν η P(b) είναι αληθής Κανόνας: ένας ποσοδείκτης που δεν δεσµεύει κάποια µεταβλητή µπορεί να αγνοηθεί 2/23/

7 Εµβέλεια ποσοδεικτών Ποιο είναι το νόηµα της έκφρασης x xp(x) ; η x δεν είναι ελεύθερη µεταβλητή στην x P(x), εποµένως η δέσµευση του x δεν χρησιµοποιείται. Ποιο είναι το νόηµα της έκφρασης ( xp(x)) Q(x); Η µεταβλητή x είναι εκτός της εµβέλειας του ποσοδείκτη x, και εποµένως είναι ελεύθερη. Άρα δεν έχουµε πρόταση! Ποιο είναι το νόηµα της έκφρασης ( x P(x)) ( xq(x)); Πρόταση, χωρίς πλεονασµατικούς ποσοδείκτες. Η µεταβλητή x εµφανίζεται µε το ίδιο όνοµα, αλλά δεν αφορά στο ίδιο στοιχείο! Θα ήταν ισοδύναµο εάν γράφαµε ( x P(x)) ( yq(y)) 2/23/

8 Παραδείγµατα Πως θα πούµε στον Κατηγορηµατικό Λογισµό ότι Όλοι θαυµάζουν κάποιον 2/23/

9 Παραδείγµατα Πως θα πούµε στον Κατηγορηµατικό Λογισµό ότι Όλοι θαυµάζουν κάποιον (όχι συγκεκριµένο) Έστω Θαυµάζει(x,y)= O x θαυµάζει τον y x y Θαυµάζει(x,y) «Για κάθε άνθρωπο x, υπάρχει κάποιος άνθρωπος y έτσι ώστε ο x να θαυµάζει τον y» «Κάθε άνθρωπος έχει κάποιον να θαυµάζει» 2/23/

10 Παραδείγµατα Πως θα πούµε στον Κατηγορηµατικό Λογισµό ότι Υπάρχει κάποιος τον οποίο όλοι θαυµάζουν Έστω Θαυµάζει(x, y)= O x θαυµάζει τον y y x Θαυµάζει(x,y) «Υπάρχει κάποιος άνθρωπος y τον οποίο κάθε άνθρωπος x θαυµάζει» 2/23/

11 Άσκηση µε ποσοδείκτες Εάν B(x,y)= ο x βασίζεται στον y, εκφράστε τα παρακάτω σε φυσική γλώσσα: 2/23/

12 Άσκηση µε ποσοδείκτες x( y Β(x,y))= y( x Β(x,y))= x( y Β(x,y))= y( x Β(x,y))= x( yβ(x,y))= y( xβ(x,y))= x( yβ(x,y))= y( xβ(x,y))= 2/23/

13 Άσκηση µε ποσοδείκτες x( y Β(x,y))= Για όλους, υπάρχει κάποιος στον οποίον βασίζονται y( x Β(x,y))= x( y Β(x,y))= y( x Β(x,y))= x( yβ(x,y))= y( xβ(x,y))= x( yβ(x,y))= y( xβ(x,y))= 2/23/

14 Άσκηση µε ποσοδείκτες x( y Β(x,y))= Για όλους, υπάρχει κάποιος στον οποίον βασίζονται y( x Β(x,y))= Για όλους υπάρχει κάποιος που να βασίζεται πάνω τους x( y Β(x,y))= y( x Β(x,y))= x( yβ(x,y))= y( xβ(x,y))= x( yβ(x,y))= y( xβ(x,y))= 2/23/

15 Άσκηση µε ποσοδείκτες x( y Β(x,y))= Για όλους, υπάρχει κάποιος στον οποίον βασίζονται y( x Β(x,y))= Για όλους υπάρχει κάποιος που να βασίζεται πάνω τους x( y Β(x,y))= Υπάρχει κάποιος που βασίζεται σε όλους y( x Β(x,y))= x( yβ(x,y))= y( xβ(x,y))= x( yβ(x,y))= y( xβ(x,y))= 2/23/

16 Άσκηση µε ποσοδείκτες x( y Β(x,y))= Για όλους, υπάρχει κάποιος στον οποίον βασίζονται y( x Β(x,y))= Για όλους υπάρχει κάποιος που να βασίζεται πάνω τους x( y Β(x,y))= Υπάρχει κάποιος που βασίζεται σε όλους y( x Β(x,y))= Υπάρχει κάποιος στον οποίο όλοι βασίζονται x( yβ(x,y))= y( xβ(x,y))= x( yβ(x,y))= y( xβ(x,y))= 2/23/

17 Άσκηση µε ποσοδείκτες x( y Β(x,y))= Για όλους, υπάρχει κάποιος στον οποίον βασίζονται y( x Β(x,y))= Για όλους υπάρχει κάποιος που να βασίζεται πάνω τους x( y Β(x,y))= Υπάρχει κάποιος που βασίζεται σε όλους y( x Β(x,y))= Υπάρχει κάποιος στον οποίο όλοι βασίζονται x( y Β(x,y))= Όλοι βασίζονται σε όλους y( xβ(x,y))= x( yβ(x,y))= y( xβ(x,y))= 2/23/

18 Άσκηση µε ποσοδείκτες x( y Β(x,y))= Για όλους, υπάρχει κάποιος στον οποίον βασίζονται y( x Β(x,y))= Για όλους υπάρχει κάποιος που να βασίζεται πάνω τους x( y Β(x,y))= Υπάρχει κάποιος που βασίζεται σε όλους y( x Β(x,y))= Υπάρχει κάποιος στον οποίο όλοι βασίζονται x( y Β(x,y))= Όλοι βασίζονται σε όλους y( x Β(x,y))= Για όλους ισχύει ότι όλοι βασίζονται σε αυτόν x( yβ(x,y))= y( xβ(x,y))= 2/23/

19 Άσκηση µε ποσοδείκτες x( y Β(x,y))= Για όλους, υπάρχει κάποιος στον οποίον βασίζονται y( x Β(x,y))= Για όλους υπάρχει κάποιος που να βασίζεται πάνω τους x( y Β(x,y))= Υπάρχει κάποιος που βασίζεται σε όλους y( x Β(x,y))= Υπάρχει κάποιος στον οποίο όλοι βασίζονται x( y Β(x,y))= Όλοι βασίζονται σε όλους y( x Β(x,y))= Για όλους ισχύει ότι όλοι βασίζονται σε αυτόν x( y Β(x,y))= Υπάρχει κάποιος που βασίζεται σε κάποιον y( xβ(x,y))= 2/23/

20 Άσκηση µε ποσοδείκτες x( y Β(x,y))= Για όλους, υπάρχει κάποιος στον οποίον βασίζονται y( x Β(x,y))= Για όλους υπάρχει κάποιος που να βασίζεται πάνω τους x( y Β(x,y))= Υπάρχει κάποιος που βασίζεται σε όλους y( x Β(x,y))= Υπάρχει κάποιος στον οποίο όλοι βασίζονται x( y Β(x,y))= Όλοι βασίζονται σε όλους y( x Β(x,y))= Για όλους ισχύει ότι όλοι βασίζονται σε αυτόν x( y Β(x,y))= Υπάρχει κάποιος που βασίζεται σε κάποιον y( x Β(x,y))= Υπάρχει κάποιος στον οποίο κάποιος βασίζεται 2/23/

21 Άσκηση µε ποσοδείκτες x( y Β(x,y))= Για όλους, υπάρχει κάποιος στον οποίον βασίζονται y( x Β(x,y))= Για όλους υπάρχει κάποιος που να βασίζεται πάνω τους x( y Β(x,y))= Υπάρχει κάποιος που βασίζεται σε όλους y( x Β(x,y))= Υπάρχει κάποιος στον οποίο όλοι βασίζονται x( y Β(x,y))= Όλοι βασίζονται σε όλους y( x Β(x,y))= Για όλους ισχύει ότι όλοι βασίζονται σε αυτούς x( y Β(x,y))= Υπάρχει κάποιος που βασίζεται σε κάποιον y( x Β(x,y))= Υπάρχει κάποιος στον οποίο κάποιος βασίζεται 2/23/

22 Άλλο ένα παράδειγµα Έστω P(x,y)= y<x 2 Να προσδιοριστεί η αλήθεια των εξής προτάσεων όταν οι x, y είναι πραγµατικοί αριθµοί: x y P(x,y) x y P(x,y) y x P(x,y) x y P(x,y) x y P(x,y) y x P(x,y) 2/23/

23 Άλλο ένα παράδειγµα Έστω P(x,y)= y<x 2 Να προσδιοριστεί η αλήθεια των εξής προτάσεων όταν οι x, y είναι πραγµατικοί αριθµοί: x y P(x,y) T x y P(x,y) y x P(x,y) x y P(x,y) x y P(x,y) y x P(x,y) 2/23/

24 Άλλο ένα παράδειγµα Έστω P(x,y)= y<x 2 Να προσδιοριστεί η αλήθεια των εξής προτάσεων όταν οι x, y είναι πραγµατικοί αριθµοί: x y P(x,y) T x y P(x,y) F y x P(x,y) x y P(x,y) x y P(x,y) y x P(x,y) 2/23/

25 Άλλο ένα παράδειγµα Έστω P(x,y)= y<x 2 Να προσδιοριστεί η αλήθεια των εξής προτάσεων όταν οι x, y είναι πραγµατικοί αριθµοί: x y P(x,y) T x y P(x,y) F y x P(x,y) Τ x y P(x,y) x y P(x,y) y x P(x,y) 2/23/

26 Άλλο ένα παράδειγµα Έστω P(x,y)= y<x 2 Να προσδιοριστεί η αλήθεια των εξής προτάσεων όταν οι x, y είναι πραγµατικοί αριθµοί: x y P(x,y) T x y P(x,y) F y x P(x,y) Τ x y P(x,y) F x y P(x,y) y x P(x,y) 2/23/

27 Άλλο ένα παράδειγµα Έστω P(x,y)= y<x 2 Να προσδιοριστεί η αλήθεια των εξής προτάσεων όταν οι x, y είναι πραγµατικοί αριθµοί: x y P(x,y) T x y P(x,y) F y x P(x,y) Τ x y P(x,y) F x y P(x,y) T y x P(x,y) 2/23/

28 Άλλο ένα παράδειγµα Έστω P(x,y)= y<x 2 Να προσδιοριστεί η αλήθεια των εξής προτάσεων όταν οι x, y είναι πραγµατικοί αριθµοί: x y P(x,y) T x y P(x,y) F y x P(x,y) Τ x y P(x,y) F x y P(x,y) T y x P(x,y) T 2/23/

29 Topic #3 Predicate Logic Ισχυρότερες / ασθενέστερες προτάσεις 1. x( y R(x,y)) 2. y( x R(x,y)) 3. x( y R(x,y)) Αν η 3 είναι αληθής τότε και η 2 είναι αληθής. Αν η 2 είναι αληθής, τότε και η 1 είναι αληθής Λέµε ότι: Η 3 είναι λογικάισχυρότερη από τη 2 Η 2 είναι λογικάισχυρότερη από τη 1 2/23/ (c) , Michael P. Frank

30 Μερικές συντοµεύσεις Μερικές φορές, το π.ο. περιορίζεται κατά την ποσοτικοποίηση, π.χ., Το x>0 P(x) είναι συντοµογραφία του Για κάθε x µεγαλύτερο του µηδενός, P(x). Πως θα το γράφατε αυτό χωρίς συντοµογραφία; 2/23/

31 Μερικές συντοµεύσεις Μερικές φορές, το π.ο. περιορίζεται κατά την ποσοτικοποίηση, π.χ., Το x>0 P(x) είναι συντοµογραφία του Για κάθε x µεγαλύτερο του µηδενός, P(x). Πως θα το γράφατε αυτό χωρίς συντοµογραφία; x (x>0 P(x)) 2/23/

32 Μερικές συντοµεύσεις Το x>0 P(x) είναι συντοµογραφία του: Υπάρχει x µεγαλύτερο του µηδενός, τέτοιο ώστε P(x). Πως θα το γράφατε µε βάση τον τυπικό ορισµό το x>0 P(x) ; =??? 2/23/

33 Μερικές συντοµεύσεις Το x>0 P(x) είναι συντοµογραφία του: Υπάρχει x µεγαλύτερο του µηδενός, τέτοιο ώστε P(x). Πως θα το γράφατε µε βάση τον τυπικό ορισµό το x>0 P(x) ; = x (x>0 P(x)) 2/23/

34 Για να το ξαναδούµε Το x>0 P(x) είναι συντοµογραφία του Για κάθε xµεγαλύτερο του µηδενός, P(x). = x (x>0 P(x)) Το x>0 P(x) είναι συντοµογραφία του Υπάρχει x µεγαλύτερο του µηδενός, τέτοιο ώστε P(x). = x (x>0 P(x)) 2/23/

35 Μερικές συντοµεύσεις Τι θα σήµαινε το x (x>0 P(x)) ; ; ; Ολα τα x είναι µεγαλύτερα του µηδενός, και για όλα ισχύει P(x). Τι θα σήµαινε το x (x>0 P(x)) ; ; ; Υπάρχει κάποιο x για το οποίο η x>0 P(x) είναι αληθής...αλλά αυτό είναι αληθές και για τα αρνητικά x 2/23/

36 Αλληλεπιδράσεις µεταξύ ποσοδεικτών και τελεστών Έστω ότι το π.ο (D) είναι οι φοιτητές του ΗΥ118. Έστω Ψ(x) Ο x είναι ψηλός Έστω Ο(x) Ο x είναι όµορφος Ας δούµε τι σηµαίνουν στα Ελληνικά οι παρακάτω προτάσεις 1. x (Ψ(x) Ο(x)) 2. x (Ψ(x) Ο(x)) 3. x (Ψ(x) Ο(x)) 4. x (Ψ(x) Ο(x)) 2/23/

37 Ελληνικές εκφράσεις 1. x (Ψ(x) Ο(x)) Υπάρχει τουλάχιστον ένας φοιτητής που είναι και ψηλός και όµορφος 2. x (Ψ(x) Ο(x)) Όλοι οι φοιτητές είναι ψηλοί και όµορφοι 3. x (Ψ(x) Ο(x)) Όλοι οι ψηλοί φοιτητές είναι όµορφοι 4. x (Ψ(x) Ο(x)) Για τουλάχιστον ένα φοιτητή, ισχύει πως εάν είναι ψηλός τότε είναι και όµορφος 2/23/

38 Σχετικά µε την τελευταία 4. x (Ψ(x) Ο(x)) Για τουλάχιστον ένα φοιτητή, ισχύει πως εάν είναι ψηλός, τότε είναι και όµορφος Η x (Ψ(x) Ο(x)) είναι αληθής εάν και µόνο αν, για κάποιο φοιτητή a, η Ψ(a) Ο(a) είναι αληθής. Όµως, Ψ(a) Ο(a) Ψ(a) Ο(a) Οπότε, η (4) σηµαίνει επίσης ότι Υπάρχει τουλάχιστον ένας φοιτητής που είναι κοντός ή όµορφος 2/23/

39 Θεωρείστε την πρόταση r: x (Q(x) P(x)) σε σχέση µε ένα µη κενό π.ο. της µεταβλητής x. Υποθέστε, ωστόσο, ότι yq(y) Μπορείτε να σκεφτείτε κατά πόσον η r είναι αληθής; 2/23/

40 Θεωρείστε την x (Q(x) P(x)) σε ένα µη κενό π.ο. D Εφόσον yq(y), η Q(y) είναι ψευδής για κάθε y Εποµένως, η Q(a) P(a) είναι αληθής για κάθε a στο D Εποµένως, η x (Q(x) P(x)) είναι αληθής 2/23/

41 Νόµοι ισοδυναµίας «Ξεδίπλωµα» ποσοδεικτών: Εάν π.ο.={a, b, c, } x P(x) P(a) P(b) P(c) x P(x) P(a) P(b) P(c) Από αυτές, µπορούµε να αποδείξουµε τις ισοδυναµίες: x P(x) ( x P(x)) x P(x) x P(x) ( x P(x)) x P(x) Ποιοί νόµοι ισοδυναµίας τουπροτασιακού λογισµού µπορούν να χρησιµοποιηθούν για να το αποδείξουµε αυτό; 2/23/

HY118- ιακριτά Μαθηµατικά. Ένα παράδειγµα... Έχουµε δει. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Πέµπτη, 23/02/2017

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

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

HY118-Διακριτά Μαθηματικά

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

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

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

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

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

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

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

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

HY118-Διακριτά Μαθηματικά

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

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

HY118- ιακριτά Μαθηµατικά. Νόµοι ισοδυναµίας. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Παρασκευή, 24/02/2017

HY118- ιακριτά Μαθηµατικά. Νόµοι ισοδυναµίας. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Παρασκευή, 24/02/2017 HY118- ιακριτά Μαθηµατικά Παρασκευή, 24/02/2017 Κατηγορηµατικός Λογισµός Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University

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

HY118-Διακριτά Μαθηματικά

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

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

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

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

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

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

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

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

Αποφασισιµότητα. HY118- ιακριτά Μαθηµατικά. Βασικές µέθοδοι απόδειξης. 07 -Αποδείξεις. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο 2017

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

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

HY118- ιακριτά Μαθηµατικά. Παράδειγµα άµεσης απόδειξης. Μέθοδοι αποδείξεως για προτάσεις της µορφής εάν-τότε. 08 - Αποδείξεις

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

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

HY118-Διακριτά Μαθηματικά

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

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

Παράδειγμα άμεσης απόδειξης. HY118-Διακριτά Μαθηματικά. Μέθοδοι αποδείξεως για προτάσεις της μορφής εάν-τότε

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

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

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

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

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

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

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

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

HY118- ιακριτά Μαθηµατικά. Συναρτήσεις. Συνάρτηση. Συνάρτηση: Τυπικός ορισµός Συναρτήσεις

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

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

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

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

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

Μερικές διατάξεις. HY118- ιακριτά Μαθηµατικά. Μερικές διατάξεις, παράδειγµα. ιαγράµµατα Hasse: Αναπαράσταση σχέσεων µερικής διάταξης

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

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

HY118- ιακριτά Μαθηµατικά. Παράδειγµα. Από τα συµπεράσµατα στις υποθέσεις Αποδείξεις - Θεωρία συνόλων. Από τις υποθέσεις στα συµπεράσµατα...

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

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

Θεώρηµα: Z ( Απόδειξη: Περ. #1: Περ. #2: *1, *2: αποδεικνύονται εύκολα, διερευνώντας τις περιπτώσεις ο k να είναι άρτιος ή περιττός

Θεώρηµα: Z ( Απόδειξη: Περ. #1: Περ. #2: *1, *2: αποδεικνύονται εύκολα, διερευνώντας τις περιπτώσεις ο k να είναι άρτιος ή περιττός HY118- ιακριτά Μαθηµατικά Την προηγούµενη φορά Τρόποι απόδειξης Τρίτη, 07/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter,

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

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

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

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

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

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

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

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

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

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

ιµελής σχέση HY118- ιακριτά Μαθηµατικά n-µελείς σχέσεις Σχέσεις 13 - Σχέσεις

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

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

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

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

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

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

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

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

HY118- ιακριτά Μαθηµατικά. Σχέσεις. Την προηγούµενη φορά. Αντισυµµετρικότητα. 13 Σχέσεις

HY118- ιακριτά Μαθηµατικά. Σχέσεις. Την προηγούµενη φορά. Αντισυµµετρικότητα. 13 Σχέσεις HY8- ιακριτά Μαθηµατικά Πέµπτη, 23/03/207 Σχέσεις Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/24/207

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

HY118-Διακριτά Μαθηματικά

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

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

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

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

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

HY118-Διακριτά Μαθηματικά. Προτασιακός Λογισμός. Προηγούμενη φορά. Βάσεις της Μαθηματικής Λογικής. 02 Προτασιακός Λογισμός

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

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

HY118-Διακριτά Μαθηματικά

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

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

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

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

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

ΗΥ118 - Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2013

ΗΥ118 - Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2013 ΗΥ118 - Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2013 2 η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [2 μονάδες] Έστω μεταβλητές και σταθερές στο σύνολο των ανθρώπων και η προτασιακή μορφή Ρ(x, y) με το νόημα "o x αγαπά

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

HY118-Διακριτά Μαθηματικά

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

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

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

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

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

Πώς είναι δυνατόν να είναι ισοδύναµες οι εξισώσεις που αναφέρονται στο ερώτηµα ii, αφού δεν έχουν το ίδιο πεδίο ορισµού 2 ;

Πώς είναι δυνατόν να είναι ισοδύναµες οι εξισώσεις που αναφέρονται στο ερώτηµα ii, αφού δεν έχουν το ίδιο πεδίο ορισµού 2 ; 1 Ισοδύναµες εξισώσεις και η έννοια του «κοντά» ρ. Παναγιώτης Λ. Θεοδωρόπουλος πρώην Σχολικός Σύµβουλος ΠΕ03 e-mail@p-thedrpuls.gr Εισαγωγή Στην εργασία αυτή αναλύονται και αναπτύσσονται οι έννοιες που

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

HY118- ιακριτά Μαθηµατικά. Σχέσεις. Σχέσεις ισοδυναµίας. 15 Σχέσεις

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

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

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

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

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

HY118- ιακριτά Μαθηµατικά. Θεωρία Συνόλων. Προηγούµενη φορά. «ανήκει» 10 Θεωρία συνόλων

HY118- ιακριτά Μαθηµατικά. Θεωρία Συνόλων. Προηγούµενη φορά. «ανήκει» 10 Θεωρία συνόλων HY118- ιακριτά Μαθηµατικά Πέµπτη, 09/03/2017 Θεωρία Συνόλων Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of

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

\5. Κατηγορηματικός Λογισμός (Predicate Calculus)

\5. Κατηγορηματικός Λογισμός (Predicate Calculus) \5 Κατηγορηματικός Λογισμός (Predicate Calculus) 51 Αντικείμενα Ιδιότητες και Σχέσεις Θεωρείστε την παρακάτω εξαγωγή συμπεράσματος: Κανένας ακέραιος δεν είναι μεγαλύτερος από το τετράγωνό του Το 1 2 είναι

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

HY118- ιακριτά Μαθηµατικά. Μαθηµατική επαγωγή. 11 Επαγωγή

HY118- ιακριτά Μαθηµατικά. Μαθηµατική επαγωγή. 11 Επαγωγή Επαγωγή HY8- ιακριτά Μαθηµατικά Τρίτη, /03/06 Μαθηµατική Επαγωγή Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University

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

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

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

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

HY118- ιακριτά Μαθηµατικά. Θεωρία Συνόλων. Το δυναµοσύνολο ενός συνόλου. Προηγούµενη φορά. 10 Θεωρία συνόλων. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο 2016

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

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

HY118- ιακριτά Μαθηµατικά. Σχέσεις. ιµελής σχέση. 12 Εισαγωγή στις Σχέσεις. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο 2017.

HY118- ιακριτά Μαθηµατικά. Σχέσεις. ιµελής σχέση. 12 Εισαγωγή στις Σχέσεις. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο 2017. HY118- ιακριτά Μαθηµατικά Τρίτη, 21/03/2017 Σχέσεις Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen

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

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

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

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

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

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

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

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

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

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

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

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

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

Κατηγορηµατική Λογική Προτασιακή Λογική: πλαίσιο διατύπωσης και µελέτης επιχειρηµάτων για πεπερασµένο πλήθος «λογικών αντικειµένων». «Λογικό αντικείµε

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

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

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

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου Θέμα 1: a. Δείξτε κατά πόσον η πρόταση ((p q) r) ((p q) (q r)) αποτελεί ή όχι ταυτολογία. Κάποιος ιδιόρρυθμος δικαστής ρωτήθηκε κατά

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

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

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

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

Στοιχεία Κατηγορηματικής Λογικής

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

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

Στοιχεία Κατηγορηματικής Λογικής

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

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

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

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

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

Περιεχόμενα 1 Πρωτοβάθμια Λογική Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων ) / 60

Περιεχόμενα 1 Πρωτοβάθμια Λογική Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων ) / 60 Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

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

4. Ο,τιδήποτε δεν ορίζεται με βάση τα (1) (3) δεν είναι προτασιακός τύπος.

4. Ο,τιδήποτε δεν ορίζεται με βάση τα (1) (3) δεν είναι προτασιακός τύπος. Κεφάλαιο 10 Μαθηματική Λογική 10.1 Προτασιακή Λογική Η γλώσσα της μαθηματικής λογικής στηρίζεται βασικά στις εργασίες του Boole και του Frege. Ο Προτασιακός Λογισμός περιλαμβάνει στο αλφάβητό του, εκτός

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

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

ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Ι ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Ι Για τον προτασιακό λογισμό παρουσιάσαμε την αποδεικτική θεωρία (natural deduction/λογικό συμπέρασμα) τη σύνταξη (ορίζεται με γραμματική χωρίς συμφραζόμενα και εκφράζεται με συντακτικά

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

HY118- ιακριτά Μαθηµατικά. Σχέσεις. Κλάσεις ισοδυναµίας. Σχέσεις ισοδυναµίας. 15 -Σχέσεις

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

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

ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική)

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

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

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

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

Στοιχεία Κατηγορηματικής Λογικής

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

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

HY118-Διακριτά Μαθηματικά

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

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

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

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

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

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

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

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

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

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

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

1.7 ΙΑΙΡΕΣΗ ΠΟΛΥΩΝΥΜΩΝ

1.7 ΙΑΙΡΕΣΗ ΠΟΛΥΩΝΥΜΩΝ 1 1.7 ΙΑΙΡΕΣΗ ΠΟΛΥΩΝΥΜΩΝ ΘΕΩΡΙΑ 1. Ταυτότητα Ευκλείδειας διαίρεσης : Για δύο οποιαδήποτε πολυώνυµα (x) και δ(x) µε δ(x) µπορούµε να βρούµε δύο άλλα πολυώνυµα π(x) και υ(x) τέτοια ώστε να ισχύει (x) = δ(x)π(x)

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

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης. 5ο μέρος σημειώσεων: Κατηγορηματικός Λογισμός (Predicate Calculus)

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

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

Γιατί πιθανότητες; Γιατί πιθανότητες; Θεωρία πιθανοτήτων. Θεωρία Πιθανοτήτων. ΗΥ118, Διακριτά Μαθηματικά Άνοιξη 2017.

Γιατί πιθανότητες; Γιατί πιθανότητες; Θεωρία πιθανοτήτων. Θεωρία Πιθανοτήτων. ΗΥ118, Διακριτά Μαθηματικά Άνοιξη 2017. HY118-Διακριτά Μαθηματικά Τρίτη, 02/05/2017 Θεωρία πιθανοτήτων Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr 04-May-17 1 1 04-May-17 2 2 Γιατί πιθανότητες; Γιατί πιθανότητες; Στον προτασιακό και κατηγορηματικό

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

HY118-Διακριτά Μαθηματικά

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

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

HY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι έχουµε δει µέχρι τώρα. Υπογράφηµα Γράφοι

HY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι έχουµε δει µέχρι τώρα. Υπογράφηµα Γράφοι HY118- ιακριτά Μαθηµατικά Θεωρία γράφων / γραφήµατα Πέµπτη, 19/05/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr 5/22/2016 1 1 5/22/2016 2 2 Τι έχουµε δει µέχρι τώρα Κατευθυνόµενοι µη κατευθυνόµενοι

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

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

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

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

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων Θέμα 1: [14 μονάδες] 1. [5] Έστω Y(x): «Το αντικείμενο x είναι ηλεκτρονικός υπολογιστής», Φ(y):

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

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

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

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

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Ημερομηνία : Πέμπτη, 30 Οκτωβρίου 2014 Διάρκεια : 10:30 12.00 Διδάσκουσα : Άννα Φιλίππου ΠΡΟΤΥΠΕΣ ΛΥΣΕΙΣ Οδηγίες:

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

Κατηγορηµατική Λογική

Κατηγορηµατική Λογική Προβλήµατα της Προτασιακής Λογικής Γιατί δεν µας αρκεί η Προτασιακή Λογική; Εστω ότι ισχύουν τα P και Q: P : «Ο Σωκράτης είναι άνθρωπος» Q : «Κάθε άνθρωπος είναι ϑνητός» R : «Ο Σωκράτης είναι ϑνητός» Μπορούµε

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

Πανεπιστήμιο Κρήτης Τμήμα Επιστήμης Υπολογιστών. Σχεσιακός Λογισμός

Πανεπιστήμιο Κρήτης Τμήμα Επιστήμης Υπολογιστών. Σχεσιακός Λογισμός Σχεσιακός Λογισμός Γλώσσα βασισμένη στον Κατηγορηματικό Λογισμό 1 ης Τάξης (First Order Predicate Calculus) Οι περισσότερες γλώσσες επερώτησης σχεσιακών βάσεων δεδομένων βασίζονται στον Σχεσιακό Λογισμό

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

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 6: Προτασιακός Λογισμός

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 6: Προτασιακός Λογισμός Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 6: Προτασιακός Λογισμός Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες

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

ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2018

ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2018 ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2018 2 η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [1.5 μονάδα] Έστω Τ(x): O x έχει σταθερό υπολογιστή, L(x): O x έχει laptop, S(x): O x έχει smartphone, με τη μεταβλητή

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

Σχόλιο. Παρατηρήσεις. Παρατηρήσεις. p q p. , p1 p2

Σχόλιο. Παρατηρήσεις. Παρατηρήσεις. p q p. , p1 p2 A. ΠΡΟΤΑΣΕΙΣ Στα Μαθηµατικά χρησιµοποιούµε προτάσεις οι οποίες µπορούν να χαρακτηριστούν ως αληθείς (α) ή ψευδείς (ψ). Τις προτάσεις συµβολίζουµε µε τα τελευταία µικρά γράµµατα του Λατινικού αλφαβήτου:

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

ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2017

ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2017 ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2017 2 η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [1 μονάδα] Έστω F(x,y) = «Το αυτοκίνητο x έχει μέγιστη ταχύτητα μεγαλύτερη από αυτή του αυτοκινήτου y», με Π.Ο. των x,y

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

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

HY118- ιακριτά Μαθηµατικά HY118- ιακριτά Μαθηµατικά Τρίτη, 10/05/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr 5/11/2016 1 1 Θεωρία πιθανοτήτων 5/11/2016 2 2 Γιατί πιθανότητες; Στον προτασιακό και κατηγορηµατικό λογισµό µιλήσαµε

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

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

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

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

ιαδικαστικά θέµατα HY118- ιακριτά Μαθηµατικά Συνάρτηση: Τυπικός ορισµός Ορολογία 17 - Η αρχή του περιστερώνα

ιαδικαστικά θέµατα HY118- ιακριτά Μαθηµατικά Συνάρτηση: Τυπικός ορισµός Ορολογία 17 - Η αρχή του περιστερώνα HY118- ιακριτά Μαθηµατικά Τρίτη, 21/04/2015 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 4/21/2015

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

! όπου το σύµβολο έχει την έννοια της παραγωγής, δηλαδή το αριστερό µέρος ισχύει ενώ το δεξιό µέρος συµπεραίνεται και προστίθεται στη βάση γνώσης.

! όπου το σύµβολο έχει την έννοια της παραγωγής, δηλαδή το αριστερό µέρος ισχύει ενώ το δεξιό µέρος συµπεραίνεται και προστίθεται στη βάση γνώσης. Αποδείξεις (1/2)! Χρησιµοποιούµε τις συνεπαγωγές της βάσης γνώσης για να βγάλουµε νέα συµπεράσµατα. Για παράδειγµα:! Από τις προτάσεις:! Ακαι Α Β! µπορούµε να βγάλουµε το συµπέρασµα (τεχνική modus ponens

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

HY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι είναι οι γράφοι; Εφαρµογές των γράφων Γράφοι

HY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι είναι οι γράφοι; Εφαρµογές των γράφων Γράφοι HY118- ιακριτά Μαθηµατικά Θεωρία γράφων / γραφήµατα Τρίτη, 17/05/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr 5/22/2016 1 1 5/22/2016 2 2 Τι είναι οι γράφοι; Mία ειδική κλάση διακριτών δοµών (που

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

ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική)

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

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

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2017 Τελική Εξέταση Ιουνίου - Τετάρτη, 14/06/2017 ΛΥΣΕΙΣ

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2017 Τελική Εξέταση Ιουνίου - Τετάρτη, 14/06/2017 ΛΥΣΕΙΣ ΗΥ8: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 07 Τελική Εξέταση Ιουνίου - Τετάρτη, 4/06/07 ΛΥΣΕΙΣ Σημείωση: Οι παρακάτω λύσεις είναι ενδεικτικές. Ενδεχομένως, υπάρχουν και άλλοι σωστοί τρόποι επίλυσης. Θέμα

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

Μαθηµατική επαγωγή. HY118- ιακριτά Μαθηµατικά. 2 η αρχή της επαγωγής Ισχυρή επαγωγή Χαρακτηρίζεται από ένα άλλο κανόνα:

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

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

Υπολογιστικά & Διακριτά Μαθηματικά

Υπολογιστικά & Διακριτά Μαθηματικά Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 2:Στοιχεία Μαθηματικής Λογικής Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,

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

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

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

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

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

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

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

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2018 Λύσεις ασκήσεων προόδου ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 018 Λύσεις ασκήσεων προόδου Θέμα 1: a. Δείξτε κατά πόσον η πρόταση ((p q) r) ((p q) (q r)) αποτελεί ή όχι ταυτολογία. b. Κάποιος ιδιόρρυθμος δικαστής ρωτήθηκε

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

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

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

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

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Σκελετοί Λύσεων Ημερομηνία : Σάββατο, 27 Οκτωβρίου 2012 Διάρκεια : 11:00 13:00 Διδάσκουσα : Άννα Φιλίππου Άσκηση

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

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

HY118- ιακριτά Μαθηµατικά HY118- ιακριτά Μαθηµατικά Τρίτη, 19/04/2016 Το υλικό των Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr 1 Συνδυαστική 2 Πείραµα Πείραµα: Οποιαδήποτε διαδικασία που µπορεί να οδηγήσει σε ένα αριθµό παρατηρήσιµων

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

Διακριτά Μαθηματικά. Λογική, Αποδείξεις, Σύνολα, Συναρτήσεις

Διακριτά Μαθηματικά. Λογική, Αποδείξεις, Σύνολα, Συναρτήσεις Διακριτά Μαθηματικά Λογική, Αποδείξεις, Σύνολα, Συναρτήσεις Διακριτά Μαθηματικά: πυλώνες Image source: http://www.patrasevents.gr Διακριτά Μαθηματικά: λογική Διακριτά Μαθηματικά: αποδείξεις Διακριτά Μαθηματικά:

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

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

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

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

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

Σειρά Προβλημάτων 2 Λύσεις Σειρά Προβλημάτων 2 Λύσεις Άσκηση 1 Χρησιμοποιώντας τα πιο κάτω κατηγορήματα και σταθερές και υποθέτωντας ως σύμπαν το σύνολο όλων των ανθρώπων, να διατυπώσετε τις προτάσεις που ακολουθούν στον Κατηγορηματικό

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

Αρχεία και Βάσεις Δεδομένων

Αρχεία και Βάσεις Δεδομένων ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Αρχεία και Βάσεις Δεδομένων Διάλεξη 7η: Σχεσιακός Λογισμός Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Σχεσιακός Λογισμός Γλώσσα βασισμένη στον Κατηγορηματικό

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

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

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

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