Ruurd Kuiper

Address

Phone: +31 40 2474122
Email: rkuiper@tue.nl
Room: MetaForum 6.145

Information 2IF25, Introduction to Formal Methods

The information as regards the (open book) exam requirements and materials for 2IF25 for 2010/2011 is on studyweb

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

--> Back to the Formal Methods Group home page.

---