Anteprima
Στοιχεία Λογικής και Θεωρίας Συνόλων (K026)
(PHS210) - Γιώργος Ζήκος
Descrizione del Corso
Άλγεβρα συνόλων. Σχέσεις ισοδυναμίας και διάταξης. Συναρτήσεις. Πληθικότητα συνόλων.
Προτασιακή λογική: πίνακες αλήθειας, ταυτολογικές συνεπαγωγές, τυπικές αποδείξεις.
Κατηγορηματική λογική: πρωτοβάθμιες γλώσσες, λογικές συνεπαγωγές.
Creation Date
mercoledì 6 marzo 2013
-
Syllabus
Μέθοδοι αξιολόγησης / βαθμολόγησης
Ασκήσεις κατά τη διάρκεια του εξαμήνου και τελική εξέταση.
Οι ασκήσεις μπορούν να αυξήσουν το βαθμό της τελικής εξέτασης έως και 2 μονάδες.