Tussentijdse toets Expertsystemen

Maat: px
Weergave met pagina beginnen:

Download "Tussentijdse toets Expertsystemen"

Transcriptie

1 Dit tentamen is in elektronische vorm beschikbaar gemaakt door de TBC van A Eskwadraat. A Eskwadraat kan niet aansprakelijk worden gesteld voor de gevolgen van eventuele fouten in dit tentamen. Tussentijdse toets Expertsystemen Datum: 27 mei 2004 Tijd: uur Zaal: EDUC-alfa U mag tijdens de toets geen literatuur of ander onderwijsmateriaal raadplegen. Mobiele telefoons dienen uitgeschakeld te zijn. Voorzie elk antwoordblad van uw naam en studentnummer. Schrijf leesbaar: onleesbare antwoorden worden niet nagekeken. Vroegste vertrek is om 13:30 uur. Laat bij het inleveren uw collegekaart / identiteitsbewijs zien. Succes! 1

2 Meerkeuzevragen De onderstaande tien meerkeuzevragen hebben betrekking op een productiesysteem met top-down inferentie waarin gebruik gemaakt wordt van objectattribuut-waarde tupels. Elke meerkeuzevraag heeft precies één goed antwoord. Met elke meerkeuzevraag zijn 3 punten te verdienen. 1. Een kennisbank bevat mogelijk: a. traceerfaciliteiten. b. een domeindeclaratie. c. een feitenverzameling. d. een inferentiemachine (inference engine). 2. Van de volgende problemen is een productiesysteem met top-down inferentie is het meest geschikt voor... a. het herkennen van eetbare paddestoelen. b. het herkennen van handgeschreven adressen. c. het positioneren van plaatsnamen op een landkaart. d. het maken van een werkrooster voor ziekenhuispersoneel. 3. Een consequent van een productieregel bevat... a. precies één conclusie. b. een disjunctie van conclusies. c. een conjunctie van conclusies. d. een conjunctie van disjuncties van conclusies. 4. In de standaard eerste-orde logica kan... wel uitgedrukt worden. a. modify b. remove c. notsame d. unknown 2

3 5. Een conflict set bestaat uit: a. alle productieregels die zijn toegepast. b. alle productieregels waarvan de condities slagen. c. alle productieregels waarvan tenminste één conditie het doelattribuut bevat. d. alle productieregels waarvan tenminste één conclusie het doelattribuut bevat. 6. Het markeren van productieregels voorkomt: a. het onnodig toepassen van regels. b. het onnodig traceren van object-attribuut paren. c. het onnodig toepassen van regels en het onnodig traceren van object-attribuut paren. d. het evalueren van een niet eerder toegepaste regel als al bij voorbaat bekend is dat deze zal falen. 7. Als bij het toepassen van het certainty factor model een hogere drempelwaarde wordt gehanteerd, dan worden voor de waarden van het doelattribuut... afgeleid. a. altijd precies dezelfde certainty factors b. altijd dezelfde of lagere certainty factors c. altijd dezelfde of hogere certainty factors d. dezelfde, hogere of lagere certainty factors 8. Hoeveel productieregels moet een kennisbank minimaal bevatten opdat alle combinatiefuncties van het certainty factor model tijdens de inferentie gebruikt worden? a. een. b. twee. c. drie. d. vier. 3

4 9. De why-faciliteit geeft de gebruiker de mogelijkheid te onderzoeken: a. waarom het systeem een bepaalde vraag stelt. b. waarom geen waarde voor een object-attribuut paar is afgeleid. c. waarom een bepaalde waarde voor een object-attribuut paar is afgeleid. d. waarom een bepaalde waarde niet voor een object-attribuut paar is afgeleid. 10. Een kennismodel dat tijdens het bouwen van een kennissysteem ontwikkeld wordt,... a. is vaak opgesplitst in deelmodellen. b. is altijd uitgedrukt in een kennisrepresentatieformalisme, zoals productieregels. c. bevat een analyse van de haalbaarheid van het project, gezien de beschikbare kennisbronnen. d. bevat een analyse van de achtergrondkennis die vereist is voor toekomstige gebruikers van het systeem. 4

5 Open vragen De onderstaande drie open vragen hebben eveneens betrekking op een productiesysteem met top-down inferentie. In de verschillende opgaven wordt nu echter van verschillende representaties en van verschillende varianten van het inferentiealgoritme gebruik gemaakt. Met de drie vragen zijn repectievelijk 30, 20 en 20 punten te verdienen. Vraag A Beschouw de volgende verzameling productieregels: {R 1 : if same(y, L) then add(w, E) with cf = 0.3 fi, R 2 : if same(x, G) or same(y, K) then add(w, E) with cf = 0.5 fi, R 3 : if same(t, A) then add(u, B) with cf = 0.3 fi, R 4 : if same(x, H) then add(u, C) with cf = 0.5 fi, R 5 : if same(x, G) then add(v, D) with cf = 0.7 fi, R 6 : if same(w, E) and known(u) then add(z, M) with cf = 1.0 fi} Met de conclusies van de productieregels zijn certainty factors geassocieerd. De variabele u is eenwaardig; de overige variabelen zijn meerwaardig. De variabele z is het doel van top-down inferentie met deze regels. Vraagbaar zijn de variabelen t, x en y. Degebruiker geeft voor de variabele t desgevraagd de waarde A met certainty factor cf = 1.0; voor de variabele x wordt desgevraagd de waarde G gegeven met certainty factor cf = 0.6 en de waarde H met certainty factor cf = 0.1; voor de variabele y wordt de waarde K gegeven met certainty factor cf = 0.8 en de waarde L met certainty factor cf = 1.0. De feitenverzameling is initieel leeg. Op de regelverzameling wordt het top-down inferentie algoritme toegepast waarin, als verfijning, variabelen en regels worden gemarkeerd; de regels en de condities in de regels worden in volgorde van specificatie geëvalueerd. Voor het redeneren met onzekerheid wordt gebruikgemaakt van het certainty factor model; in Bijlage I bij deze toets zijn de combinatiefuncties van dit model gegeven. Bij de evaluatie van de predikaten wordt door het certainty factor model een drempelwaarde van 0.2 gehanteerd. Geef de feitenverzameling die na afloop van de inferentie resulteert. Welke regels zijn tijdens de inferentie geslaagd, welke hebben gefaald en welke zijn niet toegepast? Motiveer uw antwoord. 5

6 Vraag B Beschouw het top-down inferentie algoritme waarin, als verfijning, regels worden gemarkeerd; er wordt niet met onzekerheid geredeneerd. Tijdens de inferentie wordt een variant van de look-ahead faciliteit toegepast. Met deze variant van de look-ahead faciliteit worden alleen de condities geëvalueerd die betrekking hebben op variabelen die reeds in de feitenverzameling voorkomen. a. Beschouw een consistente regelverzameling waarin alle variabelen meerwaardig zijn. Kan het gebruik van de beschreven variant van de look-ahead faciliteit er toe leiden dat productieregels ten onrechte niet worden toegepast? Motiveer uw antword. b. Beschouw nu een consistente regelverzameling waarin alle variabelen eenwaardig zijn. Beantwoord dezelfde vraag als bij onderdeel a. Vraag C In de ontwikkeling van een kennissysteem worden meestal zes fasen onderscheiden: de probleemanalyse, het ontwikkelen van het kennismodel, de formalisering, de implementatie, de evaluatie en tenslotte de fase van integratie en onderhoud. a. Bij het ontwikkelen van een regelverzameling voor een kennissysteem kan gebruik gemaakt worden van een consistentie-checker. In welke van de bovengenoemde fasen in de ontwikkeling van het systeem kan zo n consistentie-checker worden toegepast? Kan het gebruik van de consistentie-checker van invloed zijn op de eindproducten van de andere fasen? Motiveer uw antwoord. b. Bij het ontwikkelen van een regelverzameling voor een kennissysteem kan gebruik gemaakt worden van regelmodellen. In welke van de bovengenoemde fasen kunnen dergelijke modellen worden gebruikt? Kan het gebruik van regelmodellen van invloed zijn op de eindproducten van de andere fasen? Motiveer uw antwoord. 6

7 Bijlage I: De combinatiefuncties van het certainty factor model De vier combinatiefuncties van het certainty factor model zijn: CF(h, e )=CF(h, e) max{0, CF(e, e )} CF(e 1 and e 2,e )=min{cf(e 1,e ), CF(e 2,e )} CF(e 1 or e 2,e )=max{cf(e 1,e ), CF(e 2,e )} CF(h, e 1 co e 2 )= CF(h, e 1 )+CF(h, e 2 )(1 CF(h, e 1 )) als CF(h, e i ) > 0,i=1, 2 CF(h, e 1 )+CF(h, e 2 ) 1 min{ CF(h, e 1 ), CF(h, e 2 ) } als 1 < CF(h, e 1 ) CF(h, e 2 ) 0 CF(h, e 1 )+CF(h, e 2 )(1 + CF(h, e 1 )) als CF(h, e i ) < 0,i=1, 2 7

Opgaven bij Hoofdstuk 3 - Productiesystemen

Opgaven bij Hoofdstuk 3 - Productiesystemen Opgaven bij Hoofdstuk 3 - Productiesystemen Top-down inferentie In de opgaven in deze paragraaf over top-down inferentie wordt aangenomen dat de feitenverzameling alleen feiten bevat die als getraceerd

Nadere informatie

Expertsystemen. Hoorcollege 9: Knowledge engineering en maintenance. Representatie van kennis. Verkrijgen en modelleren van kennis

Expertsystemen. Hoorcollege 9: Knowledge engineering en maintenance. Representatie van kennis. Verkrijgen en modelleren van kennis Expertsystemen Hoorcollege 9: Knowledge engineering en maintenance Representatie van kennis Verkrijgen en modelleren van kennis Ondersteuning van modellering en onderhoud 1 Knowledge engineering Knowledge

Nadere informatie

Terug naar regels. Redeneren met onzekerheid III. Voorbeeld. Kies een geschikte theorie Vind een invulling voor de combinatiefuncties f and, f or,

Terug naar regels. Redeneren met onzekerheid III. Voorbeeld. Kies een geschikte theorie Vind een invulling voor de combinatiefuncties f and, f or, Redeneren met onzekereid III Onderwerpen: Regelgeassocieerde metoden voor redeneren met onzekereid Subjectieve Bayesiaanse metode Relatie met certainty-factor model en daarmee met Bayesiaanse netwerken

Nadere informatie

Kennisrepresentatie. Vormen van kennisrepresentatie. Geschiedenis productiesystemen. Productieregelformalisme

Kennisrepresentatie. Vormen van kennisrepresentatie. Geschiedenis productiesystemen. Productieregelformalisme Kennisrepresentatie Vormen van kennisrepresentatie Formele taal die geschikt is voor het: vastleggen van kennis redeneren met kennis Eisen formalisme voor representatie domeinkennis: voldoe uitdrukkingskracht

Nadere informatie

Manipulatie van onzekerheid in regels

Manipulatie van onzekerheid in regels Redeneren met onzekerheid Onderwerpen: waarom speelt onzekerheid een belangrijke rol? hoe leggen we onzekere kennis vast? ontwikkelingen: jaren 1980 aanpak: representatie in regels (MYIN, Prospector) jaren

Nadere informatie

p. 1/39 Voorbeeld: R = {R 1 : if same(x,a) and same(y,b) then R 2 : if same(x,b) then add(u,f) fi, R 3 : if same(z,c) and same(w,d) then

p. 1/39 Voorbeeld: R = {R 1 : if same(x,a) and same(y,b) then R 2 : if same(x,b) then add(u,f) fi, R 3 : if same(z,c) and same(w,d) then Bottom-up Inferentie Data-gestuurde inferentievorm: Vergelijking Top-down inferentie: selectie regels match (sub)doel conclusie Uiteindelijke Feiten Doelen Initiële feitenverzameling: F = {A} Regelverzameling:

Nadere informatie

Redeneren met Onzekerheid II. Manipulatie van Onzekerheid. Kansverdeling. if E 2 then H y2 fi. if E 1 and E 2 then H z fi.

Redeneren met Onzekerheid II. Manipulatie van Onzekerheid. Kansverdeling. if E 2 then H y2 fi. if E 1 and E 2 then H z fi. Redeneren met Onzekerheid II Classificatieregel-gebaseerd redeneren met onzekerheid: kies een geschikte theorie vind een invulling voor de combinatiefuncties implementeer de combinatiefuncties als onderdeel

Nadere informatie

Tentamen in2205 Kennissystemen

Tentamen in2205 Kennissystemen TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica Tentamen in2205 Kennissystemen 21 Januari 2010, 14:0017:00 Dit tentamen heeft 5 meerkeuzevragen in totaal goed voor 10 punten

Nadere informatie

Oefenopgaven Intelligente Systemen

Oefenopgaven Intelligente Systemen Voorwoord Oefenopgaven Intelligente Systemen 2007 2008 Deze bundel opgaven sluit aan bij de stof van het college Intelligente Systemen. De stof waar de vraagstukken betrekking op hebben wordt groteels

Nadere informatie

Tentamen Kunstmatige Intelligentie (INFOB2KI)

Tentamen Kunstmatige Intelligentie (INFOB2KI) Tentamen Kunstmatige Intelligentie (INFOB2KI) 30 januari 2014 10:30-12:30 Vooraf Mobiele telefoons dienen uitgeschakeld te zijn. Het tentamen bestaat uit 7 opgaven; in totaal kunnen er 100 punten behaald

Nadere informatie

Oefententamen in2205 Kennissystemen

Oefententamen in2205 Kennissystemen TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica Oefententamen in2205 Kennissystemen 20 December 2007 Tijdens een echt tentamen is gebruik van boek of aantekeningen niet

Nadere informatie

Model-gebaseerd Redeneren. Ervaringsregels. Medische diagnostiek: facialisparese. Gebruik van modellen. Probleemoplossen op grond van ervaringsregels:

Model-gebaseerd Redeneren. Ervaringsregels. Medische diagnostiek: facialisparese. Gebruik van modellen. Probleemoplossen op grond van ervaringsregels: Model-gebaseerd Redeneren Ervaringsregels Traditionele kennissystemen: regel gebaseerd (ervaringsregels) if conditions then actions/conclusions fi. gebruikte redeneermethoden: top-down inferentie: redeneer

Nadere informatie

Opgaven bij Hoofdstuk 4 - Frames en Overerving

Opgaven bij Hoofdstuk 4 - Frames en Overerving Opgaven bij Hoofdstuk 4 - Frames en Overerving Semantische netwerken Opgave 1 a. Een semantisch net S is een geëtiketteerde graaf S = (V (S), A(S), λ), met V (S) de verzameling knopen, A(S) V (S) V (S)

Nadere informatie

Tentamen TI1300 en IN1305-A (Redeneren en) Logica

Tentamen TI1300 en IN1305-A (Redeneren en) Logica TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica Tentamen TI1300 en IN1305-A (Redeneren en) Logica 21 Januari 2011, 8.30 11.30 uur LEES DEZE OPMERKINGEN AANDACHTIG DOOR

Nadere informatie

AI Kaleidoscoop. College 6: Deel 1:Expert systemen Deel 2: Onzekerheid in redeneren. Deel II: Redeneren met onzekerheid. Redeneren met onzekerheid

AI Kaleidoscoop. College 6: Deel 1:Expert systemen Deel 2: Onzekerheid in redeneren. Deel II: Redeneren met onzekerheid. Redeneren met onzekerheid AI Kaleidoscoop College 6: Deel 1:Expert systemen Deel 2: Onzekerheid in redeneren Leeswijzer: 8.0-7.1 + 5.2 + 9.2.1 AI6 1 Deel II: Redeneren met onzekerheid Onzekerheid is aanwezig in alle KBS systemen

Nadere informatie

Informatiemaatschappij Aanvullende toets

Informatiemaatschappij Aanvullende toets Informatiemaatschappij Aanvullende toets Departement Informatica Faculteit Bètawetenschappen Universiteit Utrecht Woensdag 24 december 2008 09:00 12:00 uur BBL-513 Vooraf Vul je naam en collegekaartnummer

Nadere informatie

CLIPS en het Rete-algoritme. Productieregels in CLIPS. Feiten. Productiesysteem (voorbeeld)

CLIPS en het Rete-algoritme. Productieregels in CLIPS. Feiten. Productiesysteem (voorbeeld) CLIPS en het Rete-algoritme CLIPS: acroniem voor C Language Integrated Production System Verwant aan OPS5 (Carnegie-Mellon University), en gebaseerd op ART (Artificial Reasoning Tool) Ontwikkeld door Lyndon

Nadere informatie

Expertsystemen. Marco Wiering CGN A126 Tel. 030 2539209 marco@cs.uu.nl

Expertsystemen. Marco Wiering CGN A126 Tel. 030 2539209 marco@cs.uu.nl Expertsystemen Marco Wiering CGN A126 Tel. 030 2539209 marco@cs.uu.nl Inleiding en inperking (1) Expertsystemen en Artificial Intelligence (AI) Wat is intelligentie? Inleiding en inperking (2) Inleiding

Nadere informatie

Artificiële intelligentie: les van 21 november 2002

Artificiële intelligentie: les van 21 november 2002 Artificiële intelligentie: les van 21 november 2002 Nys Wim, wim.nys@vub.ac.be Gybels Kim, kim.gybels@vub.ac.be Leuse Tom, tom.leuse@vub.ac.be Heyse Wouter, wouter.heyse@vub.ac.be Frank Joris, frank.joris@vub.ac.be

Nadere informatie

Artificiële Intelligentie 1. Kennissystemen. 22 oktober 2002

Artificiële Intelligentie 1. Kennissystemen. 22 oktober 2002 Artificiële Intelligentie 1 Kennissystemen 22 oktober 2002 Deze oefeningenles gaat over kennissystemen, één van de grootste succesverhalen van de kunstmatige intelligentie. We zullen zien wat kennissystemen

Nadere informatie

Faculteit der Geneeskunde

Faculteit der Geneeskunde Faculteit der Geneeskunde Tentamen blok Datum Tijd : naam van blok : datum van afname tentamen : met RD: zonder RD: Op dit voorblad vindt u belangrijke informatie over het tentamen. Voordat u met het tentamen

Nadere informatie

Tentamen Kunstmatige Intelligentie (INFOB2KI)

Tentamen Kunstmatige Intelligentie (INFOB2KI) Tentamen Kunstmatige Intelligentie (INFOB2KI) 12 december 2014 8:30-10:30 Vooraf Mobiele telefoons en dergelijke dienen uitgeschakeld te zijn. Het eerste deel van het tentamen bestaat uit 8 multiple-choice

Nadere informatie

Tentamen Databases. 18 december 2002. 09:00-12:00, Educatorium Gamma

Tentamen Databases. 18 december 2002. 09:00-12:00, Educatorium Gamma Dit tentamen is in elektronische vorm beschikbaar gemaakt door de TBC van A Eskwadraat. A Eskwadraat kan niet aansprakelijk worden gesteld voor de gevolgen van eventuele fouten in dit tentamen. Tentamen

Nadere informatie

beeldende vakken CPE GL en TL tekenen, handenarbeid, textiele werkvormen, audiovisuele vormgeving

beeldende vakken CPE GL en TL tekenen, handenarbeid, textiele werkvormen, audiovisuele vormgeving Examen VMBO-GL en TL 2016 gedurende 720 minuten beeldende vakken CPE GL en TL tekenen, handenarbeid, textiele werkvormen, audiovisuele vormgeving Naam kandidaat Kandidaatnummer Opgavenboekje Dit examen

Nadere informatie

Naam:... INFO / WIS-INF / ASIB / IAJ. Theorie

Naam:... INFO / WIS-INF / ASIB / IAJ. Theorie Theorie Beantwoord onderstaande vragen (elke vraag staat op 3 punten) door de antwoordzinnen KORT aan te vullen. 1. Wat doe je wanneer je de risico's projecteert (afschat)? Welke categorieën van risico's

Nadere informatie

Implementatie van Programmeertalen (IPT) 4 mei 2001

Implementatie van Programmeertalen (IPT) 4 mei 2001 Informatica Instituut, Faculteit Wiskunde en Informatica, UU. In elektrosche vorm beschikbaar gemaakt door de TBC van A Eskwadraat. Het college IPT werd in 2000/2001 gegeven door Drs. A. Dijkstra en Drs.

Nadere informatie

Ontwerp van Algoritmen: opgaven weken 3 en 4

Ontwerp van Algoritmen: opgaven weken 3 en 4 0 Ontwerp van Algoritmen: opgaven weken 3 en 4 Voor alle volgende opgaven over programmaatjes geldt de spelregel: formuleer altijd eerst alle bewijsverplichtingen. selectie 45. (tail distribution)(prima

Nadere informatie

Logica Les 1 Definities en waarheidstabellen. (Deze les sluit aan bij les 1 van de syllabus Logica WD_online)

Logica Les 1 Definities en waarheidstabellen. (Deze les sluit aan bij les 1 van de syllabus Logica WD_online) Logica Les 1 Definities en waarheidstabellen (Deze les sluit aan bij les 1 van de syllabus Logica WD_online) Definities Een propositie is een bewering die waar of onwaar is (er is geen derde mogelijkheid).

Nadere informatie

Practicumopgave 3: SAT-solver

Practicumopgave 3: SAT-solver Practicumopgave 3: SAT-solver Modelleren en Programmeren 2015/2016 Deadline: donderdag 7 januari 2016, 23:59 Introductie In het vak Inleiding Logica is onder andere de propositielogica behandeld. Veel

Nadere informatie

Over Plantinga s argument voor de existentie van een noodzakelijk bestaand individueel ding. G.J.E. Rutten

Over Plantinga s argument voor de existentie van een noodzakelijk bestaand individueel ding. G.J.E. Rutten 1 Over Plantinga s argument voor de existentie van een noodzakelijk bestaand individueel ding G.J.E. Rutten Introductie In dit artikel wil ik het argument van de Amerikaanse filosoof Alvin Plantinga voor

Nadere informatie

Constraint satisfaction. Computationele Intelligentie. Voorbeelden. Een constraint satisfaction probleem. Constraint Satisfaction

Constraint satisfaction. Computationele Intelligentie. Voorbeelden. Een constraint satisfaction probleem. Constraint Satisfaction Constraint satisfaction Computationele Intelligentie Constraint Satisfaction Een constraint satisfaction probleem (CSP) bestaat uit: een verzameling variabelen; een domein van waarden voor elke variabele;

Nadere informatie

Vijfde college complexiteit. 21 februari Selectie Toernooimethode Adversary argument

Vijfde college complexiteit. 21 februari Selectie Toernooimethode Adversary argument Complexiteit 2017/05 College 5 Vijfde college complexiteit 21 februari 2017 Selectie Toernooimethode Adversary argument 1 Complexiteit 2017/05 Opgave 28 Gegeven twee oplopend gesorteerde even lange rijen

Nadere informatie

Veel succes! 1. Gegeven is de volgende klasse:

Veel succes! 1. Gegeven is de volgende klasse: Dit tentamen is in elektronische vorm beschikbaar gemaakt door de TBC van A Eskwadraat. A Eskwadraat kan niet aansprakelijk worden gesteld voor de gevolgen van eventuele fouten in dit tentamen. Derde deeltentamen

Nadere informatie

Faculteit Economie en Bedrijfskunde

Faculteit Economie en Bedrijfskunde Faculteit Economie en Bedrijfskunde Op dit voorblad vindt u belangrijke informatie omtrent het tentamen. Voordat u met het tentamen t: lees dit voorblad! Tentamen: V&O IV: Programmeren Tentamendatum &

Nadere informatie

TECHNISCHE UNIVERSITEIT EINDHOVEN. Faculteit Wiskunde en Informatica

TECHNISCHE UNIVERSITEIT EINDHOVEN. Faculteit Wiskunde en Informatica TECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica Extra Tentamen Databases 1, 2M400, 8 oktober 2003. Alle uitwerkingen van de opgaven moeten worden ingevuld in de daarvoor bestemde vrije

Nadere informatie

Tentamen TI1300 en IN1305-A (Redeneren en) Logica

Tentamen TI1300 en IN1305-A (Redeneren en) Logica TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica Tentamen TI1300 en IN1305-A (Redeneren en) Logica 5 november 2010, 9.00 12.00 uur LEES DEZE OPMERKINGEN AANDACHTIG DOOR

Nadere informatie

Aanvullende toets Gameprogrammeren (INFOB1GP) Woensdag 24 december 2014, uur

Aanvullende toets Gameprogrammeren (INFOB1GP) Woensdag 24 december 2014, uur Aanvullende toets Gameprogrammeren (INFOB1GP) Woensdag 24 december 2014, 13.30-15.30 uur Naam: Studentnummer: Het tentamen bestaat uit 4 opgaven. Opgaven 1 levert 8 punten op, opgave 2 levert 12 punten

Nadere informatie

VOORBLAD SCHRIFTELIJKE TOETSEN

VOORBLAD SCHRIFTELIJKE TOETSEN Technology, Innovation & Society Delft VOORBLAD SCHRIFTELIJKE TOETSEN OPLEIDING TOETSCODE GROEP : ELEKTROTECHNIEK : GESPRG-SC1 : EP11/EP12 TOETSDATUM : 23-01-2014 TIJD : 15.00 16.30 uur AANTAL PAGINA S

Nadere informatie

Inleiding. Inleiding. Artificiële Intelligentie 1. Waarschijnlijkheid en redeneren met waarschijnlijkheid. Omgaan met onzekerheid. Waarschijnlijkheid

Inleiding. Inleiding. Artificiële Intelligentie 1. Waarschijnlijkheid en redeneren met waarschijnlijkheid. Omgaan met onzekerheid. Waarschijnlijkheid Inleiding Voorbeeld van een actie: A t = vertrek t minuten voor mijn vlucht naar de luchthaven. Artificiële Intelligentie 1 Hoe kan je nagaan als A t je op tijd op de luchthaven brengt? Waarschijnlijkheid

Nadere informatie

Logica voor Informatica

Logica voor Informatica Logica voor Informatica 13 Programma verificatie Wouter Swierstra University of Utrecht 1 Programmeertalen en logica Bij logische programmeertalen hebben we gezien dat we rechstreeks met (een fragment

Nadere informatie

Universiteit Utrecht Faculteit Wiskunde en Informatica. Examen Optimalisering op maandag 18 april 2005, uur.

Universiteit Utrecht Faculteit Wiskunde en Informatica. Examen Optimalisering op maandag 18 april 2005, uur. Universiteit Utrecht Faculteit Wiskunde en Informatica Examen Optimalisering op maandag 18 april 2005, 9.00-12.00 uur. De opgaven dienen duidelijk uitgewerkt te zijn en netjes ingeleverd te worden. Schrijf

Nadere informatie

TI-2720 Operating System Concepten. 21 januari 2013, uur. docent: H.J. Sips. Dit is een tentamen met 9 open vragen

TI-2720 Operating System Concepten. 21 januari 2013, uur. docent: H.J. Sips. Dit is een tentamen met 9 open vragen TECHNISCHE UNIVERSITEIT DELFT Faculteit EWI, Afdeling SCT Sectie Parallelle en Gedistribueerde Systemen Ty Delft TI-2720 Operating System Concepten 21 januari 2013, 14.00-17.00 uur. docent: H.J. Sips Dit

Nadere informatie

Naam student. Examennummer. Handtekening

Naam student. Examennummer. Handtekening Business Administration / Bedrijfskunde Naam student Examennummer : : Handtekening : Schriftelijk Tentamen Algemeen Vak: Wetenschapsleer Groep: 1 Vakcode: BKB0016 Soort tentamen Gesloten boek (open of

Nadere informatie

public boolean equaldates() post: returns true iff there if the list contains at least two BirthDay objects with the same daynumber

public boolean equaldates() post: returns true iff there if the list contains at least two BirthDay objects with the same daynumber Tentamen TI1310 Datastructuren en Algoritmen, 15 april 2011, 9.00-12.00 TU Delft, Faculteit EWI, Basiseenheid Software Engineering Bij het tentamen mag alleen de boeken van Goodrich en Tamassia worden

Nadere informatie

VOORBLAD SCHRIFTELIJKE TOETSEN

VOORBLAD SCHRIFTELIJKE TOETSEN Technology, Innovation & Society Delft VOORBLAD SCHRIFTELIJKE TOETSEN OPLEIDING TOETSCODE GROEP : ELEKTROTECHNIEK : GESPRG : EP11/EP12 TOETSDATUM : 07-02-2014 TIJD : 13.00 14.30 uur AANTAL PAGINA S (incl.

Nadere informatie

Tentamen Objectgeorienteerd Programmeren TI februari Afdeling ST Faculteit EWI TU Delft

Tentamen Objectgeorienteerd Programmeren TI februari Afdeling ST Faculteit EWI TU Delft I ' Tentamen Objectgeorienteerd Programmeren TI 1200 1 februari 2012 9.00-12.00 Afdeling ST Faculteit EWI TU Delft Bij dit tentamen mag je geen gebruik maken van hulpmiddelen zoals boek of slides. Dit

Nadere informatie

Honours projecten BSc Informatica: twee voorstellen

Honours projecten BSc Informatica: twee voorstellen Honours projecten BSc Informatica: twee voorstellen mogelijk ook geschikt voor BSc Kunstmatige Intelligentie Alban Ponse section Theory of Computer Science Informatics Institute, University of Amsterdam

Nadere informatie

Beoordelingsformulier KET Een gezondheidsbevorderende interventie ontwikkelen inclusief evaluatieplan

Beoordelingsformulier KET Een gezondheidsbevorderende interventie ontwikkelen inclusief evaluatieplan Beoordelingsformulier KET 9 2019-2020 Een gezondheidsbevorderende ontwikkelen inclusief evaluatieplan Student: Titel : Datum: Beoordelaar 1: Beoordelaar 2: Voorwaarden voor beoordelen Het eindproduct is

Nadere informatie

Modelleren en Programmeren voor KI

Modelleren en Programmeren voor KI Modelleren en Programmeren voor KI Practicumopdracht 4: SAT Solver Tomas Klos Het SAT probleem Parvulae Logicales: Propositielogica, Hoofdstuk 6 (Semantiek), p. 62: Het SAT probleem Ik geef je een propositielogische

Nadere informatie

Mondeling versus schriftelijk examen

Mondeling versus schriftelijk examen Mondeling versus schriftelijk examen Omschrijving Een mondeling examen is een evaluatievorm waarbij aan de hand van een gesprek tussen de examinator en de student wordt nagegaan in welke mate de student

Nadere informatie

Doel van college 2. College 2: CASNET systeem. Bestuderen van een concreet systeem dat model-gebaseerd redeneert. CASNET is een medisch expertsysteem:

Doel van college 2. College 2: CASNET systeem. Bestuderen van een concreet systeem dat model-gebaseerd redeneert. CASNET is een medisch expertsysteem: College 2: CASNET systeem Doel van college 2 CASNET is een medisch expertsysteem: diagnose therapie selectie model gebaseerde methode toepassing in glaucoom domein Bestuderen van een concreet systeem dat

Nadere informatie

In deze les. Eerste orde logica. Elementen van EOL. Waarom eerste orde logica? Combinatie met logica. Variabelen en Kwantoren

In deze les. Eerste orde logica. Elementen van EOL. Waarom eerste orde logica? Combinatie met logica. Variabelen en Kwantoren In deze les Eerste orde logica Bart de Boer Waarom EOL? Syntax en semantiek van EOL Opfrisser Gebruik van EOL EOL in de Wumpus-wereld Waarom eerste orde logica? Eerste orde logica kan alles uitdrukken

Nadere informatie

Technology, Innovation & Society Delft

Technology, Innovation & Society Delft Technology, Innovation & Society Delft VOORBLAD SCHRIFTELIJKE TOETSEN OPLEIDING TOETSCODE GROEP : ELEKTROTECHNIEK : GESPRG-SC1 : EP11, EP12 TOETSDATUM : 22-01-2015 TIJD : 13.00u-14.30u AANTAL PAGINA S

Nadere informatie

Datastructuren en Algoritmen

Datastructuren en Algoritmen Datastructuren en Algoritmen Tentamen Vrijdag 6 november 2015 13.30-16.30 Toelichting Bij dit tentamen mag je gebruik maken van een spiekbriefje van maximaal 2 kantjes. Verder mogen er geen hulpmiddelen

Nadere informatie

2DD50: Tentamen. Tentamen: 26 januari 2016 Hertentamen: 5 april 2016

2DD50: Tentamen. Tentamen: 26 januari 2016 Hertentamen: 5 april 2016 2DD50: Tentamen Tentamen: 26 januari 2016 Hertentamen: 5 april 2016 Bij het tentamen mag een eenvoudige (niet grafische; niet programmeerbare) rekenmachine meegenomen worden, en 2 tweezijdige A4-tjes met

Nadere informatie

SQL opgaven. Relationele model: Opgaven:

SQL opgaven. Relationele model: Opgaven: SQL opgaven Relationele model: Opgaven: 1. Selecteer de klanten die bij fabriek F1 of fabriek F4 een bestelling hebben geplaatst. 2. Selecteer de klanten die bij fabriek F1 en fabriek F4 een bestelling

Nadere informatie

Examen Datastructuren en Algoritmen II

Examen Datastructuren en Algoritmen II Tweede bachelor Informatica Academiejaar 2010 2011, tweede zittijd Examen Datastructuren en Algoritmen II Naam :.............................................................................. Lees de hele

Nadere informatie

Tentamen Wiskunde B CENTRALE COMMISSIE VOORTENTAMEN WISKUNDE. Datum: 19 december Aantal opgaven: 5

Tentamen Wiskunde B CENTRALE COMMISSIE VOORTENTAMEN WISKUNDE. Datum: 19 december Aantal opgaven: 5 CENTRALE COMMISSIE VOORTENTAMEN WISKUNDE Datum: 19 december 2018 Tijd: 13.30 16.30 uur Aantal opgaven: 5 Tentamen Wiskunde B Lees onderstaande aanwijzingen s.v.p. goed door voordat u met het tentamen begint.

Nadere informatie

Laag Vaardigheden Leerdoelen Formulering van vragen /opdrachten

Laag Vaardigheden Leerdoelen Formulering van vragen /opdrachten Blooms taxonomie Laag Vaardigheden Leerdoelen Formulering van vragen /opdrachten Evalueren Evalueren = de vaardigheid om de waarde van iets (literatuur, onderzoeksrapport, presentatie etc) te kunnen beoordelen

Nadere informatie

Advies voor het verwijderen van Dimensions v1.0 van de pas toe of leg uit lijst en het wijzigen van het functioneel toepassingsgebied van XBRL v2.

Advies voor het verwijderen van Dimensions v1.0 van de pas toe of leg uit lijst en het wijzigen van het functioneel toepassingsgebied van XBRL v2. Forum Standaardisatie Advies voor het verwijderen van Dimensions v1.0 van de pas toe of leg uit lijst en het wijzigen van het functioneel toepassingsgebied van XBRL v2.1 Concept ter openbare consultatie

Nadere informatie

Tentamen Objectgeorienteerd Programmeren IN1205 Voorbeeld

Tentamen Objectgeorienteerd Programmeren IN1205 Voorbeeld Tentamen Objectgeorienteerd Programmeren IN1205 Voorbeeld Afdeling ST Faculteit EWI TU Delft Bij dit tentamen mag u gebruik maken van: Barnes, Object-Oriented Programming with Java en de Notitie Algoritmiek

Nadere informatie

Tentamen Kunstmatige Intelligentie

Tentamen Kunstmatige Intelligentie Naam: Studentnr: Tentamen Kunstmatige Intelligentie Department of Information and Computing Sciences Opleiding Informatica Universiteit Utrecht Donderdag 2 februari 2012 08.30 10:30, EDUCA-ALFA Vooraf

Nadere informatie

Mededelingen. TI1300: Redeneren en Logica. Metavariabelen Logica, p Minder connectieven nodig

Mededelingen. TI1300: Redeneren en Logica. Metavariabelen Logica, p Minder connectieven nodig Mededelingen TI1300: Redeneren en Logica College 5: Semantiek van de Propositielogica Tomas Klos Algoritmiek Groep Tip: Als ik je vraag de recursieve definitie van een functie over PROP op te schrijven,

Nadere informatie

Project 2: LOTTO simulatie Programmeren I

Project 2: LOTTO simulatie Programmeren I Project 2: LOTTO simulatie Programmeren I K. van Assche - H. Gruyaert 1 Inleiding Schrijf een java programma dat het spel van de nationale loterij, de Lotto simuleert. De communicatie met de gebruiker

Nadere informatie

Opgaven Kunstmatige intelligentie 4 mei 2012

Opgaven Kunstmatige intelligentie 4 mei 2012 Opgaven Kunstmatige intelligentie 4 mei 2012 Opgave 28. (opgave tentamen 12 augustus 2002) Stel dat we een handelsreizigersprobleem op willen lossen, en dat we dat met een genetisch algoritme willen doen.

Nadere informatie

Voorbeeldtentamen Inleiding programmeren (IN1608WI), Oktober 2003, , Technische Universiteit Delft, Faculteit EWI, Afdeling 2.

Voorbeeldtentamen Inleiding programmeren (IN1608WI), Oktober 2003, , Technische Universiteit Delft, Faculteit EWI, Afdeling 2. Voorbeeldtentamen Inleiding programmeren (IN1608WI), Oktober 2003, 14.00-15.30, Technische Universiteit Delft, Faculteit EWI, Afdeling 2. Dit tentamen bestaat uit twee delen. Deel 1 (14.00-14.45, gesloten

Nadere informatie

Eventing. Introductie. Regel verwerking. Basis structuur

Eventing. Introductie. Regel verwerking. Basis structuur Eventing Eventing...1 Introductie...1 Regel verwerking...1 Basis structuur...1 Waar of Onwaar...2 AND en OR...2 Haakjes...3 Operatoren...3 Apparaten...3 Functies...4 Acties...4 Parameters van apparaten

Nadere informatie

Computationale Intelligentie Dirk Thierens

Computationale Intelligentie Dirk Thierens Computationale Intelligentie Dirk Thierens Organisatie Onderwijsvormen: Docent: Topic: Collegemateriaal: Boek: Beoordeling: hoorcollege, practicum, werkcollege Dirk Thierens Deel : Zoekalgoritmen Toets

Nadere informatie

WISKUNDETOETS FPP. Instructies

WISKUNDETOETS FPP. Instructies WISKUNDETOETS FPP 22 juni 2016 19.00 uur 21.30 uur Deze wiskundetoets bestaat uit 6 meerkeuzevragen en 3 open vragen Instructies Je mag het boek Wiswijs en eigen aantekeningen bij de toets gebruiken. Dit

Nadere informatie

De Resolutiemethode (Logica, hoofdstuk 15) Robinson (1965) TI1300 Redeneren en Logica

De Resolutiemethode (Logica, hoofdstuk 15) Robinson (1965) TI1300 Redeneren en Logica De Resolutiemethode (Logica, hoofdstuk 15) Robinson (1965) TI1300 Redeneren en Logica College 7: Resolutie Tomas Klos Algoritmiek Groep De Resolutiemethode De resolutiemethode is een methode waarmee je

Nadere informatie

Faculteit Economie en Bedrijfskunde studiejaar

Faculteit Economie en Bedrijfskunde studiejaar Faculteit Economie en Bedrijskunde studiejaar 0-04 Op deze eerste pagina vindt u belangrijke inormatie met betrekking tot dit tentamen. Lees de hierna volgende inormatie aandachtig door voordat u begint

Nadere informatie

Beoordeling: Parkinson

Beoordeling: Parkinson Projectgroep 1 Debby Aloserij 500618648 Hogeschool van Amsterdam Leon Borst 500643824 Januari 2014 Hellen Brakkee 500653051 HB- erpleegkunde Carolien Büdgen 500617279 Docent: Josanne Kers Joyce Stuijt

Nadere informatie

Universiteit Utrecht Departement Informatica. Examen Optimalisering op dinsdag 29 januari 2019, uur.

Universiteit Utrecht Departement Informatica. Examen Optimalisering op dinsdag 29 januari 2019, uur. Universiteit Utrecht Departement Informatica Examen Optimalisering op dinsdag 29 januari 2019, 17.00-20.00 uur. ˆ Mobieltjes UIT en diep weggestopt in je tas. Wanneer je naar de WC wil, dan moet je je

Nadere informatie

Artificiële intelligentie 1 ( ) Voorbeelden van examenvragen

Artificiële intelligentie 1 ( ) Voorbeelden van examenvragen Artificiële intelligentie 1 (2002-2003) Voorbeelden van examenvragen Tony Belpaeme, Bart de Boer, Bart De Vylder, Bart Jansen Vraag 1. Wat zal het effect zijn van een convolutiekernel a. Contrast wordt

Nadere informatie

Automaten. Informatica, UvA. Yde Venema

Automaten. Informatica, UvA. Yde Venema Automaten Informatica, UvA Yde Venema i Inhoud Inleiding 1 1 Formele talen en reguliere expressies 2 1.1 Formele talen.................................... 2 1.2 Reguliere expressies................................

Nadere informatie

Logica voor Informatica. Propositielogica. Normaalvormen en Semantische tableaux. Mehdi Dastani

Logica voor Informatica. Propositielogica. Normaalvormen en Semantische tableaux. Mehdi Dastani Logica voor Informatica Propositielogica Normaalvormen en Semantische tableaux Mehdi Dastani m.m.dastani@uu.nl Intelligent Systems Utrecht University Literals Een literal is een propositieletter, of de

Nadere informatie

Master Software Engineering. Inhoud, begeleiding, tentamen dr. Anda Counotte Docent en mentor

Master Software Engineering. Inhoud, begeleiding, tentamen dr. Anda Counotte Docent en mentor Master Software Engineering Inhoud, begeleiding, tentamen dr. Anda Counotte Docent en mentor Thema Software Architectuur Design Patterns (DP) ir. Sylvia Stuurman, dr.ir. Harrie Passier en dr. Bastiaan

Nadere informatie

Abstraheren van modellen

Abstraheren van modellen Abstraheren van modellen Geert Delanote 7 maart 2005 Geert.Delanote@cs.kuleuven.ac.be Software Development Methodology 1 Inhoudstafel Motivatie Denkpistes Software Development Methodology 2 Motivatie Verslag

Nadere informatie

Oplossingen Datamining 2II15 Juni 2008

Oplossingen Datamining 2II15 Juni 2008 Oplossingen Datamining II1 Juni 008 1. (Associatieregels) (a) Zijn de volgende beweringen juist of fout? Geef een korte verklaring voor alle juiste beweringen en een tegenvoorbeeld voor alle foute be-weringen:

Nadere informatie

Gegevens invullen in HOOFDLETTERS en LEESBAAR, aub. Belgische Olympiades in de Informatica (duur : maximum 1u15 )

Gegevens invullen in HOOFDLETTERS en LEESBAAR, aub. Belgische Olympiades in de Informatica (duur : maximum 1u15 ) OI 2010 Finale 12 Mei 2010 Gegevens invullen in HOOFDLETTERS en LEESBAAR, aub VOORNAAM :....................................................... NAAM :..............................................................

Nadere informatie

Voorbeeld. TI1300: Redeneren en Logica. Skolemnormaalvorm. Voorbeeld. Wat is de Skolemnormaalvorm van. College 16: Resolutie en Prolog.

Voorbeeld. TI1300: Redeneren en Logica. Skolemnormaalvorm. Voorbeeld. Wat is de Skolemnormaalvorm van. College 16: Resolutie en Prolog. Wat is de Skolemnormaalvorm van TI1300: Redeneren en Logica College 16: Resolutie en Prolog Tomas Klos Algoritmiek Groep x y u v w zm(x,y,u,v,w,z)? x y u v w zm(x,y,u,v,w,z) y u v w zm(a,y,u,v,w,z) y v

Nadere informatie

Tentamen Inleiding Programmeren (IN1608WI), duur van de toets 2 uur Technische Universiteit Delft, Faculteit EWI, Afdeling 2.

Tentamen Inleiding Programmeren (IN1608WI), duur van de toets 2 uur Technische Universiteit Delft, Faculteit EWI, Afdeling 2. Tentamen Inleiding Programmeren (IN1608WI), duur van de toets 2 uur Technische Universiteit Delft, Faculteit EWI, Afdeling 2. Gesloten boek examen: er mag geen gebruik worden gemaakt van het studieboek.

Nadere informatie

DEZE PAGINA NIET vóór 8.30u OMSLAAN!

DEZE PAGINA NIET vóór 8.30u OMSLAAN! STTISTIEK 1 VERSIE MT15303 1308 1 WGENINGEN UNIVERSITEIT LEERSTOELGROEP MT Tentamen Statistiek 1 (MT-15303) 5 augustus 2013, 8.30-10.30 uur EZE PGIN NIET vóór 8.30u OMSLN! STRT MET INVULLEN VN NM, REGISTRTIENUMMER,

Nadere informatie

Voorbeeldtentamen Wiskunde B

Voorbeeldtentamen Wiskunde B CENTRALE COMMISSIE VOORTENTAMEN WISKUNDE Datum: Najaar 2018 Tijd: 3 uur Aantal opgaven: 6 Voorbeeldtentamen Wiskunde B Lees onderstaande aanwijzingen s.v.p. goed door voordat u met het tentamen begint.

Nadere informatie

Evaluatierapport Module Ontwerp en Productie

Evaluatierapport Module Ontwerp en Productie Evaluatierapport Module 201600100 Ontwerp en Productie 201600100 ir. W. de Kogel -Polak Disclaimer Samenvatting Voor de samenvattingen per moduleonderdeel in dit rapport geldt het volgende: De samenvattingen

Nadere informatie

TENTAMEN WISKUNDIGE BEELDVERWERKINGSTECHNIEKEN

TENTAMEN WISKUNDIGE BEELDVERWERKINGSTECHNIEKEN TENTAMEN WISKUNDIGE BEELDVERWERKINGSTECHNIEKEN Vakcode: 8D020. Datum: Vrijdag 26 maart 2004. Tijd: 14.00 17.00 uur. Plaats: MA 1.41 Lees dit vóórdat je begint! Maak iedere opgave op een apart vel. Schrijf

Nadere informatie

Universiteit Utrecht Departement Informatica

Universiteit Utrecht Departement Informatica Universiteit Utrecht Departement Informatica Uitwerking Tussentoets Optimalisering 20 december 206 Opgave. Beschouw het volgende lineair programmeringsprobleem: (P) Minimaliseer z = x 2x 2 + x 3 2x 4 o.v.

Nadere informatie

Toets Kunstmatige Intelligentie (INFOB2KI)

Toets Kunstmatige Intelligentie (INFOB2KI) Toets Kunstmatige Intelligentie (INFOB2KI) 30 januari 2015 11:00-13:00 MC I II T Vooraf Mobiele telefoons en dergelijke dienen uitgeschakeld te zijn. Het eerste deel van het tentamen bestaat uit 10 multiple-choice

Nadere informatie

Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 1 [21] Vandaag. 3. Aggregeren van support op regelniveau (accrual)

Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 1 [21] Vandaag. 3. Aggregeren van support op regelniveau (accrual) Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 1 [21] Vandaag 1. Recapitulatie DOS en DOB 2. Verschil tussen locaal (regel-gebaseerd) en globaal (argument-gebaseerd) redeneren. 3. Aggregeren

Nadere informatie

Kosten. Zoekalgoritmen ( ) College 5: Zoeken met kosten. Een zoekprobleem met stapkosten. Een voorbeeld: het vinden van een route

Kosten. Zoekalgoritmen ( ) College 5: Zoeken met kosten. Een zoekprobleem met stapkosten. Een voorbeeld: het vinden van een route Kosten Zoekalgoritmen (00 00) ollege 5: Zoeken met kosten Peter de Waal, Tekst: Linda van der aag Veel zoekproblemen omvatten kosten: een afstand in kilometers; een geldbedrag; een hoeveelheid tijd; ongemak;...

Nadere informatie

beeldende vakken CPE GL en TL tekenen

beeldende vakken CPE GL en TL tekenen Examen VMBO-GL en TL 2013 gedurende 720 minuten beeldende vakken CPE GL en TL tekenen Naam kandidaat Kandidaatnummer Opgavenboekje Dit examen bestaat uit de onderdelen A, B, C, D, E en F. Je moet alle

Nadere informatie

Inleiding Logica voor CKI, 2013/14

Inleiding Logica voor CKI, 2013/14 Inleiding Logica voor CKI, 2013/14 Albert Visser Department of Philosophy, Faculty Humanities, Utrecht University 14 oktober, 2013 1 Overview 2 Overview 2 Overview 2 Overview 2 Overview 2 Overview 3 Wegens

Nadere informatie

Achtste college algoritmiek. 8 april Dynamisch Programmeren

Achtste college algoritmiek. 8 april Dynamisch Programmeren Achtste college algoritmiek 8 april 2016 Dynamisch Programmeren 1 Werkcollege-opgave Dutch Flag Problem Gegeven een array gevuld met R, W, en B. Reorganiseer dit array zo dat van links naar rechts eerst

Nadere informatie

Databases (INFODB) 24 januari 2007

Databases (INFODB) 24 januari 2007 Departement Informatica en Informatiekunde, Faculteit Bètawetenschappen, UU. In elektronische vorm beschikbaar gemaakt door de TBC van A Eskwadraat. Het college INFODB werd in 2006/2007 gegeven door Dhr.

Nadere informatie

Vierde college complexiteit. 26 februari Beslissingsbomen en selectie Toernooimethode Adversary argument

Vierde college complexiteit. 26 februari Beslissingsbomen en selectie Toernooimethode Adversary argument Complexiteit 2019/04 College 4 Vierde college complexiteit 26 februari 2019 Beslissingsbomen en selectie Toernooimethode Adversary argument 1 Complexiteit 2019/04 Zoeken: samengevat Ongeordend lineair

Nadere informatie

Tentamen in2205 Kennissystemen

Tentamen in2205 Kennissystemen TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica Tentamen in2205 Kennissystemen 21 Januari 2008, 14:00 17:00 Het gebruik van boek of aantekeningen tijdens dit tentamen is

Nadere informatie

Tentamen Data Mining

Tentamen Data Mining Tentamen Data Mining Algemene Opmerkingen Dit is geen open boek tentamen, noch mogen er aantekeningen gebruikt worden. Laat bij het uitvoeren van berekeningen zien hoe je aan een antwoord gekomen bent.

Nadere informatie

Voorbeeldtentamen Wiskunde B

Voorbeeldtentamen Wiskunde B CENTRALE COMMISSIE VOORTENTAMEN WISKUNDE Datum: Najaar 2018 Tijd: 3 uur Aantal opgaven: 6 Voorbeeldtentamen Wiskunde B Lees onderstaande aanwijzingen s.v.p. goed door voordat u met het tentamen begint.

Nadere informatie

Semantiek 1 college 10. Jan Koster

Semantiek 1 college 10. Jan Koster Semantiek 1 college 10 Jan Koster 1 Vandaag Vorige keer: conceptuele structuur en semantische decompositie Vandaag: inleiding in de formele semantiek Gebruikt notaties uit formele logica plus de daar gehanteerde

Nadere informatie

Examen Formele Systeemmodellering voor Software

Examen Formele Systeemmodellering voor Software Examen Formele Systeemmodellering voor Software Eric Laermans 2014-01-31 13:00 Puntenverdeling: Het examen staat op 20 punten (tot zover is het eenvoudig). U zal echter merken dat er in totaal meer dan

Nadere informatie