Introduktion: Hvad er datalogi?
Introduktion: Hvad er datalogi?
Introduktion: Hvad er datalogi?
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Introduktion</strong>: <strong>Hvad</strong> <strong>er</strong> <strong>datalogi</strong>?<br />
Henrik Kragh Sørensen<br />
Institut for Videnskabsstudi<strong>er</strong>, Aarhus Univ<strong>er</strong>sitet<br />
hks@ivs.au.dk<br />
www.henrikkragh.dk<br />
Resumé<br />
Und<strong>er</strong>visningsgangens tema<strong>er</strong>: Kurset, und<strong>er</strong>visningsformen og und<strong>er</strong>vis<strong>er</strong>en præsent<strong>er</strong>es.<br />
Åbnenede case. Videnskabelighed<strong>er</strong>; videnskab, teknologi, håndværk, kunst<br />
ell<strong>er</strong> profession? Faglighed induc<strong>er</strong><strong>er</strong> etik. Datalogi i andre videnskab<strong>er</strong>.<br />
Case(s): Åbningsdiskussion: <strong>Hvad</strong> <strong>er</strong> <strong>datalogi</strong>?: (Wing 2006). <strong>Hvad</strong> <strong>er</strong> videnskab?:<br />
(Kragh 2003). Er <strong>datalogi</strong> en videnskab?: (Denning 2005, Denning 2007, Bond 2005,<br />
Hansen og Johansen 2007).<br />
Forelæsning #1, 2009-04-07<br />
Datalogiens Videnskabsteori 2009
Dagens program<br />
⋆ (Spørgsmål).<br />
⋆ Præsentation<strong>er</strong>:<br />
− Forelæs<strong>er</strong>en og instruktorne,<br />
− Kurset,<br />
− Formalia: oplæg, synopsis og eksamen,<br />
− Kompendium.<br />
⋆ Case: Professionel etik.<br />
⋆ <strong>Hvad</strong> <strong>er</strong> <strong>datalogi</strong>?<br />
Præsentation af und<strong>er</strong>vis<strong>er</strong>ne<br />
⋆ Henrik Kragh Sørensen → .<br />
− Hovedfag i matematik, sidefag i <strong>datalogi</strong>.<br />
− Ph.d. i videnskabshistorie (matematikhistorie).<br />
− Kontor (1110-122) på Institut for Videnskabsstudi<strong>er</strong>.<br />
⋆ Instruktor<strong>er</strong> Laura Thomasen, Mads Olesen, Torben Jensen og Martin And<strong>er</strong>sen.<br />
Kursets formål og læringsmål<br />
⋆ Fagets videnskabsteori → <strong>datalogi</strong>.<br />
Ved kursets afslutning bør du kunne:<br />
⋆ redegøre for dit fags særpræg og dets forhold til andre akademiske disciplin<strong>er</strong>,<br />
⋆ p<strong>er</strong>spektiv<strong>er</strong>e, hvad det vil sige at være datalog uddannet i Danmark,<br />
⋆ diskut<strong>er</strong>e hvad dit fag indebær<strong>er</strong> af videnskabsteoretiske og etiske problemstilling<strong>er</strong>,<br />
og<br />
⋆ reflekt<strong>er</strong>e kritisk ov<strong>er</strong> dit fags indhold og dets samfundsmæssige funktion<strong>er</strong>.<br />
2
Spørgsmål, spørgsmål, spørgsmål<br />
⋆ Videnskab — Teknologi — Håndværk.<br />
⋆ Forskning — Innovation — Anvendelse.<br />
⋆ Datalogi som videnskab (akademia) ell<strong>er</strong> profession (<strong>er</strong>hv<strong>er</strong>vsliv)?<br />
⋆ Filosofi — Historie — Etik.<br />
Kursusuge Indhold<br />
1 2009-04-07 <strong>Introduktion</strong>: <strong>Hvad</strong> <strong>er</strong> <strong>datalogi</strong>?<br />
2 2009-04-21 Modell<strong>er</strong>ing og reduktionisme<br />
3 2009-04-28 Teoretisk <strong>datalogi</strong> ell<strong>er</strong> anvendt matematik?<br />
4 2009-05-05 Datalogiens historie og den akademiske v<strong>er</strong>den<br />
5 2009-05-12 Datalogi og etik<br />
6 2009-05-19 Datalogi som profession<br />
7 2009-05-26 Comput<strong>er</strong>simulation og <strong>datalogi</strong>ens rolle i andre vi-<br />
denskab<strong>er</strong><br />
Bemærk: To ug<strong>er</strong> byttet om i forhold til kompendiet.<br />
Kursets forelæsning<strong>er</strong> etc.<br />
⋆ Forelæsning<strong>er</strong> tirsdage 8–11 i Aud. E.<br />
⋆ Forelæsning<strong>er</strong> p<strong>er</strong>spektiv<strong>er</strong><strong>er</strong> og diskut<strong>er</strong><strong>er</strong> pensum.<br />
3
⋆ Kompendium (325pp.):<br />
− Baggrunds- og case-tekst<strong>er</strong> for forelæsning<strong>er</strong> og øvels<strong>er</strong> (pensum).<br />
− Sælges fra Stakbogladen ved Vandrehallen på Nat.Fak.<br />
⋆ AULA: → Nat.Fak. → Videnskabshistorie → FVTDAT09<br />
→ <br />
− Deltag<strong>er</strong>e bedes tilmelde sig AULA → også tilmelde sig øvelseshold.<br />
− Meddelels<strong>er</strong> og dokument<strong>er</strong> (not<strong>er</strong>, kursusplan, tekstintroduktion<strong>er</strong>, ekstra<br />
mat<strong>er</strong>iale).<br />
− Forelæsningsnot<strong>er</strong>ne udkomm<strong>er</strong> tirsdag eft<strong>er</strong>middag.<br />
− Ugesedl<strong>er</strong> udkomm<strong>er</strong> tirsdag eft<strong>er</strong>middag ell<strong>er</strong> onsdag.<br />
Kursets notesæt<br />
⋆ Udvikles i løbet af kurset.<br />
⋆ PDF-fil ligg<strong>er</strong> på AULA.<br />
⋆ Rettels<strong>er</strong>, ændring<strong>er</strong>, tilføjels<strong>er</strong> kan foreslås på AULA diskussionsforum (+blog<br />
på AULA).<br />
⋆ Husk at angive v<strong>er</strong>sion (CVS-numm<strong>er</strong>) og sidetal på rettels<strong>er</strong>.<br />
⋆ Hvorfor hjælpe med? → Den endelige v<strong>er</strong>sion <strong>er</strong> pensum → mulighed for direkte<br />
respons.<br />
Kursets øvels<strong>er</strong> etc.<br />
⋆ Fire øvelseshold:<br />
1. Onsdage (14–17, i 1110-214, Martin),<br />
2. Fredage (8–11, i 1110-214, Torben),<br />
3. Mandage (14–17, i 1110-214, Mads),<br />
4. Mandage (8–11, i 1110-214, Laura).<br />
⋆ Øvels<strong>er</strong>ne begynd<strong>er</strong> eft<strong>er</strong> påske (næste forelæsning <strong>er</strong> først 21. april).<br />
⋆ Øvels<strong>er</strong>nes indhold:<br />
− Deltag<strong>er</strong>-oplæg i grupp<strong>er</strong>,<br />
− Deltag<strong>er</strong>-styret diskussion,<br />
− Plenumsdiskussion<strong>er</strong> og gennemgang.<br />
4
⋆ Obligatorisk program: aktiv deltagelse, oplæg, synopsis.<br />
⋆ Formål: starte, udvikle og afslutte faglig reflektion.<br />
⋆ Grupp<strong>er</strong>! Oplægets varighed <strong>er</strong> cirka 45–60 minutt<strong>er</strong> pr. gruppe.<br />
⋆ Læs kritisk og stil spørgsmål. Gå ud fra de stillede tilgangsvinkl<strong>er</strong>. Benyt evt.<br />
suppl<strong>er</strong>ende litt<strong>er</strong>atur.<br />
⋆ Præsentér tekst<strong>er</strong>ne kort — forudsæt, at j<strong>er</strong>es publikum har læst. Medtag så meget<br />
‘kontekst’, som <strong>er</strong> nødvendigt for den eft<strong>er</strong>følgende diskussion.<br />
⋆ Vælg evt. centrale tema<strong>er</strong> ud til diskussion.<br />
⋆ Læg op til diskussion — først måske indbyrdes. Involvér publikum! Styr diskussionen!<br />
⋆ I gruppen <strong>er</strong> alle ansvarlige.<br />
⋆ Tal til publikum! Engagér publikum!<br />
⋆ Brug AV-udstyr korrekt: ov<strong>er</strong>skueligt, stor skrift, ikke-ov<strong>er</strong>fyldte slides.<br />
⋆ Brug AV-udstyr (tavle) til at fastholde centrale point<strong>er</strong> → og til at styre diskussionen.<br />
⋆ Se på publikum, ikke på papir<strong>er</strong> ell<strong>er</strong> lærred.<br />
Synops<strong>er</strong> og eksamen<br />
⋆ Synops<strong>er</strong> udarbejdes (individuelt ell<strong>er</strong> kollektivt) af medlemm<strong>er</strong>ne af den gruppe,<br />
d<strong>er</strong> <strong>er</strong> ansvarlig for fremlæggelsen og sendes elektronisk til instruktoren i god<br />
tid før oplæget skal holdes (aftales med instruktoren).<br />
⋆ Læses igennem af instruktoren, som giv<strong>er</strong> feedback og lægg<strong>er</strong> ud und<strong>er</strong> gruppens<br />
dokument<strong>er</strong> på AULA.<br />
Kursets eksamen<br />
⋆ Bunden, 2-dages hjemmeopgave, bedømt eft<strong>er</strong> 7-trins-skalaen.<br />
⋆ Kompendiet, evt. ekstra mat<strong>er</strong>iale samt notesættet udgør pensum.<br />
⋆ Godkendt deltag<strong>er</strong>-oplæg og synopsis samt aktiv deltagelse <strong>er</strong> en forudsætning<br />
for at gå til eksamen.<br />
5
Eksamensopgavens form<br />
⋆ Opgaveformul<strong>er</strong>ingen vil bestå af 5–8 bundne spørgsmål med en vis grad af indre<br />
sammenhæng.<br />
⋆ Spørgsmålene vil have forskellige krav: redegørelse, kort redegørelse, analyse,<br />
diskussion.<br />
⋆ Opgavebesvarelsen bør svare på hv<strong>er</strong>t spørgsmål i rækkefølge → og det skal<br />
være klart, hvornår d<strong>er</strong> svares på hvilket spørgsmål.<br />
⋆ Opgaven kan besvares fyldestgørende på de to dage og forventes at kunne besvares<br />
fyldestgørende og ‘skarpt’ ov<strong>er</strong> 6–8 sid<strong>er</strong>.<br />
Læringsmålene, igen<br />
Ved kursets afslutning bør du kunne:<br />
⋆ redegøre for dit fags særpræg og dets forhold til andre akademiske disciplin<strong>er</strong>,<br />
⋆ p<strong>er</strong>spektiv<strong>er</strong>e, hvad det vil sige at være datalog uddannet i Danmark,<br />
⋆ diskut<strong>er</strong>e hvad dit fag indebær<strong>er</strong> af videnskabsteoretiske og etiske problemstilling<strong>er</strong>,<br />
og<br />
⋆ reflekt<strong>er</strong>e kritisk ov<strong>er</strong> dit fags indhold og dets samfundsmæssige funktion<strong>er</strong>.<br />
Forrige års eksamensspørgsmål<br />
1. Redegør kort ( 1<br />
2 –1 side) med udgangspunkt i Kragh-teksen (tekst 4) for, hvad d<strong>er</strong><br />
karakt<strong>er</strong>is<strong>er</strong><strong>er</strong> videnskab.<br />
2. Benyt dit svar på spørgsmål 1 samt udvalgte tekst<strong>er</strong> fra kompendiet til at kort at<br />
analys<strong>er</strong>e (ca. 1 side), hvorvidt <strong>datalogi</strong> opfyld<strong>er</strong> de opsatte krit<strong>er</strong>i<strong>er</strong>.<br />
3. Datalogi <strong>er</strong> — som und<strong>er</strong>støttet af leksikon-opslag i kursets første uge — en “vidtfavnende,<br />
tværvidenskabelig disciplin”, som også har mange roll<strong>er</strong> at spille udenfor<br />
den akademiske v<strong>er</strong>den. Redegør kort ( 1<br />
2 –1 side) for forholdet mellem et fag<br />
og dets sag, som dette forhold udfoldes hos Fink (tekst 22).<br />
4. Analysér d<strong>er</strong>eft<strong>er</strong> med udgangspunkt i dit svar på spørgsmål 3, hvilke sag<strong>er</strong>,<br />
<strong>datalogi</strong>-faget kan siges at have.<br />
5. Diskutér endelig — på grundlag af dine svar på spørgsmål 3 og 4 og und<strong>er</strong> anvendelse<br />
af udvalgte tekst<strong>er</strong> fra kompendiet — mindst 1 eksempel, hvor hensynet til<br />
en “sag” har ført ell<strong>er</strong> bør føre datalogen til bestemte handling<strong>er</strong>. Redegør for<br />
eventuelle etiske argument<strong>er</strong> und<strong>er</strong>vejs.<br />
6
Redegørelse, analyse og diskussion<br />
⋆ Redegørelse: Forklare (dvs. beskrive, parafras<strong>er</strong>e og analys<strong>er</strong>e) i egne t<strong>er</strong>m<strong>er</strong>.<br />
Ref<strong>er</strong><strong>er</strong>ende tekst <strong>er</strong> passag<strong>er</strong>, hvor du ref<strong>er</strong><strong>er</strong><strong>er</strong> synspunkt<strong>er</strong><br />
ell<strong>er</strong> gengiv<strong>er</strong> teoretiske baggrunde. Komprimér disse afsnit<br />
så meget som muligt og udelad, hvad d<strong>er</strong> ikke <strong>er</strong> sagen<br />
vedkommende. En særlig slags ref<strong>er</strong><strong>er</strong>ende tekst udgøres af<br />
‘redegørende tekst’, hvor du beskriv<strong>er</strong> andres synspunkt<strong>er</strong><br />
og baggrunde med enkelte forklarende indskud, som klart<br />
mark<strong>er</strong>es stilistisk, fx med vending<strong>er</strong> som ‘dvs.’ ell<strong>er</strong> ‘hvilket<br />
betyd<strong>er</strong>’ ell<strong>er</strong> lignende.<br />
⋆ Kort redegørelse → ikke m<strong>er</strong>e end cirka 1<br />
2 side → præcision.<br />
⋆ Analyse: Bryde op i bestanddele og sammenholde → fx bryde et argument op i<br />
præmiss<strong>er</strong> og konklusion<strong>er</strong>.<br />
Den analys<strong>er</strong>ende tekst skal forholde sig til det i opgaveformul<strong>er</strong>ingen<br />
eft<strong>er</strong>spurgte. At analys<strong>er</strong>e <strong>er</strong> også at komment<strong>er</strong>e<br />
fremstilling<strong>er</strong>, forholde sig til forskelle og lighed<strong>er</strong> mellem<br />
fremstilling<strong>er</strong> og vurd<strong>er</strong>e andre videnskabsteoretiske argument<strong>er</strong>.<br />
Angiv altid meget tydeligt, hvem ‘d<strong>er</strong> har ordet’:<br />
dig, en anden videnskabsteoretik<strong>er</strong> ell<strong>er</strong> fx en videnskabsmand.<br />
⋆ Diskussion: Sammenligne og forholde (evt. også vurd<strong>er</strong>e) to position<strong>er</strong>, fx fra<br />
en forudgående analyse. → NB: Udgangspunkt i tekst, ikke i egne <strong>er</strong>faring<strong>er</strong>,<br />
mening<strong>er</strong>, etc. → Individualismen skal nok komme frem alligevel.<br />
Præcist sprog afspejl<strong>er</strong> præcist argument<br />
⋆ Klart og levende sprog.<br />
⋆ Skriv i helsætning<strong>er</strong>.<br />
⋆ Gør argument<strong>er</strong> færdige → ov<strong>er</strong>lad ikke konklusion<strong>er</strong> til læs<strong>er</strong>en → skriv på<br />
linj<strong>er</strong>ne.<br />
⋆ Pas på alt for lange sætning<strong>er</strong> → bryd sætning<strong>er</strong> op i komponent<strong>er</strong>.<br />
⋆ Sætning<strong>er</strong>, som indledes med et argument<strong>er</strong>ende led (“d<strong>er</strong>for”, “h<strong>er</strong>af ses”, etc.)<br />
antyd<strong>er</strong>, at den foregående sætning ikke blev helt færdig → revidér.<br />
⋆ Pas på med retoriske spørgsmål → og husk tegnsætning.<br />
7
⋆ Pas på med talesprog.<br />
⋆ “Metatekst” kan hjælpe læs<strong>er</strong>en og samtidig gøre argumentationen klar(<strong>er</strong>e) →<br />
giv også g<strong>er</strong>ne gode (sigende) ov<strong>er</strong>skrift<strong>er</strong>.<br />
Henvisning<strong>er</strong> og litt<strong>er</strong>aturliste<br />
⋆ Når man skriv<strong>er</strong> akademiske tekst<strong>er</strong> (og synops<strong>er</strong> og eksamensopgav<strong>er</strong> i Datalogiens<br />
Videnskabsteori skal være akademiske tekst<strong>er</strong>), <strong>er</strong> det vigtigt, at ref<strong>er</strong>enc<strong>er</strong><br />
og fodnot<strong>er</strong> bruges til at gøre det muligt for læs<strong>er</strong>en at gennemskue, hvor argument<strong>er</strong><br />
stamm<strong>er</strong> fra, ell<strong>er</strong> hvor et citat forekomm<strong>er</strong> i en kilde.<br />
⋆ Ref<strong>er</strong>enc<strong>er</strong> bruges af forfatt<strong>er</strong>en til at dokument<strong>er</strong>e andre p<strong>er</strong>son<strong>er</strong>s synspunkt<strong>er</strong><br />
ell<strong>er</strong> til at dokument<strong>er</strong>e, hvor en given fortolkning stamm<strong>er</strong> fra.<br />
⋆ Ref<strong>er</strong>enc<strong>er</strong> gives typisk i fodnot<strong>er</strong>, som indsættes ned<strong>er</strong>st på siden, g<strong>er</strong>ne i en lidt<br />
mindre font.<br />
⋆ Ref<strong>er</strong>enc<strong>er</strong> til en tekst i litt<strong>er</strong>aturlisten gives ved forfatt<strong>er</strong>ens/forfatt<strong>er</strong>nes eft<strong>er</strong>navn(e),<br />
udgivelsesår og sideangivelse. For eksempel: (Kragh 2003, s. 150) ell<strong>er</strong><br />
(Denning 2007, s. 15).<br />
Litt<strong>er</strong>aturlisten<br />
⋆ Litt<strong>er</strong>aturlisten skal indeholde al den litt<strong>er</strong>atur, du har brugt til opgaven.<br />
− For bøg<strong>er</strong> skal angives forfatt<strong>er</strong>navn(e) ell<strong>er</strong> redaktør(<strong>er</strong>), fuld titel, trykkested,<br />
trykkeår og trykk<strong>er</strong>. Titlen kursiv<strong>er</strong>es.<br />
− For artikl<strong>er</strong> skal angives forfatt<strong>er</strong>navn(e), fuld titel, tidsskriftets fulde navn,<br />
årgang/volumennumm<strong>er</strong>, trykkeår og sidetal (start+slut). Tidsskriftets titel<br />
kursiv<strong>er</strong>es.<br />
⋆ Litt<strong>er</strong>aturen skrives op alfabetisk eft<strong>er</strong> forfatt<strong>er</strong>ens eft<strong>er</strong>navn.<br />
⋆ Formålet med litt<strong>er</strong>aturlisten <strong>er</strong>, at andre videnskabsteoretik<strong>er</strong>e entydigt ud fra<br />
ref<strong>er</strong>encen skal kunne finde frem til værket.<br />
⋆ Eksempl<strong>er</strong> kan findes i litt<strong>er</strong>aturlist<strong>er</strong>ne i forelæsningsnot<strong>er</strong>ne og en bibTEX-fil<br />
forefindes på AULA.<br />
Case: Ejendoms- og ophavsret og <strong>datalogi</strong><br />
Lene <strong>er</strong> uddannet datalog og ansat i et større dansk firma.<br />
8
⋆ Lene <strong>er</strong> på f<strong>er</strong>ie i Østen. En dag går hun på et marked og find<strong>er</strong> en office-pakke,<br />
som hun kend<strong>er</strong> hjemmefra og længe har tænkt sig at anskaffe privat. Hjemme<br />
kost<strong>er</strong> den næsten 2000 kr. På markedet kan hun købe den for 75 kr. Manual<strong>er</strong>ne<br />
s<strong>er</strong> ud til at være fotokopi<strong>er</strong>. Køb<strong>er</strong> Lene office-pakken i Østen?<br />
⋆ Lenes firma udvikl<strong>er</strong> et logisk komplic<strong>er</strong>et, men “lille” system på teknologiens<br />
forkant (tænk OS i 1980’<strong>er</strong>ne). Lenes firma opnår en markedsfordel ved at være<br />
først ude med det nye produkt. Men hurtigt komm<strong>er</strong> klon<strong>er</strong> på markedet. Nogle<br />
af klon<strong>er</strong>ne har “lånt” kode fra Lenes produkt. Kan Lene sagsøge konkurrent<strong>er</strong>ne?<br />
⋆ Lenes projekt har brug for en hurtig og især effektiv måde at krypt<strong>er</strong>e data på. Lene<br />
ov<strong>er</strong>vej<strong>er</strong> forskellige alt<strong>er</strong>nativ<strong>er</strong>; nogle af dem bygg<strong>er</strong> på “proprietære” ell<strong>er</strong><br />
klausul-belagte algoritm<strong>er</strong>. Men Kan Lene “låne” ide<strong>er</strong> fra disse algoritm<strong>er</strong>?<br />
Professionel etik<br />
⋆ Ejendomsret, ophavsret, privatlivets ukrænkelighed → alle <strong>er</strong> etiske spørgsmål,<br />
som b<strong>er</strong>ør<strong>er</strong> alle → men kan have en særlig betydning for datalog<strong>er</strong>.<br />
⋆ Lov (ret), Moral (retfærdighed) og Etik.<br />
⋆ Faglig, p<strong>er</strong>sonlig og professionel int<strong>er</strong>esse.<br />
⋆ Modell<strong>er</strong>ing, menneskelighed og fremmedgørelse.<br />
⋆ Svarene på spørgsmålene kan godt afhænge af ens “<strong>datalogi</strong>-syn” → <strong>Hvad</strong> <strong>er</strong><br />
<strong>datalogi</strong>?.<br />
<strong>Hvad</strong> <strong>er</strong> <strong>datalogi</strong>? DSDE<br />
“Datalogi, (af data og -logi), videnskaben om data og dataprocess<strong>er</strong>; opstod eft<strong>er</strong><br />
fremkomsten af den digitale comput<strong>er</strong> i midten af 1940’<strong>er</strong>ne. Ordet <strong>datalogi</strong> blev<br />
indført af professor Pet<strong>er</strong> Naur i 1966 som et alt<strong>er</strong>nativ til den am<strong>er</strong>ikanske betegnelse<br />
“comput<strong>er</strong> science”, d<strong>er</strong> ikke i samme grad udtrykk<strong>er</strong>, at faget rumm<strong>er</strong><br />
videnskabelige problem<strong>er</strong>, d<strong>er</strong> rækk<strong>er</strong> ud ov<strong>er</strong> den blotte udnyttelse af comput<strong>er</strong>en.<br />
Datalogiens forskningsobjekt <strong>er</strong> data, repræsentation<strong>er</strong> af objekt<strong>er</strong> ell<strong>er</strong> idé<strong>er</strong>.<br />
[. . . ] Datalogien handl<strong>er</strong> således om datastruktur<strong>er</strong> og dataprocess<strong>er</strong> samt om karakt<strong>er</strong>is<strong>er</strong>ing<br />
af sådanne struktur<strong>er</strong>s og process<strong>er</strong>s egenskab<strong>er</strong> og begrænsning<strong>er</strong>.<br />
Comput<strong>er</strong>en <strong>er</strong> et centralt redskab i <strong>datalogi</strong>en. Med den kan den <strong>datalogi</strong>ske<br />
forsknings hypotes<strong>er</strong> afprøves i praksis, og megen <strong>datalogi</strong>sk forskning omhandl<strong>er</strong><br />
principp<strong>er</strong> for programm<strong>er</strong>ing og metod<strong>er</strong> til effektiv udnyttelse af comput<strong>er</strong>en.<br />
Den vigtigste hjælpedisciplin for <strong>datalogi</strong>en <strong>er</strong> matematikken; ikke den kontinu<strong>er</strong>te<br />
matematik [. . . ], men diskret matematik. Også logik find<strong>er</strong> anvendelse i <strong>datalogi</strong>en.<br />
9
Datalogiens opgave <strong>er</strong> at afdække gen<strong>er</strong>elle principp<strong>er</strong> for databehandling. H<strong>er</strong>ved<br />
komm<strong>er</strong> <strong>datalogi</strong>en til at int<strong>er</strong>ess<strong>er</strong>e sig for mange problemstilling<strong>er</strong>, d<strong>er</strong> også<br />
kendes i andre disciplin<strong>er</strong> [fx ingeniørfag (automatiske system<strong>er</strong>), arkitektur og<br />
psykologi (brugsværdi af komplekse system<strong>er</strong>), lingvistik (programm<strong>er</strong>ingssprog),<br />
bibliotekarvidenskab (lagring og søgning), organisationteori (store datasystem<strong>er</strong>)].<br />
Datalogi <strong>er</strong> således en vidtfavnende tværvidenskabelig disciplin [. . . ].” (DSDE, <strong>datalogi</strong>).<br />
organisationsteori<br />
bibliotekarvidenskab<br />
lingvistik<br />
matematik<br />
<strong>datalogi</strong><br />
psykologi<br />
<strong>Hvad</strong> <strong>er</strong> <strong>datalogi</strong>? Udvalgte emn<strong>er</strong><br />
⋆ Algoritm<strong>er</strong> og datastruktur<strong>er</strong> → kompleksitet.<br />
⋆ Programm<strong>er</strong>ingssprog → b<strong>er</strong>egnelighed.<br />
⋆ Op<strong>er</strong>ativsystem<strong>er</strong> → black-box og abstraktion.<br />
10<br />
logik<br />
artitektur<br />
ingeniørfag
⋆ Systemarbejde og programudvikling → analyse, design, implemenation → specifikation<strong>er</strong>.<br />
⋆ Kunstig intelligens.<br />
⋆ Menneske-maskine-kommunikation.<br />
menneskemaskinint<strong>er</strong>aktion<br />
kunstig<br />
intelligens<br />
<strong>Hvad</strong> <strong>er</strong> <strong>datalogi</strong>? Opsamling<br />
algoritm<strong>er</strong><br />
og datastruktur<strong>er</strong><br />
<strong>datalogi</strong><br />
systemarbejde<br />
og programudvikling<br />
programm<strong>er</strong>ingssprog<br />
op<strong>er</strong>ativsystem<strong>er</strong><br />
⋆ Læren om data og dataprocess<strong>er</strong> → gen<strong>er</strong>elle principp<strong>er</strong> for databehandling.<br />
⋆ Handl<strong>er</strong> om datastruktur<strong>er</strong> og dataprocess<strong>er</strong>.<br />
⋆ Megen <strong>datalogi</strong> handl<strong>er</strong> om programm<strong>er</strong>ingsprincipp<strong>er</strong> og -metod<strong>er</strong>.<br />
⋆ Datalogi <strong>er</strong> m<strong>er</strong>e end “blot” udnyttelse af comput<strong>er</strong>e.<br />
11
⋆ Comput<strong>er</strong>en <strong>er</strong> et centralt redskab i <strong>datalogi</strong>en.<br />
⋆ Comput<strong>er</strong>en tillad<strong>er</strong> afprøvning af <strong>datalogi</strong>ske hypotes<strong>er</strong>.<br />
⋆ (Diskret) matematik og logik <strong>er</strong> hjælpevidenskab<strong>er</strong>.<br />
⋆ Datalogi del<strong>er</strong> problemstilling<strong>er</strong> med andre disciplin<strong>er</strong>.<br />
⋆ Datalogi <strong>er</strong> en vidtfavnende tværvidenskabelig disciplin.<br />
Spørg<strong>er</strong> i øst og svar<strong>er</strong> i vest?<br />
⋆ <strong>Hvad</strong> spørges d<strong>er</strong> om? Hvilke svar gives d<strong>er</strong>?<br />
⋆ Definition ved genstandsområde (objekt<strong>er</strong>, ontologi).<br />
⋆ Definition ved <strong>er</strong>kendelsesmåde (metode, epistemologi).<br />
⋆ Definition ved bestanddele (und<strong>er</strong>-disciplin<strong>er</strong>).<br />
⋆ Definition ved afgrænsning fra andre områd<strong>er</strong> (demarkation).<br />
<strong>Hvad</strong> <strong>er</strong> videnskab?<br />
⋆ Kragh (Akademisk forskning): Offentlig, fejlbarlig, testbar, korrig<strong>er</strong>bar.<br />
⋆ CUDOS (M<strong>er</strong>ton, Akademisk forskning): Communalism, Univ<strong>er</strong>sality, Disint<strong>er</strong>estedness,<br />
Organised Scepticism.<br />
⋆ PLACE (Ziman, Teknologisk forskning): Proprietary, Local, Authority, Commisioned,<br />
Exp<strong>er</strong>t.<br />
⋆ ISYP Ideal (Græsrods-forskning): Int<strong>er</strong>disciplinarity, Social responsibility, ¡Ya basta!,<br />
Public opinion, Idealism; (Hansen 2005).<br />
12
Mode-1-videnskab<br />
Offentligheden<br />
(staten,<br />
fonde, etc.)<br />
Afrunding / spørgsmål<br />
Penge<br />
Viden<br />
Videnskaben<br />
(univ<strong>er</strong>sitet<strong>er</strong>ne)<br />
⋆ <strong>Hvad</strong> <strong>er</strong> <strong>datalogi</strong>? Er <strong>datalogi</strong> (altid, nogensinde) videnskab? → Diskussion<strong>er</strong><br />
ved øvels<strong>er</strong>ne.<br />
⋆ Øvelsesopgav<strong>er</strong>: → læs, tænk og formulér!<br />
⋆ Påtegning til deltag<strong>er</strong>oplæg: → grupp<strong>er</strong> og valg af emne aftales<br />
med instruktor → snarest.<br />
⋆ Tilmelding til AULA → og til grupp<strong>er</strong> på AULA.<br />
⋆ Købe kompendium i Stakbogladen.<br />
Litt<strong>er</strong>atur<br />
Bond, G. W.: 2005, Software as art, Communications of the ACM 48(8), 118–124.<br />
Denning, P. J.: 2005, Is comput<strong>er</strong> science science?, Communications of the ACM 48(4), 27–31.<br />
Denning, P. J.: 2007, Computing is a natural science, Communications of the ACM 50(7), 13–18.<br />
13
Hansen, T. B.: 2005, Grassroots science — an ISYP ideal?, ISYP Journal on Science and World<br />
Affairs 1(1), 61–72.<br />
Hansen, T. B. og Johansen, M. W.: 2007, Post-akademisk videnskab, Aktuel Naturvidenskab<br />
(2), 30–33.<br />
Kragh, H.: 2003, <strong>Hvad</strong> <strong>er</strong> videnskab?, Univ<strong>er</strong>sitet og Videnskab. Univ<strong>er</strong>sitetets idéhistorie, videnskabsteori<br />
og etik, Hans Reitzels Forlag, København, kapitel 3, pp. 145–192.<br />
Sørensen, H. K.: 2009, Not<strong>er</strong> til <strong>datalogi</strong>ens videnskabsteori 2009. Til brug for und<strong>er</strong>visningen i<br />
kurset Datalogiens Videnskabsteori, Aarhus Univ<strong>er</strong>sitet, 2009. V<strong>er</strong>sion 1.6, 7. april 2009.<br />
Wing, J. M.: 2006, Computational thinking, Communications of the ACM 49(3), 33–35.<br />
14