Procesalgebra
Hier vindt u informatie betreffende het vak Procesalgebra
(2M920). Andere pagina's met informatie over dit vak zijn:
Belangrijk:
U mag tijdens het tentamen gebruik maken van het dictaat `Algebra
of Communicating Processes', Baeten, Basten en Reniers, en het boek
`Process Algebra', Baeten en Weijland. Aantekeningen en uitwerkingen
mogen echter NIET gebruikt worden tijdens het tentamen.
Beoordeling huiswerk
Hier vindt u de studentnummers van de studenten die een voldoende hebben
op de huiswerkopgaven.
Deze studenten hoeven een (bepaald, niet naar de keuze) opgave
van de tentamen niet maken.
Over vragen over deze lijst moet u contact opnemen met uw instructiedocent.
466028
471127
473540
473784
474669
489160
489321
489872
489923
490229
490514
490790
490828
490951
491184
491231
491386
491466
491610
491874
492121
493739
493901
494603
494620
495581
495595
496644
497529
498750
498810
499887
501505
502063
503329
Inhoud
Behandelde stof en huiswerkopgaven
De huiswerkopgaven zijn niet verplicht, maar slechts bedoeld
om u aan te zetten met de stof bezig te zijn. Ingeleverde opgaven
worden beoordeeld met een o (onvoldoende) of een v (voldoende). Indien
u gemiddeld een voldoende heeft, krijgt u een van de tentamenopgaven
gratis.
De uitwerking dient u uiterlijk op woensdag in te leveren bij uw practicumdocenten.
Indien u de opgave samen met een collega hebt gemaakt, lever dan een
(1) uitwerking in met beide namen erop. Uitwerkingen met meer dan twee
auteursnamen worden niet geaccepteerd.
-
Week 1: Hoofdstuk 2, paragraaf 2.2.
Opgaven: 2.2: 1, 3, 4, 6, 7, 8;
Huiswerk:
2.2: 2, 5, 9; 2.3: 4.
-
Week 2: Hoofdstuk 2, paragrafen 2.3,
2.4; hoofdstuk 3, paragraaf 1.
Opgaven: 2.3: 1, 2, 3, 4; 2.4: 3, 4, 5; 3.1:
1, 2.
Huiswerk:
2.3.6, 2.4.1, 3.1.3. In opgave 2.4.1 is de
reductieregel te lezen als:
m(a(s(s(0)),s(0)),s(s(0))) ->> s(s(s(s(s(s(0)))))).
-
Week 3: Hoofdstuk 3, paragraaf 3.2;
hoofdstuk 4, paragrafen 4.2-4.3.
Opgaven: 3.2: 1, 2, 4; 4.2: 2, 3(a,b,c).
Huiswerk:
3.2: 3, 5; 4.2.3(d,e). In opgave 4.2.3(d) in
plaats van "x <= z implies x+z <= y+z" moet "x <= y implies x+z
<= y+z".
-
Week 4: Hoofdstuk 4, paragrafen 4.4-4.5;
hoofdstuk 5, paragrafen 5.2-5.3.
Opgaven: 4.4.4; 4.5: 1, 2(a); 5.2: 1, 3;
5.3: 1, 2, 3.
Huiswerk:
4.5.2(b); 5.2.2; 5.4: 1, 2. Bonusopgave:
4.5.3
-
Week 5: Hoofdstuk 5, paragrafen 5.4-5.7;
hoofdstuk 6, paragraaf 6.2.
Opgaven: 5.4: 5, 6, 8; 5.5: 1, 2; 5.6.1;
5.7.1.
Huiswerk:
5.4.7; 5.4.9; 6.2.1.
-
Week 6: Hoofdstuk 6, paragrafen 6.3-6.6;
hoofdstuk 7, paragraaf 7.1.
Opgaven: 6.3: 1, 2, 3, 7; 6.4.1; 6.6: 1,
2, 3, 4, 6, 7.
Huiswerk:
6.3.8; 6.5.2; 7.1.1.
-
Week 7: Hoofdstuk 7, paragrafen 7.2-7.6.
Opgaven: 7.2: 1, 2; 7.3: 1, 2, 3; 7.4: 1,
2, 3.
Huiswerk:
7.5.3; 7.6.1; 7.6.2; 7.6.9(b, d, e).
Opgaven: 8.2: 1(a,b), 2; 8.3.1(a,b,e); 8.4:
1, 3; 8.6.1.
Huiswerk:
8.2.1(c,d,e); 8.3.1(c,d); 8.4.2.
-
Week 9: Hoofdstuk 9. LET
OP: de instructie van 8 november is voor beide groepen in
IPO 098
Opgaven: 9.2: 1, 2; 9.3: 1, 2, 3; 9.4.1,
9.5.1, 9.6: 1, 3, 4.
Huiswerk:
opgaven 1 en 2 van het tentamen van
jaar 2002
.
-
Week 10: Het bespreken van oplossingen voor
tentamens jaren 2001, 2002.
Oude tentamens
Hier vindt u proces algebra tentamens van 1998, 1999, 2000
en 2002.
- Juli 1998:
PostScript file
en PDF file
.
- Augustus 1998:
PostScript file
en PDF file
.
- Juli 1999:
PostScript file
en PDF file
.
- Augustus 1999:
PostScript file
en PDF file
.
- Juni 2000: PDF file.
- Juni 2002: PDF file.
- November 2002: PostScript
file
, uitwerkingen: PostScript file
, en PDF file
.
Contact
Indien u vragen over het vak Proces Algebra heeft, neem
dan contact op met de collegedocent of met een van de practicumdocenten.
Vragen m.b.t. de lijst met studentnummers moet u richten tot uw instructiedocent.
Vragen en opmerkingen m.b.t. deze webpagina kunt u naar mij mailen:
Natalia Sidorova, email: n.sidorova@tue.nl