Page 1 of 1
machines en berekenbaarheid
Posted: Tue Aug 23, 2011 7:49 pm
by 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
Re: machines en berekenbaarheid
Posted: Tue Aug 23, 2011 9:54 pm
by 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?
Re: machines en berekenbaarheid
Posted: Wed Aug 24, 2011 12:31 pm
by 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.
Re: machines en berekenbaarheid
Posted: Wed Aug 24, 2011 1:40 pm
by 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.
Re: machines en berekenbaarheid
Posted: Wed Aug 24, 2011 5:14 pm
by lisa
Ja prof Laenens heb ik inderdaad al gehad in het eerste jaar (voor logica, niet talen en automaten).
Merci voor de reacties!
x
Re: machines en berekenbaarheid
Posted: Wed Aug 24, 2011 6:22 pm
by 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.
Re: machines en berekenbaarheid
Posted: Sat Aug 27, 2011 6:17 pm
by 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...
Re: machines en berekenbaarheid
Posted: Sat Aug 27, 2011 6:58 pm
by 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.
Re: machines en berekenbaarheid
Posted: Sat Aug 27, 2011 7:00 pm
by 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;
Re: machines en berekenbaarheid
Posted: Sat Aug 27, 2011 10:10 pm
by Stanny
kan boek hier blijkbaar niet online zwieren ...
dus .. pm ff als ge hem wilt, dan mail ik hem
Re: machines en berekenbaarheid
Posted: Sun Aug 28, 2011 5:25 pm
by 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!