Master in Logic

Logika, Program Master

Logika secara tradisional didefinisikan sebagai studi aspek formal penalaran yang valid, tetapi hari ini banyak ahli logika melihat logika sebagai studi yang lebih umum tentang sistem formal dan aplikasinya. Kerangka kerja konseptual dan alat yang dikembangkan oleh penelitian murni dalam logika modern telah menemukan banyak aplikasi dalam berbagai disiplin ilmu yang mempelajari bahasa dan sistem formal, misalnya, rekayasa perangkat lunak dan linguistik komputasional.

Sebagai logika subjek akademik adalah benar-benar interdisipliner dan terletak di perbatasan antara Filsafat, Matematika, Ilmu Komputer, dan Linguistik. Pertukaran aktif dan saling menguntungkan. Logika saat ini merupakan bidang studi dan penelitian internasional yang aktif, juga dalam bidang matematika, ilmu komputer, dan linguistik.

Tahun pertama dari program dua tahun sebagian besar terdiri dari mata kuliah wajib dalam teori dasar logika. Tahun kedua terdiri dari esai 30 menit dan program elektif, di mana Anda, sebagai mahasiswa, bekerja menuju profil khusus dalam bidang umum logika dan aplikasinya.

Serangkaian seminar, Kolokium dalam Logika, pada aplikasi logika, metodologi, dan sejarah logika akan berjalan selama dua tahun. Anda juga akan memiliki kesempatan untuk menghadiri seminar penelitian dalam logika di departemen. Sebagai mahasiswa program, Anda akan bekerja dalam kerja sama erat dengan lingkungan penelitian internasional dan penuh semangat.

Monica Havström

Konten kursus

• Kelengkapan dan Decidability
• Atur Teori dan Modal Logika
• Teori Model dan Teori Bukti
• Teori Kategori dan Teori-Teori Resmi Kebenaran

Karir setelah lulus

Lulusan akan dipersiapkan dengan baik untuk mendaftar ke Ph.D. program dalam Logika, Filosofi Teoritis, Linguistik, dan Ilmu Komputer dan akan memiliki kompetensi dalam analisis argumen, database deduktif, dan web semantik. Pilihan karir non-akademik termasuk rekayasa perangkat lunak, teknologi berbasis web serta sektor teknologi informasi dan komunikasi.

Persyaratan

Gelar sarjana, setidaknya tiga tahun studi penuh waktu, dalam logika, filsafat teoritis, matematika, ilmu komputer atau linguistik.

3 alasan untuk mempelajari Program ini

1. Lingkungan interdisipliner yang menggabungkan matematika, filsafat, dan ilmu komputer
2. Ambil bagian dalam lingkungan penelitian internasional
3. Pilih modul kursus yang sesuai dengan latar belakang Anda dan sasaran akademik dan profesional

Monica Havström

Periode Aplikasi untuk program yang dimulai pada musim gugur

Siswa internasional tanpa kewarganegaraan EU / EEA
Periode aplikasi utama untuk siswa internasional adalah pertengahan Oktober hingga 15 Januari untuk semua program yang dimulai pada musim gugur. Terapkan di href = "universityadmissions.se

EU / EEA siswa mover gratis / non-Mitra dan siswa Swedia
Jika Anda tidak memerlukan izin tinggal, aplikasi untuk musim gugur akan dibuka 15 Maret - pertengahan April. Terapkan di href = "universityadmissions.se atau di href =" antagning.se .

Biaya pendidikan

Siswa yang merupakan warga negara di luar UE / EEA umumnya diminta untuk membayar biaya sekolah. Biaya kuliah tidak berlaku untuk warga EU / EEA. Untuk informasi tentang biaya kuliah, silakan hubungi Departemen Filsafat, Linguistik, dan Teori Sains.