Μάστερ στη Λογική

Λογική, Πρόγραμμα Μάστερ

Η λογική παραδοσιακά ορίζεται ως η μελέτη των τυπικών πτυχών της έγκυρης συλλογιστικής, αλλά σήμερα πολλοί λογικοί θεωρούν τη λογική ως μια γενικότερη μελέτη των επίσημων συστημάτων και των εφαρμογών τους. Τα εννοιολογικά πλαίσια και τα εργαλεία που αναπτύχθηκαν από την καθαρή έρευνα στη σύγχρονη λογική έχουν βρει πολλές εφαρμογές σε διάφορους κλάδους που μελετούν επίσημες γλώσσες και συστήματα, π.χ. μηχανική λογισμικού και υπολογιστική γλωσσολογία.

Ως ακαδημαϊκό θέμα η λογική είναι πραγματικά διεπιστημονική και βρίσκεται στα σύνορα μεταξύ της Φιλοσοφίας, των Μαθηματικών, της Πληροφορικής και της Γλωσσολογίας. Η ανταλλαγή είναι ενεργή και αμοιβαία επωφελής. Η λογική είναι σήμερα ένας ενεργός διεθνής τομέας σπουδών και έρευνας και στα μαθηματικά, την επιστήμη των υπολογιστών και τη γλωσσολογία.

Το πρώτο έτος του διετούς προγράμματος αποτελείται κυρίως από υποχρεωτικά μαθήματα στα θεωρητικά βασικά της λογικής. Το δεύτερο έτος αποτελείται από ένα δοκίμιο των 30 hp και μαθήματα επιλογής, όπου ως φοιτητής εργάζεστε προς ένα εξειδικευμένο προφίλ στο γενικό πεδίο της λογικής και των εφαρμογών του.

Μια σειρά σεμιναρίων, το Colloquium in Logic, σχετικά με τις εφαρμογές της λογικής, της μεθοδολογίας και της ιστορίας της λογικής θα διαρκέσει και τα δύο χρόνια. Θα έχετε επίσης την ευκαιρία να παρακολουθήσετε το σεμινάριο της έρευνας στη λογική του τμήματος. Ως φοιτητής του προγράμματος, θα εργαστείτε σε στενή συνεργασία με ένα διεθνές και έντονο ερευνητικό περιβάλλον.

Monica Havström

Περιεχόμενο μαθήματος

• Πληρότητα και αποφασιστικότητα
• Ορίστε τη θεωρία και τη λογική του τρόπου
• Θεωρία μοντέλων και θεωρία αποδείξεων
• Θεωρία κατηγοριών και επίσημες θεωρίες της αλήθειας

Καριέρα μετά την αποφοίτηση

Οι απόφοιτοι θα είναι καλά προετοιμασμένοι για την υποβολή αίτησης στο Ph.D. προγράμματα Λογική, Θεωρητική Φιλοσοφία, Γλωσσολογία και Επιστήμη των Υπολογιστών και θα έχουν την ικανότητα να αναλύουν τα επιχειρήματα, τις αφαιρετικές βάσεις δεδομένων και τον σημασιολογικό ιστό. Οι μη ακαδημαϊκές επιλογές σταδιοδρομίας περιλαμβάνουν την τεχνολογία λογισμικού, τις τεχνολογίες μέσω διαδικτύου καθώς και τον τομέα των τεχνολογιών της πληροφορίας και της επικοινωνίας.

Απαιτήσεις

Προπτυχιακό πτυχίο, τουλάχιστον τρία έτη πλήρους φοίτησης στη λογική, στη θεωρητική φιλοσοφία, στα μαθηματικά, στην επιστήμη των υπολογιστών ή στη γλωσσολογία.

3 λόγοι για να μελετήσετε αυτό το Πρόγραμμα

1. Ένα διεπιστημονικό περιβάλλον που συνδυάζει τα μαθηματικά, τη φιλοσοφία και την επιστήμη των υπολογιστών
2. Συμμετέχετε σε ένα διεθνές ερευνητικό περιβάλλον
3. Επιλέξτε ενότητες μαθημάτων προσαρμοσμένες στο φόντο σας και ακαδημαϊκούς και επαγγελματικούς στόχους

Monica Havström

Περίοδοι εφαρμογής για τα προγράμματα που ξεκινούν το φθινόπωρο

Διεθνείς φοιτητές χωρίς ιθαγένεια ΕΕ / ΕΟΧ
Η κύρια περίοδος εφαρμογής για τους σπουδαστές είναι τα μέσα Οκτωβρίου έως τις 15 Ιανουαρίου για όλα τα προγράμματα που ξεκινούν το φθινόπωρο. Εφαρμόστε στο href = "universityadmissions.se

Φοιτητές ελεύθερης κινητικότητας / μη-εταίρους από την ΕΕ / ΕΟΧ και σουηδούς φοιτητές
Εάν δεν χρειάζεστε άδεια διαμονής, η αίτηση για το φθινόπωρο θα είναι ανοιχτή 15 Μαρτίου - μέσα Απριλίου. Εφαρμόστε στο href = "universityadmissions.se ή στο href =" antagning.se .

Δίδακτρα

Οι φοιτητές που είναι πολίτες χωρών εκτός της ΕΕ / ΕΟΧ υποχρεούνται γενικά να καταβάλλουν δίδακτρα. Τα δίδακτρα δεν ισχύουν για τους πολίτες της ΕΕ / ΕΟΧ. Για πληροφορίες σχετικά με τα δίδακτρα, επικοινωνήστε με το Τμήμα Φιλοσοφίας, Γλωσσολογίας και Θεωρίας της Επιστήμης.