at give deltagerne teoretisk indsigt i den arraybaserede logik. Arraybaseret logik er en ny IT niche, der mere generelt betegnes arraybaseret teknologi. Til grund for teknologien ligger en teori, der sikrer at logiske systemer er fejlfrie - af betydning for jernbanedrift, elforsyning og generelt infrastruktur, hvor der stilles krav til sikkerhed. Teorien har også fundet anvendelse til konfigurering af produkter og indlejrede styringer, for eksempel i audio-video produkter.
Læringsmål:
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
gennemføre analyser af udsagnslogiske argumentskemaer ved array-baseret logik
anvende udviklingsplatform til konfiguration af et produkt, service eller system
beskrive logikkens geometri ved arrays og herunder forstå det gruppeteoretiske sysnspunkt
anvende de tre grundlæggende operationer til logisk inferens, dvs. ydre produkt, kolligering og projektion ved benyttelse af et array-orienteret sprog
viden om de fire måleskaler: nominal-, ordinal-, interval- og forholdsskala
fortolke logiske argumenter som diskrete systemer
beskrive tilstanden af et system og dets variable
genkende forskellen mellem deduktion, induktion og abduktion
beskrive overgangen fra udsagnslogik til prædikatkalkule, relationsalgebra og multiværdilogik
genkende forskellige repræsentationsformer og teknologier for anvendelse af teorien
Kursusindhold:
Arraybaseret logik har videnskabeligt grundlag i en geometrisk-algebraisk formalisering af logikken. Den arraybaserede logik behandler logikken som en fysisk disciplin udfra en opfattelse af tildeling af logiske sandhedsværdier som fysiske målinger. I kurset gennemgås (1) det videnskabelige grundlag for denne teknologi, med særlig vægt på den arrayteoretiske formulering af logikken, (2) det teknologiske grundlag, herunder komprimering af store datamængder, metodegrundlag, orienteret imod bl.a.constraint satisfaction og relationsdatabaser, (3) produkter for component software og brugervenlig interface til teorien, (4) illustrative anvendelser indenfor jernbaner, elforsyning, telekommunikation, kontrolsystemer og tekniske-økonomiske produktionssystemer.
Litteratur::
Kurset baserer sig på engelsksprogede artikler, noter og slides der udleveres i forbindelse med hver forelæsning.
