2008. 06. 11. Elméleti kérdések

Ez az oldal a korábbi SCH wikiről lett áthozva.

Ha úgy érzed, hogy bármilyen formázási vagy tartalmi probléma van vele, akkor, kérlek, javíts rajta egy rövid szerkesztéssel!

Ha nem tudod, hogyan indulj el, olvasd el a migrálási útmutatót.

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.
(vagy a szemantika kell?)
Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle \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) }

Ezen a helyen volt linkelve a puq.GIF nevű kép a régi wiki ezen oldaláról. (Kérlek hozd át ezt a képet ide, különben idővel el fog tűnni a régi wikivel együtt)

Adatfolyamháló csatorna kapacitása, kapacitáskorlát, van-e értelmezve állapot a csatornán, és ha igen, mi az?

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. -- dög - 2008.06.24.