Μαθηματική Λογική
Ενότητες
Ενότητα 1: Εισαγωγή
Γίνεται μια σύντομη αναφορά στην εξέλιξη της Λογικής, καθώς και αναφορά στη διαφορά μεταξύ φυσικών και τυπικών γλωσσών, καθώς και στη διαφορά μεταξύ σημασιολογικής και συντακτικής πλευράς μια γλώσσας.
Λέξεις κλειδιά: τυπική γλώσσα, μεταγλώσσα, σημασιολογία, συντακτικό
Βιντεοδιαλέξεις | ||
Ενότητα 1 - Εισαγωγή |