Thạc sĩ trong Logic
University of Gothenburg, Faculty of Humanities
Thông tin mấu chốt
Địa điểm cơ sở
Gothenburg, Thụy Điển
Ngôn ngữ
Tiếng Anh
Hình thức học tập
Trộn lẫn
Khoảng thời gian
2 năm
Nhịp độ
Toàn thời gian
Học phí
Yêu cầu thông tin
Hạn nộp hồ sơ
Yêu cầu thông tin
ngày bắt đầu sớm nhất
Sep 2024
* Học phí: liên hệ với bộ phận
học bổng
Khám phá các cơ hội học bổng để giúp tài trợ cho việc học của bạn
Giới thiệu
Logic, Chương trình Thạc sĩ
Logic được định nghĩa theo truyền thống là nghiên cứu các khía cạnh chính thức của lý luận hợp lệ, nhưng ngày nay nhiều nhà logic thấy logic như một nghiên cứu tổng quát hơn về các hệ thống chính thức và các ứng dụng của chúng. Các khung khái niệm và công cụ được phát triển bởi nghiên cứu thuần túy trong logic hiện đại đã tìm thấy nhiều ứng dụng trong các ngành khác nhau nghiên cứu các ngôn ngữ và hệ thống chính thức, ví dụ, kỹ nghệ phần mềm và ngôn ngữ học tính toán.
Là một môn học logic thực sự liên ngành và nằm trên biên giới giữa Triết học, Toán học, Khoa học Máy tính và Ngôn ngữ học. Việc trao đổi là hoạt động và cùng có lợi. Logic hiện nay là một khu vực quốc tế tích cực của nghiên cứu và nghiên cứu cũng trong toán học, khoa học máy tính và ngôn ngữ học.
Năm đầu tiên của chương trình hai năm bao gồm chủ yếu là các khóa học bắt buộc trong các nguyên tắc cơ bản lý thuyết của logic. Năm thứ hai bao gồm một bài tiểu luận 30 mã lực và các khóa học tự chọn, nơi bạn, là một sinh viên, làm việc hướng tới một hồ sơ chuyên ngành trong lĩnh vực chung của logic và các ứng dụng của nó.
Một loạt hội thảo, Colloquium in Logic, về các ứng dụng logic, phương pháp luận và lịch sử logic sẽ chạy qua cả hai năm. Bạn cũng sẽ có cơ hội tham dự hội thảo nghiên cứu về logic tại khoa. Là một sinh viên của chương trình, bạn sẽ hợp tác chặt chẽ với một môi trường nghiên cứu quốc tế và mạnh mẽ.
Nội dung khóa học
- Tính đầy đủ và khả năng quyết định
- Đặt lý thuyết và phương thức logic
- Lý thuyết mô hình và lý thuyết chứng minh
- Lý thuyết thể loại và lý thuyết chính thức của sự thật
Nghề nghiệp sau khi tốt nghiệp
Sinh viên tốt nghiệp sẽ được chuẩn bị tốt để nộp đơn vào Ph.D. các chương trình trong Logic, Triết lý lý thuyết, Ngôn ngữ học, và Khoa học Máy tính và sẽ có năng lực trong phân tích đối số, cơ sở dữ liệu suy luận và web ngữ nghĩa. Các lựa chọn nghề nghiệp phi học thuật bao gồm kỹ nghệ phần mềm, công nghệ dựa trên web cũng như lĩnh vực công nghệ thông tin và truyền thông.
Yêu cầu
Bằng đại học, ít nhất ba năm nghiên cứu toàn thời gian, trong logic, triết lý lý thuyết, toán học, khoa học máy tính hoặc ngôn ngữ học.
3 lý do để nghiên cứu Chương trình này
- Một môi trường liên ngành kết hợp toán học, triết học và khoa học máy tính
- Tham gia môi trường nghiên cứu quốc tế
- Chọn mô-đun khóa học phù hợp với mục tiêu nền tảng và học tập và chuyên môn của bạn
Thời gian áp dụng cho các chương trình bắt đầu vào mùa thu
Sinh viên quốc tế không có quốc tịch EU / EEA
Thời gian áp dụng chính cho sinh viên quốc tế là từ giữa tháng 10 đến 15 tháng 1 cho tất cả các chương trình bắt đầu vào mùa thu. Áp dụng at href = "universityadmissions.se
Sinh viên miễn phí / không thuộc đối tác của EU / EEA và sinh viên Thụy Điển
Nếu bạn không cần giấy phép cư trú, đơn xin mùa thu sẽ mở cửa vào ngày 15 tháng 3 - giữa tháng Tư. Áp dụng at href = "universityadmissions.se hoặc at href =" antagning.se .
Học phí
Sinh viên là công dân của các nước ngoài EU / EEA thường phải trả học phí. Học phí không áp dụng cho công dân EU / EEA. Để biết thông tin về học phí, xin vui lòng liên hệ với Bộ Triết học, Ngôn ngữ học và Lý thuyết Khoa học.