8. Μαθηματικό Υπόβαθρο Ι : Στοιχεία Μαθηματικής Λογικής και Θεωρίας Συνόλων
Section outline
-
Περιεχόμενα Ενότητας - Βιβλιογραφία
- Επιλεγμένα θέματα από τη Θεωρία Συνόλων, τη Μαθηματική Λογική και τον Προτασιακό Λογισμό στα οποία βασίζονται οι Σχεσιακές Βάσεις Δεδομένων.
- Χρήση των διαγραμμάτων Venn για πράξεις συνόλων.
Βιβλιογραφία Ενότητας: [1]: Τόμ. Α, Κεφ. 1 § 1.1-1.3, [2]: Κεφ. Κεφ. 1 §1.2.
Οι φοιτητές να κατανοήσουν βασικές έννοιες από τη Μαθηματική Λογική, τον Προτασιακό Λογισμό και τη Θεωρία Συνόλων στις οποίες βασίζονται οι Σχεδιακές Βάσεις Δεδομένων και να καταστούν ικανοί να χρησιμοποιούν τα διαγράμματα Venn για πράξεις συνόλων.
Μαθησιακοί στόχοι
Λέξεις-ΚλειδιάΜαθηματική Λογική, Προτασιακός Λογισμός, Πίνακες Αληθείας, Θεωρία Συνόλων, Σύνολο, Υποσύνολο, Γνήσιο Υποσύνολο, Διάγραμμα Venn