Παρουσίαση/Προβολή

Στοιχεία Λογικής και Θεωρίας Συνόλων (K026)

(PHS210) - Γιώργος Ζήκος

Περιγραφή Μαθήματος

Άλγεβρα συνόλων. Σχέσεις ισοδυναμίας και διάταξης. Συναρτήσεις. Πληθικότητα συνόλων.

Προτασιακή λογική: πίνακες αλήθειας, ταυτολογικές συνεπαγωγές, τυπικές αποδείξεις.

Κατηγορηματική λογική: πρωτοβάθμιες γλώσσες, λογικές συνεπαγωγές.

Ημερομηνία δημιουργίας

Τετάρτη 6 Μαρτίου 2013