Maître en logique

Logique, programme de maîtrise

La logique est traditionnellement définie comme l'étude des aspects formels d'un raisonnement valide, mais de nos jours, de nombreux logiciens considèrent la logique comme une étude plus générale des systèmes formels et de leurs applications. Les cadres conceptuels et les outils développés par la recherche pure dans la logique moderne ont trouvé de nombreuses applications dans diverses disciplines qui étudient les langages et systèmes formels, par exemple le génie logiciel et la linguistique computationnelle.

En tant que matière académique, la logique est véritablement interdisciplinaire et située à la frontière entre la philosophie, les mathématiques, l'informatique et la linguistique. L'échange est actif et mutuellement bénéfique. La logique est aujourd'hui un domaine international actif d'étude et de recherche aussi en mathématiques, en informatique et en linguistique.

La première année du programme de deux ans consiste principalement en cours obligatoires dans les fondements théoriques de la logique. La deuxième année consiste en un essai de 30 CV et des cours au choix, où vous, en tant qu'étudiant, travaillez vers un profil spécialisé dans le domaine général de la logique et de ses applications.

Une série de séminaires, Colloquium in Logic, sur les applications de la logique, la méthodologie et l'histoire de la logique se déroulera au cours des deux années. Vous aurez également l'opportunité d'assister au séminaire de recherche en logique au département. En tant qu'étudiant du programme, vous travaillerez en étroite collaboration avec un environnement de recherche international et dynamique.

Monica Havström

Le contenu des cours

• Complétude et décidabilité
• Définir la théorie et la logique modale
• Théorie du modèle et théorie de la preuve
• Théorie des catégories et théories formelles de la vérité

Carrière après l'obtention du diplôme

Les diplômés seront bien préparés pour postuler au doctorat. des programmes en Logique, Philosophie Théorique, Linguistique et Informatique et auront une compétence dans l'analyse des arguments, les bases de données déductives et le web sémantique. Les choix de carrière non académiques incluent le génie logiciel, les technologies basées sur le Web ainsi que le secteur des technologies de l'information et de la communication.

Exigences

Diplôme de premier cycle, au moins trois ans à temps plein, en logique, en philosophie théorique, en mathématiques, en informatique ou en linguistique.

3 raisons d'étudier ce programme

1. Un environnement interdisciplinaire combinant les mathématiques, la philosophie et l'informatique
2. Participer à un environnement de recherche international
3. Choisissez des modules de cours adaptés à vos antécédents et objectifs académiques et professionnels

Monica Havström

Périodes de candidature pour les programmes débutant à l'automne

Étudiants internationaux sans citoyenneté UE / EEE
La principale période d’application pour les étudiants étrangers va de la mi-octobre au 15 janvier pour tous les programmes commençant à l’automne. Appliquer à href = "universityadmissions.se

Etudiants libres / non partenaires de l'UE / EEE et étudiants suédois
Si vous n'avez pas besoin d'un permis de séjour, les candidatures pour l'automne seront ouvertes du 15 mars à la mi-avril. Appliquer à href = "universityadmissions.se ou à href =" antagning.se .

Frais de scolarité

Les étudiants ressortissants de pays hors UE / EEE sont généralement tenus de payer des frais de scolarité. Les frais de scolarité ne s'appliquent pas aux citoyens de l'UE / EEE. Pour plus d'informations sur les frais de scolarité, veuillez contacter le Département de Philosophie, Linguistique et Théorie des Sciences.