University of Gothenburg, Faculty of Humanities

Sarjana dalam Logik

Logik, Program Sarjana

Logik secara tradisional ditakrifkan sebagai kajian aspek-aspek formal sebab-sebab yang sah, tetapi hari ini ramai ahli logik melihat logik sebagai kajian yang lebih umum tentang sistem formal dan aplikasi mereka. Rangka kerja konsep dan alat yang dibangunkan oleh penyelidikan tulen dalam logik moden telah menemui banyak aplikasi dalam pelbagai bidang yang mempelajari bahasa dan sistem formal, contohnya kejuruteraan perisian dan linguistik pengkomputeran.

Sebagai logik subjek akademik adalah benar-benar interdisipliner dan terletak di sempadan antara Falsafah, Matematik, Sains Komputer, dan Linguistik. Pertukaran itu aktif dan saling menguntungkan. Logik kini merupakan bidang kajian dan penyelidikan antarabangsa yang aktif juga dalam bidang matematik, sains komputer, dan linguistik.

Tahun pertama program dua tahun ini kebanyakannya terdiri daripada kursus wajib dalam asas logik teori. Tahun kedua terdiri daripada kursus esai dan elektrod 30 hp, di mana anda, sebagai pelajar, bekerja ke arah profil khusus dalam bidang umum logik dan aplikasinya.

Satu siri seminar, Colloquium in Logic, mengenai aplikasi logik, metodologi, dan sejarah logik akan berjalan selama dua tahun. Anda juga akan mempunyai peluang untuk menghadiri seminar penyelidikan dalam logik di jabatan. Sebagai pelajar program ini, anda akan bekerjasama rapat dengan persekitaran penyelidikan antarabangsa dan bertenaga.

Kandungan kursus

• Kesempurnaan dan Ketaksempurnaan
• Tetapkan Teori dan Logik Modal
• Teori Model dan Teori Proof
• Kategori Teori dan Formal Teori Kebenaran

Kerjaya selepas tamat pengajian

Graduan akan bersedia untuk memohon ke Ph.D. program dalam Logik, Falsafah Teoritis, Linguistik, dan Sains Komputer dan akan mempunyai kecekapan dalam analisis argumen, pangkalan data deduktif, dan web semantik. Pilihan kerjaya bukan akademik termasuk kejuruteraan perisian, teknologi berasaskan web serta sektor teknologi maklumat dan komunikasi.

Keperluan

Ijazah Sarjana, sekurang-kurangnya tiga tahun pengajian sepenuh masa, dalam logik, falsafah teoritis, matematik, sains komputer atau linguistik.

3 sebab untuk mengkaji Program ini

1. Persekitaran antara disiplin yang menggabungkan matematik, falsafah dan sains komputer
2. Mengambil bahagian dalam persekitaran penyelidikan antarabangsa
3. Pilih modul kursus yang sesuai dengan latar belakang dan matlamat akademik dan profesional anda

Monica Havström

Tempoh Permohonan untuk program bermula pada musim gugur

Pelajar antarabangsa tanpa kewarganegaraan EU / EEA
Tempoh permohonan utama untuk pelajar antarabangsa adalah pertengahan Oktober hingga 15 Januari untuk semua program bermula pada musim gugur. Terapkan di href = "universityadmissions.se

Pelajar EU / EEA penggerak bebas / bukan Rakan dan pelajar Sweden
Jika anda tidak memerlukan permit pemastautin, permohonan untuk musim luruh akan dibuka 15 Mac - pertengahan April. Terapkan di href = "universityadmissions.se atau di href =" antagning.se .

Yuran tuisyen

Pelajar yang warga negara di luar EU / EEA biasanya perlu membayar yuran pengajian. Yuran pengajian tidak dikenakan kepada warganegara EU / EEA. Untuk maklumat mengenai yuran pengajian, sila hubungi Jabatan Falsafah, Linguistik dan Teori Sains.