Από τη φιλοσοφική λογική στη βιομηχανική λογική
| dc.contributor.author | Σταμούλης, Βασίλειος | el |
| dc.date.accessioned | 2020-02-28T08:42:48Z | |
| dc.date.available | 2020-02-28T08:42:48Z | |
| dc.identifier.uri | https://olympias.lib.uoi.gr/jspui/handle/123456789/29658 | |
| dc.identifier.uri | http://dx.doi.org/10.26268/heal.uoi.9655 | |
| dc.rights | Attribution-NonCommercial-NoDerivs 3.0 United States | * |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/us/ | * |
| dc.subject | Λογική (βιομηχανική και φιλοσοφική) | el |
| dc.subject | Βιομηχανικά προϊόντα | el |
| dc.subject | Μαθηματική λογική | el |
| dc.subject | Τεχνητή νοημοσύνη | el |
| dc.subject | Logic (Industrial and Philosophie) | en |
| dc.subject | Industrial products | en |
| dc.subject | Mathematical logic | en |
| dc.subject | Artificial intelligence | en |
| dc.title | Από τη φιλοσοφική λογική στη βιομηχανική λογική | el |
| heal.abstract | Στη διατριβή αυτή μελετήσαμε την εξέλιξη της Λογικής από τη Αριστοτελική Φιλοσοφία μέχρι σήμερα. Από την Αναγέννηση, τον Διαφωτισμό μέχρι και την εποχή της Βιομηχανικής Επανάστασης φωτισμένοι Μαθηματικοί με καινοτόμες ιδέες εισήγαγαν τον μαθηματικό φορμαλισμό στη Λογική και αργότερα την έννοια της αυτόματης υπολογιστικής προσέγγισης. Οι εξελίξεις αφενός με τον Turing και τη γνωστή Μηχανή Turing που εισάγει οδηγούν στην κατασκευή του πρώτου Η/Υ, αφετέρου ο Von Neuman με τη Θεωρία Αυτομάτων θεμελιώνει την Επιστήμη των Η/Υ, ολοκληρώνοντας τη Μαθηματική Θεωρία Υπολογισμού και εγκαινιάζοντας τη Βιομηχανική Λογική με προϊόντα και μηχανικά αλλά και λογισμικά. Στο κεφάλαιο 1, εισάγουμε την έννοια της Λογικής. Το κεφάλαιο 2 αναφέρεται στη Φιλοσοφική Λογική του Αριστοτέλη που είναι η βάση της εξέλιξης της Λογικής. Το κεφάλαιο 3 συνδέει τα Μαθηματικά και τη Λογική. Στο κεφάλαιο 4, τονίζουμε την αυτοματοποίηση της Μαθηματικής Λογικής στα πρώτα χρόνια της Βιομηχανικής περιόδου και την εισαγωγή της Επιστήμης των Η/Υ Στο κεφάλαιο 5, αναδεικνύουμε τη σχέση της Λογικής με τη Τεχνητή Νοημοσύνη, ενώ παράλληλα παραθέτομε σύγχρονα βιομηχανικά προϊόντα της Βιομηχανικής Λογικής και ενδεικτικές εφαρμογές της Γλωσσικής Τεχνολογίας. Στο κεφάλαιο 6, συμπεριλαμβάνομε συμπεράσματα από την εργασία και προτάσεις για περαιτέρω έρευνα. Τέλος στα Παραρτήματα περιλαμβάνονται 2 γλωσσάρια ελληνοαγγλικών και αγγλοελληνικών όρων της διατριβής αντίστοιχα καθώς και αναλυτικοί ορισμοί και βασικές έννοιες που απλά αναφέρονται στη διατριβή. | el |
| heal.abstract | 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 |
| heal.academicPublisher | Πανεπιστήμιο Ιωαννίνων. Σχολή Θετικών Επιστημών. Τμήμα Μαθηματικών | el |
| heal.academicPublisherID | uoi | |
| heal.access | free | |
| heal.advisorName | Μπαλτζής, Σωκράτης | el |
| heal.bibliographicCitation | Βιβλιογραφία: σ. 53-55 | el |
| heal.classification | Λογική | |
| heal.committeeMemberName | Μπαλτζής, Σωκράτης | el |
| heal.committeeMemberName | Γλυνός, Νικόλαος | el |
| heal.committeeMemberName | Σταματίου, Ιωάννης | el |
| heal.dateAvailable | 2020-02-28T08:43:50Z | |
| heal.fullTextAvailability | true | |
| heal.language | el | |
| heal.numberOfPages | 87 σ. | |
| heal.publicationDate | 2019 | |
| heal.recordProvider | Πανεπιστήμιο Ιωαννίνων. Σχολή Θετικών Επιστημών. Τμήμα Μαθηματικών | el |
| heal.type | masterThesis | |
| heal.type.el | Μεταπτυχιακή εργασία | el |
| heal.type.en | Master thesis | en |
Αρχεία
Πρωτότυπος φάκελος/πακέτο
1 - 1 of 1
Φόρτωση...
- Ονομα:
- Μ.Ε. ΣΤΑΜΟΥΛΗΣ ΒΑΣΙΛΕΙΟΣ 2019.pdf
- Μέγεθος:
- 2.24 MB
- Μορφότυπο:
- Adobe Portable Document Format
- Περιγραφή:
Φάκελος/Πακέτο αδειών
1 - 1 of 1
Φόρτωση...
- Ονομα:
- license.txt
- Μέγεθος:
- 1.71 KB
- Μορφότυπο:
- Item-specific license agreed upon to submission
- Περιγραφή: