Philosophy of Computer Science

Utbildningsfakta

Kod: DVG355

Vad är egentligen datavetenskap?<br> Vad är egentligen en algoritm? Kan vi vara säkra på att ett program är korrekt? Och finns det gränser för vad en dator överhuvudtaget kan beräkna?<br> Kursen Datavetenskapens filosofi vänder sig till dig som är nyfiken på de idéer och frågor som ligger bakom datorer, programmering och artificiell intelligens. Du behöver inte vara filosof eller programmerare – det viktigaste är ett intresse för datavetenskap och vilken roll den spelar i samhället.<br> Under kursen utforskar vi datavetenskapens historiska och filosofiska grunder. Vi diskuterar begrepp som algoritmer, program, specifikationer och implementationer, och undersöker centrala idéer som Turings analys och Church–Turing-tesen. Vi frågar också vad det innebär att ett program är ”korrekt” och jämför testning med formell verifiering.<br> Kursen tar dessutom upp aktuella frågor kring artificiell intelligens, kognition, algoritmiskt beslutsfattande och ansvar. Kan en maskin tänka? Vad kan vi egentligen veta om en AI:s beslut? Och vem bär ansvaret när AI och algoritmer påverkar människors liv?<br> Genom föreläsningar och seminarier får du möjlighet att diskutera spännande frågor i mötet mellan datavetenskap, filosofi och samhälle.

Behörighet

30 ECTS credits in courses in Computer Science and/or Philosophy, or equivalent knowledge in related fields

Utbildningstillfällen

Varje tillfälle har egna datum och villkor. Avslutade tillfällen behålls som historik och innebär inte att en ny ansökan är öppen.

• Philosophy of Computer Science

  University of Gävle

  Varied

  Startdatum: 18 januari 2027

  Slutdatum: 6 juni 2027

  Studietakt: 25 %