Mam takie pytanie: Jakie znaczenie ma teoria punktów stałych w definiowaniu semantyki denotacyjnej dla instrukcji while?
Z gory dziekuje za odpowiedz