Μετάβαση στο κεντρικό περιεχόμενο
Call us
: 2810-393312
Διεύθυνση ηλε.ταχυδρομείου :
helpdesk@uoc.gr
Ελληνικά (el)
Ελληνικά (el)
English (en)
Αυτή τη στιγμή χρησιμοποιείτε πρόσβαση επισκέπτη
Σύνδεση
Αρχική
Ημερολόγιο
Αρχική
Ημερολόγιο
Περισσότερα
Ανάπτυξη όλων
Σύμπτυξη όλων
Άνοιγμα ευρετηρίου μαθήματος
Άνοιγμα συρταριού μπλοκ
ΗΥ-180-OC
Φροντιστήρια - Ασκήσεις
Φροντιστήρια - Ασκήσεις
Section outline
Επιλογή δραστηριότητας 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υτοαξιολόγηση
Αρχείο
