-
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed2.atman.pl!newsfeed.
atman.pl!news.chmurka.net!.POSTED!not-for-mail
From: Andrzej Jarzabek <a...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: Liczby losowe
Date: Wed, 02 Jul 2014 20:27:31 +0100
Organization: news.chmurka.net
Lines: 12
Message-ID: <lp1mdn$pjl$1@srv.chmurka.net>
References: <53b45bdb$0$2241$65785112@news.neostrada.pl>
NNTP-Posting-Host: 94.9.229.250
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: srv.chmurka.net 1404329207 26229 94.9.229.250 (2 Jul 2014 19:26:47 GMT)
X-Complaints-To: abuse-news.(at).chmurka.net
NNTP-Posting-Date: Wed, 2 Jul 2014 19:26:47 +0000 (UTC)
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:24.0) Gecko/20100101
Thunderbird/24.6.0
In-Reply-To: <53b45bdb$0$2241$65785112@news.neostrada.pl>
X-Authenticated-User: ajarzabek
Xref: news-archive.icm.edu.pl pl.comp.programming:206122
[ ukryj nagłówki ]On 02/07/2014 20:22, slawek wrote:
> Problem jest natury rozrywkowej.
>
> Zadanie brzmi: "napisać program, który wypisuje 1000 liczb losowych".
> Rozwiązanie jest dokładnie takie:
>
> for n in range(0,1000):
> print("42");
>
> I teraz pytanie: jak udowodnić, że te liczby NIE są losowe?
Analizując źródło z zatosowaniem zaawansowanych metod formalnych.
Następne wpisy z tego wątku
- 02.07.14 22:04 slawek
- 03.07.14 11:29 XJL
- 03.07.14 14:30 slawek
- 03.07.14 16:11 A.L.
- 03.07.14 16:12 IDKrzych
- 03.07.14 16:15 Stachu 'Dozzie' K.
- 03.07.14 18:03 IDKrzych
- 03.07.14 19:33 Stachu 'Dozzie' K.
- 03.07.14 20:04 IDKrzych
- 03.07.14 21:57 Andrzej Jarzabek
- 03.07.14 23:10 A.L.
- 04.07.14 02:27 bartekltg
- 04.07.14 03:48 A.L.
- 04.07.14 09:27 slawek
- 04.07.14 09:32 slawek
Najnowsze wątki z tej grupy
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
Najnowsze wątki
- 2024-11-29 Dławik CM
- 2024-11-29 [OT] Lewe oprogramowanie
- 2024-11-29 Błonie => Sales Specialist <=
- 2024-11-29 Warszawa => IT Expert (Network Systems area) <=
- 2024-11-29 Warszawa => Ekspert IT (obszar systemów sieciowych) <=
- 2024-11-29 Warszawa => Head of International Freight Forwarding Department <=
- 2024-11-29 Białystok => Inżynier Serwisu Sprzętu Medycznego <=
- 2024-11-29 Pómpy ciepła darmo rozdajoo
- 2024-11-29 Białystok => Application Security Engineer <=
- 2024-11-29 Białystok => Programista Full Stack (.Net Core) <=
- 2024-11-29 Gdańsk => Software .Net Developer <=
- 2024-11-29 Wrocław => Key Account Manager <=
- 2024-11-29 Gdańsk => Specjalista ds. Sprzedaży <=
- 2024-11-29 Chrzanów => Specjalista ds. public relations <=
- 2024-11-27 Re: UseGalileo -- PRODUKTY I APLIKACJE UŻYWAJĄ JUŻ DZIŚ SYSTEMU GALILEO