Logic programming
23 belangrijke vragen over Logic programming
Wat is het verschil tussen enerzijds imperatieve en functionele programmeertalen en anderzijds logische programmeertalen?
[T15.1]
Noem twee verschillen tussen mappings en relations
- Mappings zijn in het algemeen many-to-one (een functie levert één resultaat op), terwijl relations many-to-many zijn.
- Bij relations wordt geen onderscheid gemaakt tussen inputs en outputs, relations kennen geen richting.
Wat zijn de drie key concepts van logisch programmeren?
- Assertions (beweringen)
- Horn-clausules
- Relations
- Hogere cijfers + sneller leren
- Niets twee keer studeren
- 100% zeker alles onthouden
Voor mijn 1e tentamen haalde ik een 6. Toen ben ik gaan zoeken naar manieren om beter te leren en ben ik Study Smart tegen gekomen. Sindsdien heb ik een 9,0 - 8,0 - 7,6 - 8,0 - 8,0 gehaald. Ik raad het echt íédereen aan die het maar horen wil. Ik ben er zo blij mee!!
Met mijn oude methode was ik geslaagd voor maar 3 van de 8 vakken. Sinds ik mijn aantekeningen digitaal maak in study smart, ben ik voor alle vakken de éérste keer geslaagd. StudySmart neemt voor mij de stress van slagen of niet slagen weg.
Door StudySmart gaat het op zo veel vlakken beter met mij. Eerst had ik continu studiestress en ik had nergens tijd voor. Nu voel ik mij rustig en zelfverzekerd (door gebruik van het programma). Eerst haalde ik meestal een 7, nu vaak een 8 of zelfs een 9.
Hey Chris, ik wil je echt hartelijk danken voor het ontwikkelen van het platform. Ik haalde hiervoor altijd rond de 6/10 voor m'n tentamens, nu een 8,6, een 7,9 en een 7,6!!
Sinds ik Study Smart gebruik, is mijn gemiddelde 1 punt gestegen. Ik heb zelfs een statistisch vak met een 10/10 afgerond terwijl ik slecht ben in statistiek. Nu volg ik extra vakken omdat vorig jaar zo goed ging door Study Smart. Veel dank!
Sinds ik ben gaan leren met StudySmart ben ik geslaagd voor al mijn examens!!! Geen herexamens!! Eerst was ik al blij met een voldoende en nu haal ik alleen maar goede cijfers. Veel dank!
Ik heb alle vakken die ik met Study Smart heb geleerd gehaald. Met rechten ben ik van een 5 naar een 8 gegaan! Ik weet nu zeker dat ik al mijn vakken gewoon ga halen.
Ik dacht altijd dat ik goed studeerde. Mijn cijfers waren ook prima. Ik had mij nooit kunnen voorstellen dat ik zo veel beter en sneller zou studeren door het toepassen van deze vaardigheden.
Ik voel mij voor het eerst 100% zeker over de manier waarop ik leer. Ik heb nu het complete overzicht en de structuur die ik nodig had
Door Study Smart kreeg ik weer plezier in het studeren en haalde ik direct betere cijfers. Alles ging ineens beter. Ik raad Study Smart enorm aan aan scholieren en studenten.
Met dit plaform kan ik super snel en gestructueerd studeren. Ik ben nooit meer de weg kwijt in de stof of in mijn aantekeningen en maak veel sneller goede samenvattingen.
Eerst waren mijn aantekeningen een zooitje. Nu gebruik ik Study Smart en studeer ik super gestructureerd. Het helpt mij om tijd te besparen waardoor ik ook andere dingen kan doen die ik belangrijk vind.
Leerlingen die met het systeem hebben gewerkt hebben gewoon een beter resultaat behaald. Het systeem past alle leertrucjes zo toe, dat zowel de kinderen die goed scoren, maar ook zij die minder scoren, aan hun trekken komen.
Hey Chris, ik wil je enorm bedanken. Het vak waar ik vorig jaar nog net een 5,5 voor haalde, heb ik nu voor ditzelfde vak maar liefst een 9,7 gehaald! Mede dankzij jouw methode! Heel erg bedankt!
Het grootste effect is dat mijn kind veel enthousiaster is over school! Elke ouder wilt graag dat zijn kind het goed doet op school, en Study Smart draagt daar aan bij.
Dankzij StudySmart heb ik vorig jaar al mn examens gehaald en ook veel betere punten gehaald. Maar bovenal heb ik nu gewoon een heel goede studiemethode onder de knie, waarmee ik zeker weet dat ik de rest van mijn studie gewoon ga halen.
Welke vier vormen kan een term in Prolog aannemen?
- Variable
- Numeric literal
- Atom
- Structure construction
Wat wordt bedoeld met de uitspraak relations abstract over assertions?
[T15.1]
Wat zijn twee essentiële kenmerken van een Horn-clausule?
- Er komt geen negatie in voor.
- Links van de if staat niet meer dan één assertie
Waarom voldoet Prolog niet aan het ideaal van logisch programmeren?
Dit wordt veroorzaakt door de wijze waarop resolutie in Prolog geïmplementeerd is.
[C15.4]
Wat wordt in het imperatieve paradigma onder een programma verstaan?
[C15.5]
Wat wordt in het functionele paradigma onder een programma verstaan?
[C15.5]
In welke twee gevallen kan de volgorde van berekening een rol spelen?
- Bij het samenstellen van deelberekeningen
- Bij het aanroepen van een abstractie met parameters
Noem twee manieren waarop in een functionele taal de volgorde van berekening kan worden voorgeschreven
- Functiecompositie
- Continuatiefuncties
Wat wordt in verband met logisch programmeren bedoeld met de omkeerbaarheid van relaties?
Een logisch programma maakt geen onderscheid tussen inputs en outputs.
[C15.8]
Welke restrictie geldt in Prolog ten aanzien van het gebruik van standaardrelaties en -operatoren?
[C15.8]
Hoeveel relaties zijn mogelijk tussen twee verzamelingen S en T?
Het cartesisch product S x T bevat #S x #T waarden. Iedere waarde kan wel of niet in een deelverzameling voorkomen. Het aantal deelverzamelingen is dus 2 ^ (#S x #T)
[C15.1]
Kunnen we in Java een methode analoog aan de Haskell-functie map schrijven?
- In Java kunnen we geen parametrisch polymorfe methoden schrijven zoals de functie map
- Methoden kunnen in Java niet als parameter aan een andere methode worden meegegeven
Hoe kunnen we in Prolog de volgorde van berekening beïnvloeden?
[C15.7]
Noem vier soorten vragen die een logisch programma kan beantwoorden
- Of R(a,b) waar is bij een gegeven a en b
- Alle y waarvoor R(a,y) waar is bij een gegeven a
- Alle x waarvoor R(x,b) waar is bij een gegeven b
- Alle x en y waarvoor R(x,y) waar is
Welke drie waarden kent Prolog?
- Getallen
- Atomen
- Structuren
Onder welke voorwaarden mogen we een Prolog-relatie aanroepen met een bekend resultaat en met onbekende parameters?
[C15.zelftoets]
Waarom heeft een relatie in Prolog een parameter meer dan een overeenkomstige functie in Haskell?
[C15.zelftoets]
Welke primitieve waarden kent Prolog?
- Numbers
- Atoms (parameterloze contructors)
Welke samengestelde waarden kent Prolog?
- Tagged structures (vergelijkbaar met tagged tuples)
Wat wordt in een logische taal verstaan onder een assertie?
[T15.1]
De vragen op deze pagina komen uit de samenvatting van het volgende studiemateriaal:
- Een unieke studie- en oefentool
- Nooit meer iets twee keer studeren
- Haal de cijfers waar je op hoopt
- 100% zeker alles onthouden
