Λογική

Section outline

• Επιλογή ενότητας Γενικά στοιχεία για το μάθημα

  Σύμπτυξη Ανάπτυξη

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

  Σύμπτυξη όλων Ανάπτυξη όλων

  • Επιλογή δραστηριότητας Γενικές πληροφορίες

    

    Γενικές πληροφορίες Σελίδα
  • Επιλογή δραστηριότητας Περιγραφή - Περιεχόμενο μαθήματος

    

    Περιγραφή - Περιεχόμενο μαθήματος Σελίδα
  • Επιλογή δραστηριότητας Στοιχεία διδάσκοντα

    

    Στοιχεία διδάσκοντα Σελίδα
  • Επιλογή δραστηριότητας Στόχοι μαθήματος - Μαθησιακά αποτελέσματα

    

    Στόχοι μαθήματος - Μαθησιακά αποτελέσματα Σελίδα
  • Επιλογή δραστηριότητας Προαπαιτούμενα

    

    Προαπαιτούμενα Σελίδα
  • Επιλογή δραστηριότητας Βιβλιογραφία - Πηγές

    

    Βιβλιογραφία - Πηγές Σελίδα
  • Επιλογή δραστηριότητας Ομάδα συζητήσεων ειδήσεων

    

    Ομάδα συζητήσεων ειδήσεων Φόρουμ
• Επιλογή ενότητας Σημειώσεις

  Σύμπτυξη Ανάπτυξη

  Σημειώσεις

  • Επιλογή δραστηριότητας 1. Προτασιακός Λογισμός

    

    1. Προτασιακός Λογισμός Αρχείο
  • Επιλογή δραστηριότητας 2. Συστήματα Αποδείξεων για τον ΠΛ, Μορφολογική Παραγωγή, Κατασκευή Μοντέλων

    

    2. Συστήματα Αποδείξεων για τον ΠΛ, Μορφολογική Παραγωγή, Κατασκευή Μοντέλων Αρχείο
  • Επιλογή δραστηριότητας 3. Μέθοδος της Επίλυσης

    

    3. Μέθοδος της Επίλυσης Αρχείο
  • Επιλογή δραστηριότητας 4. Ακολουθίες Επίλυσης, Επίλυση για όρους Horn, Λογικός Προγραμματισμός

    

    4. Ακολουθίες Επίλυσης, Επίλυση για όρους Horn, Λογικός Προγραμματισμός Αρχείο
  • Επιλογή δραστηριότητας 5. Κατηγορηματικός Λογισμός

    

    5. Κατηγορηματικός Λογισμός Αρχείο
• Επιλογή ενότητας Διαλέξεις

  Σύμπτυξη Ανάπτυξη

  Διαλέξεις
• Επιλογή ενότητας 1. Εισαγωγή

  Σύμπτυξη Ανάπτυξη

  1. Εισαγωγή

  • Επιλογή δραστηριότητας 1. Εισαγωγική διάλεξη

    

    1. Εισαγωγική διάλεξη Αρχείο
• Επιλογή ενότητας 2. Προτασιακός Λογισμός

  Σύμπτυξη Ανάπτυξη

  2. Προτασιακός Λογισμός

  • Επιλογή δραστηριότητας Ενότητα 2.1

    

    Ενότητα 2.1 Σελίδα
  • Επιλογή δραστηριότητας Ενότητα 2.2

    

    Ενότητα 2.2 Σελίδα
  • Επιλογή δραστηριότητας Ενότητα 2.3

    

    Ενότητα 2.3 Σελίδα
  • Επιλογή δραστηριότητας Ενότητα 2.4

    

    Ενότητα 2.4 Σελίδα
  • Επιλογή δραστηριότητας Ενότητα 2.5

    

    Ενότητα 2.5 Σελίδα
  • Επιλογή δραστηριότητας Ενότητα 2.6

    

    Ενότητα 2.6 Σελίδα
  • Επιλογή δραστηριότητας Ενότητα 2.7

    

    Ενότητα 2.7 Σελίδα
  • Επιλογή δραστηριότητας Ενότητα 2.8

    

    Ενότητα 2.8 Σελίδα
  • Επιλογή δραστηριότητας Ενότητα 2.9

    

    Ενότητα 2.9 Σελίδα
  • Επιλογή δραστηριότητας Ενότητα 2.10

    

    Ενότητα 2.10 Σελίδα
  • Επιλογή δραστηριότητας Ενότητα 2.11

    

    Ενότητα 2.11 Σελίδα
  • Επιλογή δραστηριότητας Ενότητα 2.12

    

    Ενότητα 2.12 Σελίδα
• Επιλογή ενότητας 3. Κατηγορηματικός Λογισμός

  Σύμπτυξη Ανάπτυξη

  3. Κατηγορηματικός Λογισμός

  • Επιλογή δραστηριότητας Ενότητα 3.1

    

    Ενότητα 3.1 Σελίδα
  • Επιλογή δραστηριότητας Ενότητα 3.2

    

    Ενότητα 3.2 Σελίδα
  • Επιλογή δραστηριότητας Ενότητα 3.3

    

    Ενότητα 3.3 Σελίδα
  • Επιλογή δραστηριότητας Ενότητα 3.4

    

    Ενότητα 3.4 Σελίδα
• Επιλογή ενότητας Φροντιστήρια - Ασκήσεις

  Σύμπτυξη Ανάπτυξη

  Φροντιστήρια - Ασκήσεις

  • Επιλογή δραστηριότητας 1. Propositional Calculus

    1. Προτασιακός Λογισμός

  • Επιλογή δραστηριότητας 1.1 Συνέπεια, Εγκυρότητα, Ισοδυναμίες

    

    1.1 Συνέπεια, Εγκυρότητα, Ισοδυναμίες Αρχείο
  • Επιλογή δραστηριότητας Ασκήσεις Φροντιστηρίου 1.1

    

    Ασκήσεις Φροντιστηρίου 1.1 Αρχείο
  • Επιλογή δραστηριότητας 1.2 Κανονικές Μορφές, Απλός Αλγόριθμος Μετατροπής σε CNF/DNF, Άρνηση

    

    1.2 Κανονικές Μορφές, Απλός Αλγόριθμος Μετατροπής σε CNF/DNF, Άρνηση Αρχείο
  • Επιλογή δραστηριότητας Ασκήσεις Φροντιστηρίου 1.2

    

    Ασκήσεις Φροντιστηρίου 1.2 Αρχείο
  • Επιλογή δραστηριότητας 1.3 Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF

    

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

    

    Ασκήσεις Φροντιστηρίου 1.3 Αρχείο
  • Επιλογή δραστηριότητας 1.4 Μορφολογική Παραγωγή

    

    1.4 Μορφολογική Παραγωγή Αρχείο
  • Επιλογή δραστηριότητας Ασκήσεις Φροντιστηρίου 1.4 (α)

    

    Ασκήσεις Φροντιστηρίου 1.4 (α) Αρχείο
  • Επιλογή δραστηριότητας Ασκήσεις Φροντιστηρίου 1.4 (β)

    

    Ασκήσεις Φροντιστηρίου 1.4 (β) Αρχείο
  • Επιλογή δραστηριότητας 1.5 Κατασκευή Μοντέλων

    

    1.5 Κατασκευή Μοντέλων Αρχείο
  • Επιλογή δραστηριότητας 1.6 Μέθοδος Επίλυσης

    

    1.6 Μέθοδος Επίλυσης Αρχείο
  • Επιλογή δραστηριότητας 1.7 Ακολουθίες Επίλυσης, Επίλυση για όρους Horn

    

    1.7 Ακολουθίες Επίλυσης, Επίλυση για όρους Horn Αρχείο
  • Επιλογή δραστηριότητας 2. Predicate Calculus

    2. Κατηγορηματικός Λογισμός

  • Επιλογή δραστηριότητας 2.1 Κατηγορηματικός Λογισμός

    

    2.1 Κατηγορηματικός Λογισμός Αρχείο
  • Επιλογή δραστηριότητας 2.2 Μορφολογική Παραγωγή

    

    2.2 Μορφολογική Παραγωγή Αρχείο
  • Επιλογή δραστηριότητας 3. Ασκήσεις Aυτοαξιολόγησης

    3. Ασκήσεις Aυτοαξιολόγησης

  • Επιλογή δραστηριότητας Aυτοαξιολόγηση

    

    Aυτοαξιολόγηση Αρχείο
• Επιλογή ενότητας test

  Σύμπτυξη Ανάπτυξη

  test

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