Μαθήματα Λογικής Εαρινού Εξ. 2019

Εικόνα scosmada
Κατηγορία: 

1 Μαθηματική Λογική και Εφαρμογές της:  Είναι γενική εισαγωγή στη Λογική Α' Τάξης. Δεν υπάρχει ουσιαστική επικάλυψη με το "Ειδικά Θέματα Υπολογιστικής Λογικής" του Χειμερινού Εξαμήνου.  Το πρώτο μάθημα θα γίνει την Παρασκευή 22-2.

2 Σημασιολογία και Ορθότητα Προγραμμάτων:  Εξετάζει εξειδικευμένα λογικά συστήματα, τη σχετική θεωρία και τις εφαρμογές τους. Θεωρείται ουσιαστικό προαπαιτούμενο το "Μαθηματική Λογική και Εφαρμογές της", ή άλλο ισοδύναμο μάθημα. Προσοχή: Το "Ειδικά Θέματα Υπολογιστικής Λογικής" (του Χειμερινού Εξαμήνου) δεν καλύπτει το προαπαιτούμενο.  Οι φοιτητές που ενδιαφέρονται για το μάθημα, να επικοινωνήσουν με τον διδάσκοντα. Το πρώτο μάθημα θα είναι την Τετάρτη 27-2.

Σ. Κοσμαδάκης scosmada@cti.gr

Related Lesson: 
Μαθηματική Λογική και Εφαρμογές της

Startup Growth Lite is a free theme, contributed to the Drupal Community by More than Themes.