Επισκόπηση Μαθήματος
Το μάθημα ΗΥ-180 (Λογική) αποτελεί μια εισαγωγή στη Μαθηματική Λογική και το ρόλο που αυτή παίζει στην Επιστήμη Υπολογιστών. Εξετάζει βασικές έννοιες από τον Προτασιακό και Κατηγορηματικό Λογισμό (Propositional and Predicate Calculus), τα Τυπικά Συστήματα Αποδείξεων (Formal Proof Systems) και τις Πρωτοβάθμιες Θεωρίες (First-Order Theories). Ένα μέρος του μαθήματος θα αφιερωθεί στον Λογικό Προγραμματισμό (Logic Programming) και σε Συστήματα Αυτομάτων Αποδείξεων (Automated Theorem-Proving Systems).
Προαπαιτούμενα
Τυπικά, δεν υπάρχει προαπαιτούμενο μάθημα. Επι της ουσίας, ωστόσο, απαιτείται εξοικείωση με το μαθηματικό συμβολισμό, βασικές γνώσεις Άλγεβρας και Ανάλυσης, εξοικείωση με τη χρήση υπολογιστή και γνώση τουλάχιστον μιας γλώσσας προγραμματισμού. Δεν συνιστάται για φοιτητές που βρίσκονται στο πρώτο έτος σπουδών
<Βαθμολόγηση
Ο βαθμός στο μάθημα θα βασιστεί σε υποχρεωτικές ασκήσεις (Α), σε μια πρόοδο (Π) και στην τελική εξέταση (Τ) σύμφωνα με τον τύπο:
- Βαθμός = 0.3 * Α + max(0.7 * T, 0.3 * Π + 0.4 * T), αν Τ ≥ 4 και Α > 0
- Διαφορετικά:
- αν Τ < 4, Βαθμός = Τ, ανεξάρτητα από Α
- αν Α = 0, Βαθμός = 0, ανεξάρτητα από Τ
Επικοινωνία
Εγγραφείτε στη λίστα του μαθήματος, στέλνοντας μήνυμα σε μορφή απλού κειμένου (plain text format) από τον προσωπικό σας
λογαριασμό στο majordomo@csd.uoc.gr, γράφοντας subscribe hy180-list στο σώμα του μηνύματος. Η λίστα χρησιμοποιείται από το
διδάσκοντα και τους βοηθούς για ανακοινώσεις που αφορούν το μάθημα. Επίσης, μέσω αυτής, μπορείτε να υποβάλλετε τις απορίες και
τα ερωτήματά σας.
Από φέτος (εαρινό εξάνηνο 2019-20) το μάθημα διαθέτει ιστοσελίδα στο UoC-eLearn. Παρόλο που η πρόσβαση στην ιστοσελίδα είναι ελεύθερη (ως Επισκέπτης), όσοι παρακολουθούν το μάθημα πρέπει να κάνουν αυτο-εγγραφή. Επίσης, η παράδοση των ασκήσεων θα γίνεται πλέον ηλεκτρονικά μέσω της πλατφόρμας του UoC-eLearn.