Λογική

Περιγραφή θέματος

• 

  Γενικά στοιχεία για το μάθημα

  • Γενικές πληροφορίες Σελίδα
  • Περιγραφή - Περιεχόμενο μαθήματος Σελίδα
  • Στοιχεία διδάσκοντα Σελίδα
  • Στόχοι μαθήματος - Μαθησιακά αποτελέσματα Σελίδα
  • Προαπαιτούμενα Σελίδα
  • Βιβλιογραφία - Πηγές Σελίδα
  • Ομάδα συζητήσεων ειδήσεων Φόρουμ
• 

  Σημειώσεις

  • 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

  Δεν είναι διαθέσιμο