eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.pl › Grupy › pl.comp.programming › Niezmienniki pętli › Re: Niezmienniki pętli
« poprzedni post
następny post »
  • X-Received: by 2002:a37:a2ca:: with SMTP id l193mr68320qke.2.1542408924690; Fri, 16
    Nov 2018 14:55:24 -0800 (PST)
    X-Received: by 2002:a37:a2ca:: with SMTP id l193mr68320qke.2.1542408924690; Fri, 16
    Nov 2018 14:55:24 -0800 (PST)
    Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!feeder.erje.net
    !2.eu.feeder.erje.net!proxad.net!feeder1-2.proxad.net!209.85.166.216.MISMATCH!g
    188-v6no910173itg.0!news-out.google.com!t123-v6ni570itb.0!nntp.google.com!g188-
    v6no910168itg.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-
    mail
    Newsgroups: pl.comp.programming
    Date: Fri, 16 Nov 2018 14:55:24 -0800 (PST)
    In-Reply-To: <7...@g...com>
    Complaints-To: g...@g...com
    Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=213.108.152.51;
    posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
    NNTP-Posting-Host: 213.108.152.51
    References: <8...@g...com>
    <7...@g...com>
    User-Agent: G2/1.0
    MIME-Version: 1.0
    Message-ID: <d...@g...com>
    Subject: Re: Niezmienniki pętli
    From: Maciej Sobczak <s...@g...com>
    Injection-Date: Fri, 16 Nov 2018 22:55:24 +0000
    Content-Type: text/plain; charset="UTF-8"
    Content-Transfer-Encoding: quoted-printable
    Xref: news-archive.icm.edu.pl pl.comp.programming:212916
    [ ukryj nagłówki ]

    > (Ale też jeśli mam wybór, wolę myśleć w oparciu o równania rekurencyjne,
    > niż imperatywne pętle)

    Spotkałem się z opinią (i się z nią zgadzam), że wtedy rolę niezmienników pełnią pre-
    i post-conditions w tych rekurencyjnych funkcjach. Pytanie, któro z nich jest łatwiej
    wyrazić. I nadal, czy się to stosuje.

    --
    Maciej Sobczak * http://www.inspirel.com

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj

« poprzedni post
następny post »

Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Grupy

Szukaj w grupach

Polecamy

Artykuły promowane

newsletter rss

Eksperci egospodarka.pl

1 1 1

Najnowsze w serwisie

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: