abonnement Unibet Coolblue Bitvavo
pi_80421035
quote:
Op zaterdag 17 april 2010 15:43 schreef leLe-- het volgende:

[..]

Dankjewel!
Ik begrijp het hele stappenplan, en ik kan hem ook toepassen maar zou je me nog kunnen uitleggen waarom je de afgeleide van van f(x) maal de afgeleide van u moet doen? want ik onthoud het dan veel beter als ik weet waarom.
Als je iets afweet van wat differentieren is, kan je de wiki-pagina bekijken:
http://nl.wikipedia.org/wiki/Kettingregel

Ik zou gewoon even wat tijd hierin investeren door steeds het stappenplan stap voor stap af te gaan (daarom heet het ook een stappenplan? ).

Vooral de eerste en laatste stap zijn cruciaal !
pi_80421119
quote:
Op zaterdag 17 april 2010 15:41 schreef Riparius het volgende:

[..]

Laten we zeggen dat je hebt u = f(x) en y = g(u).

Dan is:

y = g(f(x))

Je wil nu de afgeleide vinden van de samengestelde functie g(f(x)), dus dy/dx.

We hebben:

u = f(x), dus du/dx = f'(x)

En ook:

y = g(u), dus dy/du = g'(u)

Nu is:

dy/dx = dy/du∙du/dx

En dus:

dy/dx = g'(u)∙f'(x)

Maar u = f(x), dus krijgen we:

dy/dx = g'(f(x))∙f'(x)


ik vat 'm helemaal bedankt voor jullie snelle en goede hulp!
okay...
pi_80421577
quote:
Op zaterdag 17 april 2010 15:24 schreef GlowMouse het volgende:

[..]

Als je iets wilt bewijzen, moet je geen aannames doen die je niet kunt onderbouwen. Kun je iets door naar de grootte van hoeken te kijken? De rest van je berekening is niet te volgen zonder plaatje maar wel juist.

Er zijn gelijke hoeken in elke driehoek, dus elke hoek is Pi /3.
Dus(vanuit een buitenste hoek gezien):
Sin 1/3pi = overstaand/a
Overstaand = 1/2a Wortel3
Dus 2 x overstaand = hoogte = a Wortel3
pi_80424729
quote:
Op zaterdag 17 april 2010 15:54 schreef Gebraden_Wombat het volgende:
De makkelijkste manier is om de kettingregel voor het differentiëren van een functie f naar x zo op te schrijven:
Het is een manier, maar er valt over te twisten of het de makkelijkste manier is. Ik vind deze regel veel inzichtelijker: f(g(x))=f'(g(x)) g'(x)
pi_80424987
quote:
Op zaterdag 17 april 2010 18:20 schreef BasementDweller het volgende:

[..]

Het is een manier, maar er valt over te twisten of het de makkelijkste manier is. Ik vind deze regel veel inzichtelijker: f(g(x))=f'(g(x)) g'(x)
Je bedoelt (f(g(x)))'=f'(g(x))∙g'(x). Maar je hebt gelijk dat iedereen die met de kettingregel te maken krijgt deze zou moeten kunnen gebruiken zonder een expliciete substitutie uit te voeren. Alleen is het wel goed het verband met de differentiaalnotatie en substitutie te laten zien, denk alleen maar aan de substitutieregel bij de integraalrekening, die in wezen de tegenhanger is van de kettingregel uit de differentiaalrekening.
pi_80425094
quote:
Op zaterdag 17 april 2010 18:30 schreef Riparius het volgende:

[..]

Je bedoelt (f(g(x)))'=f'(g(x))∙g'(x). Maar je hebt gelijk dat iedereen die met de kettingregel te maken krijgt deze zou moeten kunnen gebruiken zonder een expliciete substitutie uit te voeren. Alleen is het wel goed het verband met de differentiaalnotatie en substitutie te laten zien, denk alleen maar aan de substitutieregel bij de integraalrekening, die in wezen de tegenhanger is van de kettingregel uit de differentiaalrekening.
Ook daar geef ik ook de voorkeur aan de manier zonder substitutie. Ik vind dat het met substitutie onnodig ingewikkeld lijkt, en het is wiskundig niet eens correct om te zeggen dat dy/dx=du/dx dy/du omdat je de du'tjes tegen elkaar weg kan strepen. Dus ik zie de toegevoegde waarde van deze methode niet zo eigenlijk
pi_80425509
quote:
Op zaterdag 17 april 2010 18:34 schreef BasementDweller het volgende:

[..]

Ook daar geef ik ook de voorkeur aan de manier zonder substitutie. Ik vind dat het met substitutie onnodig ingewikkeld lijkt, en het is wiskundig niet eens correct om te zeggen dat dy/dx=du/dx dy/du omdat je de du'tjes tegen elkaar weg kan strepen. Dus ik zie de toegevoegde waarde van deze methode niet zo eigenlijk
Je moet inderdaad wel duidelijk maken dat een differentiaalquotiënt geen 'gewoon' quotiënt is, maar een limiet van een differentiequotiënt. Operaties met 'losse' differentialen zijn dan ook symbolisch, en de rechtvaardiging van een regel als dy/dx = dy/du∙du/dx ligt dan ook besloten in het feit dat de limiet van Δy/Δx voor Δx → 0 gelijk is aan het product van de limieten van Δy/Δu en Δu/Δx aangezien Δy/Δx = Δy/Δu∙Δu/Δx.

De meerwaarde van het werken met (losse) differentialen ligt ondere andere in het feit dat verschillende manipulaties zo overzichtelijk blijven en je behoeden voor fouten. Als ik bijvoorbeeld in de integraal:

∫ f(x)dx

een substitutie x = g(t) uitvoer, dan heb ik:

dx/dt = g'(t),

en dus (symbolisch):

dx = g'(t)dt,

zodat:

∫ f(x)dx = ∫ f(g(t))g'(t)dt

Ook bij het oplossen van bepaalde differentiaalvergelijkingen kun je met voordeel met 'losse' differentialen werken, denk bijvoorbeeld aan de vaak toegepaste techniek van het scheiden van de variabelen van een DV. Tenslotte werken differentialen vaak het prettigst als je bijvoorbeeld een fysisch probleem vertaalt naar een DV.
  zondag 18 april 2010 @ 12:56:14 #158
137929 beertenderrr
Wup Holland Wup
pi_80442500
quote:
Op zaterdag 17 april 2010 14:50 schreef Riparius het volgende:

[..]

De vierkantswordtel uit 1/4 is 1/2, aangezien (1/2)2 = 1/4. En de vierkantswortel uit a2 is a, als a niet negatief is. En aangezien (voor niet-negatieve p en q) ook geldt

√(p∙q) = √p∙√q

Hebben we dus:

√(a2/4) = √(a2)∙√(1/4) = a∙(1/2) = ½a,

En dus ook:

√(7∙a2/4) = ½a∙√7.

Maar let op: als a negatief is, dan is:

√(a2) = -a,

en dus ook:

√(7∙a2/4) = -½a∙√7.
ahh duidelijk, thnx
A "Nederlands restaurant" is a 'contradictio in terminus'.
If it don't matter to you, it don't matter to me
pi_80450700
Hoe bewijs je dat het inverse beeld van elke open verzameling open is? Dus we hebben een functie f : X ->Y. Onze assumptie is dat B een open verzameling is in Y. We moeten bewijzen dat het inverse beeld onder f van B open is. Is het trouwens noodzakelijk dat de functie continu is voor deze stelling? Of geldt hij ook voor functies die niet continu zijn?
-
pi_80450811
quote:
Op zondag 18 april 2010 17:30 schreef gaussie het volgende:
Hoe bewijs je dat het inverse beeld van elke open verzameling open is? Dus we hebben een functie f : X ->Y. Onze assumptie is dat B een open verzameling is in Y. We moeten bewijzen dat het inverse beeld onder f van B open is. Is het trouwens noodzakelijk dat de functie continu is voor deze stelling? Of geldt hij ook voor functies die niet continu zijn?
Het is de definitie van continuïteit.
pi_80450981
Je bedoelt dus dat deze uitspraak equivalent is met f is continu...
-
pi_80451617
quote:
Op zondag 18 april 2010 17:38 schreef gaussie het volgende:
Je bedoelt dus dat deze uitspraak equivalent is met f is continu...
Zeker.
pi_80453022
Je moet dit dus in 2 richtingen bewijzen. Maar wat zijn je asumpties dan? Aleen f is continu?
-
pi_80453109
quote:
Op zondag 18 april 2010 18:43 schreef gaussie het volgende:
Je moet dit dus in 2 richtingen bewijzen. Maar wat zijn je asumpties dan? Aleen f is continu?
Er valt niks te bewijzen. Het is een definitie.
  zondag 18 april 2010 @ 19:47:31 #165
102865 One_conundrum
zeg maar Conundrum
pi_80455296
0,2xa - 0,1xb = c
-0,1xa + 0,2xb= c

x is gewoon gelijk bij beide, dat zie ik, maar hoe los ik het op? C maak ik gewoon 1 van. en dan?
"Vanity, definitely my favorite sin. . . ."
pi_80455426
quote:
Op zondag 18 april 2010 19:47 schreef One_conundrum het volgende:
0,2xa - 0,1xb = c
-0,1xa + 0,2xb= c

x is gewoon gelijk bij beide, dat zie ik, maar hoe los ik het op? C maak ik gewoon 1 van. en dan?
Je moet geen aannames doen, c is gewoon c. Vermenigvuldig beide leden van hetzij de eerste hetzij de tweede vergelijking met 2 en tel de leden van de vergelijkingen dan bij elkaar op.
pi_80456507
quote:
Op zondag 18 april 2010 19:07 schreef BasementDweller het volgende:

[..]

Het is niet de definitie van continuïteit, maar een definitie van continuïteit. Je continuïteit ook definiëren als volgt:
De functie f is continu in een punt a precies dan als
[ afbeelding ].

Met deze definitie van continuïteit valt er dus nog wel wat te bewijzen. Je kan dit doen door een willekeurig element
[ afbeelding ] te nemen, en te laten zien dat er een delta bestaat zodat een bolletje met middelpunt a en straal delta een deelverzameling is van [ afbeelding ] (gebruik hierbij de definitie van continuiteit). Dan is a een inwendig punt van [ afbeelding ]. Omdat a willekeurig is, is de verzameling open.
Dat is alleen voor deelverzamelingen van Rn, maar daar ging de vraag niet over.
pi_80456821
quote:
Op zondag 18 april 2010 20:14 schreef thabit het volgende:

[..]

Dat is alleen voor deelverzamelingen van Rn, maar daar ging de vraag niet over.
Het geldt voor metrische ruimten...dus hoeft niet specifiek Rn te zijn.
  zondag 18 april 2010 @ 20:30:48 #169
249833 Jotcha
duw eens op mijn neus!
pi_80457254
Zeg, hoe haal ik de afgeleide uit 5 wortel(x^2-8) ??
  zondag 18 april 2010 @ 20:41:44 #170
75592 GlowMouse
l'état, c'est moi
pi_80457797
met de kettingregel
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
  zondag 18 april 2010 @ 21:17:37 #171
249833 Jotcha
duw eens op mijn neus!
pi_80459604
quote:
Op zondag 18 april 2010 20:41 schreef GlowMouse het volgende:
met de kettingregel
Volgens het antwoordenboekje komt er het volgende uit:
5x / wortel(x^2 - 8)

Hoe komen ze daar in godsnaam op? Ik kom heel anders uit
pi_80459627
Laat eens zien wat je gedaan hebt?
I asked God for a bike, but I know God doesn't work that way.
So I stole a bike and asked for forgiveness.
  zondag 18 april 2010 @ 21:22:56 #173
249833 Jotcha
duw eens op mijn neus!
pi_80459881
Die x^2-8 = u
√u = u^1/2
Afgeleide daarvan is 1/2 * u^-1/2.
Herleiden: 1/2 * 1/√u = 1/2√u

Die afgeleide moet je dan vermenigvuldigen met de afgeleide van x^2 -8, dat is gewoon 2x
Dus als je dan u gewoon terugzet krijg je 2x/√x^2 -8.
En dat dan nog met 5 vermenigvuldigen
10x/5x^2 -8

Waar gaat het dan fout?
  zondag 18 april 2010 @ 21:24:21 #174
75592 GlowMouse
l'état, c'est moi
pi_80459966
Herleiden: 1/2 * 1/√u = 1/(2√u)

Waar blijven die 2 en die wortel later in je uitwerking?
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
  zondag 18 april 2010 @ 21:44:14 #175
249833 Jotcha
duw eens op mijn neus!
pi_80460980
quote:
Op zondag 18 april 2010 21:24 schreef GlowMouse het volgende:
Herleiden: 1/2 * 1/√u = 1/(2√u)

Waar blijven die 2 en die wortel later in je uitwerking?
Da's een goede. Vanwaar die haakjes eigenlijk?
pi_80469264
Als ik twee vergelijkingen heb , met als eigenwaarden :

r1= 0
r2= 5

Wat voor een grafiek heb ik dan? (stabiel, onstabiel, node, spiraal etc.). Ik kan het maar niet vinden in mijn boek (Terwijl ik weet dat het er in staat,)
In fact, recent observations and simulations have suggested that a network of cosmic strings stretches across the entire universe.
pi_80469865
quote:
Op zondag 18 april 2010 21:44 schreef Jotcha het volgende:

[..]

Da's een goede. Vanwaar die haakjes eigenlijk?
Omdat je het anders ook kan lezen als (1/2) wortel(u)
pi_80534268
Zou iemand me gewoon het volgende kunnen vertellen, namelijk hoe je (◊p V ◊q) → ◊(p V q) bewijst in het minimale modale propositielogische systeem van NK? Het gaat dus over modale logica. Korte inleiding daarop kun je hier en hier vinden. Je gebruikt nu dus enkel twee regels (Neccissitatie en Modus Ponens) en één axioma (het K-axioma, oftewel Distributie Axioma).

Ik ben al zover:

1. (p V q) → (p V q) [pL]
2. □((p V q) → (p V q)) [1, N]
3. □ (p V q) → □(p V q) [2, K]
4. (□p V □q) → □(p V q) [3, K]
5. (¬◊¬p v ¬◊¬q) → ¬◊¬(p V q) [4, def □]
6. (◊p V ◊q) → ◊(p V q) [pL]

Ik dacht dat dit hem was, maar ik kan hem ook verkeerd gedaan hebben.

[ Bericht 10% gewijzigd door #ANONIEM op 20-04-2010 20:16:27 ]
pi_80540548


[ Bericht 100% gewijzigd door Siddartha op 21-04-2010 11:29:27 ]
pi_80584092
Ik wou even controleren of mijn antwoord goed is (aangezien Calculus alleen oneven antwoorden geeft):

The dimensions of a closed rectangular box are measured as 80cm, 60cm, and 50 cm, respectively, with a possible error of 0,2 cm in each dimension. Use differentials to estimate the maximum error in calculating the surface are of the box.

Ik kwam zelf op 100 cm2 mogelijke fout. Wou graag weten op hoeveel jullie uitkomen.

thx.


edit :

laat maar ik merk dat ik nog wat mis. (ben het onderste en bovenste vlak vergeten )


Ik zou het iig zo doen:

O = 2xy + 2yz + 2xz

dO= (naar x diff)dx + (naar y diff) dy + (naar z diff) dz

Daarna dit invullen met de gegeven maten en dy=dz=dx = 0.2

En voila daar komt een cijfer uitrollen. Correct toch?
In fact, recent observations and simulations have suggested that a network of cosmic strings stretches across the entire universe.
pi_80588445
quote:
Op donderdag 22 april 2010 01:18 schreef Burakius het volgende:
Ik wou even controleren of mijn antwoord goed is (aangezien Calculus alleen oneven antwoorden geeft):

The dimensions of a closed rectangular box are measured as 80cm, 60cm, and 50 cm, respectively, with a possible error of 0,2 cm in each dimension. Use differentials to estimate the maximum error in calculating the surface are of the box.

Ik kwam zelf op 100 cm2 mogelijke fout. Wou graag weten op hoeveel jullie uitkomen.

thx.


edit :

laat maar ik merk dat ik nog wat mis. (ben het onderste en bovenste vlak vergeten )


Ik zou het iig zo doen:

O = 2xy + 2yz + 2xz

dO= (naar x diff)dx + (naar y diff) dy + (naar z diff) dz

Daarna dit invullen met de gegeven maten en dy=dz=dx = 0.2

En voila daar komt een cijfer uitrollen. Correct toch?
Me dunkt dat je dx=dy=dz=0.4 cm in moet vullen, omdat je een afwijking van +/- 0.2 cm hebt, dus maximale fout kan 0.4 cm zijn. Ter controle kun je het verschil tussen de worst-case scenario's uitrekenen.

Dus opp1-opp2, met voor

opp1: (x,y,z)=(80-0.2,60-0.2,50-0.2)
opp2: (x,y,z)=(80+0.2,60+0.2,50+0.2)
pi_80602533
Eh nee. dat lijkt mij niet. Omdat de afwijking per dimensie al maximaal 0.2 cm is.
In fact, recent observations and simulations have suggested that a network of cosmic strings stretches across the entire universe.
pi_80604270
quote:
Op donderdag 22 april 2010 16:47 schreef Burakius het volgende:
Eh nee. dat lijkt mij niet. Omdat de afwijking per dimensie al maximaal 0.2 cm is.
Bereken eerst eens ΔO = O(x+Δx,y+Δy,z+Δz) - O(x,y,z) en bedenk dan dat je de producten Δx∙Δy, Δx∙Δz en Δy∙Δz kunt verwaarlozen als Δx, Δy en Δz klein zijn t.o.v. x, y en z (zoals hier het geval is). Herken je de uitdrukking die je dan overhoudt?
pi_80627043
Zie onderstaand bewijs.


Gegeven is vergelijking 8.14, tot zover begrijp ik het.
rs wordt geintegreerd van t tot T.

De eerste term van rs is simpel te integreren. Ik snap echter niet waarom


[ Bericht 4% gewijzigd door mrbombastic op 23-04-2010 16:00:07 ]
pi_80632712
Ik begrijp een gedeelte van de definitie van een topologische ruimte niet. Ik snap niet waarom (X,T) een geordend paar moet zijn. Waarom is (X,T) niet gelijk aan (T,X)? Met X bedoel ik de verzameling X en T de collectie van deelverzamelingen van X die open zijn.
-
pi_80640490


[ Bericht 100% gewijzigd door Siddartha op 23-04-2010 17:47:32 ]
pi_80644580
quote:
Op vrijdag 23 april 2010 13:57 schreef gaussie het volgende:
Ik begrijp een gedeelte van de definitie van een topologische ruimte niet. Ik snap niet waarom (X,T) een geordend paar moet zijn. Waarom is (X,T) niet gelijk aan (T,X)? Met X bedoel ik de verzameling X en T de collectie van deelverzamelingen van X die open zijn.
Als T een verzameling van deelverzamelingen van X is, dan is T niet gelijk aan X en dus is (X,T) niet gelijk aan (T,X).
pi_80675621
Heeft iemand toevallig een dictaat over representatietheorie (van groepen)?
En voor noob-niveau graag. Gewoon simpel representaties van groepen, bewijzen dat ze (ir)reducibel zijn etc. Heb al veel gevonden op internet, maar wil een simpelere aanpak
Gebruik nu deze: http://math.berkeley.edu/~teleman/math/RepThry.pdf

Wat ik vooral wil zijn voorbeelden of opgaven met uitwerkingen (zijn ook voorbeelden).
Ik wil veel groepen zien en dan een constructie van hun representaties (met tussenstappen).

Alvast bedankt.
pi_80676869
Ik heb inmiddels een betere gevonden van een Belgische Universiteit (altijd beter om de een of andere reden).
Houd me aanbevolen desondanks.
pi_80677837
quote:
Op vrijdag 23 april 2010 19:49 schreef thabit het volgende:

[..]

Als T een verzameling van deelverzamelingen van X is, dan is T niet gelijk aan X en dus is (X,T) niet gelijk aan (T,X).
Maar hier ga je uit van de assumptie dat het geordende paren betreft. Maar waarom zou je niet gewoon kunnen omdraaien? Dus (T,X) gelijk aan (X,T) mits je duidelijk aangeeft wat X is en wat T is. Dan hoeven het niet per se geordende paren te zijn. Zoals de verzameling {2,1} gelijk is aan {1,2}. Hier is de volgorde ook niet van belang. Het voordeel voor het kiezen van geordende paren is wel dat als X en T niet expliciet worden vermeld dat dan duidelijk is dat het eerste element de verzameling X is en de tweede element de collectie van deelverzamelingen. Als het geen geordend paar betreft ,dan zou er enige ambiguiteit kunnen ontstaan. Trouwens dit stukje staat alleen vermeld in Topology van Munkres, in andere boeken ben ik het niet tegengekomen.
-
  zaterdag 24 april 2010 @ 21:45:47 #191
75592 GlowMouse
l'état, c'est moi
pi_80678014
Met de conventie van een geordend paar (X,T) is duidelijk wat X en T zijn. Je geeft zelf al aan wat het nadeel is van jouw notatie.
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
pi_80738857
waarschijnlijk de simpelste vragen ooit, maar ben er even uitgeweest dus hoop op jullie hulp:

Rare vraag maar hoe toets je dit ook alweer in op je rekenmachine:

Rekenkundige rij getallen: 4, 8, 16, 32, 64, 128
Bereken met een somformule van de formulekaart de som van de eerste 11 getallen van deze rij

Volgens mij is het:

S11 = 4 x 2-1 / 2-1 =

Alleen krijg ik dan niet het goede antwoord.

Tevens krijg ik bij de volgende vragen het goede antwoord niet uit mijn rekenmachine:

A = 350.000 * 0.044 / 1-1.044 (t/m -20) = 15399,58 (goede antwoord moet 26.674 zijn volgens het boek)


1.044 (1/12) – 1 = 0.16298 (is niet goed volgens het boek).

Wat doe ik verkeerd?
pi_80740250
quote:
Op maandag 26 april 2010 19:50 schreef peter070 het volgende:
waarschijnlijk de simpelste vragen ooit, maar ben er even uitgeweest dus hoop op jullie hulp:

Rare vraag maar hoe toets je dit ook alweer in op je rekenmachine:

Rekenkundige rij getallen: 4, 8, 16, 32, 64, 128
Hier gaat het al fout. Dit is een meetkundige rij.
quote:
Bereken met een somformule van de formulekaart de som van de eerste 11 getallen van deze rij
Vergeet die formulekaart. Je kunt het beste onthouden dat de som van een aantal opeenvolgende termen van een meetkundige rij gelijk is aan de eerstvolgende term min de eerste term, gedeeld door de reden min één.

In dit geval heb je tn = 2n+1, dus t12 = 213.

De som is dan S = (213 -4)/(2 - 1) = 8188.

De andere opgaven mag je nu even zelf proberen. En gebruik alsjeblieft haakjes waar nodig.
pi_80793459
Ahhhh de wiskunde "gods" zitten in dit topic zie ik al.

Ik had een vraagje....
quote:
Sinds kort ben ik met mijn vriendin aan het geocachen (Wat? www.geocaching.com voor het antwoord)

Maar nu kom ik een cache tegen in de buurt waar ik geen ene **** van begrijp.
Het is het volgende:
[quote]
Elementaire getallentheorie

Na een geheime transformatie op de cache coördinaten wordt het volgende resultaat verkregen:



De transformatie maakt alleen gebruik van concepten uit de elementaire getallentheorie. Success!
Kan iemand mij een richting op duwen??

Uit dit topic: Elementaire getallentheorie
Kreeg daar de tip om het hier te proberen.

Het volgende weet ik wel:
N75 moet N52 zijn
En E156 moet E004 zijn.

Het zijn namelijk GPS coordinaten in mijn omgeving waar ik woon (Leiden) en daar beginnen alle coordinaten met die getallen.
Maar hoe dat te berekenen....
  woensdag 28 april 2010 @ 08:12:50 #195
75592 GlowMouse
l'état, c'est moi
pi_80793572
Er zijn oneindig veel geheime transformaties te bedenken die hieraan voldoen.
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
pi_80794679
Hmmm een hint die erbij staat:
"[puzzel] Rij van 15 priemgetallen. 9 = 0. Zie ook link onderaan"
http://members.ziggo.nl/s.jobing/gc/uploads/elem_num_th_book.pdf
pi_80809452
Wie kan mij 'n beetje uitleggen hoe dat gedoe werkt met domeinen toekennen bij semantische tableaus in de predikaatlogica ?

Bijv met:
x(Ax -> ∀y By) o ∀xy (Ax -> By)

o ∀y(Ad1 -> By) D = {d1}

(Ad1 -> ∀y By) o

o (Ad1 -> Bd2) D = {d1, d2}

(Ad2 -> ∀y By) o

Ad1 o Bd2

y By o ------------------ o Ad1

Bd1, Bd2 o


Wat ik hier niet aan snap is: Waarom introduceren ze domein 2 erbij? Waarom wordt aan de linkerzijde d1 vervolgens vervangen door d2, terwijl je in de stap daarvoor er net d1 van had gemaakt? Waarom worden die y'tjes aan de linkerkant niet gewoon vervangen door d2? Vragen, vragen... Het is me niet duidelijk!
pi_80809679
quote:
Op woensdag 28 april 2010 08:01 schreef DrukVout het volgende:
Ahhhh de wiskunde "gods" zitten in dit topic zie ik al.

Ik had een vraagje....
[..]

Kan iemand mij een richting op duwen??

Uit dit topic: Elementaire getallentheorie
Kreeg daar de tip om het hier te proberen.

Het volgende weet ik wel:
N75 moet N52 zijn
En E156 moet E004 zijn.

Het zijn namelijk GPS coordinaten in mijn omgeving waar ik woon (Leiden) en daar beginnen alle coordinaten met die getallen.
Maar hoe dat te berekenen....
Het lijkt me handig als je nog wat meer informatie erbij zet. Hoe weet je dat N75 eigenlijk N52 is?
pi_80809884
quote:
Op woensdag 28 april 2010 16:46 schreef thabit het volgende:

[..]

Het lijkt me handig als je nog wat meer informatie erbij zet. Hoe weet je dat N75 eigenlijk N52 is?
Het is een coordinaat in Nederland.
Alle (tot nu toe) coordinaten die ik ben tegengekomen in Nederland beginnen met 52.
Ik weet dat het ergens in leiden is het coordinaat en ik weet 100% zeker dat het N52 moet zijn en E004 of E4.
pi_80810593
quote:
Op woensdag 28 april 2010 16:51 schreef DrukVout het volgende:

[..]

Het is een coordinaat in Nederland.
Alle (tot nu toe) coordinaten die ik ben tegengekomen in Nederland beginnen met 52.
Ik weet dat het ergens in leiden is het coordinaat en ik weet 100% zeker dat het N52 moet zijn en E004 of E4.
Met wat gegoogle vind ik N 52° 09.134 E 004° 27.212 maar ik weet niet of dat goed is.
abonnement Unibet Coolblue Bitvavo
Forum Opties
Forumhop:
Hop naar:
(afkorting, bv 'KLB')