Kursusplan | Opgaver| Litteratur | Referencer & Links | Lærere || Kursusoversigt F2001

Sprog og Logik (T/1) - F2001


KursusPlan

DatoEmneLæsestofØvelser
ons 07/02/01Introduktion til sproglige begreber.
Syntaks (abstrakt, konkret), semantik, pragmatik, sprog og metasprog.
Prolog workshop 1
Sprog og abstrakte maskiner 1, 4.1, 4.2 kursorisk, 5. Bratko 1-2 (minus 2.4, 2.6.3 og grafiknotation s. 20-22) Brug af Sictus Prolog incl. debugger.
Bratko, 1.11.2 (s. 8), 1.4, 1.5 (s.13), 2.1 (s. 33) 2.3 (s. 38).
Sprog og abstrakte maskiner 5.1 og 5.2, som ikke er i bogen men her
Og afprøv iøvrigt de forskellige eksempelprogrammer ved at stille forespørgsler. Brug også debuggeren.
ons 14/02/01Prolog workshop 2
Lister, operatorer, assert/retract, negation m.v.
Bratko, kap. 3 pånær 3.2.3-3.2.6
Notat nr. 1. Et eksempel på kontrol i Prolog
Sprog og abstrakte maskiner s. 45-47.
Bratko 2.3 (s. 38), 3.12 (s. 79), 3.16-3.19 (s. 85)
Sprog og abstrakte maskiner 4.5 s. 18.
Eksperimenter med program fra Notat nr. 1
ons 21/02/01Abstrakte maskiner:
Eksempler, definition af oversætter, fortolker m.v.
Prolog workshop fortsat.
Sprog og abstrakte maskiner 1-3. Diskussionsopgaver: Sprog og abstrakte maskiner opg. 1.1 s. 2, 2.1 s. 12, 2.4–2.7 s. 18 samt følgende Prologopgaver 1-4.
ons 28/02/01Sprog og metasprog, Prolog som metasprog,
Semantik af sekventielle og imperative sprog
- definerende fortolkere og oversættere i Prolog.
Sprog og abstrakte maskiner 4.4 og 6Evt. gennemgang of opg. fra sidst. Sprog og abstrakte maskiner 6.2 s. 89, 6.4 s. 95, 6.6 s. 98. NB: Det er en fordel at teste og trace de fortolkere og oversættere, man skal modificere, inden opgaverne.
ons 07/03/01Erklæringer, typer, typecheck, kontekst-afhængigheder, klassedefinitioner, rekursive procedurer.
Workshop med småopgaver, som afspejler dagens stof og giver brikker til storopgaven.
Sprog og abstrakte maskiner 8 samt Notat nr. 2 Opgaver om typer; vi koncentrer os opg. 1 og 2, og opgave 3 er til dem, som bliver hurtigt færdige eller har god tid.
ons 14/03/01Kort præsentation af storopgave, som handler om at implementere run-time struktur for rekursive procedurer. Storopgaven
Arbejde med storopgaven i workshop
ons 21/03/01Opsamling på storopgave

Turingmaskiner: afgørlighed, beregnelighed og universalitet, Halting-problemet.
Turing-maskiner simuleret i Prolog

Sprog og abstrakte maskiner 10 Sprog og abstrakte maskiner 10.3 (aftest løsning i simulatoren) og 10.7
ons 28/03/01Constraintlogikprogrammering: CLP(R) og CHR; CHR som bottom-up parser.
+ gennemgang af storopgaven og evt. opgaver vdr. Turing-maskiner
Sicstus Prolog manualen afs. 32 og 34; Notat 3: Constraintlogik: Eksempler og opgaver. Notat 3: Constraintlogik: Eksempler og opgaver.
Opgave 1 og 2 i Notat 3.
ons 04/04/01Syntaksanalyse: Leksikalsk analyse og parsing.
tilstandsmaskiner, parsing: top-down og skitse af bottom-up.
Sprog og abstrakte maskiner, kapitel 12 (minus 12.4 og 12.7), kapitel 13 (13.4-13.7 kursorisk). Opgaver til leksikalsk analyse og parsing opgave 1, 2 og evt. 3.
ons 11/04/01Oversigt over compiler.
Fortolkning eller oversættelse af Prolog.
Kursusevaluering
Side 10-15 af Aho, Sethi, Ullman: Compilers: Principles, Techniques and Tools, Addison-Wesley 1986.
Sprog og abstrakte maskiner kapitel 14 og appendiks B.
Opgaver om fortolkning af Datalog


Litteratur

ForfatterTitelÅrForlagNote
Henning ChristiansenSprog og abstrakte maskiner, 3. reviderede udgave2000Datalogiske noter 18, Roskilde Universitetscenter, Datalogiafdelingen.Notesalg. Se rettelsesliste
Ivan BratkoProlog, Programming for Artificial Intelligence, Third edition2001Addison-WesleyBogens hjemmeside med programeksempler og andet godt.


Referencer og Links

Reference
Henning Christiansens hjemmeside
Computer Science Bibliography
Billeder af Giovanni Bellini
Sicstus Prolog manual
Eksamenspensum: Den litteratur, som fremgår af kursusplaen ovenfor.
BILAG til eksamensopgave: xsamples xtools
EMSAMENSOPGAVE: Xopgave.doc , Xopgave.pdf, Xopgave.ps, Xopgave.html.
KURSETS POSTLISTE dat-sl@ruc.dk
Programeksempler til hver gang findes på BLAKE (lokal Novell-server, som kræver password)
Sicstus Prolog kan udleveres frit til studerende i driftsafdelingen.


Ansatte tilknyttet kurset

NavnEmailFunktion
Henning Christiansenhenning@ruc.dkLærer

Kursusplan | Opgaver| Litteratur | Referencer & Links | Lærere || Kursusoversigt F2001