ماجستير في المنطق

المنطق ، برنامج الماجستير

يُعرّف المنطق تقليديًا على أنه دراسة للجوانب الرسمية للتفكير المنطقي الصالح ، لكن اليوم يرى العديد من المنطقيين المنطق كدراسة أكثر عمومية للأنظمة الرسمية وتطبيقاتها. وقد وجدت الأطر المفاهيمية والأدوات التي طورتها الأبحاث الخالصة في المنطق الحديث العديد من التطبيقات في مختلف التخصصات التي تدرس اللغات والأنظمة الرسمية ، مثل هندسة البرمجيات واللغويات الحاسوبية.

كما منطق المنهاج الأكاديمي هو متعدد التخصصات حقا وتقع على الحدود بين الفلسفة والرياضيات وعلوم الحاسب الآلي ، واللغويات. تبادل نشط ومتبادل المنفعة. المنطق هو في الوقت الحاضر منطقة دولية نشطة للدراسة والبحث أيضا في الرياضيات وعلوم الكمبيوتر واللغويات.

تتكون السنة الأولى من البرنامج الذي يدوم سنتين من دورات إجبارية في الأسس النظرية للمنطق. تتكون السنة الثانية من مقالة 30 حصانا ودورات اختيارية ، حيث تعمل كطالب نحو ملف تخصصي خاص في المجال العام للمنطق وتطبيقاته.

سوف تستمر سلسلة الحلقات الدراسية ، الندوة في المنطق ، حول تطبيقات المنطق ، المنهجية ، وتاريخ المنطق خلال كلتا السنين. سيكون لديك أيضا الفرصة لحضور الندوة البحثية في المنطق في الإدارة. كطالب في البرنامج ، سوف تعمل بتعاون وثيق مع بيئة بحث دولية وقوية.

Monica Havström

محتوى الدورة

• الاكتمال و Decidability
• تعيين نظرية والمنطق المنطقي
• نظرية النموذج و نظرية البرهان
• صنف النظرية والنظريات الرسمية للحقيقة

مهنة بعد التخرج

سيكون الخريجون مستعدين بشكل جيد للتقديم على درجة الدكتوراه. برامج في المنطق ، والفلسفة النظرية ، واللغويات ، وعلوم الكمبيوتر ، وسيكون لها اختصاص في تحليل الحجج ، وقواعد البيانات الاستنتاجية ، والشبكة الدلالية. وتشمل الخيارات المهنية غير الأكاديمية هندسة البرمجيات ، والتكنولوجيات القائمة على شبكة الإنترنت وكذلك قطاع تكنولوجيا المعلومات والاتصالات.

المتطلبات

شهادة البكالوريوس ، ما لا يقل عن ثلاث سنوات دراسة بدوام كامل ، في المنطق ، والفلسفة النظرية ، والرياضيات ، وعلوم الكمبيوتر أو اللسانيات.

3 أسباب لدراسة هذا البرنامج

1. بيئة متعددة التخصصات تجمع بين الرياضيات والفلسفة وعلوم الكمبيوتر
2. شارك في بيئة بحث دولية
3. اختر وحدات الدورة التدريبية المناسبة لخلفيتك والأهداف الأكاديمية والمهنية

Monica Havström

فترات التطبيق للبرامج التي تبدأ في فصل الخريف

طلاب دوليون بدون مواطنة الاتحاد الأوروبي / المنطقة الاقتصادية الأوروبية
فترة التطبيق الرئيسية للطلاب الدوليين هي منتصف أكتوبر إلى 15 يناير لجميع البرامج التي تبدأ في فصل الخريف. تقدم بطلب على href = "universityadmissions.se

الاتحاد الأوروبي / المنطقة الاقتصادية الأوروبية / الطلاب غير الشريكين والطلاب السويديين
إذا لم تكن بحاجة إلى تصريح إقامة ، فسيتم فتح طلب خريف 15 مارس - منتصف أبريل. قم بالتقديم على href = "universityadmissions.se أو at href =" antagning.se .

رسوم دراسية

يطلب من الطلاب الذين هم مواطنون من دول خارج الاتحاد الأوروبي / المنطقة الاقتصادية الأوروبية بشكل عام دفع رسوم التعليم. الرسوم الدراسية لا تنطبق على مواطني الاتحاد الأوروبي / المنطقة الاقتصادية الأوروبية. للحصول على معلومات حول الرسوم الدراسية ، يرجى الاتصال بقسم الفلسفة واللغويات ونظرية العلوم.