Μετάβαση στο κεντρικό περιεχόμενο
Call us : 2810-393312
Διεύθυνση ηλε.ταχυδρομείου :
helpdesk@uoc.gr
Ελληνικά (el)
Ελληνικά (el)
English (en)
Αυτή τη στιγμή χρησιμοποιείτε πρόσβαση επισκέπτη
Σύνδεση
Αρχική
Αρχική
Περισσότερα
Άνοιγμα ευρετηρίου μαθήματος
Άνοιγμα συρταριού μπλοκ
Λογική
Περιγραφή θέματος
Γενικά στοιχεία για το μάθημα
Σύμπτυξη όλων
Ανάπτυξη όλων
Γενικές πληροφορίες
Σελίδα
Περιγραφή - Περιεχόμενο μαθήματος
Σελίδα
Στοιχεία διδάσκοντα
Σελίδα
Στόχοι μαθήματος - Μαθησιακά αποτελέσματα
Σελίδα
Προαπαιτούμενα
Σελίδα
Βιβλιογραφία - Πηγές
Σελίδα
Ομάδα συζητήσεων ειδήσεων
Φόρουμ
Σημειώσεις
1. Προτασιακός Λογισμός
Αρχείο
2. Συστήματα Αποδείξεων για τον ΠΛ, Μορφολογική Παραγωγή, Κατασκευή Μοντέλων
Αρχείο
3. Μέθοδος της Επίλυσης
Αρχείο
4. Ακολουθίες Επίλυσης, Επίλυση για όρους Horn, Λογικός Προγραμματισμός
Αρχείο
5. Κατηγορηματικός Λογισμός
Αρχείο
Διαλέξεις
1. Εισαγωγή
1. Εισαγωγική διάλεξη
Αρχείο
2. Προτασιακός Λογισμός
Ενότητα 2.1
Σελίδα
Ενότητα 2.2
Σελίδα
Ενότητα 2.3
Σελίδα
Ενότητα 2.4
Σελίδα
Ενότητα 2.5
Σελίδα
Ενότητα 2.6
Σελίδα
Ενότητα 2.7
Σελίδα
Ενότητα 2.8
Σελίδα
Ενότητα 2.9
Σελίδα
Ενότητα 2.10
Σελίδα
Ενότητα 2.11
Σελίδα
Ενότητα 2.12
Σελίδα
3. Κατηγορηματικός Λογισμός
Ενότητα 3.1
Σελίδα
Ενότητα 3.2
Σελίδα
Ενότητα 3.3
Σελίδα
Ενότητα 3.4
Σελίδα
Φροντιστήρια - Ασκήσεις
1. Προτασιακός Λογισμός
1.1 Συνέπεια, Εγκυρότητα, Ισοδυναμίες
Αρχείο
Ασκήσεις Φροντιστηρίου 1.1
Αρχείο
1.2 Κανονικές Μορφές, Απλός Αλγόριθμος Μετατροπής σε CNF/DNF, Άρνηση
Αρχείο
Ασκήσεις Φροντιστηρίου 1.2
Αρχείο
1.3 Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF
Αρχείο
Ασκήσεις Φροντιστηρίου 1.3
Αρχείο
1.4 Μορφολογική Παραγωγή
Αρχείο
Ασκήσεις Φροντιστηρίου 1.4 (α)
Αρχείο
Ασκήσεις Φροντιστηρίου 1.4 (β)
Αρχείο
1.5 Κατασκευή Μοντέλων
Αρχείο
1.6 Μέθοδος Επίλυσης
Αρχείο
1.7 Ακολουθίες Επίλυσης, Επίλυση για όρους Horn
Αρχείο
2. Κατηγορηματικός Λογισμός
2.1 Κατηγορηματικός Λογισμός
Αρχείο
2.2 Μορφολογική Παραγωγή
Αρχείο
3. Ασκήσεις Aυτοαξιολόγησης
Aυτοαξιολόγηση
Αρχείο
test
Δεν είναι διαθέσιμο