SES School, Studie en Onderwijs
Wiskunde in de brugklas, Frans voor het examen of een studie Personeel en Arbeid? Moeilijke formulieren van DUO? Iets weten over studiefinanciering of studentenverenigingen? Dit is het forum voor leerkrachten, scholieren en studenten, van brugklas tot uni
Hallo,
Voor school ben ik bezig met een programma te maken dat een sudoku puzzel oplost. Opzich geen probleem denken de meeste, maar ik moet het dus maken met swi PROLOG.
Ik heb er nu vrij veel uren aan besteed en ben tot op heden nog niks opgeschoten.
Het programma zal de puzzel inductief moeten oplossen.
Uiteindelijk zal mijn programma er als volgt moeten uitzien (dit is geen prolog code)
sudoku(grid)
{
if (is_sudoku)
{
print_bord();
}
else
{
state_transiton(bord, hulpbord)
validate(hulpbord)
sudoku(hulpbord)
}
}
Kort gezegd:
Er wordt gekeken of het bord geheel klopt. Indien dat het geval is moet ik het bord printen.
Indien het niet het geval is, moet het programma een kopie maken van dat bord, vervolgens op een lege plek een nummer invullen en dat controleren. Vervolgens wordt de hele functie opnieuw aangeroepen en worden de stappen opnieuw uitgevoerd op het hulpbord.
Nu heb ik dus op dit moment na uren zoeken en kloten nog niks.
Ik heb meerdere problemen: er zijn meerdere voorbeelden beschikbaar maar ten eerste doen ze het niet en ten tweede gebruiken ze geen inductie.
Ik zou nu graag eens willen weten hoe ik een getal invul op een lege plek.
Stel ik heb een lijst [ 1,_,3,4,5,6,7,8,9], hoe vul ik een getal uit de verzameling 1,2,3,4,5,6,7,8,9 in op de lege plek (die met de underscore dus).
Alle hulp is welkom.
Voor school ben ik bezig met een programma te maken dat een sudoku puzzel oplost. Opzich geen probleem denken de meeste, maar ik moet het dus maken met swi PROLOG.
Ik heb er nu vrij veel uren aan besteed en ben tot op heden nog niks opgeschoten.
Het programma zal de puzzel inductief moeten oplossen.
Uiteindelijk zal mijn programma er als volgt moeten uitzien (dit is geen prolog code)
sudoku(grid)
{
if (is_sudoku)
{
print_bord();
}
else
{
state_transiton(bord, hulpbord)
validate(hulpbord)
sudoku(hulpbord)
}
}
Kort gezegd:
Er wordt gekeken of het bord geheel klopt. Indien dat het geval is moet ik het bord printen.
Indien het niet het geval is, moet het programma een kopie maken van dat bord, vervolgens op een lege plek een nummer invullen en dat controleren. Vervolgens wordt de hele functie opnieuw aangeroepen en worden de stappen opnieuw uitgevoerd op het hulpbord.
Nu heb ik dus op dit moment na uren zoeken en kloten nog niks.
Ik heb meerdere problemen: er zijn meerdere voorbeelden beschikbaar maar ten eerste doen ze het niet en ten tweede gebruiken ze geen inductie.
Ik zou nu graag eens willen weten hoe ik een getal invul op een lege plek.
Stel ik heb een lijst [ 1,_,3,4,5,6,7,8,9], hoe vul ik een getal uit de verzameling 1,2,3,4,5,6,7,8,9 in op de lege plek (die met de underscore dus).
Alle hulp is welkom.
Je doet het niet echt in Prolognotatie, zou ik zeggen; en dat geeft een beetje weg dat je logisch programmeren lastig vindt.
Een if/else constructie is een typische imperatieve constructie. In Prolog zou je zoiets doen:
Bord = [....],
Bereken(Bord, Oplossing),
Print(Oplossing).
Dat wil zeggen: Vindt mij een waarde voor oplossing die compatible is met Bord. En dan kun je definiëren hoe een oplossing eruit moet zien. Zo ook kun je niet echt een variabele ‘invullen’ in een lege plek in Prolog. Lijst-operaties worden gedefinieerd in termen van relaties. Deze lijst heeft een relatie met deze andere lijst.
Maar, je ‘weet’ niet echt welke variabele nog wel of niet ingevuld moet worden (zou ik zeggen), dus vandaar dat ik je aanpak een beetje vreemd vind. Het is veel gewoner om te zeggen (b.v.) ‘de eerste rij is een permutatie van de getallen 1 t/m 9 en verder geldt dat op plek 5 een 3 staat en op plek 8 een 9’, doe mij zo'n oplossing.
Dat is de logische manier waarop je je constraints schrijft in Prolog. Waarom is de inductie stap zo belangrijk, en moet het werkelijk per vakje in je bord gaan?
Je kunt echter wel zoiets doen:
Dit geeft b.v. als uitvoer:
Dit zou je als een inductieve basis voor een rij kunnen proberen. Maar m.i. is de veel elegantere oplossing zo eentje als deze.
Een if/else constructie is een typische imperatieve constructie. In Prolog zou je zoiets doen:
Bord = [....],
Bereken(Bord, Oplossing),
Print(Oplossing).
Dat wil zeggen: Vindt mij een waarde voor oplossing die compatible is met Bord. En dan kun je definiëren hoe een oplossing eruit moet zien. Zo ook kun je niet echt een variabele ‘invullen’ in een lege plek in Prolog. Lijst-operaties worden gedefinieerd in termen van relaties. Deze lijst heeft een relatie met deze andere lijst.
Maar, je ‘weet’ niet echt welke variabele nog wel of niet ingevuld moet worden (zou ik zeggen), dus vandaar dat ik je aanpak een beetje vreemd vind. Het is veel gewoner om te zeggen (b.v.) ‘de eerste rij is een permutatie van de getallen 1 t/m 9 en verder geldt dat op plek 5 een 3 staat en op plek 8 een 9’, doe mij zo'n oplossing.
Dat is de logische manier waarop je je constraints schrijft in Prolog. Waarom is de inductie stap zo belangrijk, en moet het werkelijk per vakje in je bord gaan?
Je kunt echter wel zoiets doen:
| 1 2 3 4 5 6 7 8 9 | numlist(1, 9, L), member(X, L), not(member(X, M)). insert([],[]). insert([N | L], [N | M]) :- insert(L, M), inrange(N, M). |
Dit geeft b.v. als uitvoer:
| 1 2 3 4 5 6 7 8 | L = [1, 8, 3, 4, 5, 6, 7, 2, 9] ; L = [1, 4, 3, 8, 5, 6, 7, 2, 9] ; L = [1, 8, 3, 2, 5, 6, 7, 4, 9] ; L = [1, 2, 3, 8, 5, 6, 7, 4, 9] ; L = [1, 4, 3, 2, 5, 6, 7, 8, 9] ; L = [1, 2, 3, 4, 5, 6, 7, 8, 9] ; false. |
Dit zou je als een inductieve basis voor een rij kunnen proberen. Maar m.i. is de veel elegantere oplossing zo eentje als deze.
Daher iſt die Aufgabe nicht ſowohl, zu ſehn was noch Keiner geſehn hat, als, bei Dem, was Jeder ſieht, zu denken was noch Keiner gedacht hat.
Bedankt voor je uitleg. Mijn beschrijving was inderdaad niet in prolog notatie.
Ik heb er bij dit vak (genaamd intelligente systemen) gekozen om sudoko op te lossen. Dit moet in prolog gebeuren, daar er bij prolog logisch geprogrammeerd wordt.
Het voorbeeld wat ik heb gegeven is eigenlijk de start die de docent heeft gegeven om tot een goede oplossing te komen.
Nu ik jouw verhaal heb gelezen, beredeneer ik dat er in mijn code helemaal geen inductie hoeft te staan daar prolog zelf inductie al toepast. Helaas heb ik op dit moment geen tijd meer. Ik zal morgen een nieuwe reactie posten met een andere aanpak.
Ik heb er bij dit vak (genaamd intelligente systemen) gekozen om sudoko op te lossen. Dit moet in prolog gebeuren, daar er bij prolog logisch geprogrammeerd wordt.
Het voorbeeld wat ik heb gegeven is eigenlijk de start die de docent heeft gegeven om tot een goede oplossing te komen.
Nu ik jouw verhaal heb gelezen, beredeneer ik dat er in mijn code helemaal geen inductie hoeft te staan daar prolog zelf inductie al toepast. Helaas heb ik op dit moment geen tijd meer. Ik zal morgen een nieuwe reactie posten met een andere aanpak.
Is dit je eerste ervaring met Prolog? Want dan is dit nog wel een uitdagende opdracht. Prolog werkt namelijk heel anders dan wat je (duidelijk) gewend bent. Het zoekt zelf alle mogelijkheden af tot een goede oplossing. Of eigenlijk, als je:quote:Op dinsdag 4 november 2008 19:33 schreef Darow het volgende:
Bedankt voor je uitleg. Mijn beschrijving was inderdaad niet in prolog notatie.
Ik heb er bij dit vak (genaamd intelligente systemen) gekozen om sudoko op te lossen. Dit moet in prolog gebeuren, daar er bij prolog logisch geprogrammeerd wordt.
Het voorbeeld wat ik heb gegeven is eigenlijk de start die de docent heeft gegeven om tot een goede oplossing te komen.
Nu ik jouw verhaal heb gelezen, beredeneer ik dat er in mijn code helemaal geen inductie hoeft te staan daar prolog zelf inductie al toepast. Helaas heb ik op dit moment geen tijd meer. Ik zal morgen een nieuwe reactie posten met een andere aanpak.
| 1 2 3 4 | numlist(1, 9, L), member(X, L), not(member(X, M)). |
zegt, dan staat hier: om te bewijzen dat de relatie inrange tussen een variabele X en een variabele M geldig is, moet je eerst bewijzen dat er een L is zodanig dat numlist(1, 9, L) waar is (nu, dat is niet zo moeilijk, want dat is de lijst [1,2,3,4,5,6,7,8,9], als je imperatief zou programmeren zou je gewoon L := [1,2,3,4,5,6,7,8,9] zeggen, maar zo werkt Prolog niet echt), dan moet gelden dat X in L zit, en verder moet gelden dat X niet in M zit. Als dat allemaal geldt, dan is inrange(X, M) waar.
Daarom zie je ook altijd dat Prolog true/false oplevert, en daarbij de waarden van de variabelen waarvoor dat geldt. Die uiteindelijke false bij mijn voorbeeld betekent dus 'er zijn geen andere opties te vinden'.
Voor het gehele bord zou je dus kunnen definiëren waar het bord aan moet voldoen, b.v.:
| 1 2 3 4 5 | voeg_getallen_in(D, B), rijen_geldig(B), kolommen_geldig(B), blokjes_geldig(B). |
Nu is dit waarschijnlijk geen efficiënte oplossing ,maar zo werkt het idee. Je specificeert wat moet gelden om het uiteindelijke ding waar te maken.
Daher iſt die Aufgabe nicht ſowohl, zu ſehn was noch Keiner geſehn hat, als, bei Dem, was Jeder ſieht, zu denken was noch Keiner gedacht hat.
Kan iemand mij vertellen:
waarom 70% alcohol wordt gebruikt om te desinfecteren (en niet 96%)
en voor mijn hypothese klopte dit niet (volgens mijn docent):
Gedestilleerd water reinigt het slechtste van de vier omdat bacteriën een celwand hebben en dus water opnemen waardoor ze strak gaan staan. Dit is eigenlijk een optimale situatie voor de bacteriën, door het poetsen met een doek met water transporteer je enkele bacteriën over op het desbetreffende doekje waar je mee schoon maakt.
Na verwachting zullen er veel bacteriën achterblijven op de letters a, e, u, o en o die wij testten.
we dat het geen planten zijn maar ze hebben wel degelijk een celwand maar daar was iets mee aan de hand, kan iemand ons hier mee op weg helpen?
(bronnen zouden ook handig zijn mits geraadpleegd)
Bedankt.
waarom 70% alcohol wordt gebruikt om te desinfecteren (en niet 96%)
en voor mijn hypothese klopte dit niet (volgens mijn docent):
Gedestilleerd water reinigt het slechtste van de vier omdat bacteriën een celwand hebben en dus water opnemen waardoor ze strak gaan staan. Dit is eigenlijk een optimale situatie voor de bacteriën, door het poetsen met een doek met water transporteer je enkele bacteriën over op het desbetreffende doekje waar je mee schoon maakt.
Na verwachting zullen er veel bacteriën achterblijven op de letters a, e, u, o en o die wij testten.
we dat het geen planten zijn maar ze hebben wel degelijk een celwand maar daar was iets mee aan de hand, kan iemand ons hier mee op weg helpen?
(bronnen zouden ook handig zijn mits geraadpleegd)
Bedankt.
Ik heb een vraag over Scheikunde en dan met betrekking tot redoxreacties.
als er staat: kijk of chloorwater reageert met een zinkchloride-oplossing, dan zijn er in de oplossing aanwezig: CL2, Zn2+, CL- en toch ook H20? ( chloorwater is immers chloor, opgelost in water). antwoordenboekje zegt dat er geen H20 aanwezig is en dat de reactie niet doorgaat, maar als er wel water aanwezig is ( wat mij logischer lijkt) dan gaat de reactie wel door en wordt het:
2 Cl2(g) + 2 H2O(l) --> 4 Cl- + O2(g) + 4H+ (aq)
wat klopt er nu? is er wel of geen water aanwezig en zo niet, waarom dan niet?
als er staat: kijk of chloorwater reageert met een zinkchloride-oplossing, dan zijn er in de oplossing aanwezig: CL2, Zn2+, CL- en toch ook H20? ( chloorwater is immers chloor, opgelost in water). antwoordenboekje zegt dat er geen H20 aanwezig is en dat de reactie niet doorgaat, maar als er wel water aanwezig is ( wat mij logischer lijkt) dan gaat de reactie wel door en wordt het:
2 Cl2(g) + 2 H2O(l) --> 4 Cl- + O2(g) + 4H+ (aq)
wat klopt er nu? is er wel of geen water aanwezig en zo niet, waarom dan niet?
Volgens mij heb jij gelijk. Als er geen water is vindt deze reactie ook niet plaats. Ik denk eerder dat het probleem textueel is en niet scheikundig.
kloep kloep
Ik heb een vraagje over integreren. Weet iemand hoe je deze oplost?
Ik vermoed dat het moet metquote:2
________
3 + 12t2
is de afgeleide vanquote:1
_____
1+t2
Iemand een idee?quote:arctan(t)
Je vermoeden is juist.
Eerst maar eens 2/(3 + 12t2) = 2/3 * 1/(1 + 4t2). En dat is gelijk aan 2/3 * 1/(1 + (2t)2. Dan, om het netjes te doen, moet je substitutie toepassen: s = 2t, dan krijg je ds/dt = 2, ofwel dt = 1/2ds. Dat vul je allemaal in:
En dan reken je de integraal uit, en dat is dan 1/3*arctan(s), en dan vervang je s weer door 2t, dus: 1/3arctan(2t).
Eerst maar eens 2/(3 + 12t2) = 2/3 * 1/(1 + 4t2). En dat is gelijk aan 2/3 * 1/(1 + (2t)2. Dan, om het netjes te doen, moet je substitutie toepassen: s = 2t, dan krijg je ds/dt = 2, ofwel dt = 1/2ds. Dat vul je allemaal in:
En dan reken je de integraal uit, en dat is dan 1/3*arctan(s), en dan vervang je s weer door 2t, dus: 1/3arctan(2t).
Daher iſt die Aufgabe nicht ſowohl, zu ſehn was noch Keiner geſehn hat, als, bei Dem, was Jeder ſieht, zu denken was noch Keiner gedacht hat.
Ja. Plaats je vraag om te beginnen eens in het juiste topic.quote:Op donderdag 13 november 2008 10:56 schreef WyBo het volgende:
Ik heb een vraagje over integreren. Weet iemand hoe je deze oplost?
[..]
Ik vermoed dat het moet met
[..]
is de afgeleide van
[..]
Iemand een idee?
quote:
Plaats je vraag om te beginnen eens in het juiste topic.
Niet eens gezien. De titels lijken ook wel op elkaar.
Daher iſt die Aufgabe nicht ſowohl, zu ſehn was noch Keiner geſehn hat, als, bei Dem, was Jeder ſieht, zu denken was noch Keiner gedacht hat.
in de oplossing is aanwezig Zn2+ , Cl-, H2O,quote:Op zondag 9 november 2008 13:11 schreef kirsten. het volgende:
Ik heb een vraag over Scheikunde en dan met betrekking tot redoxreacties.
als er staat: kijk of chloorwater reageert met een zinkchloride-oplossing, dan zijn er in de oplossing aanwezig: CL2, Zn2+, CL- en toch ook H20? ( chloorwater is immers chloor, opgelost in water). antwoordenboekje zegt dat er geen H20 aanwezig is en dat de reactie niet doorgaat, maar als er wel water aanwezig is ( wat mij logischer lijkt) dan gaat de reactie wel door en wordt het:
2 Cl2(g) + 2 H2O(l) --> 4 Cl- + O2(g) + 4H+ (aq)
wat klopt er nu? is er wel of geen water aanwezig en zo niet, waarom dan niet?
Kijk nu goed naar de reactie die jij geeft, Cl2 (g) , die g is de gas fase, en jij hebt Cl- (aq) (ionen dus)
de reactie die jij geeft verloopt dus niet. Dat zou chloor-gas en water zijn.
The whole problem with the world is that fools and fanatics are always so certain of themselves, and wiser people so full of doubt
Ik heb 3 dingen waar ik niet uitkom, weet iemand wat er op de vraagtekens moet staan ?
| 1 2 3 4 | mangaan(IV)nitraat ? ? Sn(HSO4)2 ? FeI3 |
Ja hoor, dat weet ik wel. Maar je zegt dat dit de enige dingen zijn waar je niet uitkomt, dus ik denk dat je op zijn minst een vermoeden hebt van wat er moet komen. Post dat vermoeden eens en zeg waarom je twijfelt.
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
Bij 1: mangaan(IV) geeft aan dat de oxidatietoestand +4 is. Omdat het nitraation -1 heeft, moet je er daar 4 ipv 3 van hebben om het geheel neutraal te maken.
Bij 2: goed
Bij 3: bij een zout heb je voor zover ik mij herinner nooit de voorvoegsels di-/tri-/etc, omdat dat al logischerwijs voortvloeit uit de oxidatietoestanden. Enige waar je hier rekening mee moet houden, is dat er voor ijzer twee mogelijkheden zijn, en je net als bij tin nog iets achter ijzer moet zetten.
Bij 2: goed
Bij 3: bij een zout heb je voor zover ik mij herinner nooit de voorvoegsels di-/tri-/etc, omdat dat al logischerwijs voortvloeit uit de oxidatietoestanden. Enige waar je hier rekening mee moet houden, is dat er voor ijzer twee mogelijkheden zijn, en je net als bij tin nog iets achter ijzer moet zetten.
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
Hey Ik heb een vraagje over entropy H(X) en mutual information I(X;Y).
Laat zien dat R(X;Y;Z)=I(X;Y)-I(X;Y|Z) is invariant onder de verschillende permutaties van X,Y en Z.
Om te bewijzen dat R(X;Y;Z)=R(Y;X;Z) hoef ik alleen te bewijzen dat I(X;Y|Z)=I(Y;X|Z).
Hiervoor geldt
I(X;Y|Z)=H(X|Z)-H(X|(Y,Z)) dus entropy van X|Z min entropy van X gegeven Y EN Z.
Aangezien ik zo slecht ben in kansrekening weet ik niet hoe ik de laatste moet uitrekenen: H(X|(Y,Z))
Laat zien dat R(X;Y;Z)=I(X;Y)-I(X;Y|Z) is invariant onder de verschillende permutaties van X,Y en Z.
Om te bewijzen dat R(X;Y;Z)=R(Y;X;Z) hoef ik alleen te bewijzen dat I(X;Y|Z)=I(Y;X|Z).
Hiervoor geldt
I(X;Y|Z)=H(X|Z)-H(X|(Y,Z)) dus entropy van X|Z min entropy van X gegeven Y EN Z.
Aangezien ik zo slecht ben in kansrekening weet ik niet hoe ik de laatste moet uitrekenen: H(X|(Y,Z))
verlegen :)
teletubbies toch: je ziet toch het verschil toch wel tussen wiskunde en niet-wiskunde topics?
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
Dit is een kansrekening/informatica vraag dacht ik. Aangezien entropy is gedefinieerd voor random variabelen.
verlegen :)
Kansrekening is wiskunde 
[Bèta wiskunde] huiswerk- en vragentopic
[Bèta overig] huiswerk- en vragentopic
[Bèta wiskunde] huiswerk- en vragentopic
[Bèta overig] huiswerk- en vragentopic
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
Hoe ziet de reactievergelijking er uit als bariumfosfaat verdwijnt in zoutzuur?
Ik kijk in Binas 45 maar daar zie ik onder PO4 3- alleen bij Na+ en K+ een g staan.
Ik dacht eigenlijk dat het splitste in ionen maar dan klopt het weer niet want er staat een s bij barium en fosfaat
EDIT: Ik denk nu dat het ook een zuur-base reactie kan zijn, moment
Klopt het dan dat PO4,3- reageert tot H3PO4?
Ik kijk in Binas 45 maar daar zie ik onder PO4 3- alleen bij Na+ en K+ een g staan.
Ik dacht eigenlijk dat het splitste in ionen maar dan klopt het weer niet want er staat een s bij barium en fosfaat
EDIT: Ik denk nu dat het ook een zuur-base reactie kan zijn, moment
Klopt het dan dat PO4,3- reageert tot H3PO4?
quote:Op woensdag 5 november 2008 18:40 schreef Opperkwal het volgende:
Kan iemand mij vertellen:
waarom 70% alcohol wordt gebruikt om te desinfecteren (en niet 96%)
en voor mijn hypothese klopte dit niet (volgens mijn docent):
Gedestilleerd water reinigt het slechtste van de vier omdat bacteriën een celwand hebben en dus water opnemen waardoor ze strak gaan staan. Dit is eigenlijk een optimale situatie voor de bacteriën, door het poetsen met een doek met water transporteer je enkele bacteriën over op het desbetreffende doekje waar je mee schoon maakt.
Na verwachting zullen er veel bacteriën achterblijven op de letters a, e, u, o en o die wij testten.
we dat het geen planten zijn maar ze hebben wel degelijk een celwand maar daar was iets mee aan de hand, kan iemand ons hier mee op weg helpen?
(bronnen zouden ook handig zijn mits geraadpleegd)
Bedankt.
