IUAE-matris TDDD08 Logikprogrammering - 2016

2016  TDDD08  Logikprogrammering   I     U     A    EXAKOD   KOMMENTAR
1 MATEMATISKA, NATUR- OCH TEKNIKVETENSKAPLIGA KUNSKAPER  
1.1 Kunskaper i grundläggande matematiska och naturvetenskapliga ämnen     x   x  TEN1  Fördjupad förståelse av grundläggande logiska begrepp 
1.2 Kunskaper i teknikvetenskapliga ämnen     x   x  LAB1  Tillämpning av logik i programmeringssammanhang 
1.3 Fördjupade kunskaper i något/några tillämpade ämnen             
2 INDIVIDUELLA OCH YRKESMÄSSIGA FÄRDIGHETER OCH FÖRHÅLLNINGSSÄTT  
2.1 Ingenjörsmässigt/vetenskapligt tänkande och problemlösning     x     LAB1  Förmåga att tänka, och lösa problem på ett deklarativt sätt 
2.2 Experimenterande och kunskapsbildning     x     TEN1  Deduktiv förmåga 
2.3 Systemtänkande             
2.4 Individuella färdigheter och förhållningssätt             
2.5 Professionella färdigheter och förhållningssätt             
3 FÖRMÅGA ATT ARBETA I GRUPP OCH KOMMUNICERA  
3.1 Förmåga att arbeta i grupp             
3.2 Förmåga att kommunicera             
3.3 Förmåga att kommunicera på främmande språk  x          Litteratur och undervisning på engelska 
4 PLANERING, UTVECKLING, REALISERING, DRIFT OCH AFFÄRSMÄSSIGT FÖRVERKLIGANDE AV TEKNISKA PRODUKTER, SYSTEM OCH TJÄNSTER MED HÄNSYN TILL AFFÄRSMÄSSIGA OCH SAMHÄLLELIGA BEHOV OCH KRAV  
4.1 Samhälleliga villkor, inklusive ekonomiskt, socialt och ekologiskt hållbar utveckling             
4.2 Företags och affärsmässiga villkor  x          Behov av högnivåspråk 
4.3 Att planera system     x     TEN1  Logik som specifikationsspråk 
4.4 Att utveckla system  x   x     LAB1  Från specifikation till implementation 
4.5 Att realisera system  x   x     LAB1  Kodning, testning, debugging 
4.6 Att ta i drift och använda             
5 PLANERING, GENOMFÖRANDE OCH PRESENTATION AV FORSKNINGSPROJEKT MED HÄNSYN TILL VETENSKAPLIGA OCH SAMHÄLLELIGA BEHOV OCH KRAV  
5.1 Samhälleliga villkor             
5.2 Ekonomiska villkor             
5.3 Att planera forsknings- och utvecklingsprojekt             
5.4 Att genomföra forsknings- och utvecklingsprojekt             
5.5 Att rapportera och redovisa forsknings- och utvecklingsprojekt