Universitat Politècnica de Catalunya · BarcelonaTech

Μεταπτυχιακό Δίπλωμα στην Καθαρή και Εφαρμοσμένη Λογική

Το μεταπτυχιακό δίπλωμα στην Καθαρή και Εφαρμοσμένη Λογική, το οποίο συντονίζεται από το Πανεπιστήμιο της Βαρκελώνης (UB) και συμμετέχει στο πρόγραμμα UPC, παρέχει ένα στέρεο υπόβαθρο στην προηγμένη λογική, τόσο την καθαρή όσο και την εφαρμοσμένη. Τα μαθήματά του καλύπτουν ένα ευρύ φάσμα τομέων, από τη μαθηματική λογική και τις εφαρμογές της έως την επιστήμη των υπολογιστών, την τεχνητή νοημοσύνη και την υπολογιστική γλωσσολογία. Επιπλέον, προσφέρονται δύο βασικά μαθήματα σε φοιτητές που χρειάζονται μια βασική εισαγωγή στη λογική ή τα μαθηματικά.

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