Browsing by Keywords "Predicate Calculus"
Now showing items 1-1 of 1
-
Ανάλυση φιλοσοφικού λόγου στην τυπική γλώσσα του Κατηγορηματικού Λογισμού
(Πανεπιστήμιο Δυτικής Αττικής, 2020-11-27)Η ιστορία της επιστήμης της λογικής ανάγεται πολλούς αιώνες πίσω, στην εποχή του Αριστοτέλη, ο οποίος υπήρξε και θεμελιωτής της. Τους δύο τελευταίους αιώνες η εξέλιξη της ήταν ραγδαία και πλέον αποτελεί απαραίτητο στοιχείο ...