Unknown user: Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModVizsga20080611}} ==Izomorf és homomorf gráfillesztés fogalma== Könyv 285:) Izomorf gráfillesztésnél G transzformáció minde…”

2012-10-21T19:58:14Z

Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModVizsga20080611}} ==Izomorf és homomorf gráfillesztés fogalma== Könyv 285:) Izomorf gráfillesztésnél G transzformáció minde…”

Új lap

{{GlobalTemplate|Infoalap|FormModVizsga20080611}}

==Izomorf és homomorf gráfillesztés fogalma==

Könyv 285:)

Izomorf gráfillesztésnél G transzformáció minden csúcsa M modell különböző csúcsához illeszkedik.

==p until q formális és grafikus definíciója==

Könyv (nem form.) def: p U q: p amíg q, egy jövőbeli állapotban igaz lesz q, addig minden állapotban igaz p.<br />
(vagy a szemantika kell?)<br />
<math> \pi \models (pUq) \quad\text{a.cs.a.}\quad \exists j: (\pi^j \models q \quad\text{valamint}\quad \forall k<j:\pi^k \models p) </math>

{{InLineImageLink|Infoalap|FormModVizsga20080611|puq.GIF}}

==Adatfolyamháló csatorna kapacitása, kapacitáskorlát, van-e értelmezve állapot a csatornán, és ha igen, mi az? <br />==
Az adatfolyamcsatorna egy végtelen kapacitású FIFO csatorna. Van értelmezve állapot, és ezt a tokeneloszlás szekvenciája adja meg.

-- [[SiposGergely]] - 2008.06.19.
-- [[EszenyiViktor|dög]] - 2008.06.24.

[[Category:Infoalap]]

2008. 06. 11. Elméleti kérdések - Laptörténet

Unknown user: Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModVizsga20080611}} ==Izomorf és homomorf gráfillesztés fogalma== Könyv 285:) Izomorf gráfillesztésnél G transzformáció minde…”