Deze pagina wordt niet meer bijgewerkt. Voor de meest recente informatie over het college Fundamentele Informatica 1, zie de oorspronkelijke www-pagina

φ1

Er is géén college op woensdag 2 september 2009! Sorry.

Fundamentele Informatica 1

College najaar 2009

Ter voorbereiding op het nieuwe collegejaar. Veel gelinkte documenten zijn echter nog van 2008.

docent: H.J. Hoogeboom (Hendrik Jan, hoogeboom@...)
de laatste weken: R. van Vliet (Rudy, rvvliet@...), kamer 128 (als hij op het Snellius is)
college: woensdag 11.15 - 13.00, zaal 174. (rooster)
assistent: ...
werkcollege: donderdag 9.00 - 10.45, zaal 174.
uitwerkingen en info.
Collegeperiode van 2/3 september tot 9/10 december.
Geen (werk)college in de week van 19 oktober (toetsweek). Gewijzigde tijd op 18.11 wegens Symposium LF.

Tentamen en hertentamens

Op woensdag 13 januari 2010 is er een tentamen van dit vak geweest. Dit tentamen is nagekeken. U vindt de cijfers hier.
Het tentamen staat inmiddels ook (inclusief nette uitwerking! met dank aan de eigenlijke docent) in het overzicht van oude tentamens.

Op donderdag 25 februari 2010 is er een hertentamen van dit vak geweest. Ook dit hertentamen is nagekeken. U vindt het cijfer hier.

Laatste kans voor dit collegejaar op dinsdag 10 augustus 2010.

Literatuur

Schaum Schaum's Outline of Discrete Mathematics, door Seymour Lipschutz, Marc Lipson.

Net als vorig jaar gaan we het boek van Schaum gebruiken, met aanvullingen van de docent, de 'third' editie, ISBN 0071470387, zie bv. amazon.com.

Onderwerpen die behandeld worden tijdens college verschijnen in de collegestof

Vakbeschrijving

Uit de studiegids: Dit vak verschaft een elementaire wiskundige basis die bij veel informaticavakken impliciet of expliciet als voorkennis wordt verondersteld. Er wordt een begin gemaakt met het formaliseren van begrippen uit de fundamentele informatica.

Inhoud: verzamelingenleer, relaties en functies, equivalentierelaties, partiële ordeningen, recursieve definities, volledige en structurele inductie, grafen, bomen en expressies, strings en talen, eindige automaten.

Tentamens

controleer!

dinsdag 18 augustus 2009, 14.00-17.00 uur (tweede herkansing 08/09)
woensdag 21 oktober 2009, 11.15-13.00 uur (toets/deeltentamen, regeling volgt)
woensdag 13 januari 2010, 14.00-17.00 uur (tentamen)
donderdag 25 februari 2010, 14.00-17.00 uur (en dus niet donderdag 25 maart 2010, zoals eerder vermeld) (herkansing)
dinsdag 10 augustus 2010, 14.00-17.00 uur (nog een herkansing)
Overgenomen van Roosters Informatica.

Oude tentamens, om flink te oefenen (en om te kijken hoe de vragen er uit gaan zien)!

Materiaal

Collegedictaat. Bestaat uit aanvullingen op het gebruikte boek. De drie uitgedeelde hoofdstukken staan hieronder gelinkt.

Links uit dictaat & overheads

Opgaven. Het boek bevat een groot aantal opgaven. Een selectie (aangevuld met eigen bedenksels) vormt de oefenstof voor de werkcolleges (donderdag).

Overhead transparanten. De laatste versie van de door de docent gemaakte overheads komen in de loop der tijd op deze plek te staan. Eén overhead per vel, in kleur, pdf gemaakt uit postscript.

Schema 2008
3.9 Verzamelingen
Schaum Ch.1 Set Theory
fis-01sets.pdf 261kB 17.9'07
10.9
vervolg  
17.9 Relaties
Schaum Ch.2 Relations
fis-02relations.pdf 278kB 19.9'07
24.9 Functies
Schaum Ch.3 Functions
fis-03functions.pdf 720kB 25.9'07
1.10
2.10
geen (werk)college
(docent verhinderd)
8.10 Grafen
Schaum Ch.8 Graph Theory
Schaum Ch.9 Directed Graphs
fis-08graphs.pdf 333kB 18.10'07
driehoeken in grafen
15.10 (afronden grafen)
Recursie, Iteratie, Inductie
fis-99recursion.pdf 513kB 18.10'07
22.10
24.10
geen (werk)college
(toetsweek!)
29.10 (afronden recursie, inductie) dictaat: Hoofdstuk 2 17.10'07
fis-99dragonl.pdf 187kB (extraatje)
5.11 Bomen
Schaum Ch.10 Binary Trees
Schaum Sect.8.8 Tree Graphs.
Schaum Sect.9.4 Rooted Trees.
fis-10binary.pdf 276kB 6.10'07
12.11 Talen
Schaum Chapter 12 Languages, Automata, Grammars
fis-12languages.pdf 96kB 15.11'07
dictaat: Hoofdstuk 4 13.11'07
19.11 Equivalentie: modulo, aftelbaarheid
Schaum 2.8 Equivalence Relations.
Schaum 3.4 (Modular Arithmetic) 11.8 Congruence Relation.
Schaum 3.7 Cardinality.
fis-02equivalence.pdf 676kB 20.11'07
dictaat: Hoofdstuk 3 20.11'07
26.11 Eindige Automaten
Schaum Ch.12 Languages, Grammars, Machines
Dictaat
fis-12automata.pdf 28.11.07
3.12 Oefenen
Tentamen december 2006
 
Schema 2007
- Extra
niet aan toegekomen illustratie bij recursie.
 

Evaluatie. Opmerkingen van de enqueteformulieren uit najaar 2009.
Opmerkingen van de enqueteformulieren uit eerdere jaren.


fi1 vorige jaren
propedeuse Informatica in het BaMa programma.

Fundamentele Informatica 2 (inleiding Formele Talen / Bonsangue)
Fundamentele Informatica 3 (Formele Talen en Berekenbaarheid / Kleijn)


The Man With The .plan

Vragen en opmerkingen kunt u sturen naar Rudy van Vliet: rvvliet@liacs.nl.

Laatste wijziging: 5 januari 2012 - http://www.liacs.nl/home/rvvliet/fi1/