석사 논리학

논리, 석사 과정

논리는 전통적으로 유효한 추론의 공식적인 측면에 대한 연구로 정의되지만, 오늘날 많은 논리 학자들은 논리를 공식 시스템과 그 응용에 대한보다 일반적인 연구로보고 있습니다. 현대 논리에서 순수한 연구에 의해 개발 된 개념적 프레임 워크와 도구는 소프트웨어 엔지니어링과 전산 언어학과 같은 공식 언어와 시스템을 연구하는 다양한 분야에서 많은 응용을 발견했습니다.

학문 주제 논리가 진정으로 학제 적이며 철학, 수학, 컴퓨터 과학 및 언어학의 경계에 위치합니다. 교환은 활발하고 상호 이익이됩니다. 논리학은 현재 수학, 컴퓨터 과학 및 언어학 분야의 활발한 국제 연구 및 연구 분야입니다.

2 년 과정의 첫 해는 논리의 이론적 기초에서 필수 과목으로 주로 구성됩니다. 2 학년은 30 hp 에세이와 선택 과목으로 구성되어 있으며 학생으로서는 논리와 응용 분야의 일반 분야에서 전문화 된 프로파일을 지향합니다.

논리학, 방법론 및 논리의 응용 분야에 관한 세미나 시리즈 인 논리학의 Colloquium이 두 해를 거치게됩니다. 또한 부서의 논리로 리서치 세미나에 참석할 수 있습니다. 프로그램의 학생으로서, 당신은 국제적이고 활발한 연구 환경과의 긴밀한 협력하에 일할 것입니다.

Monica Havström

코스 내용

• 완전성 및 결정 가능성
• 이론 및 모달 논리 설정
• 모델 이론 및 증명 이론
• 범주 이론과 진리의 형식 이론

졸업 후 진로

졸업생은 박사 과정에 지원할 준비가 잘되어있을 것입니다. 이론 철학, 언어학 및 컴퓨터 과학 분야의 프로그램을 수강하고 논쟁 분석, 연역적 데이터베이스 및 시맨틱 웹에 능숙합니다. 비 학업 직업 선택에는 소프트웨어 공학, 웹 기반 기술 및 정보 통신 기술 분야가 포함됩니다.

요구 사항

학부 학위, 논리, 이론 철학, 수학, 컴퓨터 과학 또는 언어학에서 3 년 이상의 풀 타임 학습.

이 프로그램을 공부하는 3 가지 이유

1. 수학, 철학 및 컴퓨터 과학을 결합한 학제 간 환경
2. 국제 연구 환경에 참여하십시오.
3. 귀하의 배경 및 학업 및 직업적 목표에 적합한 코스 모듈 선택

Monica Havström

가을부터 시작 하는 프로그램의 신청 기간

EU / EEA 시민권이없는 국제 학생
국제 학생들을위한 주요 신청 기간은 가을 학기 시작되는 모든 프로그램에 대해 10 월 중순부터 1 월 15 일까지입니다. href = "universityadmissions.se 에서 신청하십시오.

EU / EEA 무료 이민자 / 비 파트너 학생 및 스웨덴 학생
거주 허가가 필요하지 않은 경우, 가을 신청은 3 월 15 일부터 4 월 중순까지 가능합니다. href = "universityadmissions.se" 또는 href = "antagning.se 에서 신청하십시오.

수업료

EU / EEA 이외의 국가의 시민 인 학생들은 일반적으로 학비를 지불해야합니다. 수업료는 EU / EEA 시민에게는 적용되지 않습니다. 학비에 대한 정보는 철학, 언어학 및 과학 이론에 문의하십시오.