A(z) „Temporális logika” laptörténete

Ugrás a navigációhoz Ugrás a kereséshez

Eltérések kijelölése: jelöld ki az összehasonlítandó változatokat, majd nyomd meg az Enter billentyűt, vagy az alul lévő gombot.
Jelmagyarázat: (akt) = eltérés az aktuális változattól, (előző) = eltérés az előző változattól, a = apró szerkesztés

  • aktelőző 2012. október 21., 20:58 vitalap 8 520 bájt +8 520 Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModVizsgaTempLog}} %TOC{depth="3"}% ==Elmélet== ===LTL=== '''PLTL (Propositional Linear Time Temporal Logic)''' * Atomi kijelentések (…”