Philosophy of Computer Science

Education facts

Code: 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.

Entry requirements

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

Education offerings

Each offering has its own dates and conditions. Closed offerings are retained as history and do not mean that a new application is open.

• Philosophy of Computer Science

  University of Gävle

  Varied

  Start date: 18 January 2027

  End date: 6 June 2027

  Pace of study: 25 %