machines en berekenbaarheid

Forum voor de keuzevakken over alle jaren heen.

Moderator: Praesidium

lisa
Posts: 4

machines en berekenbaarheid

Post#1 » Tue Aug 23, 2011 7:49 pm

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 :wink: )
alvast bedankt!

x Lisa

User avatar
Stanny
WOZ
Posts: 2220
Contact:

Re: machines en berekenbaarheid

Post#2 » Tue Aug 23, 2011 9:54 pm

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?
1 + 196883 = 196884
1 + 2 + 3 + 4 + ... = -1/12

User avatar
Joke
WOZ
Posts: 972

Re: machines en berekenbaarheid

Post#3 » Wed Aug 24, 2011 12:31 pm

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.
"There are 10 types of people in the world... those who understand binary and those who don't."

User avatar
Fristi
WOZ
Posts: 4565

Re: machines en berekenbaarheid

Post#4 » Wed Aug 24, 2011 1:40 pm

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.
Fristi Ad Infinitum

WINAK WOZ 2013 - ...
WINAK Magister Fristi 2012-2013
WINAK Feest 2011-2012
WINAK Schachtentemmer 2010-2011
WINAK Scriptor 2008-2009 | 2009-2010

lisa
Posts: 4

Re: machines en berekenbaarheid

Post#5 » Wed Aug 24, 2011 5:14 pm

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

x

User avatar
djgl3nn
WOZ
Posts: 1938

Re: machines en berekenbaarheid

Post#6 » Wed Aug 24, 2011 6:22 pm

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.
WINAK Schacht 2009-2010
WINAK Sport 2010-2011
WINAK Mentor Informatica 2011-2012
WINAK Ouwe Zak 2012-...

UA Sportraad Webmaster 2012-...

lisa
Posts: 4

Re: machines en berekenbaarheid

Post#7 » Sat Aug 27, 2011 6:17 pm

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...

User avatar
Fristi
WOZ
Posts: 4565

Re: machines en berekenbaarheid

Post#8 » Sat Aug 27, 2011 6:58 pm

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.
Fristi Ad Infinitum

WINAK WOZ 2013 - ...
WINAK Magister Fristi 2012-2013
WINAK Feest 2011-2012
WINAK Schachtentemmer 2010-2011
WINAK Scriptor 2008-2009 | 2009-2010

User avatar
djgl3nn
WOZ
Posts: 1938

Re: machines en berekenbaarheid

Post#9 » Sat Aug 27, 2011 7:00 pm

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;
WINAK Schacht 2009-2010
WINAK Sport 2010-2011
WINAK Mentor Informatica 2011-2012
WINAK Ouwe Zak 2012-...

UA Sportraad Webmaster 2012-...

User avatar
Stanny
WOZ
Posts: 2220
Contact:

Re: machines en berekenbaarheid

Post#10 » Sat Aug 27, 2011 10:10 pm

kan boek hier blijkbaar niet online zwieren ...
dus .. pm ff als ge hem wilt, dan mail ik hem ;-)
1 + 196883 = 196884
1 + 2 + 3 + 4 + ... = -1/12

lisa
Posts: 4

Re: machines en berekenbaarheid

Post#11 » Sun Aug 28, 2011 5:25 pm

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

Return to “Keuzevakken”

Who is online

Users browsing this forum: No registered users and 1 guest

cron