φ1
| Door omstandigheden moest het college overgenomen worden
door Rudy van Vliet. Zijn (aanvullende) opmerkingen over
FI1 zijn te vinden via www.liacs.nl/home/rvvliet/fi1/. |
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@...)
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.
Literatuur
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! zie wijziging!
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 (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.
fi1 vorige jaren
propedeuse Informatica in het BaMa programma.
Fundamentele Informatica 2
(inleiding Formele Talen / Bonsangue)
Fundamentele Informatica 3
(08/09)
(Formele Talen en Berekenbaarheid / Kleijn)
http://www.liacs.nl/home/hoogeboo/fi1/
|