Από τη φιλοσοφική λογική στη βιομηχανική λογική
Φόρτωση...
Ημερομηνία
Συγγραφείς
Σταμούλης, Βασίλειος
Τίτλος Εφημερίδας
Περιοδικό ISSN
Τίτλος τόμου
Εκδότης
Πανεπιστήμιο Ιωαννίνων. Σχολή Θετικών Επιστημών. Τμήμα Μαθηματικών
Περίληψη
Τύπος
Είδος δημοσίευσης σε συνέδριο
Είδος περιοδικού
Είδος εκπαιδευτικού υλικού
Όνομα συνεδρίου
Όνομα περιοδικού
Όνομα βιβλίου
Σειρά βιβλίου
Έκδοση βιβλίου
Συμπληρωματικός/δευτερεύων τίτλος
Περιγραφή
Στη διατριβή αυτή μελετήσαμε την εξέλιξη της Λογικής από τη Αριστοτελική Φιλοσοφία μέχρι σήμερα. Από την Αναγέννηση, τον Διαφωτισμό μέχρι και την εποχή της Βιομηχανικής Επανάστασης φωτισμένοι Μαθηματικοί με καινοτόμες ιδέες εισήγαγαν τον μαθηματικό φορμαλισμό στη Λογική και αργότερα την έννοια της αυτόματης υπολογιστικής προσέγγισης.
Οι εξελίξεις αφενός με τον Turing και τη γνωστή Μηχανή Turing που εισάγει οδηγούν στην κατασκευή του πρώτου Η/Υ, αφετέρου ο Von Neuman με τη Θεωρία Αυτομάτων θεμελιώνει την Επιστήμη των Η/Υ, ολοκληρώνοντας τη Μαθηματική Θεωρία Υπολογισμού και εγκαινιάζοντας τη Βιομηχανική Λογική με προϊόντα και μηχανικά αλλά και λογισμικά.
Στο κεφάλαιο 1, εισάγουμε την έννοια της Λογικής.
Το κεφάλαιο 2 αναφέρεται στη Φιλοσοφική Λογική του Αριστοτέλη που είναι η βάση της εξέλιξης της Λογικής.
Το κεφάλαιο 3 συνδέει τα Μαθηματικά και τη Λογική.
Στο κεφάλαιο 4, τονίζουμε την αυτοματοποίηση της Μαθηματικής Λογικής στα πρώτα χρόνια της Βιομηχανικής περιόδου και την εισαγωγή της Επιστήμης των Η/Υ
Στο κεφάλαιο 5, αναδεικνύουμε τη σχέση της Λογικής με τη Τεχνητή Νοημοσύνη, ενώ παράλληλα παραθέτομε σύγχρονα βιομηχανικά προϊόντα της Βιομηχανικής Λογικής και ενδεικτικές εφαρμογές της Γλωσσικής Τεχνολογίας.
Στο κεφάλαιο 6, συμπεριλαμβάνομε συμπεράσματα από την εργασία και προτάσεις για περαιτέρω έρευνα.
Τέλος στα Παραρτήματα περιλαμβάνονται 2 γλωσσάρια ελληνοαγγλικών και αγγλοελληνικών όρων της διατριβής αντίστοιχα καθώς και αναλυτικοί ορισμοί και βασικές έννοιες που απλά αναφέρονται στη διατριβή.
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.
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.
Περιγραφή
Λέξεις-κλειδιά
Λογική (βιομηχανική και φιλοσοφική), Βιομηχανικά προϊόντα, Μαθηματική λογική, Τεχνητή νοημοσύνη, Logic (Industrial and Philosophie), Industrial products, Mathematical logic, Artificial intelligence
Θεματική κατηγορία
Λογική
Παραπομπή
Σύνδεσμος
Γλώσσα
el
Εκδίδον τμήμα/τομέας
Πανεπιστήμιο Ιωαννίνων. Σχολή Θετικών Επιστημών. Τμήμα Μαθηματικών
Όνομα επιβλέποντος
Μπαλτζής, Σωκράτης
Εξεταστική επιτροπή
Μπαλτζής, Σωκράτης
Γλυνός, Νικόλαος
Σταματίου, Ιωάννης
Γλυνός, Νικόλαος
Σταματίου, Ιωάννης
Γενική Περιγραφή / Σχόλια
Ίδρυμα και Σχολή/Τμήμα του υποβάλλοντος
Πανεπιστήμιο Ιωαννίνων. Σχολή Θετικών Επιστημών. Τμήμα Μαθηματικών
Πίνακας περιεχομένων
Χορηγός
Βιβλιογραφική αναφορά
Βιβλιογραφία: σ. 53-55
Ονόματα συντελεστών
Αριθμός σελίδων
87 σ.
Λεπτομέρειες μαθήματος
item.page.endorsement
item.page.review
item.page.supplemented
item.page.referenced
Άδεια Creative Commons
Άδεια χρήσης της εγγραφής: Attribution-NonCommercial-NoDerivs 3.0 United States