Formele Talen en Berekenbaarheid
|
najaar 2026
|
|
|
Laatste nieuws
(11.08.2026)
Welkom op deze voorlopige website voor het nieuwe jaar!
Formele Talen en Berekenbaarheid (FTB) is een verplicht tweedejaars vak
in de bachelor Informatica van de Universiteit Leiden.
Het wordt dit jaar
voor het eerst in de definitieve vorm
gegeven. Vorig jaar werd in het vak
een selectie van onderwerpen uit de oude vakken
Automata Theory
en Computability behandeld.
Dit jaar wordt in principe de (hele) stof uit de tweede helft
van Automata Theory en het (hele) vak Computability behandeld.
Het sluit hiermee aan op het eerstejaarsvak Automaten.
Als je vorig jaar het vak Formele Talen en Berekenbaarheid niet hebt gehaald,
is de versie van dit jaar niet voldoende als vervanging!
Overleg in zo'n geval met de studieadviseur.
Praktische informate
Docent (voor de hoorcolleges): Rudy van Vliet
te vinden op: kamer BE.2.07
van het Gorlaeus
telefoon: 071-527 2876
email: rvvliet(at)liacs(dot)nl
Assistenten (voor de werkcolleges en huiswerkopgaven):
...
Algemeen emailadres assistenten:
ftb(at)liacs(dot)leidenuniv(dot)nl
Onderwijsvorm: per week in principe twee uur hoorcollege
en twee uur werkcollege, allemaal on-campus.
Collegetijden:
-
hoorcollege op woensdag, 11.00-12.45 in zaal BM.1.23
in het Gorlaeus
(alleen op 9, 16 en 23 september in zaal BM.1.33)
-
werkcollege op donderdag, 11.00-12.45,
in zalen BW.0.05 en BW.0.06 in het Gorlaeus
van 2 september t/m 10 december 2026.
In de week van 19-23 oktober zijn er helemaal geen colleges FTB.
Er komt geen livestream van de colleges.
Wel proberen we om de hoorcolleges op te nemen, en ze dan achteraf
(na twee weken) beschikbaar te maken.
te publiceren. Nadere informatie volgt.
Je kunt sowieso ook terugkijken naar de hoorcolleges
Automata Theory
en
Computability
van twee jaar geleden. Bedenk daarbij dat we bij FTB de eerste helft van
Automata Theory overslaan.
Studielast
Met het behalen van dit vak verdient u 6 EC. Het niveau van het vak wordt
aangeduid als `200'.
Aanbevolen voorkennis
Automaten
De rest van de inhoud van deze website volgt nog...
U kunt nog wel doorklikken naar de pagina van vorig jaar.
Vragen en opmerkingen kunt u sturen naar:
Rudy van Vliet;
rvvliet(at)liacs(dot)nl
Laatste wijziging: 7 april 2026
- https://www.liacs.leidenuniv.nl/~vlietrvan1/ftb/
|