Path: csiph.com!aioe.org!.POSTED!not-for-mail From: AK Newsgroups: pl.comp.programming Subject: =?UTF-8?Q?Re:_Niezmienniki_p=c4=99tli?= Date: Fri, 16 Nov 2018 17:18:42 +0100 Organization: Aioe.org NNTP Server Lines: 16 Message-ID: References: <8a836d02-2281-4fe5-9192-ab1f127a163d@googlegroups.com> <2e7589ed-bbb3-4ee4-b687-a5aaa4c90902@trust.no1> NNTP-Posting-Host: 8qtlLyVN3OnGA+76ZQ/E1Q.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-2; format=flowed Content-Transfer-Encoding: 8bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 X-Notice: Filtered by postfilter v. 0.8.3 Content-Language: en-GB Xref: csiph.com pl.comp.programming:31994 On 2018-11-16 16:22, Queequeg wrote: > Maciej Sobczak wrote: > >> - wiem i używam albo pamiętam, że mogę, >> - słyszałem i ignoruję, >> - nie rozumiem pytania[*]. >> >> [*] https://en.wikipedia.org/wiki/Loop_invariant > > Nie słyszałem, teraz się dowiedziałem. Nigdy nie używałem. Identycznie. No... prawie. "Widzialem" invariaty w Eifflu, ale w tym kontekscie nie/nie mialem pojecia, ze tak mozna i ze to cos daje. AK