Benutzerbeiträge
Aus Byte-Welt Wiki
Zur Navigation springenZur Suche springen(neueste | älteste) Zeige (nächste 50 | vorherige 50) (20 | 50 | 100 | 250 | 500)
- 03:52, 25. Mär. 2008 (Unterschied | Versionen) (+176 Bytes) DFA (deterministischer endlicher Automat)
- 03:50, 25. Mär. 2008 (Unterschied | Versionen) (+44 Bytes) N NFA (nichtdeterministischer endlicher Automat) (Die Seite wurde neu angelegt: Kategorie:Automaten und formale Sprachen)
- 03:48, 25. Mär. 2008 (Unterschied | Versionen) (+44 Bytes) N DFA (deterministischer endlicher Automat) (Die Seite wurde neu angelegt: Kategorie:Automaten und formale Sprachen)
- 03:44, 25. Mär. 2008 (Unterschied | Versionen) (+7 Bytes) Reguläre Sprachen
- 03:43, 25. Mär. 2008 (Unterschied | Versionen) (+46 Bytes) Reguläre Sprachen
- 03:39, 25. Mär. 2008 (Unterschied | Versionen) (0 Bytes) Reguläre Sprachen
- 03:38, 25. Mär. 2008 (Unterschied | Versionen) (+175 Bytes) Reguläre Sprachen
- 03:18, 25. Mär. 2008 (Unterschied | Versionen) (-4 Bytes) Reguläre Sprachen
- 03:15, 25. Mär. 2008 (Unterschied | Versionen) (+4 Bytes) Reguläre Sprachen
- 03:12, 25. Mär. 2008 (Unterschied | Versionen) (+35 Bytes) Reguläre Sprachen
- 21:29, 24. Mär. 2008 (Unterschied | Versionen) (+124 Bytes) Grammatiken
- 21:22, 24. Mär. 2008 (Unterschied | Versionen) (+21 Bytes) Grammatiken
- 21:17, 24. Mär. 2008 (Unterschied | Versionen) (+75 Bytes) Grammatiken
- 20:36, 24. Mär. 2008 (Unterschied | Versionen) (+1 Byte) Grammatiken
- 20:33, 24. Mär. 2008 (Unterschied | Versionen) (+109 Bytes) Grammatiken
- 20:30, 24. Mär. 2008 (Unterschied | Versionen) (+4 Bytes) Grammatiken
- 20:30, 24. Mär. 2008 (Unterschied | Versionen) (+130 Bytes) Grammatiken
- 20:11, 24. Mär. 2008 (Unterschied | Versionen) (+140 Bytes) Grammatiken
- 18:47, 24. Mär. 2008 (Unterschied | Versionen) (+12 Bytes) Grammatiken
- 18:46, 24. Mär. 2008 (Unterschied | Versionen) (+21 Bytes) Grammatiken
- 12:18, 24. Mär. 2008 (Unterschied | Versionen) (+125 Bytes) Reguläre Sprachen
- 12:15, 24. Mär. 2008 (Unterschied | Versionen) (+46 Bytes) Reguläre Sprachen (Automaten und formale Sprachen)
- 12:14, 24. Mär. 2008 (Unterschied | Versionen) (+25 Bytes) N Reguläre Sprachen (Automaten und formale Sprachen)
- 12:02, 24. Mär. 2008 (Unterschied | Versionen) (+37 Bytes) N Kategorie:Automaten und formale Sprachen (Die Seite wurde neu angelegt: Kategorie:Theoretische_Informatik)
- 13:16, 31. Jul. 2007 (Unterschied | Versionen) (+233 Bytes) Aussagenlogik (aktuell)
- 19:24, 27. Jul. 2007 (Unterschied | Versionen) (+1 Byte) Syntax und Semantik (→Erfüllbarkeit, Gültigkeit)
- 14:34, 27. Jul. 2007 (Unterschied | Versionen) (-1 Byte) Syntax und Semantik (→Erfüllbarkeit, Gültigkeit)
- 13:42, 27. Jul. 2007 (Unterschied | Versionen) (+15 Bytes) Ableitbarkeit (aktuell)
- 13:38, 27. Jul. 2007 (Unterschied | Versionen) (+945 Bytes) Ableitbarkeit
- 09:43, 27. Jul. 2007 (Unterschied | Versionen) (+776 Bytes) N Ableitbarkeit (Die Seite wurde neu angelegt: ='''Ableitbarkeit'''= <b>Ableiten mit Abtrennungsregel</b><br/> Aus Ausdrücken der Form <math>\ H , (H \rightarrow H^* )</math> ist <math>\ H^*\ </math> ableitbar.<...)
- 08:29, 27. Jul. 2007 (Unterschied | Versionen) (+3 Bytes) Syntax und Semantik (→Semantik)
- 06:57, 27. Jul. 2007 (Unterschied | Versionen) (+33 Bytes) Syntax und Semantik (→Syntax)
- 06:50, 27. Jul. 2007 (Unterschied | Versionen) (+16 Bytes) Syntax und Semantik (→Syntax)
- 06:46, 27. Jul. 2007 (Unterschied | Versionen) (0 Bytes) Syntax und Semantik (→Semantik)
- 06:36, 27. Jul. 2007 (Unterschied | Versionen) (+909 Bytes) Syntax und Semantik (→Semantik)
- 05:55, 27. Jul. 2007 (Unterschied | Versionen) (+814 Bytes) Syntax und Semantik
- 05:24, 27. Jul. 2007 (Unterschied | Versionen) (+154 Bytes) N Benutzer:SeannWilliamScott (Die Seite wurde neu angelegt: Aussagenlogik *Syntax und Semantik *Folgern Automatentheorie Softwareentwicklungskonzepte Protokolle *OSI-7-Schichtenmodell *Aufbau von Protokollen) (aktuell)
- 22:19, 26. Jul. 2007 (Unterschied | Versionen) (+1.070 Bytes) N Syntax und Semantik (Die Seite wurde neu angelegt: ='''Syntax und Semantik im Aussagenkalkül'''= =Syntax= =Semantik= ===Erfüllbarkeit, Gültigkeit=== Sei <math>\beta \in \mathfrak{B}</math> und <math>H \in ausd...)
- 21:34, 26. Jul. 2007 (Unterschied | Versionen) (-1 Byte) Folgern
- 21:33, 26. Jul. 2007 (Unterschied | Versionen) (0 Bytes) Folgern
- 21:33, 26. Jul. 2007 (Unterschied | Versionen) (-3 Bytes) Folgern
- 21:31, 26. Jul. 2007 (Unterschied | Versionen) (+4 Bytes) Folgern
- 21:31, 26. Jul. 2007 (Unterschied | Versionen) (-3 Bytes) Folgern
- 21:30, 26. Jul. 2007 (Unterschied | Versionen) (+1 Byte) Folgern
- 21:30, 26. Jul. 2007 (Unterschied | Versionen) (+3 Bytes) Folgern
- 20:54, 26. Jul. 2007 (Unterschied | Versionen) (-2 Bytes) Folgern
- 20:51, 26. Jul. 2007 (Unterschied | Versionen) (+721 Bytes) N Folgern (Die Seite wurde neu angelegt: ='''Folgern im Aussagenkalkül'''= Es sei<math> X \subseteq ausd\ </math> * Eine Belegung <math>\beta</math> heißt Modell von<math> X \subseteq ausd\ ( \beta Mod X )...)
- 18:56, 26. Jul. 2007 (Unterschied | Versionen) (+37 Bytes) N Kategorie:Automatentheorie (Die Seite wurde neu angelegt: Kategorie:Theoretische_Informatik) (aktuell)
- 18:53, 26. Jul. 2007 (Unterschied | Versionen) (+37 Bytes) N Kategorie:Aussagenlogik (Die Seite wurde neu angelegt: Kategorie:Theoretische_Informatik) (aktuell)
- 18:45, 26. Jul. 2007 (Unterschied | Versionen) (+37 Bytes) N Aussagenlogik (Die Seite wurde neu angelegt: Kategorie:Theoretische_Informatik)
(neueste | älteste) Zeige (nächste 50 | vorherige 50) (20 | 50 | 100 | 250 | 500)
