Re: jaka praca najlepsza dla informatyka ??? - Grupy dyskusyjne w eGospodarka.pl

Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.onet.pl!newsfeed.tpinte
rnet.pl!news.dialog.net.pl!not-for-mail
From: "Tomek Zielinski" <t...@f...org.pl>
Newsgroups: pl.praca.dyskusje
Subject: Re: jaka praca najlepsza dla informatyka ???
Date: Mon, 10 Feb 2003 20:36:33 +0100
Organization: Dialog Net
Lines: 16
Message-ID: <b28v0f$k15$1@absinth.dialog.net.pl>
References: <b244do$1vj$1@absinth.dialog.net.pl> <b2454i$1qu$1@atlantis.news.tpi.pl>
<b245jp$4n5$1@atlantis.news.tpi.pl> <b247is$6sr$1@okapi.ict.pwr.wroc.pl>
<b2485j$562$1@absinth.dialog.net.pl> <b25op3$97h$1@okapi.ict.pwr.wroc.pl>
<m...@p...ninka.net> <b26nbf$pld$1@atlantis.news.tpi.pl>
<m...@p...ninka.net> <b28pau$rus$1@inews.gazeta.pl>
NNTP-Posting-Host: dial-4270.wroclaw.dialog.net.pl
X-Trace: absinth.dialog.net.pl 1044905807 20517 62.87.142.174 (10 Feb 2003 19:36:47
GMT)
X-Complaints-To: http://www.dialog.pl/dialog/internet/internet.php?id=41
NNTP-Posting-Date: Mon, 10 Feb 2003 19:36:47 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2600.0000
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000
Xref: news-archive.icm.edu.pl pl.praca.dyskusje:72415
[ ukryj nagłówki ]
" leszek" <s...@N...gazeta.pl> wrote in message
news:b28pau$rus$1@inews.gazeta.pl...

> To brzmi bardzo ładnie, ale jak zamierzasz udodnić matematycznie
poprawnośc
> programu liczącego 100 tysięcy linii kodu - mniejszych nie warto pisać.
> Dowieść można i nalezy poprawności działania algorytmu, a nie programu.

Skąd wzięła Ci się liczba 100000 linii kodu w kontekście oprogramowania dla
aparatury szpitalnej tudzież sondy kosmicznej? Czy słyszałeś może o theorem
proverach?

Tomek Z.