Przetłumacz następujące zdania

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
józef92
Użytkownik
Użytkownik
Posty: 660
Rejestracja: 13 gru 2008, o 21:01
Płeć: Mężczyzna
Lokalizacja: Bolesławiec
Podziękował: 263 razy
Pomógł: 3 razy

Przetłumacz następujące zdania

Post autor: józef92 » 3 wrz 2011, o 15:01

Przetłumacz następujące zdania, które mają zastosowanie w strukturze stosów ( nie koniecznie prawdziwe ).

a) \(\displaystyle{ \neg empty(s) \Rightarrow push(pop(s),e)=pop(push(s,e))}\)

Jeżeli stos nie jest pusty ( znajdują się elementy w zbiorze S ), wtedy odłożony na stos, wcześniej zdjęty element jest równo ściągniętemu ze stosu elementowi wcześniej na niego odłożonemu.

b) \(\displaystyle{ \neg empty(s) \Rightarrow push(pop(s), top(s))=pop(push(s,top(s)))}\)

Jeżeli stos nie jest pusty ( znajdują się elementy w zbiorze S ), wtedy odłożony na stos element, wcześniej zdjęty z jego szczytu, jest równy elementowi zdjętemu, który wcześniej został odłożony na szczyt.

Dobrze?

kkk
Użytkownik
Użytkownik
Posty: 578
Rejestracja: 2 paź 2007, o 19:48
Płeć: Mężczyzna
Lokalizacja: ww
Podziękował: 59 razy
Pomógł: 35 razy

Przetłumacz następujące zdania

Post autor: kkk » 5 wrz 2011, o 23:07

Wygląda, że w porządku, ale lepiej niech ktoś bardziej doświadczony się jeszcze odezwie

ODPOWIEDZ