استاد در منطق

منطق، برنامه کارشناسی ارشد

منطق به طور سنتی به عنوان مطالعه جنبه های رسمی استدلال معتبر تعریف می شود، اما امروزه بسیاری از منطق ها منطق را به عنوان یک مطالعه کلی تر از سیستم های رسمی و برنامه های کاربردی خود می بینند. چارچوب مفهومی و ابزارهایی که توسط تحقیقات خالص در منطق مدرن ایجاد شده است، بسیاری از کاربردهای مختلف را در رشته های مختلفی که زبان و سیستم های رسمی را مطالعه می کنند، به عنوان مثال، مهندسی نرم افزار و زبان شناسی محاسباتی می دانند.

به عنوان یک منطق موضوع علمی است که واقعا بین رشته ای است و در مرز بین فلسفه، ریاضیات، علوم کامپیوتر و زبان شناسی قرار دارد. تبادل فعال و متقابلا سودمند است. منطق در حال حاضر یک منطقه فعال بین المللی مطالعه و تحقیق نیز در ریاضیات، علوم رایانه و زبان شناسی است.

سال اول برنامه دو ساله عمدتا شامل دوره های اجباری در مبانی نظری منطق است. سال دوم شامل یک مقاله 30 اسب بخار و دوره های انتخابی است که در آن شما، به عنوان یک دانش آموز، به سمت یک پروفایل تخصصی در حوزه منطق کلی و برنامه های کاربردی آن کار می کنید.

یک سری سمینار، Colloquium in Logic در مورد کاربرد منطق، روش شناسی و تاریخ منطق از هر دو سال استفاده خواهد شد. شما همچنین می توانید برای حضور در سمینار تحقیق در منطق در بخش. به عنوان یک دانش آموز از این برنامه، شما در همکاری نزدیک با محیط تحقیقاتی بین المللی و قوی کار خواهید کرد.

Monica Havström

محتوای دوره

• تکمیل و تصمیم گیری
• تنظیم نظریه و منطق مودال
• تئوری مدل و تئوری اثبات
• نظریه گروهی و نظریه های رسمی حقیقت

حرفه ای پس از فارغ التحصیلی

فارغ التحصیلان برای درخواست در Ph.D. برنامه های منطق، فلسفه تئوریک، زبان شناسی، و علوم رایانه را در اختیار دارد و در تجزیه و تحلیل استدلال، پایگاه داده های قیاسی و وب معنایی توانایی دارد. انتخاب حرفه های غیر آکادمیک شامل مهندسی نرم افزار، فن آوری های مبتنی بر وب و بخش فناوری اطلاعات و ارتباطات می باشد.

الزامات

مدرک کارشناسی، حداقل سه سال تحصیلی تمام وقت، در منطق، فلسفه تئوری، ریاضیات، علوم رایانه و زبان شناسی.

3 دلیل برای مطالعه این برنامه

1. یک محیط بین رشته ای، ترکیبی از ریاضیات، فلسفه و علوم رایانه است
2. شرکت در یک محیط تحقیق بین المللی
3. ماژول های دوره ای را که برای زمینه و اهداف آموزشی و حرفه ای شما مناسب است، انتخاب کنید

Monica Havström

دوره های برنامه برای برنامه های شروع در پاییز

دانشجویان بین المللی بدون عضویت در اتحادیه اروپا / EEA
دوره برنامه اصلی برای دانش آموزان بین المللی در اواسط اکتبر تا 15 ژانویه برای تمام برنامه های شروع در پاییز است. درخواست در href = "universityadmissions.se

دانشجویان متحرک / غیرفعال اتحادیه اروپا / EEA و دانشجویان سوئدی
اگر به اجازه اقامت نیازی ندارید، درخواست پاییز از 15 مارس تا اواسط آوریل آغاز خواهد شد. درخواست در href = "universityadmissions.se یا در href =" antagning.se .

هزینه تحصیل

دانش آموزانی که شهروندان کشورهای خارج از اتحادیه اروپا / EEA هستند، معمولا هزینه تحصیل می کنند. هزینه های تحصیلی برای شهروندان اتحادیه اروپا / EEA اعمال نمی شود. برای اطلاعات در مورد هزینه های تحصیل، لطفا با بخش فلسفه، زبان شناسی و تئوری علوم تماس بگیرید.