Λογική για Υπολογιστές

Βασίλειος Κουντουριώτης, Κων/νος Κούτρας

Περιγραφή
Μαθηματική θεμελίωση της Προτασιακής και Κατηγορηματικής Λογικής, παρουσίαση διαφόρων Αποδεικτικών Συστημάτων, σύνδεση με τον Λογικό Προγραμματισμό και εκμάθηση της γλώσσας Λογικού Προγραμματισμού Prolog.

Ανακοινώσεις

περισσότερα…