Article View: be.comp.programming
Article #1616Re: Wiskunde & informatica
From: John Bokma
Date: Mon, 24 Jan 2005 19:45
Date: Mon, 24 Jan 2005 19:45
17 lines
1831 bytes
1831 bytes
Philip Paeps wrote:
> Veel van de wiskunde die ik geleerd heb is bullshit, maar de principes
> komen me goed van pas. Ik heb bijvoorbeeld absoluut geen boodschap
> meer aan het formele bewijs dat f'(x) = lim(h->0)[[f(x+h)-f(x)]/h] (om
> ��n of andere reden heb ik die altijd kunnen onthouden), maar de
> principes om het logisch uit te werken komen me wel best van pas.
Als je algoritmes ontwerpt is het vaak extreem nuttig om te kunnen bewijzen
dat het werkt. En juist dan is het extreem handig om formele bewijzen te
snappen, en op te kunnen stellen.
--
John Bokma
Voorbeeldscripts in Perl: http://johnbokma.com/perl/
Ervaren Perl / Java programmeur beschikbaar: http://castleamber.com/
Tevreden opdrachtgevers: http://castleamber.com/testimonials.html
Technical Details
Message-ID:
<Xns95E88BFFE66E6castleamber@130.133.1.4>Path:
arc1-ca.pugleaf.net!g2news1.google.com!news3.google.com!news.glorb.com!transit.nntp.hccnet.nl!transit1.nntp.hccnet.nl!feeder1.cambrium.nl!feed.tweaknews.nl!216.196.110.149.MISMATCH!border2.nntp.ams.giganews.com!nntp.giganews.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mailReferences:
<pan.2005.01.24.00.19.48.468695@skynet.be> <41f4a5a0$0$144$e4fe514c@news.xs4all.nl>Show Full Headers
Complete Article Headers
X-Google-Thread: fcea4,3fcfd3d90b8a6991
X-Google-Attributes: gidfcea4,public
X-Google-Language: DUTCH,ASCII
Path: arc1-ca.pugleaf.net!g2news1.google.com!news3.google.com!news.glorb.com!transit.nntp.hccnet.nl!transit1.nntp.hccnet.nl!feeder1.cambrium.nl!feed.tweaknews.nl!216.196.110.149.MISMATCH!border2.nntp.ams.giganews.com!nntp.giganews.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: John Bokma <postmaster@castleamber.com>
Newsgroups: be.comp.programming
Subject: Re: Wiskunde & informatica
Date: 24 Jan 2005 19:45:45 GMT
Organization: Castle Amber - software development
Lines: 17
Message-ID: <Xns95E88BFFE66E6castleamber@130.133.1.4>
References: <pan.2005.01.24.00.19.48.468695@skynet.be> <41f4a5a0$0$144$e4fe514c@news.xs4all.nl>
X-Trace: individual.net FSm5RwXU2wufPxz6nU7/PA5ND3cdmx/r+vXkh16XraqcRhthk3
User-Agent: Xnews/5.04.25
X-Face: $7h&5K*ZL9*ZQ\6Hco2"V?1dD*C<ab^>zlws[S%i0b,@gKk|[,)Y-<hk143{.Ov"x{({zo( l,N\m`-_^nJfVQdEyt+-uAP^7WG]5mHj9&::7X-qK;Yv;xmRvNWQR"_igw+cr5WMj;6:zlj<R80Ei@ $gGWq&*{FL*kC*a