-
Data: 2003-02-10 23:16:05
Temat: Re: jaka praca najlepsza dla informatyka ???
Od: flyer <f...@g...pl> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]Tomek Zielinski napisał:
> Matematycznie. Począwszy od dowodu poprawności specyfikacji języka
> programowania. Kto miał okazję dowodzić poprawność choćby while'a, ten wie,
> o czym mowa.
Rozumiem, ze chodzi o polecenie - ja nie wiem o czym mowa, ale polecenie
znam i uzywalem ;). No niestety tu wychodzi moje heurystyczne
nastawienie do rzeczywistosci tudziez nieuctwo - wolalem metody
"burdelowe" tj. analize logiczna algorytmu i testowanie, testowanie itd.
Ale usprawiedliwiam sie brakiem czasu - wiekszosc rzeczy sam musialem
zaprojektowac i czesc samemu wdrozyc - ale potrzebe systemu sledzacego
zmiany i wszystkie zmienne widzialem.
> Zgaduję, że algorytmy te korzystały z if'a i for'a. Zapewne nie
> przeprowadzałeś formalnego dowodu zgodności założeń tych instrukcji z ich
> rzeczywistym działaniem, aczkolwiek w krytycznych zastosowaniach właśnie od
> tego się wychodzi a dalej podąża równie starannie.
Wybacz malemu nieukowi ;). Przyznaje, ze juz po wyslaniu swojego postu
uznalem, ze jestem za cienki na takie rozmowy i wyslanie w/w bylo raczej
wyrazem mojej checi "do zaistnienia". Jezeli chodzi o to czy cos
przeprowadzalem, to owszem - j.w., ale nie bawilem sie w naukowa notacje
- robilem najgorsza z mozliwych rzeczy - kontrolowalem logicznie we
wlasnej glowie i rachunkowo na papierze tudziez testujac "nieformalnie".
Wiekszosc bledow, jakie udalo mi sie popelnic (a nie bylo ich duzo)
wynikala z klopotow komunikacyjnych pomiedzy mna a zainteresowanymi,
choc meczylem ich ile sie dalo :) - znaczy sie, liczylo poprawnie, ale
nie tak jak w glebi swoich pokretnych mysli ;) wyobrazali sobie
uzytkownicy.
Flyer
Następne wpisy z tego wątku
- 10.02.03 23:16 flyer
- 10.02.03 23:59 Nina M. Miller
- 11.02.03 00:01 Nina M. Miller
- 11.02.03 00:03 Nina M. Miller
- 12.02.03 09:22 MerlinXP
- 12.02.03 11:52 leszek
Najnowsze wątki z tej grupy
- Jakie znacie działające serwery grup dyskusyjnych?
- is it live this group at news.icm.edu.pl
- praca 12/24
- 5 minut przerwy przy komputerze
- raczej już nigdy nie będę pracował w Polsce
- Stanowiska sztucznie tworzone
- Re: SOLUTIONS MANUAL: Optical Properties of Solids 2nd Ed by Mark Fox
- zapłata
- Re: Cwana cwaniurka czyli niemieccy oszuści.
- Re: Cwana cwaniurka czyli niemieccy oszuści.
- Jawność zarobków wszystkich
- rozmówki przy wódeczce...
- herbatka...
- Re: POSZUKUJĘ NIEWIELKIEJ POŻYCZKI
- Uploads - What is wrong with Easynews
Najnowsze wątki
- 2024-06-11 Warszawa => Senior React Native Developer <=
- 2024-06-11 Gdańsk => Kierownik Działu Spedycji Międzynarodowej <=
- 2024-06-11 Kraków => Spedytor międzynarodowy <=
- 2024-06-11 Szczecin => Senior React Native Developer <=
- 2024-06-11 Częstochowa => Specjalista ds. Marketingu (E-Commerce) <=
- 2024-06-11 Wrocław => Key Account Manager <=
- 2024-06-11 Białystok => ERP Implementer <=
- 2024-06-11 Wrocław => Frontend Developer (React) <=
- 2024-06-11 Zielona Góra => Inżynier R&D Energoelektronik <=
- 2024-06-11 Zielona Góra => Engineer R&D Energy Electronics <=
- 2024-06-10 Kraków => Head of International Freight Forwarding Department <=
- 2024-06-10 Berlin => IT Network Engineer <=
- 2024-06-10 Warszawa => Junior New Business Development Manager <=
- 2024-06-10 Warszawa => Senior React Native Developer <=
- 2024-06-10 Gdańsk => Specjalista ds. Sprzedaży <=