machines en berekenbaarheid

[lisa]

hey,

in de hoop dat er tijdens de vakantie/herexamens iemand nog antwoordt op mijn vraag
volgend jaar begin ik aan de 2de bachelor wiskunde en weet nog niet goed wat te kiezen qua keuzevakken...
ik vroeg me af hoe heavy 'machines en berekenbaarheid', gegeven door Els Laenens, is? (in de zin van, voor iemand
die niet goed is in programmeren )
alvast bedankt!

x Lisa

[Stanny]

Programmeren is hier zeker niet voor nodig ze Lisa

Hebt ge al Talen en Automaten gevolgd?
Da's ook van prof. Laenens.

Ook Logica uit 1e Bach zou van prof. Laenens moeten geweest zijn. Klopt dit?

[Joke]

Talen en automaten wordt nu vervangen door machines en berekenbaarheid bij de keuzevakken van tweede jaar wiskunde. Els Laenens vindt dat wiskundigen in hun tweede jaar wel in staat moeten zijn om hetgene van talen en automaten dat je nodig hebt om machines en berekenbaarheid te kunnen volgen wel in zelfstudie moeten kunnen.

Ik had zelf meer dan genoeg van dat soort dingen na talen en automaten en logica dus heb machines en berekenbaarheid niet gevolgd. Ik denk wel dat dat voor een wiskundige die niet zo'n fan van programmeren is wel te doen is, maar daar mogen anderen mij gerust in tegenspreken.

[Fristi]

Als informaticus dan:
Je moet een beetje algoritmisch kunnen nadenken om sommige oefeningen op te kunnen lossen, maar op zich staat dat zeker los van alle programeertechnische dingen. Er worden enkele constructies gemaakt die moeten voldoen aan bepaalde regeltjes en daar gaat ge dan oefeningen mee maken. Voor het examen moet je een hoop (bijna allemaal erg korte) inductiebewijzen kennen.

[lisa]

Ja prof Laenens heb ik inderdaad al gehad in het eerste jaar (voor logica, niet talen en automaten).
Merci voor de reacties!

x

[djgl3nn]

Als voorkennis is het handig om te weten wa een reguliere taal is, wa een turing machine is en hoe een automaat werkt. Maar waarschijnlijk krijgt gulder dezelfde boek, en daar staat da allemaal in uitgelegd, en ge zijt daar direct mee weg.
Het moeilijkste zijn de bewijzen.. maar da is gewoon omda informatici daar slecht in zijn.

Als ge wilt wil ik u de slides ( Laenens werkt ni me een cursus, maar me slides ) van TA en/of MB wel doorsturen.

[lisa]

als dat gaat zou dat misschien wel handig zijn, kwestie van het eens met eigen ogen te kunnen zien... maar anders ook geen probleem, want ik denk dat ik er sowieso voor zal gaan, moet ook een beetje zien qua studiepunten enzo en kan niet alle keuzevakken kiezen wegens mechanica niet gevolgd dit jaar...

[Fristi]

Kunt ook altijd het boek is gaan halen in de bib. Der zit een versieverschil op met de nieuwste maar er staat exact hetzelfde in.

Introduction to Automata Theory, Languages, and Computation heet het boek, met een beetje zoekwerk kan het ook "gevonden" worden op internet.

[djgl3nn]

TA slides : http://www.megaupload.com/?d=JCXYCFN2" onclick="window.open(this.href);return false;
MB slides : http://www.megaupload.com/?d=2WVSF1S6" onclick="window.open(this.href);return false;

[Stanny]

kan boek hier blijkbaar niet online zwieren ...
dus .. pm ff als ge hem wilt, dan mail ik hem

[lisa]

merci voor de slides!
en boek hoeft niet hoor, aan de slides heb ik wel genoeg - 't was maar om eens te kijken wat het juist inhoudt... toch bedankt!