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

Save this PDF as:
 WORD  PNG  TXT  JPG

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

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

Transcript

1 HY118- ιακριτά Μαθηµατικά Παρασκευή, 10/02/2017 Αντώνης Α. Αργυρός Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen Τι είδαµε µέχρι τώρα Προτάσεις (ατοµικές, σύνθετες) Τελεστές (not, and, or, xor, εάν...τότε) Πίνακες αληθείας Ταυτολογίες / αντιφάσεις Ισοδυναµία προτάσεων (µε βάση τους πίνακες αληθείας) 2/12/ /12/ Πάλι πίσω στη φυσική γλώσσα Προτασιακός Λογισµός (συνέχεια...) αν στην καθοµιλουµένη πούµε: (1) αν έρθει η Μαρία, θα πάω στο πάρτυ µάλλον εννοούµε (2) Θα πάω στο πάρτυ αν και µόνο ανη Μαρία πάει στο πάρτυ Τι νόηµα έχει στον προτ. λογ. η παρακάτω πρόταση; έρθει η Μαρία θα πάω στο πάρτυ Αν έρθει η Μαρία, τότε θα πάω στο πάρτυ. Η πρόταση αυτή όµως είναι αληθής ακόµα κι αν δεν έρθειη Μαρία στο πάρτυ Η (2) έχει άλλο νόηµα: Αν έρθει η Μαρία θα πάω στο πάρτυ αλλά και ταυτόχρονα, αν δεν έρθει η Μαρία, δεν θα πάω στο πάρτυ Εποµένως, για να αποδώσουµε το νόηµα της (2), χρειαζόµαστε ένα τελεστή διαφορετικό από τον («εάν τότε») 2/12/ /12/

2 Τελεστής «αν και µόνο αν» Η διαφορά µεταξύ και Η πρόταση p qείναι αληθής αν η pκαι η qέχουν την ίδια τιµή αληθείας. Η p qδενσηµαίνει ότι η pκαι η qείναι αληθείς. Η p qδενσηµαίνει ότι ηµία από αυτές είναι η αιτία της άλλης Σηµειώστε ότι αυτός ο πίνακας αληθείας είναι η άρνηση της αποκλειστικής διάζευξης ηλαδή, p q (p q) p q p q F F T F T F T F F T T T Έστω σύνθετες προτάσεις P και Q. Η πρόταση P Q είναι µία σύνθετη πρόταση. Η πρόταση P Q σηµαίνει ότι η πρόταση P Q είναι ταυτολογία. H P Q είναι µία πρόταση για µία πρόταση Αντίστοιχη είναι και η διαφορά µεταξύ του τελεστή και της λογικής συνεπαγωγής 2/12/ /12/ Ας δούµε... Η διαφορά µεταξύ και...την αλήθεια της p q, όπου 1. p= Η Κρήτη βρίσκεται στην Ελλάδα q= 2+2 =4 ΑΛΗΘΗΣ 2. p= Η Κρήτη δεν βρίσκεται στην Ελλάδα q= 2+2 =5 ΑΛΗΘΗΣ 3. p= Η Κρήτη βρίσκεται στην Ελλάδα q= Το Τόκυο βρίσκεται στην Ελλάδα ΨΕΥ ΗΣ Η P Qλέει αν η Pκαι η Q έχουντην ίδια τιµή αληθείας. Η P Q λέει ότι καµία εκχώρηση τιµών αληθείας στις P και Q δεν µπορεί να κάνει την P Qψευδή Εποµένως, η P Qµπορεί µόνο να ισχύει µεταξύ επιλεγµένων σύνθετων προτάσεων Pκαι Q.... Με άλλα λόγια, η P Q έχει την έννοια ότι Η P Qείναι ταυτολογία για οποιαδήποτε εκχώρηση τιµών στις ατοµικές προτάσεις που συνθέτουν τις P, Q. 2/12/ /12/

3 Σχετικά µε την πρόταση p q Για µία πρόταση της µορφής p q: Ηαντίστροφήτης είναι: q p Η αντιθετική της είναι: p q Η αντιστροφοαντίθετή της είναι: q p Είναι κάποια από αυτές ισοδύναµη µε την p q; Επίσης: p q q p p q q p p q q p F F T T T T T T F T F T T F F T T F T F F T T F T T F F T T T T Εποµένως, η αντίστροφη και η αντιθετική µιας πρότασης, είναι λογικά ισοδύναµες µεταξύ τους 2/12/ /12/ Ας δούµε ένα παράδειγµα Απόδειξη της ισοδυναµίας της p q και της αντιστροφοαντίθετήςτης, χρησιµοποιώντας πίνακες αληθείας: p q q p p q q p p q q p F F T T T T T T F T F T T F F T T F T F F T T F T T F F T T T T Έστω p = το τρίγωνο Τ είναι ισόπλευρο Έστω q = το τρίγωνο Τ είναι ισοσκελές p q: Αν το Τ είναι ισόπλευρο, τότε είναι και ισοσκελές q p:αν το Τδεν είναι ισοσκελές, τότε δεν είναι ισόπλευρο q p: Αν το Τ είναι ισοσκελές, τότε είναι και ισόπλευρο p q:αν το Τδεν είναι ισόπλευρο, τότε δεν είναι και ισοσκελές 2/12/ /12/

4 Ανασκόπηση των τελεστών Για να σκεφτούµε τώρα... Είδαµε τον τελεστή άρνησης και πέντε δυαδικούς τελεστές: p q p p q p q p q p q p q F F T F F F T T F T T F T T T F T F F F T T F F T T F T T F T T Κάθε γραµµή του πίνακα αληθείας µπορεί να είναι T ή F, εποµένως µπορούµε να έχουµε 2x2x2x2=16 δυαδικούς τελεστές p q Τελεστής F F? F T? T F? T T? 2/12/ /12/ Για να σκεφτούµε τώρα... Τελικά, πόσοιδυαδικοί τελεστές µπορούν να οριστούν; Ανασκόπηση των τελεστών p q F F F T F T F T F T F T F T F T F T F T F F T T F F T T F F T T F F T T T F F F F F T T T T F F F F T T T T T T F F F F F F F F T T T T T T T T 2/12/ /12/

5 p q p τελεστής q F F T F T F T F T T Παράδειγµα F F Ανασκόπηση των τελεστών Όλοι οι τελεστές µπορούν να γραφούν ισοδύναµα µε χρήση µόνο των τελεστών άρνησης και σύζευξης. Πως µπορούµε να το δείξουµε αυτό; Έχουµε ήδη δείξει ότι έχοντας την άρνηση και την σύζευξη, µπορούµε να εκφράσουµε την διάζευξη. p q ( p q) Εποµένως, χρησιµοποιώντας αυτούς τους τρεις πλέον τελεστές, µπορούµε να «εκφράσουµε» τον κάθε πίνακα αληθείας πως;;; 2/12/ /12/ Παράδειγµα p q p τελεστής q σύγκριση µε: p q F F T F F T F T T F F T T T F T Όνοµα: NOR Ανασκόπηση των τελεστών περιγράφοντας τον πίνακα αληθείας του τελεστή. Π.χ., για τον τελεστή Ζ : p q p Z q F F F F T T T F F T T T p Ζ q ( p q) (p q) 2/12/ /12/

6 Η γλώσσα του προτασιακού λογισµού ορισµένη πιό τυπικά Ατοµικές προτάσεις: p 1, p 2, p 3,.. Προτάσεις: Όλες οι ατοµικές προτάσεις είναι προτάσεις Για κάθε έκφρασηα, αν ηαείναι πρόταση, τότε η α είναι επίσης πρόταση Για κάθε έκφρασηακαιβ, εάνοι α,βείναι προτάσεις, και εάν ο Lείναι κάποιος δυαδικός τελεστής, τότε και η (α L β) είναι πρόταση Απλοποιώντας τα πράγµατα... Σύµβαση 1:οι εξωτερικές παρενθέσεις µπορούν να παραλειφθούν: Σύµβαση 2:η προσεταιριστικότηταµας επιτρέπει να παραλείψουµε κι άλλες παρενθέσεις, π.χ. οι p 1 p 2 p 3 και p 1 p 2 p 3 είναι πλέον προτάσεις 2/12/ /12/ Η γλώσσα του προτασιακού λογισµού ορισµένη πιό τυπικά Ποιές από τις παρακάτω εκφράσεις είναι προτάσεις σύµφωνα µε τον τυπικό αυτό ορισµό; Η γλώσσα του προτασιακού λογισµού ορισµένη πιό τυπικά Ποιές από τις παρακάτω είναι προτάσεις, όταν χρησιµοποιούµε αυτές τις δύο συµβάσεις; p 1 p 2 (p 1 p 2 ) (p 9 p 8 ) (p 1 p 2 p 3 ) (p 1 (p 2 p 3 )) ΟΧΙ ΝΑΙ ΝΑΙ ΟΧΙ ΝΑΙ p 1 p 2 (p 1 p 2 ) (p 9 p 8 ) (p 1 p 2 p 3 ) (p 1 (p 2 p 3 )) ΝΑΙ ΝΑΙ ΝΑΙ ΟΧΙ ΝΑΙ 2/12/ /12/

7 Μερικοί εναλλακτικοί συµβολισµοί Όνοµα: not and or xor implies iff : Άλγεβρα Boole: p pq + C/C++/Java (λέξεις):! &&!= == C/C++/Java (bitwise): ~ & ^ Λογικές πύλες: Ένα πρόβληµα A: Η πρωτεύουσα είναι στο βουνό ή ο δρόµος στα δεξιά οδηγεί στην πρωτεύουσα B: Η πρωτεύουσα είναι στο βουνό και ο δρόµος στα δεξιά οδηγεί στην πρωτεύουσα Τότε ο Α λέει: Α: O B λέει ψέµατα! Ο Β ξαναπαίρνει το λόγο και λέει: Β: Αν η πρωτεύουσα είναι στο βουνό τότε ο δρόµος στα δεξιά οδηγεί στην πρωτεύουσα Ο Κώστας σηµειώνει κάτι σε ένα κοµµάτι χαρτί και αποφασίζει τελικά να πάρει τον αριστερό δρόµο ΕΚΑΝΕ ΚΑΛΑ;;;;; 2/12/ /12/ Ένα πρόβληµα Ο Κώστας βρίσκεται σε µία χώρα που κατοικείται από δύο τύπους ανθρώπων, κάποιους που λένε πάντα την αλήθεια, και κάποιους που λένε πάντα ψέµατα. Θέλει να φτάσει στην πρωτεύουσα της χώρας, αλλά, φτάνοντας σε κάποια διασταύρωση, είναι σε δίλληµα για το εάν θα πρέπει να πάει δεξιά ή αριστερά. Για καλή του τύχη, βλέπει δύο ανθρώπους και αποφασίζει να τους ρωτήσει τι να κάνει. Αυτοί, θέλοντας να τον ταλαιπωρήσουν λίγο, του δίνουν τις εξής απαντήσεις: Ένα πρόβληµα A: Η πρωτεύουσα είναι στο βουνό ή ο δρόµος στα δεξιά οδηγεί στην πρωτεύουσα B: Η πρωτεύουσα είναι στο βουνό και ο δρόµος στα δεξιά οδηγεί στην πρωτεύουσα Α: O B λέει ψέµατα! Β: Αν η πρωτεύουσα είναι στο βουνό τότεο δρόµος στα δεξιά οδηγεί στην πρωτεύουσα 2/12/ /12/

8 και η λύση του και η λύση του Έστω p = Η πρωτεύουσα είναι στο βουνό Έστω q= O δρόµος στα δεξιά οδηγεί στην πρωτεύουσα Έστω r= O Β λέει ψέµατα p q A:p q B:q p B:p q F F F F T F T T F T T F T F F T T T T T Ο Β λέει πάντα την αλήθεια ή λέει πάντα ψέµατα p q A:p q B:q p B:p q F F F F T F T T F T T F T F F T T T T T 2/12/ /12/ και η λύση του και η λύση του Ξέρουµε ότι όλοι οι κάτοικοι αυτής της χώρας, και εποµένως και ο Β λέει πάντα αλήθεια ή πάντα ψέµατα p q A:p q B:q p B:p q F F F F T F T T F T T F T F F T T T T T Ο Β λέει πάντα την αλήθεια ή λέει πάντα ψέµατα p q A:p q B:q p B:p q F F F F T F T T F T T F T F F T T T T T 2/12/ /12/

9 και η λύση του και η λύση του Ο Α φαίνεται να λέει πάντα την αλήθεια p q A:p q B:q p B:p q F F F F T F T T F T T F T F F T T T T T Άρα, p αληθής, q ψευδής δηλ. η πρόταση q= Oδρόµος στα δεξιά οδηγεί στην πρωτεύουσα είναι ψευδής, κι εποµένως ο Κώστας έκανε καλά που έστριψε αριστερά! p q A:p q B:q p B:p q F F F F T F T T F T T F T F F T T T T T 2/12/ /12/ και η λύση του Ο Α φαίνεται να λέει πάντα την αλήθεια εποµένως η πρόταση του Α r= O B λέει ψέµατα! είναι αληθής!!! p q A:p q B:q p B:p q F F F F T F T T F T T F T F F T T T T T Έχουµε µάθει για: Τελεστές προτασιακού λογισµού Συµβολισµούς Γλωσσικά ανάλογα Πίνακες αληθείας Λογική ισοδυναµία Θα µάθουµε ακόµα: Περισσότερα για λογικές ισοδυναµίες. Πως να τις αποδεικνύουµε 2/12/ /12/

10 Νόµοι ισοδυναµίας Παρόµοιοι µε τις ταυτότητες στην άλγεβρα Πρότυπα που µπορούν να χρησιµοποιηθούν για να ταιριάξουµε ένα τµήµα µιάς άλλης πρότασης ΣΥΝΤΜΗΣΕΙΣ: T τυχαία ταυτολογία F τυχαία αντίφαση Κι άλλοι νόµοι ισοδυναµίας Επιµεριστική: p (q r) (p q) (p r) p (q r) (p q) (p r) De Morgan s: (p q) p q (p q) p q Ταυτολογία/αντίφαση: p p T p p F Augustus De Morgan ( ) 2/12/ /12/ Νόµοι ισοδυναµίας - παραδείγµατα Ουδέτερο στοιχείο: p T p p F p Απορροφητικό στοιχείο: p T T p F F p p p p p p ιπλή άρνηση: p p Αντιµεταθετική: p q q p p q q p Προσεταιριστική: (p q) r p (q r) (p q) r p (q r) Εναλλακτικοί ορισµοί τελεστών µέσω ισοδυναµιών Μερικές ισοδυναµίες µπορούν να θεωρηθούν ως ορισµοί ενός τελεστή βάση άλλων: XOR: Εάν...τότε: p q (p q) (p q) p q (p q) (q p) p q p q Αν και µόνο αν: p q (p q) (q p) p q (p q) 2/12/ /12/

11 Χρήση ισοδυναµιών: Παράδειγµα (1) Χρησιµοποιείστε ισοδυναµίες για να αποδείξετε ότι: ( r s) s r. Χρήση ισοδυναµιών: Παράδειγµα (2) Χρησιµοποιείστε ισοδυναµίες για να αποδείξετε ότι: (p q) (p r) p q r. (p q) (p r) [Χρήση του ορισµού του ] (p q) (p r) [Χρήση του ορισµού της ] (p q) ((p r) (p r)) [DeMorgan] ( p q) ((p r) (p r)) συνεχίζεται... 2/12/ /12/ ( r s) Χρήση ισοδυναµιών: Παράδειγµα (1) [De Morgan] r s [ ιπλή άρνηση] r s [Αντιµεταθετική] s r. 2/12/ παράδειγµα, συνεχίζεται... ( p q) ((p r) (p r)) [ αντιµεταθ.] (q p) ((p r) (p r)) [ προσεταιρ.] q ( p ((p r) (p r))) [επιµεριστική] q ((( p (p r)) ( p (p r))) [προσεταιρ.] q ((( p p) r) ( p (p r))) [ταυτολογία] q ((T r) ( p (p r))) [απορ. στοιχείο] q (T ( p (p r))) [ουδέτερο στοιχείο] q ( p (p r)) συνεχίζεται... 2/12/

12 Τέλος παραδείγµατος q ( p (p r)) [DeMorgan] q ( p ( p r)) q (( p p) r) [p p p] [Προσεταιριστική] q ( p r) (q p) r p q r Ο.Ε.. (όπερ έδει δείξαι το οποίο έπρεπε να δείξουµε...) [Προσεταιριστική] [Αντιµεταθετική] K= Έχει κρύο X= Xιονίζει A= Έχουµε ατυχήµατα Οι υποθέσεις: Εάν έχει κρύο τότε χιονίζει Εάν χιονίζει τότε έχουµε ατυχήµατα εν έχουµε ατυχήµατα Το συµπέρασµα: εν έχει κρύο 2/12/ /12/ Μπορούµε να χρησιµοποιήσουµε τον προτασιακό λογισµό για να αποδείξουµε την αλήθεια συγκεκριµένων προτάσεων Έστω οι υποθέσεις: Εάν έχει κρύο τότε χιονίζει Εάν χιονίζει τότε έχουµε ατυχήµατα εν έχουµε ατυχήµατα Τότε µπορώ να οδηγηθώ στο συµπέρασµα εν έχει κρύο Πως; K= Έχει κρύο X= Xιονίζει A= Έχουµε ατυχήµατα Οι υποθέσεις: Εάν έχει κρύο τότε χιονίζει Κ Χ Εάν χιονίζει τότε έχουµε ατυχήµατα εν έχουµε ατυχήµατα Το συµπέρασµα: εν έχει κρύο 2/12/ /12/

13 K= Έχει κρύο X= Xιονίζει A= Έχουµε ατυχήµατα Οι υποθέσεις: Εάν έχει κρύο τότε χιονίζει Κ Χ Εάν χιονίζει τότε έχουµε ατυχήµατα Χ Α εν έχουµε ατυχήµατα Το συµπέρασµα: εν έχει κρύο K= Έχει κρύο X= Xιονίζει A= Έχουµε ατυχήµατα Οι υποθέσεις: Εάν έχει κρύο τότε χιονίζει Κ Χ Εάν χιονίζει τότε έχουµε ατυχήµατα Χ Α εν έχουµε ατυχήµατα Α Το συµπέρασµα: εν έχει κρύο K 2/12/ /12/ K= Έχει κρύο X= Xιονίζει A= Έχουµε ατυχήµατα Οι υποθέσεις: Εάν έχει κρύο τότε χιονίζει Κ Χ Εάν χιονίζει τότε έχουµε ατυχήµατα Χ Α εν έχουµε ατυχήµατα Α Το συµπέρασµα: εν έχει κρύο Με αυτά τα δεδοµένα, αρκεί να δείξουµε ότι : ((Κ Χ) (Χ Α) Α) Κ 2/12/ /12/

14 και µε βάση αυτά που λέγαµε νωρίτερα, αρκεί να δείξουµε ότι στον προτασιακό λογισµό η πρόταση: ((Κ Χ) (Χ Α) Α) Κ αποτελεί ταυτολογία! Μπορούµε να το κάνουµε είτε µε πίνακα αληθείας, είτε χρησιµοποιώντας λογικές ισοδυναµίες Θα επιχειρήσουµε το 2 ο Απόδειξη ( Κ Α Χ) Κ ( Κ Α Χ) Κ K A X Κ (K Κ) (A X) T (A X) T [Ο.Ε..] 2/12/ /12/ Απόδειξη ((Κ Χ) (Χ Α) Α) Κ ((Κ Χ) ( Χ Α) Α) Κ ((Κ Χ) ( Α ( Χ Α)) Κ ((Κ Χ) (( Α Χ) ( Α Α)) Κ ((Κ Χ) (( Α Χ) F) Κ ((Κ Χ) ( Α Χ)) Κ (( Κ Χ) ( Α Χ)) Κ (( Κ ( Α Χ)) (Χ ( Α Χ))) Κ (( Κ Α Χ) (Χ Α Χ)) Κ (( Κ Α Χ) F) Κ ( Κ Α Χ) Κ Απόδειξη µε άλλο τρόπο Αλλιώς 1. εν έχουµε ατυχήµατα (δεδοµένο) 2. Εάν χιονίζει έχουµε ατυχήµατα (δεδοµένο) ΕΠΟΜΕΝΩΣ Εάν δεν έχουµε ατυχήµατα δεν χιονίζει (αντιστροφοαντίθετητης 2) 3. ΕΠΟΜΕΝΩΣ δεν χιονίζει 4. Εάν έχει κρύο τότε χιονίζει (δεδοµένο) ΕΠΟΜΕΝΩΣ Εάν δεν χιονίζει δεν έχει κρύο (αντιστροφοαντίθετη της 4) 5. ΕΠΟΜΕΝΩΣ εν έχει κρύο [Ο.Ε..] 2/12/ /12/

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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- ιακριτά Μαθηµατικά

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

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

Φροντιστήριο #1 Λυμένες Ασκήσεις σε Προτασιακό Λογισμό 19/2/2016. Άσκηση Φ1.1 Κατασκευάστε πίνακες αληθείας για τις παρακάτω προτάσεις.

Φροντιστήριο #1 Λυμένες Ασκήσεις σε Προτασιακό Λογισμό 19/2/2016. Άσκηση Φ1.1 Κατασκευάστε πίνακες αληθείας για τις παρακάτω προτάσεις. Φροντιστήριο #1 Λυμένες Ασκήσεις σε Προτασιακό Λογισμό 19/2/2016 Άσκηση Φ1.1 Κατασκευάστε πίνακες αληθείας για τις παρακάτω προτάσεις. (a) ( p ( p )) ( r) (b) ( p ( r)) (( p ) r) (c) ( p r) ( r) Λύση Άσκησης

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

K15 Ψηφιακή Λογική Σχεδίαση 4+5: Άλγεβρα Boole

K15 Ψηφιακή Λογική Σχεδίαση 4+5: Άλγεβρα Boole K15 Ψηφιακή Λογική Σχεδίαση 4+5: Άλγεβρα Boole Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Ορισμός της δίτιμης άλγεβρας Boole Περιεχόμενα 1 Ορισμός της

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

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

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

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

ΒΑΣΙΚΕΣ ΑΡΧΕΣ ΨΗΦΙΑΚΗΣ ΤΕΧΝΟΛΟΓΙΑΣ. Κεφάλαιο 3

ΒΑΣΙΚΕΣ ΑΡΧΕΣ ΨΗΦΙΑΚΗΣ ΤΕΧΝΟΛΟΓΙΑΣ. Κεφάλαιο 3 ΒΑΣΙΚΕΣ ΑΡΧΕΣ ΨΗΦΙΑΚΗΣ ΤΕΧΝΟΛΟΓΙΑΣ Κεφάλαιο 3 Δυαδική λογική Με τον όρο λογική πρόταση ή απλά πρόταση καλούμε κάθε φράση η οποία μπορεί να χαρακτηριστεί αληθής ή ψευδής με βάση το νόημα της. π.χ. Σήμερα

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

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

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

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

Λογική Σχεδίαση Ψηφιακών Συστημάτων

Λογική Σχεδίαση Ψηφιακών Συστημάτων Πανεπιστήμιο Θεσσαλίας Τμήμα Πληροφορικής Λογική Σχεδίαση Ψηφιακών Συστημάτων Σταμούλης Γεώργιος georges@uth.gr Δαδαλιάρης Αντώνιος dadaliaris@uth.gr Δυαδική Λογική Η δυαδική λογική ασχολείται με μεταβλητές

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

ΨΗΦΙΑΚΑ ΗΛΕΚΤΡΟΝΙΚΑ. ιδάσκων : ρ. Β. ΒΑΛΑΜΟΝΤΕΣ. Πύλες - Άλγεβρα Boole 1

ΨΗΦΙΑΚΑ ΗΛΕΚΤΡΟΝΙΚΑ. ιδάσκων : ρ. Β. ΒΑΛΑΜΟΝΤΕΣ. Πύλες - Άλγεβρα Boole 1 ΨΗΦΙΑΚΑ ΗΛΕΚΤΡΟΝΙΚΑ ιδάσκων : ρ. Β. ΒΑΛΑΜΟΝΤΕΣ Πύλες - Άλγεβρα Boole 1 ΕΙΣΑΓΩΓΗ Α)Ηλεκτρονικά κυκλώµατα Αναλογικά κυκλώµατα Ψηφιακά κυκλώµατα ( δίτιµα ) V V 2 1 V 1 0 t t Θετική λογική: Ο V 1 µε V 1 =

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

Αρχιτεκτονικές Υπολογιστών BOOLEAN ALGEBRA

Αρχιτεκτονικές Υπολογιστών BOOLEAN ALGEBRA ΑΡΧΙΤΕΚΤΟΝΙΚΕΣ ΥΠΟΛΟΓΙΣΤΩΝ Μάθηµα: Αρχιτεκτονικές Υπολογιστών OOLEN LGER ιδάσκων: ναπλ. Καθ. Κ. Λαµπρινουδάκης clam@unp.gr Αρχιτεκτονικές Υπολογιστών ναπλ. Καθ. Κ. Λαµπρινουδάκης Άλγεβρα OOLE Οι µεταβλητές

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

Λογική. Φροντιστήριο 3: Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF

Λογική. Φροντιστήριο 3: Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Φροντιστήριο 3: Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Άδειες

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

p p 0 1 1 0 p q p q p q 0 0 0 0 1 0 1 0 0 1 1 1 p q

p p 0 1 1 0 p q p q p q 0 0 0 0 1 0 1 0 0 1 1 1 p q Σημειώσεις του Μαθήματος Μ2422 Λογική Κώστας Σκανδάλης ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ 2010 Εισαγωγή Η Λογική ασχολείται με τους νόμους ορθού συλλογισμού και μελετά τους κανόνες βάσει των οποίων

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

Ψηφιακή Σχεδίαση Εργαστήριο Τ.Ε.Ι. ΚΡΗΤΗΣ ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ ΤΜ. ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΧΕΙΜΕΡΙΝΟ ΕΞΑΜΗΝΟ

Ψηφιακή Σχεδίαση Εργαστήριο Τ.Ε.Ι. ΚΡΗΤΗΣ ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ ΤΜ. ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΧΕΙΜΕΡΙΝΟ ΕΞΑΜΗΝΟ Ψηφιακή Σχεδίαση Εργαστήριο Τ.Ε.Ι. ΚΡΗΤΗΣ ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ ΤΜ. ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΧΕΙΜΕΡΙΝΟ ΕΞΑΜΗΝΟ 2015-2016 Άλγεβρα Boole (Boolean Algebra) Βασικοί ορισμοί Η άλγεβρα Boole μπορεί να οριστεί

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

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

ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΤΕΙ ΙΟΝΙΩΝ ΝΗΣΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΓΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΣΤΗ ΔΙΟΙΚΗΣΗ ΚΑΙ ΣΤΗΝ ΟΙΚΟΝΟΜΙΑ 8 Ο ΜΑΘΗΜΑ ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΑΠΟΣΤΟΛΙΑ ΠΑΓΓΕ Περιεχόμενα 2 Άλγεβρα Boole Ορισμοί Λογικές πράξεις Πίνακες αληθείας Πύλες

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

ιµελής σχέση 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- ιακριτά Μαθηµατικά Συνάρτηση: Τυπικός ορισµός Ορολογία 17 - Η αρχή του περιστερώνα

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

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

ΚΕΦΑΛΑΙΟ 3 ο Αλγεβρα BOOLE και Λογικές Πύλες

ΚΕΦΑΛΑΙΟ 3 ο Αλγεβρα BOOLE και Λογικές Πύλες ΤΜΗΜΑ ΤΕΧΝΟΛΟΓΙΑΣ ΑΕΡΟΣΚΑΦΩΝ ΤΕΙ ΣΤΕΡΕΑΣ ΕΛΛΑΔΑΣ ΕΙΣΑΓΩΓΗ στους Η/Υ Διδάσκουσα Δρ. Β. Σγαρδώνη 2013-14 ΚΕΦΑΛΑΙΟ 3 ο Αλγεβρα BOOLE και Λογικές Πύλες Α. ΑΛΓΕΒΡΑ Boole Η Άλγεβρα Boole (Boolean algebra) πήρε

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

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

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

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

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

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

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

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ Περιεχόμενα : Α) Προτάσεις-Σύνθεση προτάσεων Β)Απόδειξη μιας πρότασης Α 1 ) Τι είναι πρόταση Β 1 ) Βασικές έννοιες Α ) Συνεπαγωγή Β ) Βασικές μέθοδοι απόδειξης Α 3 ) Ισοδυναμία

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

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

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

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

A. ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ

A. ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ Μάθηµα 1 Κεφάλαιο: Εισαγωγικό Θεµατικές Ενότητες: A. Το Λεξιλόγιο της Λογικής B. Σύνολα A. ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ Ορισµός Πρόταση λέµε κάθε φράση που µε βάση το νοηµατικό της περιεχόµενο µπορούµε να

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

Τεχνητή Νοημοσύνη. 8η διάλεξη ( ) Ίων Ανδρουτσόπουλος.

Τεχνητή Νοημοσύνη. 8η διάλεξη ( ) Ίων Ανδρουτσόπουλος. Τεχνητή Νοημοσύνη 8η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται στο βιβλίο Artificial Intelligence A Modern Approach των S. Russel

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

Προγραμματισμός Ηλεκτρονικών Υπολογιστών 1

Προγραμματισμός Ηλεκτρονικών Υπολογιστών 1 Προγραμματισμός Ηλεκτρονικών Υπολογιστών 1 Ενότητα 3: Άλγεβρα Βοole και Λογικές Πράξεις Δρ. Φραγκούλης Γεώργιος Τμήμα Ηλεκτρολογίας Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης

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

Εισαγωγή στις Βάσεις Δεδομζνων II

Εισαγωγή στις Βάσεις Δεδομζνων II ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΣΙΑ ΠΑΝΕΠΙΣΗΜΙΟ ΚΡΗΣΗ Εισαγωγή στις Βάσεις Δεδομζνων II Ενότητα: Λογική και Θεωρία Συνόλων Διδάσκων: Πηγουνάκης Κωστής ΤΜΗΜΑ ΟΙΚΟΝΟΜΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΣΧΟΛΗ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ Άδειες Χρήσης

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

1. ΕΙΣΑΓΩΓΗ ΣΤΗ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ

1. ΕΙΣΑΓΩΓΗ ΣΤΗ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ MYY204 Διακριτά Μαθηματικά Μθ άii Προτασιακή Λογική ιδακτικές Σημειώσεις EPP : Παράγραφοι 1.1 1.2 Rosen: Παράγραφοι 1.1 1.3 1 η +2 η Εβδομάδα Άνοιξη 2015 Τμήμα Μηχανικών Η/Υ & Πληροφορικής Παν. Ιωαννίνων

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

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

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

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

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

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

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

Μαθηματική Λογική και Απόδειξη

Μαθηματική Λογική και Απόδειξη Μαθηματική Λογική και Απόδειξη Σύντομο ιστορικό σημείωμα: Η πρώτη απόδειξη στην ιστορία των μαθηματικών, αποδίδεται στο Θαλή το Μιλήσιο (~600 π.χ.). Ο Θαλής απέδειξε, ότι η διάμετρος διαιρεί τον κύκλο

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

Εκπαιδευτικός Οµιλος ΒΙΤΑΛΗ

Εκπαιδευτικός Οµιλος ΒΙΤΑΛΗ Λογική και Προτασιακός Λογισµός ρ. Κωνσταντίνος Κυρίτσης Μακράς Στοάς 7 & Εθνικής Αντιστάσεως Πειραιάς 185 31 16 Μαρτίου 2009 Περίληψη Οι παρούσες σηµειώσεις αποτελούν µια σύντοµη εισαγωγή στην Λογική

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

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

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

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

Ask seic Majhmatik c Logik c 2

Ask seic Majhmatik c Logik c 2 Ask seic Majhmatik c Logik c 2 1. Να δειχτεί με πίνακες αλήθειας ότι οι παρακάτω προτάσεις είναι λογικά ισοδύναμες. (αʹ) (A B) και A B. (βʹ) A (B C) και (A B) (A C). (γʹ) A B και B A. (δʹ) A B και B A.

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

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

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

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

2 η Θεµατική Ενότητα : Άλγεβρα Boole και Λογικές Πύλες. Επιµέλεια διαφανειών: Χρ. Καβουσιανός

2 η Θεµατική Ενότητα : Άλγεβρα Boole και Λογικές Πύλες. Επιµέλεια διαφανειών: Χρ. Καβουσιανός 2 η Θεµατική Ενότητα : Άλγεβρα Boole και Λογικές Πύλες Επιµέλεια διαφανειών: Χρ. Καβουσιανός Βασικοί Ορισµοί Δυαδικός Τελεστής (Binary Operator): σε κάθε ζεύγος από το Σ αντιστοιχίζει ένα στοιχείο του

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

2 η Θεµατική Ενότητα : Άλγεβρα Boole και Λογικές Πύλες. Βασικοί Ορισµοί

2 η Θεµατική Ενότητα : Άλγεβρα Boole και Λογικές Πύλες. Βασικοί Ορισµοί 2 η Θεµατική Ενότητα : Άλγεβρα Boole και Λογικές Πύλες Βασικοί Ορισµοί υαδικός Τελεστής (Binary Operator): σε κάθε ζεύγος από το S αντιστοιχίζει ένα στοιχείο του S = set, σύνολο Συνηθισµένα Αξιώµατα (α,

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

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

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

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

a = 10; a = k; int a,b,c; a = b = c = 10;

a = 10; a = k; int a,b,c; a = b = c = 10; C: Από τη Θεωρία στην Εφαρµογή Κεφάλαιο 4 ο Τελεστές Γ. Σ. Τσελίκης Ν. Δ. Τσελίκας Ο τελεστής εκχώρησης = Ο τελεστής = χρησιµοποιείται για την απόδοση τιµής (ή αλλιώς ανάθεση τιµής) σε µία µεταβλητή Π.χ.

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

Διακριτά Μαθηματικά Ι

Διακριτά Μαθηματικά Ι ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Διακριτά Μαθηματικά Ι Μαθηματική λογική και αποδεικτικές τεχνικές Διδάσκων: Επίκουρος Καθηγητής Σπύρος Κοντογιάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό

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

HY118- ιακριτά Μαθηµατικά. Σχέσεις. Σύνθεση σχέσεων Σχέσεις

HY118- ιακριτά Μαθηµατικά. Σχέσεις. Σύνθεση σχέσεων Σχέσεις HY118- ιακριτά Μαθηµατικά Παρασκευή, 01/04/2016 Σχέσεις Αντώνης Α. Αργυρός -mil: rgyros@s.uo.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Ks vn Dmtr, από το Univrsity of Arn 4/3/2016 1 4/3/2016

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

Πράξεις με δυαδικούς αριθμούς

Πράξεις με δυαδικούς αριθμούς Ιόνιο Πανεπιστήμιο Τμήμα Πληροφορικής Εισαγωγή στην Επιστήμη των Υπολογιστών 25-6 Πράξεις με δυαδικούς αριθμούς (λογικές πράξεις) http://di.ionio.gr/~mistral/tp/csintro/ Μ.Στεφανιδάκης Εκτέλεση πράξεων

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

Ελίνα Μακρή

Ελίνα Μακρή Ελίνα Μακρή elmak@unipi.gr Μετατροπή Αριθμητικών Συστημάτων Πράξεις στα Αριθμητικά Συστήματα Σχεδίαση Ψηφιακών Κυκλωμάτων με Logism Άλγεβρα Boole Λογικές Πύλες (AND, OR, NOT, NAND, XOR) Flip Flops (D,

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

Μαθηματικά. Α' Λυκείου. Μαρίνος Παπαδόπουλος

Μαθηματικά. Α' Λυκείου. Μαρίνος Παπαδόπουλος Μαθηματικά Α' Λυκείου Μαρίνος Παπαδόπουλος ΠΡΟΛΟΓΙΚΟ ΣΗΜΕΙΩΜΑ Σας καλωσορίζω στον όµορφο κόσµο των Μαθηµατικών της Α Λυκείου. Τα µαθηµατικά της συγκεκριµένης τάξης αποτελούν µια εισαγωγή σε βασικές µαθηµατικές

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

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Φροντιστήριο 4: Μορφολογική Παραγωγή. Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών

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

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

Ε.1 ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ

Ε.1 ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ 1 Ε.1 ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ ΘΕΩΡΙΑ 1. Η συνεπαγωγή Η πρόταση P Q σηµαίνει ότι, όταν αληθεύει (ισχύει) ο ισχυρισµός P, θα αληθεύει (ισχύει) και o Q. Το σύµβολο διαβάζεται : άρα τότε συνεπάγεται.. Η ισοδυναµία

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

ΨΗΦΙΑΚΑ ΚΥΚΛΩΜΑΤΑ - ΕΡΓΑΣΤΗΡΙΑΚΗ ΑΣΚΗΣΗ 3

ΨΗΦΙΑΚΑ ΚΥΚΛΩΜΑΤΑ - ΕΡΓΑΣΤΗΡΙΑΚΗ ΑΣΚΗΣΗ 3 ΨΗΦΙΑΚΑ ΚΥΚΛΩΜΑΤΑ - ΕΡΓΑΣΤΗΡΙΑΚΗ ΑΣΚΗΣΗ 3 ΑΠΛΟΠΟΙΗΣΗ και ΥΛΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΣΥΝΑΡΤΗΣΕΩΝ Σκοπός: Η κατανόηση της σχέσης µιας λογικής συνάρτησης µε το αντίστοιχο κύκλωµα. Η απλοποίηση λογικών συναρτήσεων

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

Λογικοί πράκτορες. Πράκτορες βασισµένοι στη γνώση

Λογικοί πράκτορες. Πράκτορες βασισµένοι στη γνώση Λογικοί πράκτορες Πράκτορες βασισµένοι στη γνώση Βάση γνώσης (knowledge base: Σύνολο προτάσεων (sentences Γλώσσα αναπαράστασης της γνώσης Γνωστικό υπόβαθρο: «Αµετάβλητο» µέρος της ΒΓ Βασικές εργασίες:

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

Ανάπτυξη και Σχεδίαση Λογισμικού

Ανάπτυξη και Σχεδίαση Λογισμικού Ανάπτυξη και Σχεδίαση Λογισμικού Η γλώσσα προγραμματισμού C Γεώργιος Δημητρίου Εκφράσεις και Λίγες Εντολές Οι εκφράσεις της C Τελεστές Απλές και σύνθετες εντολές Εντολές ελέγχου (επιλογής) Εισαγωγή σε

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

Επιλογή και επανάληψη. Λογική έκφραση ή συνθήκη

Επιλογή και επανάληψη. Λογική έκφραση ή συνθήκη Επιλογή και επανάληψη Η ύλη που αναπτύσσεται σε αυτό το κεφάλαιο είναι συναφής µε την ύλη που αναπτύσσεται στο 2 ο κεφάλαιο. Όπου υπάρχουν διαφορές αναφέρονται ρητά. Προσέξτε ιδιαίτερα, πάντως, ότι στο

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

ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Κεφάλαιο 8 : H γλώσσα προγραµµατισµού Pascal 1 ο Μέρος σηµειώσεων (Ενότητες 8.1 & 8.2 σχολικού βιβλίου)

ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Κεφάλαιο 8 : H γλώσσα προγραµµατισµού Pascal 1 ο Μέρος σηµειώσεων (Ενότητες 8.1 & 8.2 σχολικού βιβλίου) ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Κεφάλαιο 8 : H γλώσσα προγραµµατισµού Pascal 1 ο Μέρος σηµειώσεων (Ενότητες 8.1 & 8.2 σχολικού βιβλίου) 1. Εισαγωγή Χαρακτηριστικά της γλώσσας Τύποι δεδοµένων Γλώσσα προγραµµατισµού

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

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

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Φυλλάδιο 1: Προτασιακή Λογική ΟΚΤΩΒΡΙΟΣ 2006 1. Ικανοποιησιμότητα Αποφασίστε αν οι παρακάτω προτάσεις είναι ταυτολογίες, ικανοποιήσιμες ή μη-ικανοποιήσιμες

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

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

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

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

Πρόσθεση, αφαίρεση και πολλαπλασιασμός φυσικών αριθμών

Πρόσθεση, αφαίρεση και πολλαπλασιασμός φυσικών αριθμών Πρόσθεση, αφαίρεση και πολλαπλασιασμός φυσικών αριθμών TINΑ ΒΡΕΝΤΖΟΥ www.ma8eno.gr www.ma8eno.gr Σελίδα 1 Πρόσθεση, αφαίρεση και πολλαπλασιασμός φυσικών αριθμών Στους πραγματικούς αριθμούς ορίστηκαν οι

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

ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ

ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ 1. ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ Στόχος Να γνωρίζουν οι μαθητές: να αξιοποιούν το σύμβολο της συνεπαγωγής και της ισοδυναμίας να αξιοποιούν τους συνδέσμους «ή», «και» ΕΙΣΑΓΩΓΗ Η συννενόηση μεταξύ των ανθρώπων

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

ΨΗΦΙΑΚΗ ΛΟΓΙΚΗ ΣΧΕ ΙΑΣΗ

ΨΗΦΙΑΚΗ ΛΟΓΙΚΗ ΣΧΕ ΙΑΣΗ Τµήµα Ηλεκτρολόγων Μηχανικών Εργαστήριο Ενσύρµατης Τηλεπικοινωνίας ΨΗΦΙΑΚΗ ΛΟΓΙΚΗ ΣΧΕ ΙΑΣΗ ιδάσκων: Καθηγητής Ν. Φακωτάκης Τµήµα Ηλεκτρολόγων Μηχανικών Εργαστήριο Ενσύρµατης Τηλεπικοινωνίας ΨΗΦΙΑΚΗ ΛΟΓΙΚΗ

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

ΤΕΧΝΟΛΟΓΙΚΟ ΕΚΠΑΙ ΕΥΤΙΚΟ Ι ΡΥΜΑ (Τ.Ε.Ι.) ΚΡΗΤΗΣ Τμήμα Εφαρμοσμένης Πληροφορικής & Πολυμέσων. Ψηφιακή Σχεδίαση. Κεφάλαιο 2: Συνδυαστικά Λογικά

ΤΕΧΝΟΛΟΓΙΚΟ ΕΚΠΑΙ ΕΥΤΙΚΟ Ι ΡΥΜΑ (Τ.Ε.Ι.) ΚΡΗΤΗΣ Τμήμα Εφαρμοσμένης Πληροφορικής & Πολυμέσων. Ψηφιακή Σχεδίαση. Κεφάλαιο 2: Συνδυαστικά Λογικά ΤΕΧΝΟΛΟΓΙΚΟ ΕΚΠΑΙ ΕΥΤΙΚΟ Ι ΡΥΜΑ (Τ.Ε.Ι.) ΚΡΗΤΗΣ Τμήμα Εφαρμοσμένης Πληροφορικής & Πολυμέσων Ψηφιακή Σχεδίαση Κεφάλαιο 2: Συνδυαστικά Λογικά Κυκλώματα Γ. Κορνάρος Περίγραμμα Μέρος 1 Κυκλώματα Πυλών και

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

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

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

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

Τμήμα Χρηματοοικονομικής & Ελεγκτικής ΤΕΙ Ηπείρου Παράρτημα Πρέβεζας. Πληροφορική Ι. Μάθημα 4 ο Πράξεις με bits. Δρ.

Τμήμα Χρηματοοικονομικής & Ελεγκτικής ΤΕΙ Ηπείρου Παράρτημα Πρέβεζας. Πληροφορική Ι. Μάθημα 4 ο Πράξεις με bits. Δρ. Τμήμα Χρηματοοικονομικής & Ελεγκτικής ΤΕΙ Ηπείρου Παράρτημα Πρέβεζας Πληροφορική Ι Μάθημα 4 ο Πράξεις με bits Δρ. Γκόγκος Χρήστος Κατηγορίες πράξεων με bits Πράξεις με δυαδικά ψηφία Αριθμητικές πράξεις

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

ικτυωτά διαγράµµατα και οµάδες αυτοµορφισµών Παρουσίαση εργασίας φοιτητή (x,a) 1) (xy)a=x(ya) x,y G και a A 1) a(xy)=(ax)y 2) ae=a

ικτυωτά διαγράµµατα και οµάδες αυτοµορφισµών Παρουσίαση εργασίας φοιτητή (x,a) 1) (xy)a=x(ya) x,y G και a A 1) a(xy)=(ax)y 2) ae=a ικτυωτά διαγράµµατα και οµάδες αυτοµορφισµών Ν. Λυγερός Παρουσίαση εργασίας φοιτητή Θα µιλήσουµε για το θεώρηµα του Lagrange. Αλλά προτού φτάσουµε εκεί, θα ήθελα να εισάγω ορισµένες έννοιες που θα µας

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

Εισαγωγή στην Πληροφορική

Εισαγωγή στην Πληροφορική Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Εισαγωγή στην Πληροφορική Ενότητα 2: Ψηφιακή Λογική Ι Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons εκτός και αν αναφέρεται διαφορετικά

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

Γενικά Στοιχεία Ηλεκτρονικού Υπολογιστή

Γενικά Στοιχεία Ηλεκτρονικού Υπολογιστή Γενικά Στοιχεία Ηλεκτρονικού Υπολογιστή 1. Ηλεκτρονικός Υπολογιστής Ο Ηλεκτρονικός Υπολογιστής είναι μια συσκευή, μεγάλη ή μικρή, που επεξεργάζεται δεδομένα και εκτελεί την εργασία του σύμφωνα με τα παρακάτω

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

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

Υπολογιστικά & Διακριτά Μαθηματικά Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 9: Εσωτερική πράξη και κλάσεις ισοδυναμίας - Δομές Ισομορφισμοί Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative

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

1 Ορισµός ακολουθίας πραγµατικών αριθµών

1 Ορισµός ακολουθίας πραγµατικών αριθµών ΜΑΣ 02. Απειροστικός Λογισµός Ι Ορισµός ακολουθίας πραγµατικών αριθµών Ορισµός.. Ονοµάζουµε ακολουθία πραγµατικών αριθµών κάθε απεικόνιση του συνόλου N των ϕυσικών αριθµών, στο σύνολο R των πραγµατικών

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

ΒΑΣΙΚΟΙ ΤΥΠΟΙ ΔΕΔΟΜΕΝΩΝ

ΒΑΣΙΚΟΙ ΤΥΠΟΙ ΔΕΔΟΜΕΝΩΝ Η ΓΛΩΣΣΑ PASCAL ΒΑΣΙΚΟΙ ΤΥΠΟΙ ΔΕΔΟΜΕΝΩΝ Απλοί ή στοιχειώδης Τ.Δ. Ακέραιος τύπος Πραγματικός τύπος Λογικός τύπος Χαρακτήρας Σύνθετοι Τ.Δ. Αλφαριθμητικός 1. Ακέραιος (integer) Εύρος: -32768 έως 32767 Δήλωση

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

1.1 Θεωρητική εισαγωγή

1.1 Θεωρητική εισαγωγή ΨΗΦΙΑΚΑ ΚΥΚΛΩΜΑΤΑ - ΕΡΓΑΣΤΗΡΙΑΚΗ ΑΣΚΗΣΗ ΛΟΓΙΚΕΣ ΠΥΛΕΣ NOT, AND, NAND Σκοπός: Να εξοικειωθούν οι φοιτητές µε τα ολοκληρωµένα κυκλώµατα της σειράς 7400 για τη σχεδίαση και υλοποίηση απλών λογικών συναρτήσεων.

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

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

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

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

Πρόβληµα 2 (15 µονάδες)

Πρόβληµα 2 (15 µονάδες) ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΜΑΘΗΜΑ: ΚΡΥΠΤΟΓΡΑΦΙΑ ΚΑΙ ΕΦΑΡΜΟΓΕΣ, 2013-2014 ΔΙΔΑΣΚΩΝ: Ε. Μαρκάκης Πρόβληµα 1 (5 µονάδες) 2 η Σειρά Ασκήσεων Προθεσµία Παράδοσης: 19/1/2014 Υπολογίστε

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

Kεφάλαιο 10. Πόσα υποπαίγνια υπάρχουν εδώ πέρα; 2 υποπαίγνια.

Kεφάλαιο 10. Πόσα υποπαίγνια υπάρχουν εδώ πέρα; 2 υποπαίγνια. Kεφάλαιο 10 Θα δούµε ένα δύο παραδείγµατα να ορίσουµε/ µετρήσουµε τα υποπαίγνια και µετά θα λύσουµε και να βρούµε αυτό που λέγεται τέλεια κατά Nash ισορροπία. Εδώ θα δούµε ένα παίγνιο όπου έχουµε µια επιχείρηση

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

ΡΗΤΟΙ ΑΡΙΘΜΟΙ - ΘΕΩΡΙΑ

ΡΗΤΟΙ ΑΡΙΘΜΟΙ - ΘΕΩΡΙΑ ΡΗΤΟΙ ΑΡΙΘΜΟΙ - ΘΕΩΡΙΑ Α. ΟΡΙΣΜΟΙ Θετικοί αριθµοί είναι οι αριθµοί που έχουν πρόσηµο το + (πολλές φορές το + παραλείπεται) π.χ. +3, +105, +, + 0,7, 326. Αρνητικοί αριθµοί είναι οι αριθµοί που έχουν πρόσηµο

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

(GNU-Linux, FreeBSD, MacOsX, QNX

(GNU-Linux, FreeBSD, MacOsX, QNX 1.7 διαταξεις (σελ. 17) Παράδειγµα 1 Θα πρέπει να κάνουµε σαφές ότι η επιλογή των λέξεων «προηγείται» και «έπεται» δεν έγινε απλώς για λόγους αφαίρεσης. Μπορούµε δηλαδή να ϐρούµε διάφορα παραδείγµατα στα

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

Περίληψη ΗΜΥ-210: Λογικός Σχεδιασµός. Λογικές Πύλες. BUFFER, NAND και NOR. ΗΜΥ 210: Λογικός Σχεδιασµός, Εαρινό Εξάµηνο 2005

Περίληψη ΗΜΥ-210: Λογικός Σχεδιασµός. Λογικές Πύλες. BUFFER, NAND και NOR. ΗΜΥ 210: Λογικός Σχεδιασµός, Εαρινό Εξάµηνο 2005 ΗΜΥ 2: Λογικός Σχεδιασµός, Εαρινό Εξάµηνο 25 Φεβ-5 ΗΜΥ-2: Λογικός Σχεδιασµός Εαρινό Εξάµηνο 25 Κεφάλαιο 2-ii: Συνδυαστικά Λογικά Κυκλώµατα (2.6 2.8, ) Περίληψη Υλοποίηση κυκλωµάτων πολλαπλών επιπέδων (µετασχηµατισµοί)

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

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

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

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

K15 Ψηφιακή Λογική Σχεδίαση 6: Λογικές πύλες και λογικά κυκλώματα

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

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

Αλγεβρικές παραστάσεις - Αναγωγή οµοίων όρων

Αλγεβρικές παραστάσεις - Αναγωγή οµοίων όρων Αλγεβρικές παραστάσεις - Αναγωγή οµοίων όρων 1. Μια παράσταση που περιέχει πράξεις µόνο µε αριθµούς, λέγεται αριθµητική παράσταση. Παράδειγµα: + + 1 =. είναι µια αριθµητική παράσταση, το αποτέλεσµα των

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

Μάθημα: Άλγεβρα & Στοιχεία Πιθανοτήτων Α Λυκείου Διδακτική Ενότητα: Το λεξιλόγιο της Λογικής (2 διδακτικές ώρες)

Μάθημα: Άλγεβρα & Στοιχεία Πιθανοτήτων Α Λυκείου Διδακτική Ενότητα: Το λεξιλόγιο της Λογικής (2 διδακτικές ώρες) Μάθημα: Άλγεβρα & Στοιχεία Πιθανοτήτων Α Λυκείου Διδακτική Ενότητα: Το λεξιλόγιο της Λογικής (2 διδακτικές ώρες) Στόχοι του μαθήματος Αλέξανδρος Γ. Συγκελάκης Οι μαθητές στο τέλος της ενότητας θα πρέπει

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

Επίπεδα Γραφήματα : Προβλήματα και Υπολογιστική Πολυπλοκότητα

Επίπεδα Γραφήματα : Προβλήματα και Υπολογιστική Πολυπλοκότητα Αλγόριθμοι πολυωνυμικού χρόνου Ένας αλγόριθμος πολυωνυμικού χρόνου έχει χρόνο εκτέλεσης όπου είναι μία (θετική) σταθερά Κλάση πολυπλοκότητας : περιλαμβάνει τα προβλήματα που επιδέχονται λύση σε πολυωνυμικό

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

Λογική. Δημήτρης Πλεξουσάκης. Ασκήσεις 2ου Φροντιστηρίου: Προτασιακός Λογισμός: Κανονικές Μορφές, Απλός Αλγόριθμος Μετατροπής σε CNF/DNF, Άρνηση

Λογική. Δημήτρης Πλεξουσάκης. Ασκήσεις 2ου Φροντιστηρίου: Προτασιακός Λογισμός: Κανονικές Μορφές, Απλός Αλγόριθμος Μετατροπής σε CNF/DNF, Άρνηση Λογική Δημήτρης Πλεξουσάκης Ασκήσεις 2ου Φροντιστηρίου: Προτασιακός Λογισμός: Κανονικές Μορφές, Απλός Αλγόριθμος Μετατροπής σε CNF/DNF, Άρνηση Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης a. Το παρόν εκπαιδευτικό

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

ΨΗΦΙΑΚΑ ΚΥΚΛΩΜΑΤΑ - ΕΡΓΑΣΤΗΡΙΑΚΗ ΑΣΚΗΣΗ 2 ΛΟΓΙΚΕΣ ΠΥΛΕΣ OR, NOR, XOR

ΨΗΦΙΑΚΑ ΚΥΚΛΩΜΑΤΑ - ΕΡΓΑΣΤΗΡΙΑΚΗ ΑΣΚΗΣΗ 2 ΛΟΓΙΚΕΣ ΠΥΛΕΣ OR, NOR, XOR ΨΗΦΙΑΚΑ ΚΥΚΛΩΜΑΤΑ - ΕΡΓΑΣΤΗΡΙΑΚΗ ΑΣΚΗΣΗ 2 ΛΟΓΙΚΕΣ ΠΥΛΕΣ OR, NOR, XOR Σκοπός: Να επαληθευτούν πειραµατικά οι πίνακες αληθείας των λογικών πυλών OR, NOR, XOR. Να δειχτεί ότι η πύλη NOR είναι οικουµενική.

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

Εισαγωγή στους Ηλεκτρονικούς Υπολογιστές

Εισαγωγή στους Ηλεκτρονικούς Υπολογιστές Εισαγωγή στους Ηλεκτρονικούς Υπολογιστές 12 ο Μάθημα Λεωνίδας Αλεξόπουλος Λέκτορας ΕΜΠ E-mail: leo@mail.ntua.gr URL: http://users.ntua.gr/leo 1 GROUP I A Λ ΤΡΙΤΗ PC-Lab GROUP IΙ Μ Ω ΠΑΡΑΣΚΕΥΗ Central Κέντρο

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

Υπολογιστική Λογική και Λογικός Προγραμματισμός

Υπολογιστική Λογική και Λογικός Προγραμματισμός ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Υπολογιστική Λογική και Λογικός Προγραμματισμός Ενότητα 2: Λογική: Εισαγωγή, Προτασιακή Λογική. Νίκος Βασιλειάδης, Αναπλ. Καθηγητής Άδειες

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

3 η Θεµατική Ενότητα : Απλοποίηση Συναρτήσεων Boole. Επιµέλεια διαφανειών: Χρ. Καβουσιανός

3 η Θεµατική Ενότητα : Απλοποίηση Συναρτήσεων Boole. Επιµέλεια διαφανειών: Χρ. Καβουσιανός 3 η Θεµατική Ενότητα : Απλοποίηση Συναρτήσεων oole Επιµέλεια διαφανειών: Χρ. Καβουσιανός Απλοποίηση Συναρτήσεων oole Ø Η πολυπλοκότητα του κυκλώµατος που υλοποιεί µια συνάρτηση oole σχετίζεται άµεσα µε

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

Ενότητα 4 ΛΟΓΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ ΛΟΓΙΚΑ ΚΥΚΛΩΜΑΤΑ ΔΥΟ ΕΠΙΠΕΔΩΝ

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

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

Στοιχεία τριγώνου Κύρια στοιχεία : Πλευρές και γωνίες ευτερεύοντα στοιχεία : ιάµεσος, διχοτόµος, ύψος

Στοιχεία τριγώνου Κύρια στοιχεία : Πλευρές και γωνίες ευτερεύοντα στοιχεία : ιάµεσος, διχοτόµος, ύψος 3. 3.9 ΘΕΩΡΙ. Στοιχεία τριγώνου Κύρια στοιχεία : Πλευρές και γωνίες ευτερεύοντα στοιχεία : ιάµεσος, διχοτόµος, ύψος 2. Είδη τριγώνων Ως προς τις πλευρές : Σκαληνό, ισοσκελές, ισόπλευρο. Ως προς τις γωνίες

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

Προγραμματισμός Ηλεκτρονικών Υπολογιστών 1

Προγραμματισμός Ηλεκτρονικών Υπολογιστών 1 Προγραμματισμός Ηλεκτρονικών Υπολογιστών 1 Ενότητα 3: Άλγεβρα Βοole και Λογικές Πράξεις Δρ. Φραγκούλης Γεώργιος Τμήμα Ηλεκτρολογίας Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης

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

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

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

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

Κεφάλαιο Τρία: Ψηφιακά Ηλεκτρονικά

Κεφάλαιο Τρία: Ψηφιακά Ηλεκτρονικά Κεφάλαιο Τρία: 3.1 Τι είναι αναλογικό και τι ψηφιακό µέγεθος Αναλογικό ονοµάζεται το µέγεθος που µπορεί να πάρει οποιαδήποτε τιµή σε µια συγκεκριµένη περιοχή τιµών π.χ. η ταχύτητα ενός αυτοκινήτου. Ψηφιακό

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