-
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
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 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
Najnowsze wątki
- 2025-01-04 gasik
- 2025-01-04 13. Raport Totaliztyczny: Powszechna Deklaracja Praw Człowieka Nie Chroni Przed Wyzyskiem Ani Przed Eksploatacją
- 2025-01-04 Zbieranie danych przez www
- 2025-01-04 reverse engineering i dodawanie elementów do istniejących zamkniętych produktów- legalne?
- 2025-01-04 w Nowym Roku 2025r
- 2025-01-04 Warszawa => Specjalista ds. IT - II Linia Wsparcia <=
- 2025-01-04 Warszawa => Java Developer <=
- 2025-01-04 Warszawa => Spedytor Międzynarodowy <=
- 2025-01-04 Warszawa => System Architect (Java background) <=
- 2025-01-04 Wrocław => Application Security Engineer <=
- 2025-01-04 Chrzanów => Specjalista ds. public relations <=
- 2025-01-04 Katowice => Key Account Manager (ERP) <=
- 2025-01-03 Problem z odczytem karty CF
- 2025-01-03 Jazda z Warszawy do Krakowa teslą
- 2025-01-03 Wrocław => Konsultant Wdrożeniowy Comarch XL/Optima (Księgowość i