Stosy - struktura algebraiczna: Różnice pomiędzy wersjami

Z Lem
Skocz do: nawigacji, wyszukiwania
(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>
, której uniwersum jest sumą dwu rozłącznych zbiorów E i S, z działaniami<br />
+
<br /> której uniwersum jest sumą dwu rozłącznych zbiorów <math>E</math> i <math>S</math>, z działaniami<br />
w: E x S -> S <br />
+
<math>w\colon E \times S \rightarrow S </math><br />
u: S -> S <br />
+
<math>u\colon S \rightarrow S </math><br />
p: S -> E <br />
+
<math>p\colon S \rightarrow E </math><br />
e: S -> {true, false}<br />
+
<math>e\colon S \rightarrow {true, false}</math><br />
=: E x E -> {true, false} <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