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
Wie o wie is er op de uni en kan ons het verlossende antwoord geven?quote:Op dinsdag 20 april 2010 13:52 schreef aardappel het volgende:
[..]
Ik hoorde dat ie ergens tussen S en E stond.. maar of dit ook waar is.... *insert spannend muziekje*
Gisteren heb ik geen broodjeskraam gezien. Wel veel verkiezingsgedoe. Ook mooi dat bijna niemand mij durft aan te spreken door mijn gezicht dat op onweer staat en mijn kale kop die nogal afschrikwekkend werkt.
Vorig jaar leverde het nog wel mooie taferelen op. Ik liep dus zo over de campus, waaral het al blauw en groen zag van de fracties. Komt zo'n slecht excuus van een smurf naar me toe met de vraag: "HOI, WIL JE OP ME STEMMEN?" Na hem aangekeken te hebben met een veelzeggende blik inclusief pijnlijke stilte gooit dit misbaksel het over een andere boeg en wil me een Mentos-rol aanbieden. Ik neem de Mentos-rol aan, waarna ik hem direct op de grond gooi en er als een malle op ga stampen.
"MIJN MENTOS-ROL! WAT DOE JE?"
"JA MAAR IK HEB HEM TOCH GEKREGEN?"
Daarna viel uiteraard niemand me meer lastig.
Vorig jaar leverde het nog wel mooie taferelen op. Ik liep dus zo over de campus, waaral het al blauw en groen zag van de fracties. Komt zo'n slecht excuus van een smurf naar me toe met de vraag: "HOI, WIL JE OP ME STEMMEN?" Na hem aangekeken te hebben met een veelzeggende blik inclusief pijnlijke stilte gooit dit misbaksel het over een andere boeg en wil me een Mentos-rol aanbieden. Ik neem de Mentos-rol aan, waarna ik hem direct op de grond gooi en er als een malle op ga stampen.
"MIJN MENTOS-ROL! WAT DOE JE?"
"JA MAAR IK HEB HEM TOCH GEKREGEN?"
Daarna viel uiteraard niemand me meer lastig.
Vorige week stond er een kraam naast de campusinrit aan de verbernelaan. Deze week heb ik hem nog niet gezien, maar ik ben er dan ook nog niet op normale tijden langsgekomen.quote:
[..]wat een kutreclame vind ik dat.
Hee, staat die broodjeskraam nu al op de uni trouwens?
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
Goeie garp man.quote:Op dinsdag 20 april 2010 14:37 schreef Friek_ het volgende:
Gisteren heb ik geen broodjeskraam gezien. Wel veel verkiezingsgedoe. Ook mooi dat bijna niemand mij durft aan te spreken door mijn gezicht dat op onweer staat en mijn kale kop die nogal afschrikwekkend werkt.
Vorig jaar leverde het nog wel mooie taferelen op. Ik liep dus zo over de campus, waaral het al blauw en groen zag van de fracties. Komt zo'n slecht excuus van een smurf naar me toe met de vraag: "HOI, WIL JE OP ME STEMMEN?" Na hem aangekeken te hebben met een veelzeggende blik inclusief pijnlijke stilte gooit dit misbaksel het over een andere boeg en wil me een Mentos-rol aanbieden. Ik neem de Mentos-rol aan, waarna ik hem direct op de grond gooi en er als een malle op ga stampen.
"MIJN MENTOS-ROL! WAT DOE JE?"
"JA MAAR IK HEB HEM TOCH GEKREGEN?"
Daarna viel uiteraard niemand me meer lastig.
Quidquid latine dictum sit, altum videtur
Je doet niet aan naroepen?quote:
Friek_, was jij maandagmiddag rond 15:00 in Eindhoven op de fiets?
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
Ik moest de trein halen (die ik toch mistequote:
), en hij had zijn beroemde koptelefoon op 
en niet op roepafstand sowieso.
Hij stond er inderdaad. Ik was maar doorgelopen naar de Subway.quote:Op dinsdag 20 april 2010 21:03 schreef GlowMouse het volgende:
[..]
Vorige week stond er een kraam naast de campusinrit aan de verbernelaan. Deze week heb ik hem nog niet gezien, maar ik ben er dan ook nog niet op normale tijden langsgekomen.
Chicken teriyaki chipotle saus ftw!
Jammer dat ze de fajita niet hebben tho
Dr. Strangelove was er ook nog zelfs. Het leek bijna op een FOK-subway meeting
Zou best kunnen.quote:Op dinsdag 20 april 2010 21:37 schreef Tegan het volgende:
Friek_, was jij maandagmiddag rond 15:00 in Eindhoven op de fiets?
Was rond die tijd op weg naar een afspraak vlakbij de TU/e. Woon sowieso in Eindhoven.
Oeh, dan heb ik jou gezien bij het station, witte trui?quote:
[..]
Zou best kunnen.
quote:Op donderdag 22 april 2010 15:01 schreef Tegan het volgende:
[..]
Oeh, dan heb ik jou gezien bij het station, witte trui?
Kun jij trouwens voor de grap eens kijken of je deze vraag begrijpt?
Jij hebt meer kaas gegeten van wiskunde dan ik.
Dat zijn de logische stappen die je neemt. De letters tussen de []-brackets dienen daar dus voor. Ik begon met een tautologie in de propositielogica (wat kan dienen als een theorema) en heb daarop de neccissitatie-regel toegepast. Dus [1,N] betekent dat je de eerste stap pakte (wat noodzakelijk een theorema moet zijn) en daarop pas je N-regel toe, wat dan een uitkomst geeft in stap twee. Een inferentie dus.
[ Bericht 0% gewijzigd door #ANONIEM op 22-04-2010 20:14:11 ]
[ Bericht 0% gewijzigd door #ANONIEM op 22-04-2010 20:14:11 ]
Ik zat er gisteren al naar te kijken, maar zonder deze uitleg is je notatie niet te snappen. Nu zit ik alleen nog met de betekenis van pL.
De stap van 3 naar 4 lijkt me overigens niet juist.
Modus ponens ken ik wel, maar zie ik niet hoe je dat in dit systeem toepast. Heb je een voorbeeldje?
[ Bericht 22% gewijzigd door GlowMouse op 22-04-2010 19:28:22 ]
De stap van 3 naar 4 lijkt me overigens niet juist.
Modus ponens ken ik wel, maar zie ik niet hoe je dat in dit systeem toepast. Heb je een voorbeeldje?
[ Bericht 22% gewijzigd door GlowMouse op 22-04-2010 19:28:22 ]
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
Ja.
1. φ → (ψ → φ) [pL]
2. φ [gegeven]
_____________
3. (ψ → φ) [1,2, MP]
Zoiets bijvoorbeeld. In feite staat hier hetzelfde als het volgende plaatje:
Zie ook het wikipedia artikel.
[ Bericht 10% gewijzigd door #ANONIEM op 22-04-2010 20:20:02 ]
1. φ → (ψ → φ) [pL]
2. φ [gegeven]
_____________
3. (ψ → φ) [1,2, MP]
Zoiets bijvoorbeeld. In feite staat hier hetzelfde als het volgende plaatje:
Zie ook het wikipedia artikel.
[ Bericht 10% gewijzigd door #ANONIEM op 22-04-2010 20:20:02 ]
Simpelweg iets dat afleidbaar ('bewijsbaar') is uit de propositielogica. In stap 1 zie je me bijvoorbeeld het gebruiken. Daarmee geef ik aan dat het afleidbaar is uit de propositielogica en dus kan dienen als theorema. Eigenlijk is elke stap die je neemt strikt gezien een theorema.quote:Op donderdag 22 april 2010 19:10 schreef GlowMouse het volgende:
Nu zit ik alleen nog met de betekenis van pL.
Er is trouwens ook een syllabus beschikbaar gesteld door onze docent (als je deze link na een weekje zou kunnen wissen zou dat fijn zijn
).[ Bericht 0% gewijzigd door #ANONIEM op 22-04-2010 20:43:20 ]
Ik denk dat ik er zaterdag naar ga kijken, misschien morgenavond laat nog. Heeft het haast? Van 3 naar 4 lijkt me overigens toch niet juist, □p V □q is een veel sterkere eis.
In dat dictaat staan nog wel tekentjes die ik niet ken, dus het is nog steeds niet te doen.
[ Bericht 22% gewijzigd door GlowMouse op 23-04-2010 13:50:14 ]
In dat dictaat staan nog wel tekentjes die ik niet ken, dus het is nog steeds niet te doen.
[ Bericht 22% gewijzigd door GlowMouse op 23-04-2010 13:50:14 ]
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
Neuh, geen haast.quote:Op vrijdag 23 april 2010 00:58 schreef GlowMouse het volgende:
Ik denk dat ik er zaterdag naar ga kijken, misschien morgenavond laat nog. Heeft het haast? Van 3 naar 4 lijkt me overigens toch niet juist, □p V □q is een veel sterkere eis.
In dat dictaat staan nog wel tekentjes die ik niet ken, dus het is nog steeds niet te doen.
Ik wil het gewoon eens begrijpen waar ik precies mee bezig ben. Zit trouwens een korte en heldere inleiding op propositielogica voor je te zoeken. Dat is zelfs iets wat ik snap.
Dat is allemaal wel bekend. Maar wat is het verschil tussen -> en =>?
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
jij bent blij!quote:
Als GM het niet lukt, hoef ik het niet eens te proberen.
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
Soms niets, soms wel iets. Soms betekent het ergo (oftewel: dus, conclusie) en soms is het de materiële implicatie. En ja, ik heb ook al geklaagd over dat niet-eenduidige gebruik van tekens.quote:Op zaterdag 24 april 2010 15:12 schreef GlowMouse het volgende:
Dat is allemaal wel bekend. Maar wat is het verschil tussen -> en =>?
quote:
[..]
Ik had stiekem ook nog wel even gekeken.
ik had het over de mobiele lay-out
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
