Stosy - struktura algebraiczna: Różnice pomiędzy wersjami
Z Lem
(Utworzono nową stronę "Stosy to struktura algebraiczna znajdująca wiele zastosowań w informatyce.<br /> '''Definicja'''<br /> Struktura algebraiczna <math>A = \langle E \cup S; w, u, p, e, =...") |
|||
| Linia 1: | Linia 1: | ||
Stosy to struktura algebraiczna znajdująca wiele zastosowań w informatyce.<br /> | Stosy to struktura algebraiczna znajdująca wiele zastosowań w informatyce.<br /> | ||
'''Definicja'''<br /> | '''Definicja'''<br /> | ||
| − | Struktura algebraiczna | + | Struktura algebraiczna<br /> |
<math>A = \langle E \cup S; w, u, p, e, =\rangle </math> | <math>A = \langle E \cup S; w, u, p, e, =\rangle </math> | ||
| − | + | <br /> której uniwersum jest sumą dwu rozłącznych zbiorów <math>E</math> i <math>S</math>, z działaniami<br /> | |
| − | w | + | <math>w\colon E \times S \rightarrow S </math><br /> |
| − | u | + | <math>u\colon S \rightarrow S </math><br /> |
| − | p | + | <math>p\colon S \rightarrow E </math><br /> |
| − | e | + | <math>e\colon S \rightarrow {true, false}</math><br /> |
| − | = | + | <math>=_E \colon E \times E \rightarrow {true, false} </math><br /> |
spełniającymi następujący zbiór aksjomatów <br /> | spełniającymi następujący zbiór aksjomatów <br /> | ||
Wersja z 08:59, 12 mar 2017
Stosy to struktura algebraiczna znajdująca wiele zastosowań w informatyce.
Definicja
Struktura algebraiczna
[math]A = \langle E \cup S; w, u, p, e, =\rangle [/math]
której uniwersum jest sumą dwu rozłącznych zbiorów [math]E[/math] i [math]S[/math], z działaniami
[math]w\colon E \times S \rightarrow S [/math]
[math]u\colon S \rightarrow S [/math]
[math]p\colon S \rightarrow E [/math]
[math]e\colon S \rightarrow {true, false}[/math]
[math]=_E \colon E \times E \rightarrow {true, false} [/math]
spełniającymi następujący zbiór aksjomatów
