Informatics 3 (37-003), W 2002/3

NEWS

Exam preparation WORKSHOP

The workshop will take place on 12.8.2003 from 10:00 to approx. 16:00 in HG G3. You can discuss the sample exam questions (and your solutions) even before the workshop with K. Skoupy.

Sample exam questions

The sample exam questions are online: Functional 1, Functional 2, and Logical,

You can send your questions concerning the exam and comments to the sample questions documents to K. Skoupy.

There are more news about the exam to appear on this page, check it from time to time.

Revisited slides

There is the final version of the slides available. The following case studies are now included:

• tautologies
• Huffman coding
• escaping off the bridge

Should you find any errors, report them please to Prof. J. Gutknecht.

Lecture Content

Semantics of programs. Nondeterminism. Methods for the systematic specification, construction and verification of programs. Non-imperative programming paradigms, in particular functional programming, declarative programming and logic programming. Introduction into important non-imperative programming languages such as, for example, Lisp, ML, Haskell, XML and Prolog.

"Testat" Requirements

80% of the exercise solutions should be submitted. It is not expected that all solutions will be correct but students should prove their personal effort.

Reading recommendations

• L.C. Paulson: ML for the Working Programmer. Cambridge University Press 1991, 1996. ISBN 0-521-56543-X.
• Richard Bird, Philip Wadler: Introduction to Functional Programming. Prentice Hall 1988. ISBN 0-13-484197-2.

Links

• Standard ML of New Jersey homepage
• Stephen Gilmore's Tutorial on SML
• Frequently Asked Questions for comp.lang.functional
• Haskell homepage
• SWI Prolog Homepage
• SICStus Prolog Homepage
• GNU Prolog Homepage
  It doesn't support some features of the implementations above which are used in some master solutions (in particular XML parsers).
• XML -- Xerces und Xalan
  Contributed by René Müller, a participant of this course.

How to use SML inside ETH

• Log on any rif/raf machine using NETHZ account.
  (The SUN rif/raf machines are physically located in IFW C35.1, D31, and D35.1)
• To start the interpreter, type:
  sml
• To read the documentation, visit Standard ML of New Jersey User's Guide.

How to use Prolog inside ETH

• Log on any rif/raf machine using NETHZ account.
  
• To start the interpreter, type:
  sicstus
• To load a Prolog source file type:
  ?- [filename].
  or
  ?- ['filename.pl'].
  which is actually a shortcut for consult(filename).
• SICStus has a lot of libraries. Look up the documentation for more details.
• You can also use SWI Prolog which is a free implementation similar to SICStus Prolog.