Pensumliste
for kurset
Logik og Sprog, forår 2000
ved
Henning Christiansen
Der kan stilles opgaver i følgende stof
Tanenbaum, Structured computer organization, 4. udgave 1999.
Kapitel 3 t.o.m. 3.4.2. kapitel 4 t.o.m. 4.3
Bratko: Prolog, Programming for Artificial Intelligence, Second edition, Addison-Wesley, 1990.
Kap. 1–2 (minus 2.4 og grafiknotation s. 23–24 og 61), kap. 3 pånær 3.2.3–3.2.6, kap. 5, 7.1.1 og 7.4
Notat nr. 2. Et eksempel på kontrol i Prolog
Christiansen: Sprog og abstrakte maskiner, 3. reviderede udgave, Roskilde Universitetscenter 2000.
Kap. 1–6 (minus 4.6, 4.7), 10, 12. Se også
rettelsesliste
.
Notat nr. 3. Sammensætning af oversættere og fortolkere vha. T-diagrammer
NB: Der vil ikke blive krævet detaljeret kendskab til de dele af »Sprog og abstrakte maskiner«, som relaterer sig eksplicit til Simula.
Baggrundsstof
som forudsættes kendt, men hvor der ikke stilles direkte eksamensopgaver:
Tanenbaum, Structured computer organization, 4. udgave 1999.
Kap. 1, 2, resten af kapitel 3.
Notat nr. 1. Historiske hovedpunkter
Christiansen: Sprog og abstrakte maskiner, 3. reviderede udgave, Roskilde Universitetscenter 2000.
Kap. 13–14.
Aho, Sethi, Ullman: Compilers: Principles, Techniques and Tools, Addison-Wesley 1986.
Side 10–15
Sidst rettet 30. marts 2000