uitslag 17 april 2003

0042722 ...... 6

0168645 ...... 5

0167614 ...... 6

0109460 ...... 7


uitslag 9 december 2002

9926593 ...... 6

0146285 ...... 6.5

9915842 ...... 7.5

0042722 ...... 2

0021016 ...... 6

0021032 ...... 6

9546944 ...... 6

0168645 ...... 3

0106631 ...... 6.5

0167614 ...... 5

0111996 ...... 7

9910948 ...... 6

9924663 ...... 6

0117544 ...... 6.5

0109460 ...... 4


Inleiding Fundamentele Informatica 2001/2002

LAATSTE KEER

Het eerstejaars vak Inleiding Fundamentele Informatica (vijf studiepunten) werd verzorgd door Jetty Kleijn met assistentie van Pier Frisco.

Doelstellingen: Aanleren hoe bepaalde begrippen uit de fundamentele informatica kunnen worden geformaliseerd (abstractie, inzicht, bewijstechnieken). Bekend maken met een aantal fundamentele berekeningsmodellen van algemeen belang (definities, voorbeelden, eigenschappen).

Wat de inhoud betreft, ligt de nadruk op het kennismaken met formele begrippen en theoretische beschouwingen binnen de informatica. Besproken wordt de formalisatie van bepaalde fundamentele begrippen zoals machine, programma, berekening, de door een programma berekende functie, niet-determinisme en parallelliteit. Modellen die de revue passeren zijn o.a.: de eindige automaat, de context-vrije grammatica, de Turingmachine en het Petri net.

Materiaal

Bij dit college is gebruik gemaakt van een syllabus, te koop in het magazijn van het Huygens laboratorium.

Het college is deels gebaseerd op het boek D. Wood, Theory of Computation, Wiley, 1987 (0 06 047208 1). In de syllabus zijn de relevante delen uit dat boek gekopieerd, inclusief opgaven. Voor de onderwerpen Turingmachines en Petrinetten zijn er dictaatjes. Ook kopieen van de sheets gebruikt bij het college zijn opgenomen.

Tentamen

IFI wordt afgesloten met een schriftelijk tentamen (5 stp). Het tentamen heeft betrekking op alle stof in de syllabus.

Omdat het niet zo'n makkelijk vak is en bovendien vrij omvangrijk, was er gelegenheid om een (eveneens schriftelijk) deeltentamen te doen over het eerste deel van de stof. Wanneer daarvoor een voldoende was gehaald, kon die bij het mei-tentamen worden ingezet waardoor dan opgaven over het eerste deel van de stof niet hoefden te worden gemaakt.

Stof deeltentamen: tot en met Turingmachines, d.w.z. hoofdstukken 1 tot en met 6 uit de syllabus en de bijbehorende opgaven (zie syllabus hoofdstuk 13: Wood H.0, H.1, H.6 en H.10).

N.B. Een voldoende resultaat behaald bij het deeltentamen van voorjaar 2002 kan alleen bij het tentamen van mei 2002 als compensatie worden gebruikt voor een gedeelte van de opgaven (over het eerste deel van de stof).

Tentamendata

Deeltentamen: donderdag 28 februari 2002, 13.45-15.30 uur

Tentamen: dinsdag 28 mei 2002, 14.00-17.00 uur.

Herkansing: vrijdag 2 augustus 2002, 14.00-17.00 uur. DE UITSLAG STAAT ONDERAAN DEZE PAGINA

Uitwerkingen van opgaven

Beschikbaar als postscript-files.

Oude (deel)tentamens met uitwerkingen

Beschikbaar als postscript-files.


UITSLAG TENTAMEN 2 augustus 2002

0128376 ...... 8

013923 ...... 4

0049824 ...... 5

9915842 ...... 5

0110833 ...... 5

0021032 ...... 4

9822542 ...... 6

0022977 ...... 6

0014754 ...... 6

0106631 ...... 5

0111996 ...... 5

0028703 ...... 6

0117544 ...... 5

9611924 ...... 7

9918248 ...... 4

0020915 ...... 6

0052795 ...... 6


Laatste wijziging: 23 december 2002
Vragen en opmerkingen kunnen worden gestuurd naar: kleijn@liacs.nl.