Ruurd Kuiper
Address
Formal Methods Group
Computing Science Department
Eindhoven University of Technology
P.O. Box 513, NL-5600 MB Eindhoven
The Netherlands Phone: +31 40 2474122
Email: wsinruur@win.tue.nl
Room: HG 7.13
Information Java
Voor de Java cursussen 2IP65 en 2IP70 (voorheen 2Z820) zie 2IP65, 2IP70
Het tentamen is open boek, dwz Schaum en andere informatie mag meegebracht en gebruikt worden, geen netwerk uiteraard.
Puur, opportunistisch, voor het tentamen is van belang uit Schaum voornamelijk hoofdstuk 2, (bv tiling dus niet) en dan:
- Analyzing algorithms: de diverse grootte ordes begrijpen en kunnen afschatten voor programma's.
- Turing machines: deze kunnen maken (notatie als in Schaum; plaatjesnotatie zoals op het practicum getoond mag ook).
- Halting problem: begrijpen wat die uitspraak betekent en ook het korte, verrassende bewijs ervan goed begrijpen.
Voor het doel van 2IP70 van belang uit Schaum, per hoofdstuk:
- 1. Introduction to computer science
Lezen en opgaven bekijken.
- 2. Algorithms
Zoals behandeld op college, o.a. Turing machines kunnen tekenen, begrip van tijds efficiency.
- 3. Computer organization
Lezen en opgaven bekijken.
- 4.Software
Tot Functional Languages lezen en opgaven bekijken.
- 9.Social issues
Lezen en opgaven bekijken.
Een overzicht van wat op het college is behandeld, met verwijzingen naar Schaum (globale verwijzing: "cf", gedetailleerder verwijzing via pagina's) is onder:
Notes
Information 2IF25
The exam results are available on the web now. Preferred time for questions is friday 5/2, 12.30 - 13.30, HG 7.13.
Note: following a remark by several students, a correction to some of te results has been made - those whose marks have changed have been informed, the corrected results are on the web now.
NB The exam is open book, i.e., books, lecture notes etc. are allowed to be used - a computer isn't allowed!
The material to be studied is provided below as links, and in part as handouts at the lectures.
For those that didn't attend (all) lectures: copies-to-be-copied of the handouts (some material already provided in multiple copies) can be found next to the secretary's office, HG 7.22.
Part 1 Automated Program Verification with Propositional Modal Model Checking - Ruurd Kuiper. Material: under links below.
Model checking for linear time logic
Part 2 Propositional and First order Theorem Proving - Erik de Vink. Material as described under the following links.
NB The most important topic is from Logic for Computer Science: Foundations of Automatic Theorem Proving, Gallier, J., (available on-line), chapter 5, and from that section 5.4. The book is available on-line at: