Η συλλογιστική σχετίζεται με τη λύση προβλήματος. Εντούτοις, η λύση προβλήματος και η συλλογιστική αντιμετωπίζονται χωριστά.

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

Download "Η συλλογιστική σχετίζεται με τη λύση προβλήματος. Εντούτοις, η λύση προβλήματος και η συλλογιστική αντιμετωπίζονται χωριστά."

Transcript

1 4 Γνωστική Ψυχολογία ΙΙ (ΨΧ 05) Παραγωγική συλλογιστική: Η σκέψη ως συναγωγή λογικών συμπερασμάτων Συλλογιστική Η συλλογιστική σχετίζεται με τη λύση προβλήματος. Εντούτοις, η λύση προβλήματος και η συλλογιστική αντιμετωπίζονται χωριστά. Τα προβλήματα συλλογιστικής διαφέρουν από άλλα είδη προβλημάτων δεδομένου ότι οφείλουν συχνά την προέλευσή τους στα συστήματα της τυπικής λογικής. Η παραγωγική συλλογιστική μας επιτρέπει να συνάγουμε συμπεράσματα για τα οποία να είμαστε σίγουροι ότι ισχύουν, υπό τον όρο βέβαια ότι οι σχετικές προς το συμπέρασμα δηλώσεις είναι αληθινές. Παράδειγμα: Αν υποθέσουμε ότι ο Μάριος είναι ψηλότερος από τον ημήτρη και ο ημήτρης είναι ψηλότερος από το Χάρη, τότε το συμπέρασμα ότι ο Μάριος είναι ψηλότερος από το Χάρη είναι σίγουρα αληθινό. 2 1

2 Τα θέματα στα οποία θα αναφερθούμε είναι: Η συλλογιστική υπό όρους (δηλαδή κάτω από συγκεκριμένες υποθέσεις), η επίδραση του πλαισίου, η εργασία επιλογής Wason, ο συλλογιστικός συμπερασμός (εξαγωγή συμπεράσματος), και η επίδραση των προκαταλήψεων σ αυτόν τον συμπερασμό. P Q Η συλλογιστική υπό όρους Είναι βασικά η συλλογιστική με το "εάν" και έχει μελετηθεί για να αποφασίσουμε αν η ανθρώπινη συλλογιστική είναι λογική. Έχει τις ρίζες της στην προτασιακή λογική, στην οποία περιέχονται λογικοί τελεστές όπως: ή, και, εάν... τότε, εάν και μόνο εάν, που συμπεριλαμβάνονται σε φράσεις ή προτάσεις. Σε αυτό το λογικό σύστημα, χρησιμοποιούνται σύμβολα για (να παραστήσουμε) τις προτάσεις, και εφαρμόζονται λογικοί τελεστές (σ αυτά τα σύμβολα) ) για να συναγάγουμε γ τα συμπεράσματα. μ Κατά συνέπεια, στην προτασιακή λογική χρησιμοποιούμε Ρ για να δηλώσουμε την πρόταση "Βρέχει" και Q για να δηλώσουμε "Η Αλίκη βρέχεται", και χρησιμοποιούμε έπειτα το λογικό τελεστή «εάν.. τότε» για να συσχετίσουμε αυτές τις δύο προτάσεις: εάν Ρ τότε Q. P Q 4 2

3 Λογικές πράξεις Λογικοί σύνδεσμοι Λογικός σύνδεσμος Διαβάζεται «όχι» «ή» «ή μόνο... ή μόνο» «και» «εάν,... τότε» «εάν, και μόνο εάν,» Λογική πράξη ΑΡΝΗΣΗ ΕΓΚΛΕΙΣΤΙΚΗ ΔΙΑΖΕΥΞΗ ΑΠΟΚΛΕΙΣΤΙΚΗ ΔΙΑΖΕΥΞΗ ΣΥΖΕΥΞΗ ΣΥΝΕΠΑΓΩΓΗ ΙΣΟΔΥΝΑΜΙΑ Είδος πράξης ΜΟΝΟΜΕΛΗΣ ΔΙΜΕΛΗΣ ΔΙΜΕΛΗΣ ΔΙΜΕΛΗΣ ΔΙΜΕΛΗΣ ΔΙΜΕΛΗΣ P Q Θέση της ακολουθίας (δηλαδή της συνέπειας/του συνεπαγόμενου Q) Πρόταση/(λογικό ό επιχείρημα) ) Εάν η Μαρία είναι θυμωμένη, τότε είμαι αναστατωμένος. Είμαι αναστατωμένος (Q). Συμπέρασμα Επομένως ( ), η Μαρία είναι θυμωμένη (P). έχεστε το συμπέρασμα αυτό ως έγκυρο; Q P? 3

4 P Q Σχήμα modus ponens (θέση του λόγου) Πρόταση/(λογικό επιχείρημα) Εάν βρέχει, τότε η Αλίκη βρέχεται. Βρέχει (P). Συμπέρασμα Η Αλίκη βρέχεται (Q). έχεστε το συμπέρασμα αυτό ως έγκυρο; P Q? P Q Σχήμα modus tollens (άρση της ακολουθίας) Πρόταση/λογικό επιχείρημα Εάν βρέχει, τότε η Αλίκη βρέχεται. Η Αλίκη δεν βρέχεται. Συμπέρασμα εν βρέχει. έχεστε το συμπέρασμα αυτό ως έγκυρο; Q P? 4

5 P Q Άρση του λόγου (δηλαδή του πρώτου όρου P) Πρόταση/ λογικό επιχείρημα Εάν βρέχει, τότε η Αλίκη βρέχεται. εν βρέχει. Συμπέρασμα Επομένως, η Αλίκη δεν βρέχεται. έχεστε το ανωτέρω συμπέρασμα ως έγκυρο; P Q? Πίνακες αληθείας για τη συνεπαγωγή και την ισοδυναμία 5

6 Μελέτη των Marcus & Rips (1979) Τα παραδείγματα που εξετάσαμε αποτελούν τέσσερις τύπους εξαγωγής συμπεράσματος στην προτασιακή συλλογιστική, για τους οποίους έχουν γίνει πολλές μελέτες. Στη μελέτη αυτή των Marcus και Rips όσον αφορά τα έγκυρα συμπεράσματα, σχεδόν 100% των συμμετεχόντων απάντησε σωστά, βρήκε δηλαδή το έγκυρο συμπέρασμα του σχήματος modus ponens, ενώ πολύ λιγότεροι (55%) έκαναν έγκυρη εξαγωγή συμπεράσματος στο σχήμα modus tollens. Από την άλλη πλευρά όμως, πολλοί άνθρωποι δέχονται τα μη έγκυρα συμπεράσματα. Στον τύπο συμπερασμού με άρση του λόγου (antecedent) μόνο το 21% των συμμετεχόντων απάντησε σωστά (αρνήθηκε δηλαδή το μηέγκυρο συμπέρασμα). Στον τύπο συμπερασμού με θέση της ακολουθίας (consequent) μόνο το 33% απάντησε σωστά (δέχτηκε δηλαδή το έγκυρο συμπέρασμα). 6

7 Πειράματα από τον Staudenmayer και τους συνεργάτες του (1973, 1974) έδειξαν ότι το 59% των υποκειμένων συμπεριφέρθηκαν σαν να είχαν χρησιμοποιήσει με συνέπεια μια ερμηνεία ισοδυναμίας για προκείμενες του τύπου «Αν χ τότε ψ». Για προκείμενες του τύπου «χ προκαλεί ψ», 77% των υποκειμένων συμπεριφέρθηκαν σαν να είχαν χρησιμοποιήσει με συνέπεια μια ερμηνεία ισοδυναμίας. Ο Staudenmayer συμπέρανε ότι λάθη σε υποθετικούς συμπερασμούς μπορεί να αποδοθούν σε παρανοήσεις από πλευράς των ανθρώπων των προκειμένων παρά σε μια εσφαλμένη διαδικασία συμπερασμού (αυτό το είδος λάθους είναι αντίστοιχο με τα λάθη άκυρων μετατροπών στην περίπτωση του κατηγορικού συλλογισμού). Θεωρία των νοητικών μοντέλων Johnson-Laird (1998): Ο παραγωγικός συλλογισμός εμπλέκει τρεις διαδικασίες: την κατανόηση των προκειμένων για τη διαμόρφωση ενός μοντέλου, (ή ενός συνόλου μοντέλων), το συνδυασμό και την περιγραφή των μοντέλων για την εξαγωγή ενός συμπεράσματος και την εγκυρότητα αυτού του συμπεράσματος μέσω της απαλοιφής των εναλλακτικών μοντέλων των προκειμένων που δείχνουν το υποτιθέμενο συμπέρασμα να είναι ψευδές. Στην κατανόηση των προκειμένων, χρησιμοποιούνται διάφορες σημασιολογικές διαδικασίες για την οικοδόμηση των μοντέλων που λαμβάνουν υπόψη τους την προϋπάρχουσα γνώση: τα μοντέλα είναι συγκεκριμένα (π.χ. δεν περιλαμβάνουν μεταβλητές αλλά συγκεκριμένα νοητικά δείγματα) και είναι δομικά ανάλογα, όπου τα νοητικά δείγματα που συνθέτουν μοντέλα μπορεί να είναι οπτικές εικόνες ή μπορεί να είναι απρόσιτα στη συνείδηση. 7

8 Θεωρία των νοητικών μοντέλων Τα μοντέλα των προκειμένων πρέπει να συνδυάζονται για να διαμορφώσουν ένα ολοκληρωμένο μοντέλο (ή σύνολο μοντέλων) και μετά αυτό το μοντέλο περιγράφεται σε ένα φειδωλό τρόπο για να καταλήξει σε ένα συμπέρασμα. Η εγκυρότητα του συμπεράσματος εμπλέκει μια αναζήτηση για εναλλακτικά μοντέλα των προκειμένων στα οποία το υποτιθέμενο συμπέρασμα είναι ψευδές: Αν δεν υπάρχει ένα τέτοιο μοντέλο τότε το συμπέρασμα είναι αληθές: Αν βρεθεί ένα μοντέλο που απορρίπτει το συμπέρασμα, τότε ο ιδανικά σκεπτόμενος άνθρωπος θα προσπαθήσει να ανακαλύψει κατά πόσο υπάρχει ένα συμπέρασμα που είναι αληθές σε όλα τα μοντέλα. Χρήση Νοητικών Μοντέλων Αποφάσισε αν το συμπέρασμα «Το Τ ρολόι βρίσκεται αριστερά από το βάζο» προκύπτει από τις παρακάτω προτάσεις: (1) Η λάμπα βρίσκεται δεξιά από το τετράδιο (2) Το βιβλίο βρίσκεται αριστερά από το τετράδιο (3) Το ρολόι βρίσκεται μπροστά από το βιβλίο (4) Το βάζο βρίσκεται μπροστά από τη λάμπα 8

9 Ποιο μοντέλο προκύπτει; βιβλίο τετράδιο λάμπα ρολόι βάζο Αλλά αναλογιστείτε τις παρακάτω προκείμενες: Η λάμπα είναι δεξιά του τετραδίου Το βιβλίο είναι αριστερά της λάμπας Το ρολόι είναι μπροστά από το βιβλίο Το βάζο είναι μπροστά από το τετράδιο Αυτό είναι συνεπές με δύο διακριτά μοντέλα (βλ. Byrne & Johnson- Laird, 1989): ββλί βιβλίο τετράδιο λάμπα τετράδιο ββλί βιβλίο λάμπα ρολόι βάζο βάζο ρολόι 9

10 Θεωρία των νοητικών μοντέλων εδομένης της περιορισμένης φύσης της μνήμης εργασίας γίνονται μερικές υποθέσεις: α) ένα έργο μπορεί να αυξηθεί σε δυσκολία ως συνάρτηση του αριθμού των συγκεκριμένων μοντέλων που πρέπει να εξετάσει, β) ένας παραγωγικός συλλογισμός που προέρχεται από αρχικά μοντέλα είναι πιο εύκολος από έναν συλλογισμό που προέρχεται από μοντέλα με αφηρημένες πληροφορίες που «αναπτύσσονται», γ) απαιτείται χρόνος για την ανίχνευση μεταξύ των στοιχείων ενός μοντέλου. Λάθη μπορεί επομένως να προκύψουν όταν τα συμπεράσματα προκύπτουν από: α) αρχικά μοντέλα που δεν έχουν αξιολογηθεί αυστηρά, ή β) μοντέλα που τα υποκείμενα έχουν αποτύχει να αναπτύξουν. Επίδραση πλαισίου Τα στοιχεία μέχρι τώρα δείχνουν ότι συχνά κάνουμε λάθη στην υπό όρους συλλογιστική. Οι δυνατότητές μας στη λογική περιορίζονται ακόμη περισσότερο όταν παρουσιάζονται πρόσθετες πληροφορίες σχετικές με το πλαίσιο (τις συνθήκες, τα συμφραζόμενα) υπό μορφή πρόσθετων υποθέσεων (λογικών επιχειρημάτων). Όπως προκύπτει από σχετικές μελέτες, τα αποτελέσματα του πλαισίου μερικές φορές χειροτερεύουν πολύ (ή βελτιώνουν) την απόδοση σε εργασίες της υπό όρους συλλογιστικής

11 Μια μελέτη του Byrne (1989) Εάν βρέχει, τότε θα βρέχεται. (1) Εναλλακτικό επιχείρημα (εντός παρενθέσεως): (Εάν χιονίζει, τότε πάλι θα βρέχεται) Βρέχεται. Επομένως; Εάν έχει να γράψει μια εργασία, τότε θα μελετήσει μέχρι αργά στη βιβλιοθήκη. (2) Πρόσθετο επιχείρημα ή απαίτηση (εντός ό παρενθέσεως): ) (Εάν η βιβλιοθήκη μείνει ανοικτή, τότε θα μελετήσει μέχρι αργά στη βιβλιοθήκη) Έχει μια εργασία να γράψει. Επομένως; Ο Byrne διαπίστωσε ότι τα εναλλακτικά επιχειρήματα βελτίωσαν την απόδοση στην εξαγωγή συμπεράσματος στον τύπο συμπερασμού με θέση της ακολουθίας (consequent) καθώς επίσης και στον τύπο συμπερασμού με άρση του λόγου (antecedent), επειδή έκαναν τους ανθρώπους πιο διστακτικούς στο να υποστηρίξουν μη έγκυρα συμπεράσματα. Αντίθετα, τα πρόσθετα επιχειρήματα οδήγησαν σε μια δραματική μείωση στην απόδοση στο σχήμα modus ponens και στο σχήμα modus tollens. Κατά συνέπεια, επηρεαζόμαστε πολύ από τη βασισμένη στο πλαίσιο (και στις συνθήκες που εκφράζονται σ αυτό) πληροφορία, ακόμη και αν αυτή δεν είναι απόλυτα σχετική με τη λογική συλλογιστική. 11

12 Stevenson & Over (1995) Βρήκαν ότι η επίδραση μιας πρόσθετης υπόθεσης στην υπό όρους συλλογιστική εξαρτάται από το βαθμό βεβαιότητας (ή αβεβαιότητας) σχετικά με αυτήν την πρόσθετη υπόθεση (λογικό επιχείρημα). Ένα παράδειγμα από τη μελέτη τους είναι το εξής: (δεδομένη υπόθεση/λογικό επιχείρημα) Εάν ο Γιάννης πάει για ψάρεμα, θα έχει ψάρι για δείπνο. (πρόσθετη υπόθεση/λογικό επιχείρημα) Εάν ο Γιάννης πιάσει ένα ψάρι, θα έχει ψάρι για δείπνο. Ο Γιάννης είναι * τυχερός όταν πάει για ψάρεμα. (όρος) Ο Γιάννης πάει για ψάρεμα. Επομένως, ; [* Χρησιμοποιήθηκε μια από τις ακόλουθες λέξεις: πάντα, συνήθως, σπάνια, ποτέ] Οι Stevenson και Over (1995) βρήκαν ότι όταν χρησιμοποιήθηκε η λέξη πάντα στην πρόταση αυτή, η καταστολή του έγκυρου (που βρήκε ο Byrne) στη μέθοδο modus ponens εξαφανίστηκε. Εντούτοις, αυξήθηκε βαθμιαία καθώς η λέξη που έβαζαν άλλαζε από το πάντα προς το ποτέ. 12

13 Εργασία επιλογής Wason Υπάρχουν τέσσερις κάρτες σ ένα τραπέζι. Κάθε κάρτα έχει ένα γράμμα στη μια πλευρά και έναν αριθμό στην άλλη. Λέγεται στον συμμετέχοντα ότι και για τις τέσσερις κάρτες ισχύει ένας κανόνας (π.χ., «εάν υπάρχει ένα R στη μια πλευρά της κάρτας τότε υπάρχει ένα 2 στην άλλη πλευρά της κάρτας»). Ο στόχος είναι να επιλεχθούν μόνο εκείνες οι κάρτες που πρέπει να αναποδογυριστούν ώστε να αποφασίσει αν ο κανόνας είναι ή όχι έγκυρος. Η σωστή απάντηση είναι να επιλεχτούν οι κάρτες με το R και το 7, μια απάντηση που δόθηκε μόνο από το 5-10% περίπου των φοιτητών. Το 7 είναι απαραίτητο διότι σίγουρα θα αποδείκνυε το λάθος του κανόνα εάν είχε ένα R από την άλλη πλευρά. Υπάρχουν σαφείς ομοιότητες μεταξύ της εργασίας επιλογής του Wason και της υπό όρους συλλογιστικής. Η επιλογή της κάρτας 7 προσομοιάζει στο σχήμα modus tollens του κανόνα συμπερασμού, κατά συνέπεια, η λάθος εκτέλεση της εργασίας επιλογής του Wason μπορεί να απεικονίζει τη γενική δυσκολία που έχουν οι άνθρωποι με τον συμπερασμό του σχήματος modus tollens. ιάφοροι ερευνητές έχουν υποστηρίξει ότι η αφηρημένη φύση της εργασίας επιλογής του Wason την κάνει δύσκολη στο να λυθεί. 13

14 Wason & Shapiro (1971) Χρησιμοποίησαν τέσσερις κάρτες (Μάντσεστερ, Λιντς, αυτοκίνητο, και τραίνο) και τον κανόνα «κάθε φορά που πηγαίνω ταξίδι στο Μάντσεστερ πηγαίνω με το αυτοκίνητο». Ο στόχος (ήταν να επιλέξουν μόνο εκείνες τις κάρτες που πρέπει να αναποδογυριστούν για να αποδείξουν ή να απορρίψουν τον κανόνα. Η σωστή απάντηση ότι οι κάρτες του Μάντσεστερ και του τραίνου πρέπει να αναποδογυριστούν δόθηκε από ένα 62% των συμμετεχόντων, έναντι σε μόνο 12% που είχαμε όταν η εργασία επιλογής του Wason δόθηκε σε αφηρημένη μορφή. Τα ευρήματα των Wason και Shapiro (1971) υποδεικνύουν τη χρήση συγκεκριμένου και με νόημα υλικού που να διευκολύνει την εκτέλεση της εργασίας επιλογής του Wason. Παρ όλα αυτά, οι Griggs και Cox (1982) που χρησιμοποίησαν τις ίδιες εργασίες με τους Wason και Shapiro με αμερικανικούς φοιτητές στη Florida απέτυχαν να πετύχουν μεγαλύτερο ποσοστό επιτυχίας για την σημαντική (με νόημα) εργασία. Γενικά, υπάρχουν αντιφατικά στοιχεία ότι το συγκεκριμένο υλικό οδηγεί σε καλύτερη απόδοση απ ό,τι το αφηρημένο υλικό στην εργασία επιλογής του Wason (Evans, 2002). Cosmides (1989) Μερικά συμπεράσματα από την εργασία μπορούν να ερμηνευτούν δια μέσου μιας θεωρίας κοινωνικού συμβολαίου/κοινωνικών συμβάσεων, η οποία βασίζεται σε μια εξελικτική προσέγγιση της γνώσης. Σύμφωνα με αυτήν τη θεωρία, οι άνθρωποι έχουν κανόνες που μεγιστοποιούν τη δυνατότητά τους να επιτύχουν τους στόχους τους σε κοινωνικές καταστάσεις (η Dr Leda Cosmides δίνει έμφαση σε καταστάσεις που εμπεριέχουν κοινωνική συναλλαγή, όπου δύο άνθρωποι πρέπει να συνεργαστούν για αμοιβαίο όφελος). Η κύρια πρόβλεψη από τη θεωρία κοινωνικού συμβολαίου, όπως εφαρμόζεται στην εργασία επιλογής του Wason, είναι ότι οι άνθρωποι την εκτελούν ιδιαίτερα καλά όταν αυτή διατυπώνεται έτσι ώστε να δείχνει ότι ο κανόνας είναι λάθος εμπλέκοντας ανιχνευτές εξαπάτησης. 14

15 Μια μελέτη των Sperber & Girotto (2002) Σε κάποιους από τους συμμετέχοντες δόθηκε μια παραλλαγή της εργασίας επιλογής του Wason, στην οποία ο Paolο αγοράζει πράγματα μέσω του ιαδικτύου αλλά ανησυχεί ότι θα εξαπατηθεί. Για κάθε παραγγελία, συμπληρώνει μια κάρτα. Στη μια πλευρά της κάρτας καταγράφει αν έχει λάβει το πράγμα που παρήγγειλε και στην άλλη καταγράφει αν έχει πληρώσει για τα πράγματα που παρήγγειλε. Τοποθετεί τις τέσσερις κάρτες και αυτό που φαίνεται είναι το ακόλουθο: «πράγμα που πληρώθηκε», «πράγμα που δεν πληρώθηκε», «πράγμα που παραλήφθηκε», και «πράγμα που δεν παραλήφθηκε». Ποιες κάρτες πρέπει να αναποδογυρίσει για να αποφασίσει εάν έχει εξαπατηθεί; Οι Sperber και Girotto διαπίστωσαν ότι 68% των συμμετεχόντων έκανε τις σωστές επιλογές (δηλ., «πράγμα που πληρώθηκε» και «πράγμα που παραλήφθηκε»). Το υψηλό ποσοστό επιτυχίας που αναφέρεται από τους Sperber & Girotto (2002) προφανώς υποστηρίζει τη θεωρία κοινωνικού συμβολαίου. Εντούτοις, πρέπει να διακρίνουμε μεταξύ δύο τύπων κανόνων για την εργασία επιλογής του Wason: Ενδεικτικός τύπος (indicative type): Εάν υπάρχει ένα Ρ τότε υπάρχει ένα Q. εοντικός τύπος (Deontic type): Εάν κάνεις ένα Ρ τότε πρέπει να κάνεις ένα Q. Οι τυπικές εκδόσεις της εργασίας επιλογής του Wason χρησιμοποιούν ενδεικτικούς κανόνες, ενώ οι εκδόσεις ανίχνευσης-εξαπάτησης χρησιμοποιούν τους δεοντικούς κανόνες. Με τους δεοντικούς κανόνες, το κρίσιμο ζήτημα είναι εάν αυτό που επηρεάζει την επιτυχή απόδοση είναι συγκεκριμένα η ανίχνευση της εξαπάτησης (όπως προβλέπεται από τη θεωρία κοινωνικού συμβολαίου) ή γενικότερα η ανίχνευση της παραβίασης/αθέτησης του κανόνα. Οι Sperber & Girotto (2002) βρήκαν ότι η ανίχνευση της παραβίασης κανόνα είναι ζωτικής σημασίας. 15

16 Μερικοί από τους συμμετέχοντες στην έρευνά τους έπρεπε να αποφασίσουν ποιες από τις ακόλουθες κάρτες έπρεπε να αναποδογυριστούν α ού ώστε να αποφασίσουν οφασσου αν ο Paolo o έχει αγοράσει μη-ιταλικά φαγώσιμα πράγματα μέσω του διαδικτύου: «φαγώσιμο πράγμα», «μη φαγώσιμο πράγμα», «ιταλικό πράγμα» και «μη ιταλικό πράγμα». Σε αυτήν την έκδοση, το 91% των συμμετεχόντων επέλεξε σωστά τις κάρτες «φαγώσιμο πράγμα» και «μη ιταλικό πράγμα» ακόμα κι αν η εργασία δεν είχε καμία σχέση με την εξαπάτηση. Οι δεοντικές εκδόσεις της εργασίας επιλογής του Wason είναι πολύ ευκολότερες από τις τυπικές ενδεικτικές εκδόσεις (τουλάχιστον εν μέρει), μρ επειδή η δομή του προβλήματος γίνεται σαφέστερη. Για παράδειγμα, εξαπάτηση σημαίνει ότι έχουμε από την πλευρά μας εκπληρώσει τη συμφωνία αλλά αποτύχαμε να λάβουμε το συμφωνηθέν όφελος. Η θεωρία κοινωνικού συμβολαίου/συμβάσεων μπορεί να αποτελέσει κάποια εξήγηση για κάποια ευρήματα/ συμπεράσματα που εμπλέκουν εξαπάτηση. Εντούτοις, δεν εξηγεί την απόδοση στις περισσότερες δεοντικές και ενδεικτικές εκδόσεις της εργασίας, και δεν επεκτείνεται στο να εξηγήσει τη συλλογιστική σε άλλες εργασίες. Οι Sperber & Girotto (2002) υποστήριξαν ότι τα ευρήματα στην εργασία επιλογής του Wason μπορούν να εξηγηθούν από τη θεωρία συνάφειας που διατύπωσαν. Σύμφωνα με αυτήν τη θεωρία, οι εμπλεκόμενοι συμμετέχουν απλά σε μια διαδικασία κατανόησης στην οποία αξιολογούν τη συνάφεια των τεσσάρων καρτών στο σχετικό κανόνα. Αυτή η διαδικασία κατανόησης παράγει συχνά μια λανθασμένη ερμηνεία του προβλήματος. Με ενδιαφέρον για εκείνους που θεωρούν την εργασία επιλογής του Wason ως μέτρο του παραγωγικού συλλογισμού, οι Sperber & Girotto υποστήριξαν ότι οι συμμετέχοντες γενικά δεν εμπλέκονται καθόλου στη συλλογιστική και επίσης ότι η εργασία επιλογής δεν είναι ένα τυπικό πρόβλημα συλλογιστικής. 16

17 Συλλογιστικός συμπερασμός Ο συλλογιστικός συμπερασμός έχει μελετηθεί για πάνω από 2000 χρόνια. Ένας συλλογισμός αποτελείται από δύο προτάσεις/λογικά επιχειρήματα ή δηλώσεις που ακολουθούνται από ένα συμπέρασμα. Ένα παράδειγμα συλλογισμού είναι: «Όλα τα Α είναι Β. Όλα τα Β είναι Γ. Επομένως, όλα τα Α είναι Γ». Ένας συλλογισμός περιέχει τρεις όρους (Α, Β, και Γ), με έναν από αυτούς (Β) να εμφανίζεται και στις δύο προτάσεις. Κάθε πρόταση και συμπέρασμα περιέχει έναν από τους ακόλουθους ποσοτικούς προσδιορισμούς: όλα μερικά καθόλου και μερικά... όχι. Συνολικά υπάρχουν 64 διαφορετικά πιθανά σύνολα προτάσεων/ λογικών επιχειρημάτων. Κάθε ζευγάρι των προτάσεων/λογικών επιχειρημάτων μπορεί να συνδυαστεί με 8 πιθανά συμπεράσματα για να δώσει ένα μεγάλο σύνολο 512 πιθανών συλλογισμών, οι περισσότεροι από τους οποίους είναι μη έγκυροι. Όταν σας παρουσιάζουν ένα συλλογισμό, πρέπει να αποφασίσετε αν το συμπέρασμα είναι έγκυρο λαμβάνοντας υπόψη τις προτάσεις/λογικά επιχειρήματα. Η εγκυρότητα (ή μη) του συμπεράσματος στηρίζεται μόνο στο κατά πόσο προκύπτει λογικά από τις προκείμενες/λογικά επιχειρήματα. Κατά συνέπεια, η αλήθεια ή αναλήθεια του συμπεράσματος στον πραγματικό κόσμο είναι άσχετη. Θεωρήστε το ακόλουθο παράδειγμα: Προκείμενες/ λογικά επιχειρήματα Όλα τα παιδιά είναι υπάκουα. Όλα τα λυκόπουλα είναι παιδιά. Συμπέρασμα Επομένως, όλα τα λυκόπουλα είναι υπάκουα. Το συμπέρασμα προκύπτει λογικά από τις προκείμενες/λογικά επιχειρήματα. Κατά συνέπεια, είναι έγκυρο άσχετα με τις απόψεις σας για την υπακοή των παιδιών. 17

18 Προκαταλήψεις Οι άνθρωποι κάνουν συχνά λάθη στο συλλογιστικό συμπερασμό, εν μέρει λόγω της ύπαρξης διάφορων προκαταλήψεων. Παραδείγματος χάριν, υπάρχει προκατάληψη πεποίθησης στην οποία οι άνθρωποι δέχονται τα πιστευτά συμπεράσματα και απορρίπτουν τα μη πιστευτά (απίστευτα) συμπεράσματα ανεξάρτητα από τη λογική ισχύ τους (βλ. Evans, Barston & Pollard, 1983). Για παράδειγμα, οι Oakhill, Garnham & Johnson-Laird (1990) παρουσίασαν συλλογισμούς σαν τους ακόλουθους: Όλοι οι Γάλλοι είναι πότες κρασιού. Μερικοί από τους πότες κρασιού είναι gourmets (ειδικοί στο ποτό & φαγητό). Επομένως, μερικοί από τους Γάλλους είναι gourmets. Το συμπέρασμα είναι πολύ πιστευτό, και επικυρώνεται από πολλούς ανθρώπους. Εντούτοις, στην πραγματικότητα δεν είναι έγκυρο καθώς δεν προκύπτει λογικά από τις προκείμενες/ λογικά επιχειρήματα. Κlauer, Musch, & Naumer (2000) Βρήκαν διάφορες προκαταλήψεις στο συλλογιστικό συμπερασμό. Παράδειγμα: Σε μερικούς συμμετέχοντες είπαν ότι ίσχυε μόνο το ένα έκτο από τους συλλογισμούς που θα έβλεπαν, ενώ σε άλλους συμμετέχοντες ότι ίσχυαν τα πέντε έκτα αυτών. Στην πραγματικότητα, οι μισοί από τους συλλογισμούς ήταν έγκυροι και οι μισοί ήταν μη έγκυροι. Επιπλέον, τα μισά από τα συμπεράσματα ήταν πιστευτά (π.χ., "κάποια ψάρια δεν είναι πέστροφες"), ενώ άλλα ήταν μη πιστευτά (απίστευτα) (π.χ., "κάποιες πέστροφες δεν είναι ψάρια"). Ανακάλυψαν ότι: η απόδοση στο συλλογιστικό συμπερασμό επηρεάστηκε από την αντιλαμβανόμενη δυνατότητα των συλλογισμών ως προς το να είναι έγκυροι (θεώρηση-βάσης επίδραση). Επίσης, απέδειξαν ότι τα έγκυρα και μη έγκυρα συμπεράσματα ήταν πιθανότερο να επικυρωθούν ως έγκυρα όταν ήταν πιστευτά παρά όταν ήταν μη πιστευτά (προκατάληψη πεποίθησης). Με λίγα λόγια, οι αποφάσεις των συμμετεχόντων σχετικά με την ισχύ των συλλογιστικών συμπερασμάτων επηρεάστηκαν από παράγοντες που δεν έχουν καμία σχέση με τη λογική. 18

19 Woodworth & Sells (1935) Μια άλλη αιτία για τις χαμηλές αποδόσεις σε συλλογιστικές εργασίες είναι η επίδραση της «ατμόσφαιρας», στην οποία η μορφή των προτάσεων ενός συλλογισμού επηρεάζει τις προσδοκίες μας για τον τύπο του συμπεράσματος. Για παράδειγμα, εάν και οι δύο προτάσεις συμπεριλαμβάνουν τη λέξη "όλα", τότε αναμένουμε να την συμπεριλαμβάνει επίσης και το συμπέρασμα. Ένας άλλος παράγοντας που οδηγεί σε κακή απόδοση είναι το σφάλμα αντιστροφής, όπου μια δήλωση που είναι σε μια μορφή αντιστρέφεται εσφαλμένα σε μια δήλωση που είναι σε μια διαφορετική μορφή. Όπως βρήκαν οι Chapman and Chapman (1959), οι συμμετέχοντες συχνά υποθέτουν ότι "όλα τα Α είναι Β" σημαίνει ότι "όλα τα Β είναι Α" και το ότι "κάποια από τα Α δεν είναι Β" σημαίνει ότι "κάποια από τα Β δεν είναι Α". Οι Ceraso και Provitera (1971) προσπάθησαν να αποτρέψουν την εμφάνιση λαθών αντιστροφής με το να ξεκαθαρίζουν τις προτάσεις/λογικά επιχειρήματα σαφέστερα (π.χ., το "όλα τα Α είναι Β" δηλώθηκε ως "όλα τα Α είναι Β, αλλά κάποια από τα Β δεν είναι Α"). 19

20 ΕΠΙΛΟΓΟΣ Πολλοί άνθρωποι είναι επιρρεπείς σε προκαταλήψεις στο συλλογιστικό συμπερασμό, κάτι το οποίο σίγουρα υπονομεύει την ακρίβεια αυτής της διαδικασίας. Οι περισσότερες αναφορές που εστιάζουν στις προκαταλήψεις και τα λάθη παρέχουν μια περιγραφή παρά μια εξήγηση. Για παράδειγμα, μια πλήρης εξήγηση θα έδειχνε γιατί οι άνθρωποι μετατρέπουν τις δηλώσεις ή επηρεάζονται από την "ατμόσφαιρα" που δημιουργείται από τις προτάσεις/λογικά επιχειρήματα. Επιπλέον, οι περισσότερες βασισμένες στην προκατάληψη προσεγγίσεις δεν εξηγούν το πώς κάποια άτομα αποφεύγουν τις προκαταλήψεις και τα λάθη στο συλλογιστικό συμπερασμό τους. Στην επόμενη διάλεξη: Αναλογική συλλογιστική: Η σκέψη βασισμένη σε αναλογίες, μοντέλα και παραδείγματα 20

Γνωστική Ψυχολογία ΙΙ (ΨΧ 05) Συλλογιστική (2)

Γνωστική Ψυχολογία ΙΙ (ΨΧ 05) Συλλογιστική (2) Γνωστική Ψυχολογία ΙΙ (ΨΧ 05) Συλλογιστική (2) Παραγωγική Λογική Η παραγωγική συλλογιστική μας επιτρέπει να συναγάγουμε συμπεράσματα για τα οποία να είμαστε σίγουροι ότι ισχύουν, υπό τον όρο βέβαια ότι

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

ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΨΥΧΟΛΟΓΙΑ (ΨΧ 00)

ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΨΥΧΟΛΟΓΙΑ (ΨΧ 00) ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΨΥΧΟΛΟΓΙΑ (ΨΧ 00) Πέτρος Ρούσσος ΔΙΑΛΕΞΗ 5 Έννοιες και Κλασική Θεωρία Εννοιών Έννοιες : Θεμελιώδη στοιχεία από τα οποία αποτελείται το γνωστικό σύστημα Κλασική θεωρία [ή θεωρία καθοριστικών

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

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

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

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

Γνωστική Ψυχολογία ΙΙ (ΨΧ 05) Συλλογιστική (1)

Γνωστική Ψυχολογία ΙΙ (ΨΧ 05) Συλλογιστική (1) Γνωστική Ψυχολογία ΙΙ (ΨΧ 05) Συλλογιστική (1) Συλλογιστική Η γνωστική διεργασία μέσω της οποίας καταλήγουμε σε συμπεράσματα και, μάλιστα, σε συμπεράσματα που συχνά υπερβαίνουν τη διαθέσιμη πληροφορία

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

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

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

ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΛΟΓΙΚΗΣ

ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΛΟΓΙΚΗΣ ΧΛΤΖΙΝ ΠΥΛΟΣ ΒΣΙΚΕΣ ΕΝΝΟΙΕΣ ΛΟΓΙΚΗΣ 1. ύο προτάσεις που έχουν την ίδια σηµασία λέγονται ταυτόσηµες. 2. Μια αποφαντική πρόταση χαρακτηρίζεται αληθής όταν περιγράφει µια πραγµατική κατάσταση του κόσµου µας.

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

Προτασιακή Λογική. Τμήμα Μηχανικών Πληροφορικής ΤΕ ΤΕΙ Ηπείρου Γκόγκος Χρήστος

Προτασιακή Λογική. Τμήμα Μηχανικών Πληροφορικής ΤΕ ΤΕΙ Ηπείρου Γκόγκος Χρήστος Προτασιακή Λογική (Propositional Logic) Τμήμα Μηχανικών Πληροφορικής ΤΕ ΤΕΙ Ηπείρου Γκόγκος Χρήστος - 2015 Λογική Λογική είναι οι κανόνες που διέπουν τη σκέψη. Η λογική αφορά τη μελέτη των διαδικασιών

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

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

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

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

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

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

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

Αξιολόγηση Επιχειρήματος Θεωρία & Ασκήσεις

Αξιολόγηση Επιχειρήματος Θεωρία & Ασκήσεις ΣΤΟΙΧΕΙΑ ΘΕΩΡΙΑΣ Γιάννης Ι. Πασσάς, MEd 29 Απριλίου 2018 Αξιολόγηση Επιχειρήματος Θεωρία & Ασκήσεις Διδακτικοί Στόχοι Επιδιώκεται ο μαθητής να ελέγχει την αλήθεια, την εγκυρότητα και την ορθότητα ενός

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

Πρόταση. Αληθείς Προτάσεις

Πρόταση. Αληθείς Προτάσεις Βασικές έννοιες της Λογικής 1 Πρόταση Στην καθημερινή μας ομιλία χρησιμοποιούμε εκφράσεις όπως: P1: «Καλή σταδιοδρομία» P2: «Ο Όλυμπος είναι το ψηλότερο βουνό της Ελλάδας» P3: «Η Θάσος είναι το μεγαλύτερο

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

Κανονικές μορφές - Ορισμοί

Κανονικές μορφές - Ορισμοί HY-180 Περιεχόμενα Κανονικές μορφές (Normal Forms) Αλγόριθμος μετατροπής σε CNF-DNF Άρνηση (Negation) Βασικές Ισοδυναμίες με άρνηση Νόμος De Morgan Πίνακες Αληθείας Κανονικές μορφές - Ορισμοί Ορισμός:

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

ΠΑΙΓΝΙΑ Παιχνίδια Γενική Θεώρηση μεγιστοποιήσει την πιθανότητά

ΠΑΙΓΝΙΑ Παιχνίδια Γενική Θεώρηση μεγιστοποιήσει την πιθανότητά ΠΑΙΓΝΙΑ Παιχνίδια Γενική Θεώρηση: Έστω ότι έχουμε τους παίκτες Χ και Υ. Ο κάθε παίκτης, σε κάθε κίνηση που κάνει, προσπαθεί να μεγιστοποιήσει την πιθανότητά του να κερδίσει. Ο Χ σε κάθε κίνηση που κάνει

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

ΔΟΜΗ ΕΠΙΛΟΓΗΣ. Οι διάφορες εκδοχές της

ΔΟΜΗ ΕΠΙΛΟΓΗΣ. Οι διάφορες εκδοχές της ΔΟΜΗ ΕΠΙΛΟΓΗΣ Οι διάφορες εκδοχές της Απλή επιλογή Ναι Ομάδα Εντολών Α Ισχύει η Συνθήκη; Χ Χ Χ Όχι Αν (Συνθήκη =Αληθινή) Τότε Ομάδα εντολών Τέλος_αν Λειτουργία: 1. Αν ισχύει η συνθήκη εκτελείται ΠΡΩΤΑ

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

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

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

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

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

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

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

ΕΙΔΗ ΕΡΕΥΝΑΣ I: ΠΕΙΡΑΜΑΤΙΚΗ ΕΡΕΥΝΑ & ΠΕΙΡΑΜΑΤΙΚΟΙ ΣΧΕΔΙΑΣΜΟΙ

ΕΙΔΗ ΕΡΕΥΝΑΣ I: ΠΕΙΡΑΜΑΤΙΚΗ ΕΡΕΥΝΑ & ΠΕΙΡΑΜΑΤΙΚΟΙ ΣΧΕΔΙΑΣΜΟΙ ΤΕΧΝΙΚΕΣ ΕΡΕΥΝΑΣ (# 252) Ε ΕΞΑΜΗΝΟ 9 η ΕΙΣΗΓΗΣΗ ΣΗΜΕΙΩΣΕΙΣ ΕΙΔΗ ΕΡΕΥΝΑΣ I: ΠΕΙΡΑΜΑΤΙΚΗ ΕΡΕΥΝΑ & ΠΕΙΡΑΜΑΤΙΚΟΙ ΣΧΕΔΙΑΣΜΟΙ ΛΙΓΗ ΘΕΩΡΙΑ Στην προηγούμενη διάλεξη μάθαμε ότι υπάρχουν διάφορες μορφές έρευνας

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

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

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

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

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

Ασκήσεις μελέτης της 8 ης διάλεξης Οικονομικό Πανεπιστήμιο Αθηνών, Τμήμα Πληροφορικής Μάθημα: Τεχνητή Νοημοσύνη, 2017 18 Διδάσκων: Ι. Ανδρουτσόπουλος Ασκήσεις μελέτης της 8 ης διάλεξης 8.1. (i) Έστω ότι α και β είναι δύο τύποι της προτασιακής

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

ΣΚΕΨΗ 30/11/2001. Εισαγωγή στην Ψυχολογία Σκέψη Στέλλα Βοσνιάδου

ΣΚΕΨΗ 30/11/2001. Εισαγωγή στην Ψυχολογία Σκέψη Στέλλα Βοσνιάδου ΣΚΕΨΗ Έννοιες Κλασσική θεωρία: αναγκαία και επαρκεί καθοριστικά γνωρίσµατα Θεωρία των προτύπων: Rosch Medin & Murphy Barsalou Αριθµός µετασχηµατισµών από το πρότυπο Η αναγνώριση των γεωµετρικών σχηµάτων,

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

Συνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF

Συνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF Συνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF 1 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Πέμπτη 15/02/2018 Κρεατσούλας Κωνσταντίνος Ασυνεπές σύνολο

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

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

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

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

Εισαγωγή στην Ψυχολογία Ενότητα 13: Σκέψη

Εισαγωγή στην Ψυχολογία Ενότητα 13: Σκέψη Εισαγωγή στην Ψυχολογία Ενότητα 13: Σκέψη Διδάσκουσα: Ειρήνη Σκοπελίτη Τμήμα Επιστημών της Εκπαίδευσης και της Αγωγής στην Προσχολική Ηλικία Σκοπός ενότητας Εισαγωγή στις βασικές διεργασίες της ανθρώπινης

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

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

Σειρά Προβλημάτων 1 Λύσεις Σειρά Προβλημάτων 1 Λύσεις Άσκηση 1 O πιο κάτω συλλογισμός (αποτελεί μικρή παραλλαγή συλλογισμού που) αποδίδεται στον Samuel Clarke και προέρχεται από την εργασία του Demonstration of the Being and Attributes

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

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

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

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

Θεμελιώδεις αρχές επιστήμης και μέθοδοι έρευνας

Θεμελιώδεις αρχές επιστήμης και μέθοδοι έρευνας A. Montgomery Θεμελιώδεις αρχές επιστήμης και μέθοδοι έρευνας Καρολίνα Δουλουγέρη, ΜSc Υποψ. Διαδάκτωρ Σήμερα Αναζήτηση βιβλιογραφίας Επιλογή μεθοδολογίας Ερευνητικός σχεδιασμός Εγκυρότητα και αξιοπιστία

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

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης

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

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

Αρχές Φιλοσοφίας Β Λυκείου Τράπεζα Θεμάτων: 2 ο κεφάλαιο «Κατανοώντας τα πράγματα»

Αρχές Φιλοσοφίας Β Λυκείου Τράπεζα Θεμάτων: 2 ο κεφάλαιο «Κατανοώντας τα πράγματα» Αρχές Φιλοσοφίας Β Λυκείου Τράπεζα Θεμάτων: 2 ο κεφάλαιο «Κατανοώντας τα πράγματα» Α] Ασκήσεις κλειστού τύπου (Σωστό Λάθος) Για τον Πλάτωνα οι καθολικές έννοιες, τα «καθόλου», δεν είναι πράγματα ξεχωριστά

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

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

Σειρά Προβλημάτων 1 Λύσεις Σειρά Προβλημάτων 1 Λύσεις Άσκηση 1 Να διατυπώσετε τον πιο κάτω συλλογισμό στον Προτασιακό Λογισμό και να τον αποδείξετε χρησιμοποιώντας τη Μέθοδο της Επίλυσης. Δηλαδή, να δείξετε ότι αν ισχύουν οι πέντε

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

τι είναι αυτό που κάνει κάτι αληθές; τι κριτήρια έχουμε, για να κρίνουμε πότε κάτι είναι αληθές;

τι είναι αυτό που κάνει κάτι αληθές; τι κριτήρια έχουμε, για να κρίνουμε πότε κάτι είναι αληθές; ΤΙ ΕΙΝΑΙ Η ΑΛΗΘΕΙΑ; τι είναι αυτό που κάνει κάτι αληθές; τι κριτήρια έχουμε, για να κρίνουμε πότε κάτι είναι αληθές; ποια είναι η σχέση των πεποιθήσεών μας με την πραγματικότητα, για να είναι αληθείς και

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

2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ

2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΕΠΙΜΕΛΕΙΑ: ΜΑΡΙΑ Σ. ΖΙΩΓΑ ΚΑΘΗΓΗΤΡΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΘΕΩΡΙΑ 2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΔΟΜΗ ΕΠΙΛΟΓΗΣ 1) Ποιοι είναι οι τελεστές σύγκρισης και

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

Έλεγχος υποθέσεων και διαστήματα εμπιστοσύνης

Έλεγχος υποθέσεων και διαστήματα εμπιστοσύνης 1 Έλεγχος υποθέσεων και διαστήματα εμπιστοσύνης Όπως γνωρίζουμε από προηγούμενα κεφάλαια, στόχος των περισσότερων στατιστικών αναλύσεων, είναι η έγκυρη γενίκευση των συμπερασμάτων, που προέρχονται από

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

Εισαγωγή στην επιστήμη των υπολογιστών. Υπολογιστές και Δεδομένα Κεφάλαιο 4ο Πράξεις με μπιτ

Εισαγωγή στην επιστήμη των υπολογιστών. Υπολογιστές και Δεδομένα Κεφάλαιο 4ο Πράξεις με μπιτ Εισαγωγή στην επιστήμη των υπολογιστών Υπολογιστές και Δεδομένα Κεφάλαιο 4ο Πράξεις με μπιτ 1 Πράξεις με μπιτ 2 Αριθμητικές Πράξεις σε Ακέραιους Πρόσθεση, Αφαίρεση, Πολλαπλασιασμός, Διαίρεση Ο πολλαπλασιασμός

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

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

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

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

Σου προτείνω να τυπώσεις τις επόμενες τέσσερις σελίδες σε ένα φύλο διπλής όψης και να τις έχεις μαζί σου για εύκολη αναφορά.

Σου προτείνω να τυπώσεις τις επόμενες τέσσερις σελίδες σε ένα φύλο διπλής όψης και να τις έχεις μαζί σου για εύκολη αναφορά. AeppAcademy.com facebook.com/aeppacademy Γεια. Σου προτείνω να τυπώσεις τις επόμενες τέσσερις σελίδες σε ένα φύλο διπλής όψης και να τις έχεις μαζί σου για εύκολη αναφορά. Καλή Ανάγνωση & Καλή Επιτυχία

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

ΕΙΣΑΓΩΓΗ ΣΤΗ ΣΤΑΤΙΣΤΙΚΗ

ΕΙΣΑΓΩΓΗ ΣΤΗ ΣΤΑΤΙΣΤΙΚΗ ΕΙΣΑΓΩΓΗ ΣΤΗ ΣΤΑΤΙΣΤΙΚΗ Μ.Ν. Ντυκέν, Πανεπιστήμιο Θεσσαλίας Τ.Μ.Χ.Π.Π.Α. Ε. Αναστασίου, Πανεπιστήμιο Θεσσαλίας Τ.Μ.Χ.Π.Π.Α. ΔΙΑΛΕΞΗ 07 & ΔΙΑΛΕΞΗ 08 ΣΗΜΠΕΡΑΣΜΑΤΙΚΗ ΣΤΑΤΙΣΤΙΚΗ Βόλος, 016-017 ΕΙΣΑΓΩΓΗ ΣΤΗΝ

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

Μαθηματικά: Αριθμητική και Άλγεβρα. Μάθημα 3 ο, Τμήμα Α. Τρόποι απόδειξης

Μαθηματικά: Αριθμητική και Άλγεβρα. Μάθημα 3 ο, Τμήμα Α. Τρόποι απόδειξης Μαθηματικά: Αριθμητική και Άλγεβρα Μάθημα 3 ο, Τμήμα Α Ο πυρήνας των μαθηματικών είναι οι τρόποι με τους οποίους μπορούμε να συλλογιζόμαστε στα μαθηματικά. Τρόποι απόδειξης Επαγωγικός συλλογισμός (inductive)

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

Κεφάλαιο 9. Έλεγχοι υποθέσεων

Κεφάλαιο 9. Έλεγχοι υποθέσεων Κεφάλαιο 9 Έλεγχοι υποθέσεων 9.1 Εισαγωγή Όταν παίρνουμε ένα ή περισσότερα τυχαία δείγμα από κανονικούς πληθυσμούς έχουμε τη δυνατότητα να υπολογίζουμε στατιστικά, όπως μέσους όρους, δειγματικές διασπορές

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

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

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

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

ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ. Ενότητα 9: Προτασιακή λογική. Ρεφανίδης Ιωάννης Τμήμα Εφαρμοσμένης Πληροφορικής

ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ. Ενότητα 9: Προτασιακή λογική. Ρεφανίδης Ιωάννης Τμήμα Εφαρμοσμένης Πληροφορικής Ενότητα 9: Προτασιακή λογική Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπου

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

, για κάθε n N. και P είναι αριθμήσιμα.

, για κάθε n N. και P είναι αριθμήσιμα. ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΔΙΑΚΡΙΤA ΜΑΘΗΜΑΤΙΚΑ Διδάσκοντες: Δ.Φωτάκης Θ. Σούλιου η Γραπτή Εργασία Ημ/νια παράδοσης 5/4/8 Θέμα (Διαδικασίες Απαρίθμησης.

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

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

ΕΡΩΤΗΣΕΙΣ ΚΛΕΙΣΤΟΥ Ή ΑΝΤΙΚΕΙΜΕΝΙΚΟΥ ΤΥΠΟΥ ΕΡΩΤΗΣΕΙΣ ΚΛΕΙΣΤΟΥ Ή ΑΝΤΙΚΕΙΜΕΝΙΚΟΥ ΤΥΠΟΥ Με τις ερωτήσεις του τύπου αυτού καλείται ο εξεταζόμενος να επιλέξει την ορθή απάντηση από περιορισμένο αριθμό προτεινόμενων απαντήσεων ή να συσχετίσει μεταξύ

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

ΑΣΚΗΣΕΙΣ. 1. Εξετάστε αν οι παρακάτω εξαγωγές συμπερασμάτων στον προτασιακό λογισμό είναι έγκυρες.

ΑΣΚΗΣΕΙΣ. 1. Εξετάστε αν οι παρακάτω εξαγωγές συμπερασμάτων στον προτασιακό λογισμό είναι έγκυρες. ΑΣΚΗΣΕΙΣ 1. Εξετάστε αν οι παρακάτω εξαγωγές συμπερασμάτων στον προτασιακό λογισμό είναι έγκυρες. α) A B/A Α Β ΑΛΒ Α α α α α α ψ ψ α ψ α ψ ψ ψ ψ ψ ψ Όπως βλέπουμε, αν η πρόταση A B είναι αληθής, τότε σε

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

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

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

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

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

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

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

Λογικός τύπος Τελεστές σύγκρισης Λογικοί τελεστές Εντολές επιλογής Εμβέλεια Μαθηματικές συναρτήσεις Μιγαδικός τύπος ΔΕΥΤΕΡΗ ΔΙΑΛΕΞΗ

Λογικός τύπος Τελεστές σύγκρισης Λογικοί τελεστές Εντολές επιλογής Εμβέλεια Μαθηματικές συναρτήσεις Μιγαδικός τύπος ΔΕΥΤΕΡΗ ΔΙΑΛΕΞΗ ΔΕΥΤΕΡΗ ΔΙΑΛΕΞΗ Λογικός τύπος ( ) Ο τύπος είναι κατάλληλoς για την αναπαράσταση ποσοτήτων που μπορούν να πάρουν δύο μόνο τιμές (π.χ. ναι/όχι, αληθές/ψευδές, ). Τιμές ή Δήλωση Εκχώρηση Ισοδυναμία με ακέραιους

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

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

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

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

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

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

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

Συνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF

Συνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF Συνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF 1 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Πέμπτη 15/02/2018 Κρεατσούλας Κωνσταντίνος Ασυνεπές σύνολο

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

Η ΙΣΧΥΣ ΕΝΟΣ ΕΛΕΓΧΟΥ. (Power of a Test) ΚΕΦΑΛΑΙΟ 21

Η ΙΣΧΥΣ ΕΝΟΣ ΕΛΕΓΧΟΥ. (Power of a Test) ΚΕΦΑΛΑΙΟ 21 ΚΕΦΑΛΑΙΟ 21 Η ΙΣΧΥΣ ΕΝΟΣ ΕΛΕΓΧΟΥ (Power of a Test) Όπως είδαμε προηγουμένως, στον Στατιστικό Έλεγχο Υποθέσεων, ορίζουμε δύο είδη πιθανών λαθών (κινδύνων) που μπορεί να συμβούν όταν παίρνουμε αποφάσεις

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

Εισαγωγή στην επιστήμη των υπολογιστών. Υπολογιστές και Δεδομένα Κεφάλαιο 4ο Πράξεις με μπιτ

Εισαγωγή στην επιστήμη των υπολογιστών. Υπολογιστές και Δεδομένα Κεφάλαιο 4ο Πράξεις με μπιτ Εισαγωγή στην επιστήμη των υπολογιστών Υπολογιστές και Δεδομένα Κεφάλαιο 4ο Πράξεις με μπιτ 1 Πράξεις με μπιτ 2 Αριθμητικές Πράξεις σε Ακέραιους Πρόσθεση, Αφαίρεση, Πολλαπλασιασμός, Διαίρεση Ο πολλαπλασιασμός

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

Πρόβλημα 29 / σελίδα 28

Πρόβλημα 29 / σελίδα 28 Πρόβλημα 29 / σελίδα 28 Πρόβλημα 30 / σελίδα 28 Αντιμετάθεση / σελίδα 10 Να γράψετε αλγόριθμο, οποίος θα διαβάζει τα περιεχόμενα δύο μεταβλητών Α και Β, στη συνέχεια να αντιμεταθέτει τα περιεχόμενά τους

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

Διαδικασία Ελέγχου Μηδενικών Υποθέσεων

Διαδικασία Ελέγχου Μηδενικών Υποθέσεων Διαδικασία Ελέγχου Μηδενικών Υποθέσεων Πέτρος Ρούσσος, Τμήμα Ψυχολογίας, ΕΚΠΑ Η λογική της διαδικασίας Ο σάκος περιέχει έναν μεγάλο αλλά άγνωστο αριθμό (αρκετές χιλιάδες) λευκών και μαύρων βόλων: 1 Το

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

Από το Γυμνάσιο στο Λύκειο Δειγματικός χώρος Ενδεχόμενα Εύρεση δειγματικού χώρου... 46

Από το Γυμνάσιο στο Λύκειο Δειγματικός χώρος Ενδεχόμενα Εύρεση δειγματικού χώρου... 46 ΠEΡΙΕΧΟΜΕΝΑ Από το Γυμνάσιο στο Λύκειο................................................ 7 1. Το Λεξιλόγιο της Λογικής.............................................. 11 2. Σύνολα..............................................................

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

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

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

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

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

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

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

ΤΡΟΠΟΙ ΠΕΙΘΟΥΣ. Επίκληση στη λογική Επίκληση στο συναίσθημα Επίκληση στο ήθος

ΤΡΟΠΟΙ ΠΕΙΘΟΥΣ. Επίκληση στη λογική Επίκληση στο συναίσθημα Επίκληση στο ήθος ΤΡΟΠΟΙ ΠΕΙΘΟΥΣ Επίκληση στη λογική Επίκληση στο συναίσθημα Επίκληση στο ήθος ΕΠΙΧΕΙΡΗΜΑΤΑ ΚΑΙ ΤΕΚΜΗΡΙΑ (ΜΕΣΑ ΠΕΙΘΟΥΣ ΕΠΙΚΛΗΣΗ ΣΤΗ ΛΟΓΙΚΗ) Όταν θέλουμε να πείσουμε με λογικές αποδείξεις, τότε χρησιμοποιούμε:

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

Στόχος της ψυχολογικής έρευνας:

Στόχος της ψυχολογικής έρευνας: Στόχος της ψυχολογικής έρευνας: Συστηματική περιγραφή και κατανόηση των ψυχολογικών φαινομένων. Η ψυχολογική έρευνα χρησιμοποιεί μεθόδους συστηματικής διερεύνησης για τη συλλογή, την ανάλυση και την ερμηνεία

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

Μορφολογική Παραγωγή. 3 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 28/02/2019 Ζωγραφιστού Δήμητρα

Μορφολογική Παραγωγή. 3 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 28/02/2019 Ζωγραφιστού Δήμητρα Μορφολογική Παραγωγή 3 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 28/02/2019 Ζωγραφιστού Δήμητρα Συστήματα Αποδείξεων στον ΠΛ(1/2) Συχνά μας ενδιαφέρει να μπορούμε να διαπιστώσουμε αν μία εξαγωγή

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

ΠΡΟΔΙΑΓΡΑΦΕΣ - ΟΔΗΓΙΕΣ ΔΙΑΜΟΡΦΩΣΗΣ ΘΕΜΑΤΩΝ ΓΙΑ ΤΟ ΜΑΘΗΜΑ

ΠΡΟΔΙΑΓΡΑΦΕΣ - ΟΔΗΓΙΕΣ ΔΙΑΜΟΡΦΩΣΗΣ ΘΕΜΑΤΩΝ ΓΙΑ ΤΟ ΜΑΘΗΜΑ ΠΡΟΔΙΑΓΡΑΦΕΣ - ΟΔΗΓΙΕΣ ΔΙΑΜΟΡΦΩΣΗΣ ΘΕΜΑΤΩΝ ΓΙΑ ΤΟ ΜΑΘΗΜΑ Μαθηματικά (Άλγεβρα - Γεωμετρία) Α ΤΑΞΗ ΗΜΕΡΗΣΙΟΥ και Α, Β ΤΑΞΕΙΣ ΕΣΠΕΡΙΝΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ Α ΤΑΞΗ ΗΜΕΡΗΣΙΟΥ και Α ΤΑΞΗ ΕΣΠΕΡΙΝΟΥ ΕΠΑΛ ΚΕΝΤΡΙΚΗ

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

Σχεδιασμός και Διεξαγωγή Πειραμάτων

Σχεδιασμός και Διεξαγωγή Πειραμάτων Σχεδιασμός και Διεξαγωγή Πειραμάτων Πρώτο στάδιο: λειτουργικοί ορισμοί της ανεξάρτητης και της εξαρτημένης μεταβλητής Επιλογή της ανεξάρτητης μεταβλητής Επιλέγουμε μια ανεξάρτητη μεταβλητή (ΑΜ), την οποία

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

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

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

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

ΠΕΡΙΓΡΑΦΙΚΗ και ΕΠΑΓΩΓΙΚΗ ΣΤΑΤΙΣΤΙΚΗ

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

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

Προτάσεις. Εισαγωγή στις βασικές έννοιες των Μαθηματικών. Ποιες είναι προτάσεις; Προτάσεις 6/11/ ο Μάθημα Μαθηματική Λογική (επανάληψη)

Προτάσεις. Εισαγωγή στις βασικές έννοιες των Μαθηματικών. Ποιες είναι προτάσεις; Προτάσεις 6/11/ ο Μάθημα Μαθηματική Λογική (επανάληψη) Εισαγωγή στις βασικές έννοιες των Μαθηματικών 5 ο Μάθημα Μαθηματική Λογική (επανάληψη) Προτάσεις Η πρόταση είναι μια γλωσσική ενότητα, η οποία εκφράζει κάποιο νόημα. Παραδείγματα: Η Μαρία σχεδιάζει ένα

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

ΠΩΣ ΑΝΤΙΜΕΤΩΠΙΖΟΥΜΕ ΚΑΘΕ ΕΙΔΟΥΣ ΕΡΩΤΗΣΗ - ΑΣΚΗΣΗ Σκοπός της ενότητας αυτής είναι να προετοιμάσει το μαθητή, ώστε να μπορεί να ανταπεξέλθει σε κάθε

ΠΩΣ ΑΝΤΙΜΕΤΩΠΙΖΟΥΜΕ ΚΑΘΕ ΕΙΔΟΥΣ ΕΡΩΤΗΣΗ - ΑΣΚΗΣΗ Σκοπός της ενότητας αυτής είναι να προετοιμάσει το μαθητή, ώστε να μπορεί να ανταπεξέλθει σε κάθε ΠΩΣ ΑΝΤΙΜΕΤΩΠΙΖΟΥΜΕ ΚΑΘΕ ΕΙΔΟΥΣ ΕΡΩΤΗΣΗ - ΑΣΚΗΣΗ Σκοπός της ενότητας αυτής είναι να προετοιμάσει το μαθητή, ώστε να μπορεί να ανταπεξέλθει σε κάθε είδους ερώτηση που θα τεθεί στις Πανελλήνιες εξετάσει.

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

Ανάπτυξη Εφαρμογών σε Προγραμματιστικό Περιβάλλον. Εκχώρηση Τιμών

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

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

Μεθοδολογία Έρευνας Διάλεξη 1 η : Εισαγωγή στη Μεθοδολογία Έρευνας

Μεθοδολογία Έρευνας Διάλεξη 1 η : Εισαγωγή στη Μεθοδολογία Έρευνας Μεθοδολογία Έρευνας Διάλεξη 1 η : Εισαγωγή στη Μεθοδολογία Έρευνας 1 Δρ. Αλέξανδρος Αποστολάκης Email: aapostolakis@staff.teicrete.gr Τηλ.: 2810379603 E-class μαθήματος: https://eclass.teicrete.gr/courses/pgrad_omm107/

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

Βασικοί τύποι δεδομένων (Pascal) ΕΠΑ.Λ Αλίμου Γ Πληροφορική Δομημένος Προγραμματισμός (Ε) Σχολ. Ετος Κων/νος Φλώρος

Βασικοί τύποι δεδομένων (Pascal) ΕΠΑ.Λ Αλίμου Γ Πληροφορική Δομημένος Προγραμματισμός (Ε) Σχολ. Ετος Κων/νος Φλώρος Βασικοί τύποι δεδομένων (Pascal) ΕΠΑ.Λ Αλίμου Γ Πληροφορική Δομημένος Προγραμματισμός (Ε) Σχολ. Ετος 2012-13 Κων/νος Φλώρος Απλοί τύποι δεδομένων Οι τύποι δεδομένων προσδιορίζουν τον τρόπο παράστασης των

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

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

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

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

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

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

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

Εισαγωγή στην επιστήμη των υπολογιστών. Πράξεις με μπιτ

Εισαγωγή στην επιστήμη των υπολογιστών. Πράξεις με μπιτ Εισαγωγή στην επιστήμη των υπολογιστών Πράξεις με μπιτ 1 Πράξεις με μπιτ 2 Αριθμητικές Πράξεις σε Ακέραιους Πρόσθεση, Αφαίρεση, Πολλαπλασιασμός, Διαίρεση 3 Πρόσθεση στη μορφή συμπληρώματος ως προς δύο

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

Εισαγωγή στην κοινωνική έρευνα. Earl Babbie. Κεφάλαιο 1. Βασικές αρχές 1-1

Εισαγωγή στην κοινωνική έρευνα. Earl Babbie. Κεφάλαιο 1. Βασικές αρχές 1-1 Εισαγωγή στην κοινωνική έρευνα Earl Babbie Κεφάλαιο 1 Βασικές αρχές 1-1 Σύνοψη κεφαλαίου Αναζητώντας την πραγματικότητα Τα θεμέλια της κοινωνικής επιστήμης Η διαλεκτική της κοινωνικής έρευνας Σχέδιο ερευνητικής

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

ΜΑΘΗΜΑΤΙΚΑ ΘΕΤΙΚΗΣ-ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ. ΜΕΡΟΣ Α : Άλγεβρα. Κεφάλαιο 2 ο (Προτείνεται να διατεθούν 12 διδακτικές ώρες) Ειδικότερα:

ΜΑΘΗΜΑΤΙΚΑ ΘΕΤΙΚΗΣ-ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ. ΜΕΡΟΣ Α : Άλγεβρα. Κεφάλαιο 2 ο (Προτείνεται να διατεθούν 12 διδακτικές ώρες) Ειδικότερα: ΜΑΘΗΜΑΤΙΚΑ ΘΕΤΙΚΗΣ-ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ ΜΕΡΟΣ Α : Άλγεβρα Κεφάλαιο ο (Προτείνεται να διατεθούν διδακτικές ώρες) Ειδικότερα:. -. (Προτείνεται να διατεθούν 5 διδακτικές ώρες).3 (Προτείνεται να διατεθούν

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

Μορφολογική Παραγωγή. 3 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 08/03/2018 Ζωγραφιστού Δήμητρα

Μορφολογική Παραγωγή. 3 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 08/03/2018 Ζωγραφιστού Δήμητρα Μορφολογική Παραγωγή 3 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 08/03/2018 Ζωγραφιστού Δήμητρα Συστήματα Αποδείξεων στον ΠΛ(1/2) Συχνά μας ενδιαφέρει να μπορούμε να διαπιστώσουμε αν μία εξαγωγή

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

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

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

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

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

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

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

Βασικές Ισοδυναμίες με Άρνηση, Πίνακες Αληθείας, Λογική Συνεπαγωγή, Ταυτολογίες, Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής CNF

Βασικές Ισοδυναμίες με Άρνηση, Πίνακες Αληθείας, Λογική Συνεπαγωγή, Ταυτολογίες, Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής CNF Βασικές Ισοδυναμίες με Άρνηση, Πίνακες Αληθείας, Λογική Συνεπαγωγή, Ταυτολογίες, Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής CNF 2 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 28/02/2018 Κρεατσούλας

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

Από το Γυμνάσιο στο Λύκειο... 7. 3. Δειγματικός χώρος Ενδεχόμενα... 42 Εύρεση δειγματικού χώρου... 46

Από το Γυμνάσιο στο Λύκειο... 7. 3. Δειγματικός χώρος Ενδεχόμενα... 42 Εύρεση δειγματικού χώρου... 46 ΠEΡΙΕΧΟΜΕΝΑ Από το Γυμνάσιο στο Λύκειο................................................ 7 1. Το Λεξιλόγιο της Λογικής.............................................. 11. Σύνολα..............................................................

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

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

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

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

Κεφάλαιο 4 : Λογική και Κυκλώματα

Κεφάλαιο 4 : Λογική και Κυκλώματα Κεφάλαιο 4 : Λογική και Κυκλώματα Σύνοψη Τα κυκλώματα που διαθέτουν διακόπτες ροής ηλεκτρικού φορτίου, χρησιμοποιούνται σε διατάξεις που αναπαράγουν λογικές διαδικασίες για τη λήψη αποφάσεων. Στην ενότητα

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

Αναλυτικό Πρόγραμμα Μαθηματικών

Αναλυτικό Πρόγραμμα Μαθηματικών Αναλυτικό Πρόγραμμα Μαθηματικών Σχεδιασμός... αντιμετωπίζει ενιαία το πλαίσιο σπουδών (Προδημοτική, Δημοτικό, Γυμνάσιο και Λύκειο), είναι συνέχεια υπό διαμόρφωση και αλλαγή, για να αντιμετωπίζει την εξέλιξη,

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

2 ΟΥ και 7 ΟΥ ΚΕΦΑΛΑΙΟΥ

2 ΟΥ και 7 ΟΥ ΚΕΦΑΛΑΙΟΥ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΕΠΙΜΕΛΕΙΑ: ΜΑΡΙΑ Σ. ΖΙΩΓΑ ΚΑΘΗΓΗΤΡΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΘΕΩΡΙΑ 2 ΟΥ και 7 ΟΥ ΚΕΦΑΛΑΙΟΥ ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΑΛΓΟΡΙΘΜΩΝ και ΔΟΜΗ ΑΚΟΛΟΥΘΙΑΣ 2.1 Να δοθεί ο ορισμός

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

ΟΜΟΣΠΟΝΔΙΑ ΕΚΠΑΙΔΕΥΤΙΚΩΝ ΦΡΟΝΤΙΣΤΩΝ ΕΛΛΑΔΟΣ (Ο.Ε.Φ.Ε.) ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ 2019 Β ΦΑΣΗ Γ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ

ΟΜΟΣΠΟΝΔΙΑ ΕΚΠΑΙΔΕΥΤΙΚΩΝ ΦΡΟΝΤΙΣΤΩΝ ΕΛΛΑΔΟΣ (Ο.Ε.Φ.Ε.) ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ 2019 Β ΦΑΣΗ Γ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΑΞΗ: ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΣ: ΜΑΘΗΜΑ: Γ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΣΠΟΥΔΩΝ ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ Ημερομηνία: Σάββατο 20 Απριλίου 2019 Διάρκεια Εξέτασης: 3 ώρες ΕΚΦΩΝΗΣΕΙΣ

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

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

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

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

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

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

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

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

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

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

Τμήμα Οικιακής Οικονομίας και Οικολογίας. Αναπαράσταση Αριθμών

Τμήμα Οικιακής Οικονομίας και Οικολογίας. Αναπαράσταση Αριθμών Αναπαράσταση Αριθμών Δεκαδικό και Δυαδικό Δεκαδικό σύστημα Δεκαδικό και Δυαδικό Μετατροπή Για τη μετατροπή ενός αριθμού από το δυαδικό σύστημα στο δεκαδικό, πολλαπλασιάζουμε κάθε δυαδικό ψηφίο του αριθμού

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

Βασικές Ισοδυναμίες με Άρνηση /Πίνακες Αληθείας /Λογική Συνεπαγωγή /Ταυτολογίες /Αντινομίες Πλήρης αλγόριθμος μετατροπής CNF

Βασικές Ισοδυναμίες με Άρνηση /Πίνακες Αληθείας /Λογική Συνεπαγωγή /Ταυτολογίες /Αντινομίες Πλήρης αλγόριθμος μετατροπής CNF Βασικές Ισοδυναμίες με Άρνηση /Πίνακες Αληθείας /Λογική Συνεπαγωγή /Ταυτολογίες /Αντινομίες Πλήρης αλγόριθμος μετατροπής CNF 2 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Πέμπτη 3/3/2016 Κατερίνα Δημητράκη

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

Προβλήματα, αλγόριθμοι, ψευδοκώδικας

Προβλήματα, αλγόριθμοι, ψευδοκώδικας Προβλήματα, αλγόριθμοι, ψευδοκώδικας October 11, 2011 Στο μάθημα Αλγοριθμική και Δομές Δεδομένων θα ασχοληθούμε με ένα μέρος της διαδικασίας επίλυσης υπολογιστικών προβλημάτων. Συγκεκριμένα θα δούμε τι

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

m + s + q r + n + q p + s + n, P Q R P Q P R Q R F G

m + s + q r + n + q p + s + n, P Q R P Q P R Q R F G Λύσεις Θεμάτων Θεμελίων των Μαθηματικών 1. Εστω A, B, C τυχόντα σύνολα. Να δειχθεί ότι A (B C) (A B) (A C). Απόδειξη. Εστω x τυχαίο στοιχείο του A (B C). Εξ ορισμού, το x ανήκει σε ακριβώς ένα από τα A,

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

HY 180 Λογική Διδάσκων: Δ. Πλεξουσάκης Φροντιστήριο 5

HY 180 Λογική Διδάσκων: Δ. Πλεξουσάκης Φροντιστήριο 5 HY 180 Λογική Διδάσκων: Δ. Πλεξουσάκης Φροντιστήριο 5 Α) ΘΕΩΡΙΑ Η Μορφολογική Παραγωγή ανήκει στα συστήματα παραγωγής, δηλαδή σε αυτά που παράγουν το συμπέρασμα με χρήση συντακτικών κανόνων λογισμού. Η

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

Δομές Ακολουθίας- Επιλογής - Επανάληψης. Δομημένος Προγραμματισμός

Δομές Ακολουθίας- Επιλογής - Επανάληψης. Δομημένος Προγραμματισμός Δομές Ακολουθίας- Επιλογής - Επανάληψης Δομημένος Προγραμματισμός 1 Βασικές Έννοιες αλγορίθμων Σταθερές Μεταβλητές Εκφράσεις Πράξεις Εντολές 2 Βασικές Έννοιες Αλγορίθμων Σταθερά: Μια ποσότητα που έχει

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

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

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

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

Στατιστική Ι (ΨΥΧ-1202) Διάλεξη 7. Στατιστικός έλεγχος υποθέσεων

Στατιστική Ι (ΨΥΧ-1202) Διάλεξη 7. Στατιστικός έλεγχος υποθέσεων (ΨΥΧ-1202) Λεωνίδας Α. Ζαμπετάκης Β.Sc., M.Env.Eng., M.Ind.Eng., D.Eng. Εmail: statisticsuoc@gmail.com Διαλέξεις: ftp://ftp.soc.uoc.gr/psycho/zampetakis/ Διάλεξη 7 Στατιστικός έλεγχος υποθέσεων ΠΑΝΕΠΙΣΤΗΜΙΟ

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

ΔΕΙΚΤΕΣ ΕΠΙΤΥΧΙΑΣ και ΔΕΙΚΤΕΣ ΕΠΑΡΚΕΙΑΣ ΒΙΟΛΟΓΙΑ Α ΓΥΜΝΑΣΙΟΥ. Ενότητα 4: Ερευνώντας τη Φωτοσύνθεση

ΔΕΙΚΤΕΣ ΕΠΙΤΥΧΙΑΣ και ΔΕΙΚΤΕΣ ΕΠΑΡΚΕΙΑΣ ΒΙΟΛΟΓΙΑ Α ΓΥΜΝΑΣΙΟΥ. Ενότητα 4: Ερευνώντας τη Φωτοσύνθεση ΔΕΙΚΤΕΣ ΕΠΙΤΥΧΙΑΣ και ΔΕΙΚΤΕΣ ΕΠΑΡΚΕΙΑΣ ΒΙΟΛΟΓΙΑ Α ΓΥΜΝΑΣΙΟΥ Ενότητα 4: Ερευνώντας τη Φωτοσύνθεση Ομάδα Αναλυτικών Προγραμμάτων Βιολογίας Σχολική Χρονιά: 2014-2015 ΓΕΝΙΚΟΙ ΣΤΟΧΟΙ A. Οι μαθητές να κατανοήσουν

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

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

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

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

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

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

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

Εισαγωγή στην επιστήµη των υπολογιστών. Πράξεις µε µπιτ

Εισαγωγή στην επιστήµη των υπολογιστών. Πράξεις µε µπιτ Εισαγωγή στην επιστήµη των υπολογιστών Πράξεις µε µπιτ 1 Πράξεις µε µπιτ 2 Αριθµητικές Πράξεις σε Ακέραιους Πρόσθεση, Αφαίρεση, Πολλαπλασιασµός, Διαίρεση Ο πολλαπλασιασµός και η διαίρεση στο επίπεδο του

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

Αναπτυξιακή Ψυχολογία. Διάλεξη 3: Η ανάπτυξη της σκέψης του παιδιού Η γνωστική-εξελικτική θεωρία του J. Piaget Μέρος ΙI

Αναπτυξιακή Ψυχολογία. Διάλεξη 3: Η ανάπτυξη της σκέψης του παιδιού Η γνωστική-εξελικτική θεωρία του J. Piaget Μέρος ΙI Αναπτυξιακή Ψυχολογία Διάλεξη 3: Η ανάπτυξη της σκέψης του παιδιού Η γνωστική-εξελικτική θεωρία του J. Piaget Μέρος ΙI Θέματα διάλεξης Το στάδιο ανάπτυξης της συγκεκριμένης λογικής σκέψης Tο στάδιο ανάπτυξης

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

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

ΣΥΓΚΡΙΤΙΚΗ ΜΕΛΕΤΗ ΜΑΘΗΣΙΑΚΩΝ ΑΠΟΤΕΛΕΣΜΑΤΩΝ ΜΕ ΤΗ ΧΡΗΣΗ Η ΧΩΡΙΣ ΤΗ ΧΡΗΣΗ Η/Υ ΓΙΑ ΤΗ ΔΙΔΑΣΚΑΛΙΑ ΚΛΑΣΜΑΤΩΝ 3 Ο ΣΥΝΕΔΡΙΟ ΣΤΗ ΣΥΡΟ-ΤΠΕ ΣΤΗΝ ΕΚΠΑΙΔΕΥΣΗ 415 ΣΥΓΚΡΙΤΙΚΗ ΜΕΛΕΤΗ ΜΑΘΗΣΙΑΚΩΝ ΑΠΟΤΕΛΕΣΜΑΤΩΝ ΜΕ ΤΗ ΧΡΗΣΗ Η ΧΩΡΙΣ ΤΗ ΧΡΗΣΗ Η/Υ ΓΙΑ ΤΗ ΔΙΔΑΣΚΑΛΙΑ ΚΛΑΣΜΑΤΩΝ Μεταφετζής Γιώργος Δάσκαλος, 1ο ΔΣ Βόλου gmetafetz@in.gr

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