-
Data: 2010-08-18 06:36:38
Temat: Re: jedno proste pytanie
Od: shio <s...@b...eu.org> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]
On Tue, 17 Aug 2010, Maciej Sobczak wrote:
>
> http://en.wikipedia.org/wiki/Partial_correctness
>
> Czesciowa poprawnosc oznacza, ze JESLI program w ogole da jakies
> wyniki, to beda one poprawne. W szczegolnosci czesciowa poprawnosc nie
> chroni przed zapetleniem sie.
ale program zapetlony nigdy nie zwroci wyniku, z czego wynika ze nie moze
byc poprawny
Następne wpisy z tego wątku
- 18.08.10 07:03 Michał Sopniewski
- 18.08.10 07:30 Maciej Sobczak
- 18.08.10 08:03 shio
Najnowsze wątki z tej grupy
- NOWY: 2025-09-29 Alg., Strukt. Danych i Tech. Prog. - komentarz.pdf
- Na grupie comp.os.linux.advocacy CrudeSausage twierdzi, że Micro$lop używa SI do szyfrowania formatu dok. XML
- Błąd w Sofcie Powodem Wymiany 3 Duńskich Fregat Typu Iver Huitfeldt
- Grok zaczął nadużywać wulgaryzmów i wprost obrażać niektóre znane osoby
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
Najnowsze wątki
- 2025-11-21 Jakie baterie A23 i LR44?
- 2025-11-21 jesienne paragony grozy
- 2025-11-21 Affinity Studio za darmo
- 2025-11-20 OLED SSD1306 - degradacja?
- 2025-11-20 Rzeszów => International Freight Forwarder <=
- 2025-11-20 Warszawa => Senior IT Recruitment Consultant <=
- 2025-11-20 Warszawa => Konsultant Microsoft Dynamics AX/365 SCM Consultant - Serv
- 2025-11-20 Warszawa => Programista Dynamics 365 Commerce/POS <=
- 2025-11-20 Warszawa => Konsultant ERP Microsoft Dynamics 365 Commerce <=
- 2025-11-20 Kraków => Production Coordinator / Representant Product Dev <=
- 2025-11-20 Warszawa => Senior Frontend Developer (React + React Native) <=
- 2025-11-20 Warszawa => Microsoft Dynamics 365 Finance Consultant <=
- 2025-11-20 Bieruń => Junior Dynamics 365 Finance Consultant <=
- 2025-11-20 Bieruń => Tester Automatyzujący (Junior/Mid) <=
- 2025-11-20 rejestrować blog/kanał yt jako prasa
![Ile kosztują tanie mieszkania w polskich metropoliach? [© pixabay.com]](https://s3.egospodarka.pl/grafika2/ceny-mieszkan/Ile-kosztuja-tanie-mieszkania-w-polskich-metropoliach-268765-50x33crop.jpg "Ile kosztują tanie mieszkania w polskich metropoliach? [© pixabay.com]")
Ile kosztują tanie mieszkania w polskich metropoliach?
