Meister in Logik

Logik, Master-Programm

Logik wird traditionell definiert als das Studium formaler Aspekte gültiger Argumentation, aber heute sehen viele Logiker Logik als eine allgemeinere Untersuchung formaler Systeme und ihrer Anwendungen. Die konzeptionellen Rahmen und Werkzeuge, die von der reinen Forschung in der modernen Logik entwickelt wurden, haben viele Anwendungen in verschiedenen Disziplinen gefunden, die formale Sprachen und Systeme studieren, zB Software-Engineering und Computerlinguistik.

Als akademische Fachlogik ist sie wirklich interdisziplinär und liegt an der Grenze zwischen Philosophie, Mathematik, Informatik und Linguistik. Der Austausch ist aktiv und für beide Seiten von Vorteil. Die Logik ist heute ein aktives internationales Studien- und Forschungsgebiet auch in Mathematik, Informatik und Linguistik.

Das erste Jahr des zweijährigen Programms besteht hauptsächlich aus Pflichtkursen in den theoretischen Grundlagen der Logik. Das zweite Jahr besteht aus einem 30-PS-Aufsatz und Wahlkursen, in denen Sie als Student auf ein spezielles Profil im Bereich der Logik und ihrer Anwendungen hinarbeiten.

Eine Seminarreihe, Kolloquium in Logik, über Anwendungen der Logik, Methodik und Geschichte der Logik wird beide Jahre durchlaufen. Sie haben auch die Möglichkeit, das Forschungsseminar in Logik an der Abteilung zu besuchen. Als Student des Programms arbeiten Sie eng mit einer internationalen und dynamischen Forschungsumgebung zusammen.

Kursinhalt

• Vollständigkeit und Entscheidbarkeit
• Stellen Sie Theorie und Modallogik ein
• Modell- und Beweistheorie
• Kategorientheorie und formale Theorien der Wahrheit

Karriere nach dem Abschluss

Die Absolventen sind gut vorbereitet für die Bewerbung um einen Ph.D. Programme in Logik, Theoretische Philosophie, Linguistik und Informatik und wird eine Kompetenz in Argumentationsanalyse, deduktive Datenbanken und das semantische Web haben. Nicht-akademische Berufswahlmöglichkeiten umfassen Software-Engineering, webbasierte Technologien sowie den Informations- und Kommunikationstechnologie-Sektor.

Bedarf

Bachelor-Abschluss, mindestens drei Jahre Vollzeitstudium, in Logik, theoretischer Philosophie, Mathematik, Informatik oder Linguistik.

3 Gründe, dieses Programm zu studieren

1. Ein interdisziplinäres Umfeld, das Mathematik, Philosophie und Informatik verbindet
2. Nehmen Sie an einer internationalen Forschungsumgebung teil
3. Wählen Sie Kursmodule, die zu Ihrem Hintergrund, Ihren akademischen und beruflichen Zielen passen

Monica Havström

Bewerbungsfristen für Programme, die im Herbst beginnen

Internationale Studierende ohne EU / EWR Staatsbürgerschaft
Die Hauptantragsphase für internationale Studierende ist von Mitte Oktober bis 15. Januar für alle Programme ab Herbst. Bewerben Sie sich bei href = "universityadmissions.se

EU / EEA Free Mover / Nicht-Partner Studenten und schwedische Studenten
Wenn Sie keine Aufenthaltserlaubnis benötigen, ist der Antrag für den Herbst vom 15. März bis Mitte April offen. Bewerben Sie sich bei href = "universityadmissions.se oder at href =" antagning.se .

Ausbildungskosten

Studierende, die Staatsangehörige von Ländern außerhalb der EU / EWR sind, müssen in der Regel Studiengebühren zahlen. Die Studiengebühren gelten nicht für EU / EWR-Bürger. Für Informationen zu den Studiengebühren wenden Sie sich bitte an die Abteilung für Philosophie, Linguistik und Wissenschaftstheorie.