HEAL DSpace

Μαθηματική Γλωσσολογία: από τη Θεωρία Κατηγοριών στις Κατηγοριακές Γραμματικές

DSpace/Manakin Repository

Show simple item record

dc.contributor.advisor Στεφανέας, Πέτρος el
dc.contributor.author Νησίδης, Νικόλαος Δ. el
dc.contributor.author Nisidis, Nikolaos D. en
dc.date.accessioned 2012-08-20T09:13:16Z
dc.date.available 2012-08-20T09:13:16Z
dc.date.copyright 2012-08-20 -
dc.date.issued 2012-08-20
dc.date.submitted 2012-08-20 -
dc.identifier.uri http://hdl.handle.net/123456789/6498
dc.description 118 σ. el
dc.description.abstract Η μαθηματική γλωσσολογία είναι το πεδίο των μαθηματικών, όπου μελετώνται γλωσσικά φαινόμενα και οι σχέσεις μεταξύ τους ως αντικείμενα μαθηματικών θεωριών. Στην παρούσα εργασία, παρουσιάζονται οι κατηγοριακές γραμματικές ξεκινώντας από τη Θεωρία Κατηγοριών. Αρχικά, αναπτύσσουμε τις βασικές έννοιες της Θεωρίας Κατηγοριών, όπως αυτές της κατηγορίας, του συναρτητή και του φυσικού μετασχηματισμού. Έπειτα, εισερχόμαστε στον κόσμο των κατηγοριακών γραμματικών και, πιο συγκεκριμένα, παρουσιάζουμε τη γραμματική του Αϊντουκιέβιτς, τη γραμματική Αϊντουκιέβιτς-Μπαρ-Χιλλέλ (AB), τόσο το προσεταιριστικό όσο και το μη προσεταιριστικό Λογισμό Λάμπεκ (L και NL) και το Λογισμό Λάμπεκ- Φαν Μπένθεμ (LP). Αναφέρουμε επίσης και τη δύναμη των κατηγοριακών γραμματικών εξετάζοντας τη σχέση τους με τις ασυμφραστικές γραμματικές. Στη συνέχεια, διατυπώνονται οι κατηγοριακές γραμματικές στο πλαίσιο της γραμμικής λογικής και οδηγούμαστε στα δίκτυα αποδείξεων. Τέλος, αφιερώνεται ένα κεφάλαιο απκλειστικά στην εφαρμογή των κατηγοριακών γραμματικών στην ελληνική γλώσσα. Κύριος στόχος της εργασίας είναι η κατάδειξη της ευδοκίμησης των κατηγοριακών γραμματικών στην ελληνική. el
dc.description.abstract Mathematical linguistics is the field of mathematics where linguistic phenomena and the relations among them are studied as objects of mathematical theories. In this thesis, categorial grammars are introduced beginning from Category Theory. Firstly, we develop the basic concepts of Category Theory such as those of category, functor and natural transformation. Afterwards, we enter the world of categorial grammars and, particularly, we present Ajdukiewicz grammar, Ajdukiewicz-Bar-Hillel grammar (AB), both associative and nonassociative Lambek Calculus (L and NL) and Lambek-Van Benthem Calculus (LP). We also mention the power of categorial grammars by studying their relation with context-free grammars. Then, categorial grammars are formulated within the framework of linear logic and we are leaded to proof nets. Finally, a whole chapter is exclusively dedicated to applying categorial grammars to the greek language. The main goal of this thesis is showing that categorial grammars thrive in the greek language. en
dc.description.statementofresponsibility Νικόλαος Δ. Νησίδης el
dc.language.iso el en
dc.rights ETDFree-policy.xml en
dc.subject Θεωρία Κατηγοριών el
dc.subject Κατηγοριακές γραμματικές el
dc.subject Λογισμός Λάμπεκ el
dc.subject Λογισμός Λάμπεκ-Φαν Μπένθεμ el
dc.subject Ασυμφραστικές γραμματικές el
dc.subject Γραμμική λογική el
dc.subject Δίκτυα αποδείξεων el
dc.subject Ελληνική γλώσσα el
dc.subject Σύνταξη el
dc.subject Γραμματική Αϊντουκιέβιτς el
dc.subject Category Theory en
dc.subject Categorial grammars en
dc.subject Lambek Calculus en
dc.subject Lambek-Van Benthem Calculus en
dc.subject Context-free grammars en
dc.subject Linear logic en
dc.subject Proof nets en
dc.subject Greek language en
dc.subject Syntax en
dc.subject Ajdukiewicz grammar en
dc.title Μαθηματική Γλωσσολογία: από τη Θεωρία Κατηγοριών στις Κατηγοριακές Γραμματικές el
dc.title.alternative Mathematical Linguistics: from Category Theory to Categorial Grammars en
dc.type bachelorThesis el (en)
dc.date.accepted 2012-07-19 -
dc.date.modified 2012-08-20 -
dc.contributor.advisorcommitteemember Αραγεώργης, Αριστείδης el
dc.contributor.advisorcommitteemember Κολέτσος, Γεώργιος el
dc.contributor.committeemember Στεφανέας, Πέτρος el
dc.contributor.committeemember Αραγεώργης, Αριστείδης el
dc.contributor.committeemember Κολέτσος, Γεώργιος el
dc.contributor.department Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών & Φυσικών Επιστημών. Τομέας Μαθηματικών el
dc.date.recordmanipulation.recordcreated 2012-08-20 -
dc.date.recordmanipulation.recordmodified 2012-08-20 -


Files in this item

This item appears in the following Collection(s)

Show simple item record