Ανακοινώσεις μαθήματος Λογική για Υπολογιστές

εξέταση λογικής για υπολογιστές

Thu, 02 Feb 2012 00:00:00 +0300

Το σημερινό μάθημα ακυρώθηκε λόγω χιονιού. Θα σας ενημερώσω για την εξεταστέα ύλη του μαθήματος με νεώτερο μήνυμα. ΚΔΚ.

Ασκήσεις στη ΛΟΓΙΚΗ για ΥΠΟΛΟΓΙΣΤΕΣ

Fri, 30 Dec 2011 00:00:00 +0300

Κατ’ αρχάς, Χρόνια Πολλά σε όλες και όλους σας! Εύχομαι καλή Πρωτοχρονιά και Καλή Χρονιά σε σας και τις οικογένειες σας και όλους τους δικούς σας ανθρώπους! Σε σχέση με το μάθημα μας και τις ασκήσεις που θα ήθελα να μελετήσετε: θα έχουμε συνολικά 3 σειρές ασκήσεων και η σκέψη μου είναι να αποτελέσουν το 25% του τελικού σας βαθμού. Φυσικά, θα πρέπει οπωσδήποτε να πάρετε προβιβάσιμο βαθμό στην γραπτή τελική εξέταση του μαθήματος. Η Πρώτη Σειρά Ασκήσεων αποτελεί μία καλή επανάληψη στην Προτασιακή Λογική. Θα απαντήσετε τις ασκήσεις 5 (σελ. 33), 8 (σελ. 34), 26 (σελ. 36) και 21 (σελ. 36) από τις σημειώσεις του Κ. Δημητρακόπουλου και την exercise 3.1.1 (1,2,3 μόνον) από το βιβλίο του M. Fitting (όπου είδαμε για semantic tableaux). Παράδοση: μέχρι το πρώτο μάθημα του Ιανουαρίου. Η Δεύτερη Σειρά Ασκήσεων αφορά στην Πρωτοβάθμια Λογική. Θα απαντήσετε τις ασκήσεις 28 (σελ. 73), 32 (σελ. 74), και 34 (σελ. 74) από τις σημειώσεις του Κ. Δημητρακόπουλου. Παράδοση: μέχρι το δεύτερο μάθημα του Ιανουαρίου. Η Τρίτη Σειρά αφορά στην Prolog, για την οποία θα έχουμε την ευκαιρία να μιλήσουμε ξανά. Θα πρέπει να απαντήσετε σε αυτά που ζητάμε στο ανηρτημένο αρχείο (eclass/έγγραφα/Prolog January 2012). Θα μου παρουσιάσετε τα προγράμματα στον υπολογιστή και να είστε σε θέση να μου εξηγήσετε τις λεπτομέρειές τους. Παράδοση: μέχρι το τρίτο μάθημα του Ιανουαρίου Οι απαντήσεις στις δύο πρώτες σειρές μπορούν να γραφούν ηλεκτρονικά και να τις στείλετε με email. Αν για κάποιο λόγο δυσκολεύεστε, γράψτε τις με το χέρι παρότι θα προτιμούσα την ηλεκτρονική επικοινωνία για να μπορέσω να σας στείλω ευκολότερα, σχόλια και διορθώσεις. Ερωτήσεις και απορίες, στο email μου, ευπρόσδεκτες. Καλή Πρωτοχρονιά και Καλή Χρονιά σε όλους μας!

Μάθημα Πέμπτης 22 Δεκεμβρίου 2011

Wed, 21 Dec 2011 00:00:00 +0300

Το αυριανό μάθημα (Πέμπτη 22 Δεκεμβρίου) δεν θα γίνει λόγω κάποιας ανειλημμένης μου υποχρέωσης. Σήμερα ή αύριο θα αναρτήσω τις ασκήσεις (λογική & prolog) που θα ήθελα να κάνετε στις Γιορτές. Καλά Χριστούγεννα και Καλή Χρονιά σε όλες/όλους σας!

Τελικά Αποτελέσματα

Thu, 04 Mar 2010 00:00:00 +0300

Καλησπέρα!

Τα τελικά αποτελέσματα έχουν αναρτηθεί στα έγγραφα. Ο βαθμός είναι τελικός (δηλαδή γραπτό*0.8 + ασκήσεις*0.2)....

Να είστε καλά, καλή επιτυχία και στα υπόλοιπα!

Αποτελέσματα 2ου σετ ασκήσεων, επανάληψη...

Sat, 13 Feb 2010 00:00:00 +0300

Ωραία, μόλις εντοπίσαμε και ένα bug του eclass. Αν το όνομα του αρχείου στο δίσκο μου είναι το ίδιο με κάποιο άλλο που έχει ανέβει, δεν έχει σημασία αν δίνω διαφορετικό τίτλο, το σύστημα μπερδεύεται. Στην προκειμένη περίπτωση, και τα δυο αρχεία στο δίσκο μου λέγονταν αποτελέσματα.pdf....

Τώρα είναι ΟΚ και τα αποτελέσματα είναι εντάξει.

Αποτελέσματα 2ου σετ ασκήσεων

Sat, 13 Feb 2010 00:00:00 +0300

Τα αποτελέσματα του 2ου σετ ασκήσεων έχουν αναρτηθεί στα έγγραφα.

Καλό διάβασμα και καλή επιτυχία στις εξετάσεις....

Να είστε καλά!

Σχετικά με τα 1.000.000 χρόνια

Fri, 12 Feb 2010 00:00:00 +0300

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

Η SWI-Prolog στα Unix ξεκινάει με την εντολή swipl η οποία μας βάζει στο περιβάλλον της Prolog. (Προσοχή, swipl χωρίς τελεία)

Για παράδειγμα:

> yourself:yourselfs-macbook [~/pl]> swipl
> % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,688 bytes
> Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 5.8.3)
> Copyright (c) 1990-2009 University of Amsterdam.
> SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
> and you are welcome to redistribute it under certain conditions.
> Please visit http://www.swi-prolog.org for details.
>
> For help, use ?- help(Topic). or ?- apropos(Word).
>
> ?-

Από εδώ και πέρα, ότι γράφουμε είναι ερωτήματα Prolog. Αν, για κάποιο λόγο γράψουμε και πάλι swipl. (με τελεία αυτή τη φορά) θα μας βγάλει, όπως περιμάναμε error αφού δεν ξέρει τί είναι το κατηγόρημα swipl/0. Αν όμως γράψουμε SWIPL. τότε γίνεται κάτι περίεργο:

> ?- SWIPL.
> % ... 1,000,000 ............ 10,000,000 years later
> %
> % >> 42 << (last release gives the question)

Για την ακρίβεια, αυτό που συμβαίνει δεν έχει να κάνει τόσο με το ότι γράφουμε swipl με κεφαλαία, όσο με το ότι αυτό που έχουμε γράψει ξεκινάει από κεφαλαίο. Και Χ. να είχαμε γράψει, το ίδιο θα συνέβαινε. Το πρότυπο της Prolog δεν περιλαμβάνει τέτοιου είδους ερωτήσεις, μιας και η Prolog υλοποιεί πρώτης τάξης κατηγορηματική λογική οπότε δεν μπορούμε να ταυτοποιήσουμε κατηγορήματα με μεταβλητές, παρά μόνο στοιχεία από το εκάστοτε μοντέλο μας. (Μια 2ης τάξης κατηγορηματική λογική θα μπορούσε να απαντήσει, πχ, ότι X = member όπου member είναι το γνωστό κατηγόρημα member/2). Άρα δεν έχει νόημα να ρωτήσουμε την prolog για τι "πράματα" ισχύει το X, γιατί να να ισχύσει το X θα έπρεπε να ταυτοποιηθεί με ένα κατηγόρημα (με 0 παραμέτρους) και όχι με ένα στοιχείο. Άρα η SWI-Prolog είναι ελεύθερη να μας απαντήσει με λάθος. Η πορεία που έχουν ακολουθήσει στην SWI-Prolog είναι να κάνουν ένα αστείο: είναι αυτά που λέμε easter eggs στα προγράμματα: κάνει μια αστεία αναφορά στο υπέροχο μυθιστόρημα The Hitchhiker\'s Guide To The Galaxy του αείμνηστου Douglas Adams: στο μυθιστόρημα κάποιο είχαν φτιάξει έναν τεράστιο και πανίσχυρο υπολογιστή που θα απαντούσε στην ερώτηση: "What\'s the answer to Life, The Universe, and Everything" και, ύστερα από δεκάδες εκατομμύρια χρόνια υπολογισμού, ο υπολογιστής τους έδωσε την απάντηση "42" μέσα σε μια γενική και υπερβολική απογοήτευση των παρευρισκομένων. Αφού λοιπόν ξεπεράστηκε το σοκ της απάντησης, ο υπολογιστής δήλωσε ότι δεν υπάρχει, στα σίγουρα, τίποτα το προβληματικό με την απάντηση, όμως το πρόβλημα είναι ότι δεν ήξεραν τί ρώταγαν και δεν ήξεραν πραγματικά την Ερώτηση. Αλλά να μην ανησυχούν: ο υπολογιστής ο ίδιος θα σχεδίαζε έναν ακόμα ποιο ισχυρό υπολογιστή που θα υπολόγιζε την Ερώτηση (εξ\'ου και last release gives the question). Για την Ερώτηση, ανατρέξτε στα βιβλία... :-)

Να είστε καλά.
(Και αν έχετε χρόνο και όρεξη, διαβάστε την τριλογία (που αποτελείται από 5 βιβλία) The Hitchhiker\'s Guide To The Galaxy: είναι εξαιρετικά αστεία)
(By the way, στα Ελληνικά είναι μεταφρασμένο ως: Γυρίστε Το Γαλαξία Με Οτοστόπ)

Επικοινωνία με email

Wed, 03 Feb 2010 00:00:00 +0300

Καλημέρα,

Όποιος θέλει να επικοινωνήσει μαζί μου με email καλύτερα να μου στείλει στο b.kountouriotis παπάκι gmail.com

Το yourself παπάκι uop.gr καμιά φορά μου παρουσιάζει προβλήματα με αποτέλεσμα να αργώ να λάβω τα email μου (και άρα και να σας απαντήσω).

Αποτελέσματα 1ου σετ ασκήσεων - Ορθή επανάληψη

Tue, 26 Jan 2010 00:00:00 +0300

Μιας και μας πέτυχε ο δαίμων του spam filtering, τα (πλήρη) αποτελέσματα εχουν ξαναανέβει στα έγγραφα.

Να είστε καλά!!

Αποτελέσματα 1ου σετ ασκήσεων

Sun, 24 Jan 2010 00:00:00 +0300

Καλημέρα!!

Έχουν αναρτηθεί τα αποτελέσματα του 1ου σετ ασκήσεων στην περιοχή των εγγράφων!

Να είστε καλά...

2ο σετ ασκήσεων!

Sun, 24 Jan 2010 00:00:00 +0300

Καλησπέρα!!

Το 2ο σετ ασκήσεων αναρτήθηκε ήδη στην περιοχή των εγγράφων. Για τη βαθμολογία ισχύει ό,τι ίσχυε και για το 1ο σετ ασκήσεων.

Να είστε καλά!

(Ναι, θα τις συζητήσουμε και στην τάξη)

1ο σετ ασκήσεων!

Wed, 23 Dec 2009 00:00:00 +0300

Καλησπέρα και χρόνια πολλά!!

Έχει ήδη αναρτηθεί στα έγγραφα το πρώτο σετ ασκήσεων με ημερομηνία παράδοσης 21/01/2010.

Σημειώνεται ότι θα υπάρξει και δεύτερο σετ ασκήσεων.

Οι ασκήσεις θα είναι το 20% (10% το πρώτο σετ και 10% το δεύτερο σετ) του τελικού βαθμού.

Κάθε ερώτημα του 1ου σετ πιάνει το 1/8 του 10% (δηλαδή 0.125) του τελικού βαθμού.

Να είστε καλά και να περάσετε καλά!
Καλές γιορτές!

Μάθημα 26/11/2009

Wed, 25 Nov 2009 00:00:00 +0300

Καλημέρα!!

Η κατάληψη έχει σχεδόν λήξει υπό την έννοια ότι θα γίνουν μαθήματα αλλά δεν θα λειτουργεί καμία διοικητική υπηρεσία. Ως εκ τούτου, το μάθημα αύριο 26/11 θα γίνει κανονικά.

Να είστε καλά!

Μάθημα της 19/11/2009 - ακυρώνεται οριστικά

Wed, 18 Nov 2009 00:00:00 +0300

Η σχολή συνεχίζει να τελεί υπό κατάληψη οπότε το μάθημα αύριο 19 Νοεμβρίου ακυρώνεται οριστικά....

Να είστε καλά!!

Κατάληψη και μάθημα της 19/11/2009

Tue, 17 Nov 2009 00:00:00 +0300

Καλησπέρα,

Η κατάληψη συνεχίζεται και αύριο θα αποφασιστεί η συνέχεια ή η λήξη της.

Θα προσπαθήσω να σας ενημερώσω έγκαιρα για το αποτέλεσμα ώστε να μην έλθετε στο τμήμα την Πέμπτη αν δεν γίνει το μάθημα...

Να είστε καλα!

Σημειώσεις, έκδοση 2

Tue, 17 Nov 2009 00:00:00 +0300

Καλησπέρα, είναι διαθέσιμες οι σημειώσεις του μαθήματος με κάποιες ελάχιστες διορθωσούλες στη σελίδα του eclass

Μάθημα Πέμπτης 12/11/2009 - ακυρώνεται οριστικά

Wed, 11 Nov 2009 00:00:00 +0300

Καλησπέρα και πάλι!

Η σχολή συνεχίζει να είναι κλειστή λόγω κατάληψης (εκτός και αν προκύψει κάτι) οπότε το μάθημα για αύριο 12/11/2009 ακυρώνεται....

Να είστε καλά!

Site σχολής

Tue, 10 Nov 2009 00:00:00 +0300

Το site του μαθήματος έχει ανέβει, στη διεύθυνση

http://www.uop.gr/~yourself/

Εκεί θα βρείτε τις σημειώσεις του μαθήματος καθώς και τις διαφάνεις των διαλέξεων μέχρι στιγμής ...

Μάθημα Πέμπτης 12/11/2009

Tue, 10 Nov 2009 00:00:00 +0300

Η σχολή μέχρι και εχθές (9/11/2009) τελούσε υπό κατάληψη. Αν η κατάληψη συνεχιστεί, το μάθημα της Πέμπτης 12/11/2009 δεν θα γίνει.

Να είστε καλά!