δείτε την πρωτότυπη σελίδα τεκμηρίου στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
Από τη φιλοσοφική λογική στη βιομηχανική λογική
(EL)
Σταμούλης, Βασίλειος
(EL)
Μπαλτζής, Σωκράτης
(EL)
Σταμούλης, Βασίλειος
(EL)
Πανεπιστήμιο Ιωαννίνων. Σχολή Θετικών Επιστημών. Τμήμα Μαθηματικών
(EL)
Στη διατριβή αυτή μελετήσαμε την εξέλιξη της Λογικής από τη Αριστοτελική Φιλοσοφία μέχρι σήμερα. Από την Αναγέννηση, τον Διαφωτισμό μέχρι και την εποχή της Βιομηχανικής Επανάστασης φωτισμένοι Μαθηματικοί με καινοτόμες ιδέες εισήγαγαν τον μαθηματικό φορμαλισμό στη Λογική και αργότερα την έννοια της αυτόματης υπολογιστικής προσέγγισης.
Οι εξελίξεις αφενός με τον Turing και τη γνωστή Μηχανή Turing που εισάγει οδηγούν στην κατασκευή του πρώτου Η/Υ, αφετέρου ο Von Neuman με τη Θεωρία Αυτομάτων θεμελιώνει την Επιστήμη των Η/Υ, ολοκληρώνοντας τη Μαθηματική Θεωρία Υπολογισμού και εγκαινιάζοντας τη Βιομηχανική Λογική με προϊόντα και μηχανικά αλλά και λογισμικά.
Στο κεφάλαιο 1, εισάγουμε την έννοια της Λογικής.
Το κεφάλαιο 2 αναφέρεται στη Φιλοσοφική Λογική του Αριστοτέλη που είναι η βάση της εξέλιξης της Λογικής.
Το κεφάλαιο 3 συνδέει τα Μαθηματικά και τη Λογική.
Στο κεφάλαιο 4, τονίζουμε την αυτοματοποίηση της Μαθηματικής Λογικής στα πρώτα χρόνια της Βιομηχανικής περιόδου και την εισαγωγή της Επιστήμης των Η/Υ
Στο κεφάλαιο 5, αναδεικνύουμε τη σχέση της Λογικής με τη Τεχνητή Νοημοσύνη, ενώ παράλληλα παραθέτομε σύγχρονα βιομηχανικά προϊόντα της Βιομηχανικής Λογικής και ενδεικτικές εφαρμογές της Γλωσσικής Τεχνολογίας.
Στο κεφάλαιο 6, συμπεριλαμβάνομε συμπεράσματα από την εργασία και προτάσεις για περαιτέρω έρευνα.
Τέλος στα Παραρτήματα περιλαμβάνονται 2 γλωσσάρια ελληνοαγγλικών και αγγλοελληνικών όρων της διατριβής αντίστοιχα καθώς και αναλυτικοί ορισμοί και βασικές έννοιες που απλά αναφέρονται στη διατριβή.
(EL)
In this dissertation we studied the development of Logic from the Aristotelian Philosophy to the present day. From the Renaissance, the Enlightenment to the Age of Industrial Revolution enlightened mathematicians with innovative ideas introduced mathematical formalism into Logic and later the concept of automatic computational approach.
In one hand Turing theories introduce Turing Machine led to the invention of computer, in the other hand Von Neumann’s Automata Theory establish a new science, the Computer Science. Thus, the Computational Theory arises and it leads to the Industrial Logic and Industrial Logic products which concerns hardware as well as software productions.
In Chapter 1, we introduce the concept of Logic.
Chapter 2 refers to Aristotle’s Philosophical Logic, the basis of the Logic forthcoming development.
Chapter 3 links Mathematics and Logic.
Chapter 4 refers to the automation of Mathematical Logic in the early years of the Industrial Age and the establishment of Computer Science.
In Chapter 5, the relationship between Logic and Artificial Intelligence is highlighted, while we present contemporary Industrial Logic products and indicative Language Technology applications.
Chapter 6 refers to the dissertation conclusions and proposals for further research.
Finally, in the Appendices are included two glossaries of a Greek-English and an English-Greek basic dissertation terms correspondingly. In the third Appendix is included definitions and basic theories which are referred in the dissertation.
(EN)
Πανεπιστήμιο Ιωαννίνων. Σχολή Θετικών Επιστημών. Τμήμα Μαθηματικών
(EL)
*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.
Βοηθείστε μας να κάνουμε καλύτερο το OpenArchives.gr.
