Maître en logique
University of Gothenburg, Faculty of Humanities
Information clé
Emplacement du campus
Gothenburg, Suède
Langues
Anglais
Format d'étude
Mélangé
Durée
2 années
Rythme
À plein temps
Frais de scolarité
Demande d'info
Date limite d'inscription
Demande d'info
Date de début au plus tôt
Sep 2024
* Frais de scolarité: contacter le département
Bourses d'études
Explorez les possibilités de bourses pour vous aider à financer vos études
introduction
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.
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
- Un environnement interdisciplinaire combinant les mathématiques, la philosophie et l'informatique
- Participer à un environnement de recherche international
- Choisissez des modules de cours adaptés à vos antécédents et objectifs académiques et professionnels
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.
À propos de l'école
Des questions
Cours similaires
Master en Logique
- Prague, République tchèque
Maîtrise en logique et théorie des sciences
- Budapest, Hongrie
Master en Logique Pure et Appliquée
- Barcelona, Espagne