abonnement Unibet Coolblue Bitvavo
pi_80517910
quote:
Op dinsdag 20 april 2010 13:03 schreef hetzusjevan het volgende:
Kan iemand mij geruststellen?
hetzusjevan, het komt allemaal goed!
pi_80518119
quote:
Op dinsdag 20 april 2010 13:25 schreef Friek_ het volgende:

[..]

hetzusjevan, het komt allemaal goed!
Thanks .
pi_80518157
komt wel goed schatje


aah fuck, friek was me voor
Ik zeg altijd maar zo, met drie wielen heb je nog geen auto.
pi_80518317
quote:
Op dinsdag 20 april 2010 13:31 schreef aardappel het volgende:
komt wel goed schatje


aah fuck, friek was me voor
wat een kutreclame vind ik dat.

Hee, staat die broodjeskraam nu al op de uni trouwens?
pi_80519009
quote:
Op dinsdag 20 april 2010 13:35 schreef hetzusjevan het volgende:

[..]

wat een kutreclame vind ik dat.

Hee, staat die broodjeskraam nu al op de uni trouwens?
Ik hoorde dat ie ergens tussen S en E stond.. maar of dit ook waar is.... *insert spannend muziekje*
Ik zeg altijd maar zo, met drie wielen heb je nog geen auto.
pi_80519204
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*
Wie o wie is er op de uni en kan ons het verlossende antwoord geven?
pi_80520782
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.
  dinsdag 20 april 2010 @ 21:03:49 #128
75592 GlowMouse
l'état, c'est moi
pi_80536590
quote:
Op dinsdag 20 april 2010 13:35 schreef hetzusjevan het volgende:

[..]

wat een kutreclame vind ik dat.

Hee, staat die broodjeskraam nu al op de uni trouwens?
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.
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
  dinsdag 20 april 2010 @ 21:36:01 #129
299019 ComposMentis
Semper fidelis
pi_80538160
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.
Goeie garp man.
Quidquid latine dictum sit, altum videtur
pi_80538246
Friek_, was jij maandagmiddag rond 15:00 in Eindhoven op de fiets?
  dinsdag 20 april 2010 @ 21:46:32 #131
75592 GlowMouse
l'état, c'est moi
pi_80538701
quote:
Op dinsdag 20 april 2010 21:37 schreef Tegan het volgende:
Friek_, was jij maandagmiddag rond 15:00 in Eindhoven op de fiets?
Je doet niet aan naroepen?
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
pi_80539374
quote:
Op dinsdag 20 april 2010 21:46 schreef GlowMouse het volgende:

[..]

Je doet niet aan naroepen?
Ik moest de trein halen (die ik toch miste ), en hij had zijn beroemde koptelefoon op en niet op roepafstand sowieso.
pi_80541067
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.
Hij stond er inderdaad. Ik was maar doorgelopen naar de Subway.

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
pi_80597199
quote:
Op dinsdag 20 april 2010 21:36 schreef ComposMentis het volgende:

[..]

Goeie garp man.
Np.
pi_80597323
quote:
Op dinsdag 20 april 2010 21:37 schreef Tegan het volgende:
Friek_, was jij maandagmiddag rond 15:00 in Eindhoven op de fiets?
Zou best kunnen. Was rond die tijd op weg naar een afspraak vlakbij de TU/e. Woon sowieso in Eindhoven.
pi_80597961
quote:
Op donderdag 22 april 2010 14:42 schreef Friek_ het volgende:

[..]

Zou best kunnen. 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?
pi_80598642
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.
pi_80599044
Ik snap je notatie niet echt . Wat zijn die dingen tussen [ ] ?
pi_80599712
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 ]
  donderdag 22 april 2010 @ 19:10:39 #140
75592 GlowMouse
l'état, c'est moi
pi_80606788
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 ]
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
pi_80609254
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 ]
pi_80609814
quote:
Op donderdag 22 april 2010 19:10 schreef GlowMouse het volgende:
Nu zit ik alleen nog met de betekenis van pL.
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.

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 ]
  vrijdag 23 april 2010 @ 00:58:23 #143
75592 GlowMouse
l'état, c'est moi
pi_80619734
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 ]
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
pi_80638305
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.
Neuh, geen haast. 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.
pi_80638653
Algemene inleiding op de propositielogica: klik, klik en klik.
Wat inleidingen op de logische connectieven: klik en klik.

Hopelijk kun je daar wat mee. Modale logica is namelijk een extensie van de propositielogica.

[ Bericht 3% gewijzigd door #ANONIEM op 23-04-2010 16:54:47 ]
  zaterdag 24 april 2010 @ 15:12:14 #146
75592 GlowMouse
l'état, c'est moi
pi_80668275
Dat is allemaal wel bekend. Maar wat is het verschil tussen -> en =>?
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
  zaterdag 24 april 2010 @ 23:23:38 #147
75592 GlowMouse
l'état, c'est moi
pi_80681434
quote:
Op maandag 19 april 2010 17:25 schreef Dr_Strangelove het volgende:
Als GM het niet lukt, hoef ik het niet eens te proberen.
jij bent blij!
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
pi_80685272
quote:
Op zaterdag 24 april 2010 15:12 schreef GlowMouse het volgende:
Dat is allemaal wel bekend. Maar wat is het verschil tussen -> en =>?
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.
  zondag 25 april 2010 @ 21:46:34 #149
43784 Dr_Strangelove
We'll meet again
pi_80709190
quote:
Op zaterdag 24 april 2010 23:23 schreef GlowMouse het volgende:

[..]

jij bent blij!
Ik had stiekem ook nog wel even gekeken.
"Patriotism is the last refuge of a scoundrel"
  zondag 25 april 2010 @ 22:56:39 #150
75592 GlowMouse
l'état, c'est moi
pi_80712946
quote:
Op zondag 25 april 2010 21:46 schreef Dr_Strangelove het volgende:

[..]

Ik had stiekem ook nog wel even gekeken.


ik had het over de mobiele lay-out
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
  zondag 25 april 2010 @ 23:10:05 #151
43784 Dr_Strangelove
We'll meet again
pi_80713582
quote:
Op zondag 25 april 2010 22:56 schreef GlowMouse het volgende:

[..]

ik had het over de mobiele lay-out


Maar inderdaad, wat een vooruitgang.

Normaal check ik mobiel vaker, maar het werkt de laatste dagen wat minder...
"Patriotism is the last refuge of a scoundrel"
  zondag 25 april 2010 @ 23:12:34 #152
43784 Dr_Strangelove
We'll meet again
pi_80713686
Ook slim trouwens om de TS nog steeds (maar niet meer klikbaar) te vermelden.
"Patriotism is the last refuge of a scoundrel"
  maandag 26 april 2010 @ 11:01:51 #153
231574 automatic_
muppetinnetje.
pi_80721208
Omg, dat plaatje!
quote:
Op zondag 25 april 2010 23:12 schreef Dr_Strangelove het volgende:
Ook slim trouwens om de TS nog steeds (maar niet meer klikbaar) te vermelden.
Waarom is dat slim?
"It's good to be open-minded, but not so open that your brains fall out."
  maandag 26 april 2010 @ 11:46:09 #154
43784 Dr_Strangelove
We'll meet again
pi_80722661
Omdat je zo nog wel kunt zien wie het topic heeft gestart, terwijl je je niet meer kunt vergissen als je naar de laatste post wilt gaan. Eerst ging ik de helft van de keren naar de profielpagina van de TS als ik naar de laatste post wilde gaan
"Patriotism is the last refuge of a scoundrel"
  maandag 26 april 2010 @ 11:48:27 #155
231574 automatic_
muppetinnetje.
pi_80722740
quote:
Op maandag 26 april 2010 11:46 schreef Dr_Strangelove het volgende:
Omdat je zo nog wel kunt zien wie het topic heeft gestart, terwijl je je niet meer kunt vergissen als je naar de laatste post wilt gaan. Eerst ging ik de helft van de keren naar de profielpagina van de TS als ik naar de laatste post wilde gaan
Oh oke, daar had ik nooit last van eigenlijk, haha.
"It's good to be open-minded, but not so open that your brains fall out."
pi_80726481
Ik heb als het goed is mijn goedkeuring voor mijn master thesis, krijg hopelijk vandaag of morgen de bevestiging en daarmee ook mijn begeleider toegewezen. Dan kan ik na mijn vakantie écht van start gaan.
  maandag 26 april 2010 @ 17:21:45 #157
43784 Dr_Strangelove
We'll meet again
pi_80733544
quote:
Op maandag 26 april 2010 11:48 schreef automatic_ het volgende:

[..]

Oh oke, daar had ik nooit last van eigenlijk, haha.
Ik wel en na lang zeuren dus ingevoerd.

Enne, kijk de volgende keer ook in de Subway als je er langs fietst, GlowMouse.
"Patriotism is the last refuge of a scoundrel"
  maandag 26 april 2010 @ 23:02:58 #158
75592 GlowMouse
l'état, c'est moi
pi_80748093
quote:
Op maandag 26 april 2010 13:56 schreef Citizen.Erased het volgende:
Ik heb als het goed is mijn goedkeuring voor mijn master thesis, krijg hopelijk vandaag of morgen de bevestiging en daarmee ook mijn begeleider toegewezen. Dan kan ik na mijn vakantie écht van start gaan.
dat heeft ook lang genoeg geduurd.
quote:
Op maandag 26 april 2010 17:21 schreef Dr_Strangelove het volgende:

[..]

Enne, kijk de volgende keer ook in de Subway als je er langs fietst, GlowMouse.
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
pi_80748267
quote:
Op maandag 26 april 2010 23:02 schreef GlowMouse het volgende:

[..]

dat heeft ook lang genoeg geduurd.
Ja daar is de nodige tijd overheen gegaan. Moet nog even bekijken wie mijn begeleider is en hopelijk vind die mijn opdracht ook interessant om te onderzoeken.
  dinsdag 27 april 2010 @ 22:55:18 #160
75592 GlowMouse
l'état, c'est moi
pi_80787722
Op http://www.uvt.nl/univers/nieuws/0910/25/mipa.html staat een mooi verhaal over hoe de campus in de afgelopen zestig jaar is ontstaan.
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
  dinsdag 27 april 2010 @ 23:18:43 #161
43784 Dr_Strangelove
We'll meet again
pi_80788743
quote:
Op dinsdag 27 april 2010 22:55 schreef GlowMouse het volgende:
Op http://www.uvt.nl/univers/nieuws/0910/25/mipa.html staat een mooi verhaal over hoe de campus in de afgelopen zestig jaar is ontstaan.
Uit de link onderaan die link:
quote:
De universiteit kocht dit uit 1970 daterende gebouw, net buiten het oorspronkelijke campusterrein, eind jaren '60 van het ministerie van Landbouw.

"Patriotism is the last refuge of a scoundrel"
pi_80788767
quote:
Op dinsdag 27 april 2010 23:18 schreef Dr_Strangelove het volgende:

[..]

Uit de link onderaan die link:
[..]

.
  dinsdag 27 april 2010 @ 23:19:49 #163
75592 GlowMouse
l'état, c'est moi
pi_80788778
Vijftig jaar dan Maar dat van 1970 gaat over gebouw S dat nu wel op de campus staat.
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
pi_80788826
Nee, lees eens goed GM.
  dinsdag 27 april 2010 @ 23:21:51 #165
75592 GlowMouse
l'état, c'est moi
pi_80788859
oh
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
pi_80813335
lol
Ik zeg altijd maar zo, met drie wielen heb je nog geen auto.
pi_80814900
Ik snap hem niet.

  woensdag 28 april 2010 @ 19:47:34 #168
43784 Dr_Strangelove
We'll meet again
pi_80815843
Het valt een beetje moeilijk voor te stellen dat een gebouw dat in 1970 gebouwd is voor het ministerie van Landbouw, daarvoor (eind jaren '60) al verkocht is door het ministerie.

Het is ook een typo: na wat gegoogle blijkt het 2006 geweest te zijn. Van '06 naar '60 naar jaren '60.
"Patriotism is the last refuge of a scoundrel"
  woensdag 28 april 2010 @ 20:52:53 #169
75592 GlowMouse
l'état, c'est moi
pi_80818904
quote:
Op woensdag 28 april 2010 19:47 schreef Dr_Strangelove het volgende:
Het valt een beetje moeilijk voor te stellen dat een gebouw dat in 1970 gebouwd is voor het ministerie van Landbouw, daarvoor (eind jaren '60) al verkocht is door het ministerie.
Je bent een slecht jurist
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
  woensdag 28 april 2010 @ 21:16:40 #170
75592 GlowMouse
l'état, c'est moi
pi_80820044
Als iemand nog een tweede studie overweegt, moet hij zich in september daarvoor al inschrijven
http://www.uvt.nl/student(...)egegeld/2010-2011/#3
quote:
Een student die in 2009/10 aan de UvT was ingeschreven voor een of meer opleidingen betaalt hetzelfde -geïndexeerde- tarief als in 2009/10 voor een of meer opleidingen. Dit tarief geldt tot tenminste september 2013, voor de opleiding(en) waarvoor hij in 2010/11 inschrijft.
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
  woensdag 28 april 2010 @ 21:17:51 #171
231574 automatic_
muppetinnetje.
pi_80820110
Ik ben gelukkig al bezig met mijn 2e studie
"It's good to be open-minded, but not so open that your brains fall out."
  woensdag 28 april 2010 @ 21:35:36 #172
43784 Dr_Strangelove
We'll meet again
pi_80820979
Ik met m'n 5e.

Vijf keer is (scheeps)recht.
"Patriotism is the last refuge of a scoundrel"
pi_80827173
3e master hier

Citizen, was je vandaag bij de voorrondes van de Nationale Marketing Scriptie Prijs? Het was erg leuk

Hoe was je thesis-proposal?
pi_80829368
quote:
Op woensdag 28 april 2010 19:47 schreef Dr_Strangelove het volgende:
Het valt een beetje moeilijk voor te stellen dat een gebouw dat in 1970 gebouwd is voor het ministerie van Landbouw, daarvoor (eind jaren '60) al verkocht is door het ministerie.

Het is ook een typo: na wat gegoogle blijkt het 2006 geweest te zijn. Van '06 naar '60 naar jaren '60.
Kort geleden zeg .
  donderdag 29 april 2010 @ 09:19:14 #175
75592 GlowMouse
l'état, c'est moi
pi_80832348
http://www.josbedaux.nl/node/59
quote:
Onder de laagbouw zit een atoomvrije kelder,
verhaaltje over D: http://www.uvt.nl/univers/nieuws/0405/14/carrousel.html
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
  donderdag 29 april 2010 @ 10:21:40 #177
75592 GlowMouse
l'état, c'est moi
pi_80833870
quote:
Op donderdag 29 april 2010 09:52 schreef Tegan het volgende:
GM: bizar (incl. foto)
pretentieuze topictitel
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
pi_80834125
quote:
Op woensdag 28 april 2010 23:33 schreef arj1o1 het volgende:
3e master hier

Citizen, was je vandaag bij de voorrondes van de Nationale Marketing Scriptie Prijs? Het was erg leuk

Hoe was je thesis-proposal?
Ik ben niet bij de Nationale Marketing Scriptie Prijs aanwezig geweest. Misschien iets voor volgend jaar

Mijn thesis-proposal is eindelijk goedgekeurd Ik heb gister mijn begeleider toegewezen gekregen (degene die AVM en MBEO geeft) en vanavond vertrekt mijn vliegtuig naar New York .

Uiteindelijk heb ik wat moeten schaven aan mijn onderzoekvragen, maar ik ben nu wel tevreden met mijn onderwerp. Heb in mijn hoofd ook al een methode voor onderzoek.
pi_80834730
Voor mijn gevoel is het lettertype van Firefox vannacht ineens veranderd.
pi_80835387
Chrome ftw
abonnement Unibet Coolblue Bitvavo
Forum Opties
Forumhop:
Hop naar:
(afkorting, bv 'KLB')