2D1350, Programmeringsparadigm, 5 poäng

Kursen forsätter i läsperiod 2

med föreläsningar och 3 labbar

om syntaxanalys (Leif Kusoffsky lärare)
om C-programmering (Alexander Baltatzis lärare)
om internet-programmering (Björn Eiderbäck lärare )

Hederskodex mm

Hederskodex för nada-kurser

Studiehandbokstexten på svenska och engelska .

Lärare: Leif Kusoffsky lky@nada.kth.se

Kursbunt (preliminärt) : Finns till försäljning på Nadas studieexpedition.

• Del av Graham Hutton: Programming in Haskell. Ännu ej publiserad. Kommer att finnas som särtyck genom tillmötesgående av författaren.
• Paul Brna : Prolog Programmingkursbok i logikprogrammering.
• Laborationer i 2D1350 Programmeringsparadigm.
• Kompletterande material i 2D1350 Programmeringsparadigm

Alternativa böcker för kursdelen om funktionell programmering :

• Jeroen Fokker: Functional Programming. (Finns till försäljning på Nadas studieexpedition). 144 sidor varav ca 60 ingår i kursen Unix.
• M.M.T.Chakravarty, G. C. Keller : An Introduction to Computing ISBN 1 -74009-404-2. Trevlig, elemntär,lätt bok på 144 sidor, inte så dyr. Använder Haskell för att intoducera datalogi. Även en del om Unix.
• 
  

Övrigt tryckt material (för särskilt intresserade) : Extra material som jag kan trycka upp om intresse finns.

• Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell (Simon Peyton Jones). Bland de mer lättlästa artiklana om IO a. Handlar om det som brukar saknas i vanliga Haskell-böcker.
• Hugs 98 User Manual
• Report of the programming language Haskell 98
• Report of the programming language Haskell 98, Appendix
• Datastrukturer i Haskell (Björn von Sydow)

Laborationer : (I kursbunten, dock ej lab i C och i internet.):

• Introduktion till Haskell.
• Ett program för schack.
• Att komma igång med Prolog redovisas ej
• Släktrelationer (Prolog)
• Listprogram, pargenerering (Prolog)
• Tidernas knepigaste problem (Prolog)
• Stabila äktenskap (Prolog) Gör vecka ==42 redovisa senast 12 oktober
• Danska räkneord (läsperiod 2)
• Lab i C (läsperiod 2)
• Lab i internet( läsperiod 2)

Tentamina :

Skriftlig i läsperiod 2. Tidigare tentamina när kursen var på 4p och ej omfattade syntaxanalys.

Tentamen 2002 oktober med preliminära svar : (pdf) (ps)

Tentamen 2003 januari med preliminära svar : (pdf) (ps)

Tentamen 2003 augusti med preliminära svar : (pdf) (ps)

Tentamen 2003 oktober med preliminära svar : (pdf)

Tentamen 2004 januari med preliminära svar : (pdf) (ps)

Tentamen 2004 augusti med preliminära svar :(pdf) (ps)

Tentamen 2004 oktober med preliminära svar : (pdf) (ps)

Tentamen 2005 januari med preliminära svar : (pdf) (ps)

Slutbetyg grundat på tentamen.

Föresläsningar:

Färdiga program: Många av kursledarens program från föreläsningarna kommer att finnas på /info/progp03/ eller

på /info/progp02/

Haskell på nätet: Startsida för material om Haskell på nätet och emacs för Haskell. I schack-labben använder vi ett

grafikpaket SOEGraphics (från boken Paul Hudak: The Haskell School of Expression),som tyvärr är inkompatibelt med sista versionen av hugs. Med hjälp av nedastående kommentar hoppas att den som vill köra på andra datorer än skolans kan få det att fungera.

Note: The SOEGraphics library is slightly incompatible with the latest release of Hugs, so I am currently recommending the use of the previous release of Hugs until we can straighten things out. You can download SOEGraphics (and other SOE code) and the previous release of Hugs from here:

http://cvs.haskell.org/Hugs/pages/downloading-Nov2002.htm

(Detta är en "previous release", jag (lky) fattade inte det förut. Gissar att man också måste ladda

The School of Expression example code.

Includes the Graphics library, so in addition to this, you only need to have Hugs installed to use it.

för att få tillgång till SOEGraphics, som vi använder i schacklabben. Lycka till)

Sorry for the inconvenience

Paul Hudak February, 2004

Senaste versionen av hugs finns här : downlodading hugs and SOE (graphics). Interpretern hugs . Kompilator och interpreter ghc . Haskellsystem med Tcl/Tk htk .

Sictus Prolog på nätet: Startsida för Sictus prolog Härifrån kan du bland annat komma åt manualen för sictus-systemet och användbara länkar för Prolog i allmänhet. Krånglar Netscape, använd Mozilla.

Böcker/artiklar om funktionell programmering (OBS, ej obligatorisk kurslitteratur, för extra intresserade):

• Paul Hudak: The Haskell School of Expression, Learning Functional programming through multimedia. ISBN 0-521-64408-9 Rolig bok med exempel på hur man gör animeringar och datorspel i Haskell. Efter kapitel 12 blir boken ganska avancerad. Översikt (sid 1) och recension (sid 2 och 3) av boken(pdf) (ps)
• M.M.T.Chakravarty, G. C. Keller : An Introduction to Computing ISBN 1 -74009-404-2. Trevlig, elementär, lätt bok på 144 sidor, inte så dyr. Använder Haskell för att intoducera datalogi. Även en del om Unix. Alternativ kursbok i delen funktionell programmering
• Simon Thompson : Haskell The Craft of Functional programming. ISBN 0-201-34275-8. Grundlig och fyllig bok som ofta används i nybörjarkurser.
• Richard Bird : Introduction to Functional Programming using Haskell.
• Simon Peyton Jones :Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell. Bland de mer lättlästa artiklana om IO a. Handlar om det som brukar saknas i vanliga Haskell-böcker, och delar av Haskell som ofta är viktiga i "verkliga" projekt. För att komma åt artiklen måste man kunnagunzip.

Böcker om logik programmering (OBS, ej obligatorisk kurslitteratur, för extra intresserade) :

• Ivan Bratko : Prolog Programming for Artificial Intelligence ISBN 0-201-40375-7. Aktuell bok som betonar Prolog som programmeringsspråk
• Leon Sterling, Ehud Shapiro : The Art of Prolog. Bra, äldre bok som betonar korrespondensen mellan logik och logikprogrammering och vad som inte är logikprogrammering men ändå finns i Prolog.
• 
  

Böcker om paradigmer (OBS, ej obligatorisk kurslitteratur, för extra intresserade) :

• Allen Tucker, Robert Noonan : Programming languges Principles and paradigms. ISBN 0-07-112280-X. Handlar både om programmeringspråk och paradigmer. Större delen av boken handlar bland annat om paradigmerna imperativ programmering, objekt-inriktad (OO) programmering, händelsestyrd programmering och jämlöpande programmering som studeras i andra kurser, men innehåller även kapitel om funktionell programmering och logikprogrammering.
• Peter van Roy, Seif Haridi. Concepts, Techniques, and Models of Computer Programming: Ny bok, grandiost försök att i ett språk (Oz, dock kort om Haskell, Erlang, Java och Prolog) och i en bok och samanhängande förklara alla sorters programmering ("paradigm", ett begrepp som författarna delvis är kritiska mot.). Mycket om jämlöpande programmering (concurrency).Tänkbar kursbok om denna kurs var på ca 8 p.

Senast ändrad 2005 - feb -24

Kursledare: Leif Kusoffsky

Upp till Nadas kurser .
Tekniskt stöd: <webmaster@nada.kth.se>