2016-12-29: GU courseplan: minor updates

http://kursplaner.gu.se/pdf/kurs/en/DIT982

2016-11-16: Checking the status of the course plan

Chalmers: https://www.student.chalmers.se/sp/course?course_id=24230

Återkoppling från kursplanegruppen på institutionen som hittade ett par små diskrepanser mellan den engelska och den svenska kursplanen.

Mål:

• "genomföra och kalkylera bevis" := "utföra kalkylerande bevis"
• "implementationer av" := "programvaruimplementationer av"

Former:

• "fallstudier (övningar)" := "fallstudier"