Ruurd Kuiper

Address

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 s 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 - preliminary, to be updated (almost) daily

Trial-exam first half of 2IF25: Wednesday, November 11, hour 1,2, Paviljoen u.46

The exams will be marked, if you wish - only to give you feedback: there are no consequences for the final mark

Outline of contents

The system

Propositional /modal /linear time) logic

Propositional branching time logic

Model checking for modal/branching logic

LTL Model check example: Mutual Exclusion

Propositional Logic (E. de Vink)

Predicate Logic (E. de Vink)

First order theorem proving example (2IF55 of course should be 2IF25, sorry)