Sökning: "Sebastian Nordmark"

Hittade 2 uppsatser innehållade orden Sebastian Nordmark.

1. 1. HasLin - ett DSL för linjär algebra

   Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

   Författare :Adam Eliasson; Daniel Nikoalev; Filip Nordmark; Sebastian Sjögren; Linus Sundkvist; [2023-03-03]
   Nyckelord :Haskell; DSL; Linjär algebra; Agda; pedagogik; bevis;

   Sammanfattning : Matematik är en viktig del av datavetenskap och ett vanligt förekommande ämne på teknikinriktade program på universitet är linjär algebra. Om matematik tolkas inom kontexten av ett domänspecifikt språk kan klyftan mellan matematik och datavetenskap överbryggas. LÄS MER

3. 2. IndUnd : The Industrial Machine Maintenance Program

   Master-uppsats, Mittuniversitetet/Avdelningen för informations- och kommunikationssystem

   Författare :Fredrik Nordmark; Sebastian Ryd; [2015]
   Nyckelord :;

   Sammanfattning : .... LÄS MER