Keystone logo
Universitat de Barcelona Master-Abschluss in reiner und angewandter Logik
Universitat de Barcelona

Master-Abschluss in reiner und angewandter Logik

Barcelona, Spanien

2 Years

Englisch

Vollzeit

EUR 28 / per credit

Auf dem Campus

Einführung

Master-Abschluss in reiner und angewandter Logik

Der Master-Abschluss in reiner und angewandter Logik soll eine Fortbildung in Logik sowohl in reiner als auch in angewandter Form ermöglichen. Erfolgreiche Studenten müssen die Chance haben, ihre ersten Schritte in der Forschung in den Hauptbereichen der Logik zu unternehmen, weitere Studien zu absolvieren oder eine berufliche Laufbahn einzuschlagen.

Dieser Abschluss wird gemeinsam von der Universität Barcelona (UB) und der Polytechnischen Universität Katalonien (UPC) angeboten. Die UB ist die koordinierende Universität. Folgende Abteilungen tragen zum Unterricht dieses Kurses bei:

  • Institut für Informatik (UPC)
  • Institut für Philosophie (UB)
  • Fakultät für Mathematik (UPC)
  • Institut für Mathematik und Informatik (UB)

Die oben genannten Abteilungen sind der Fakultät für Philosophie und der Fakultät für Mathematik und Informatik der Universität Barcelona sowie der Fakultät für Mathematik und Statistik und der Fakultät für Informatik von Barcelona der Polytechnischen Universität Katalonien zugeordnet.

Der Kurs wird von der größten Gruppe von Logikexperten in Spanien unterrichtet, die eine der bedeutendsten Fachgruppen in ganz Europa bilden. Alle Lehrkräfte sind aktiv an der Forschung beteiligt und international anerkannte Experten auf ihrem Gebiet, zu denen die Komplexität der Berechnungen, die logischen Grundlagen der künstlichen Intelligenz, die Geschichte der Logik, die algebraische Logik, die nichtklassische Logik, die Mengenlehre, die Beweistheorie und Modelltheorie.

Admissions

Description

Stipendien und Finanzierung

Programmergebnis

Studiengebühren für das Programm

Über die Schule

Fragen