Beiträge von Benutzer „SeannWilliamScott“

25. März 2008

• 03:4803:48, 25. Mär. 2008 Unterschied Versionen +44 N DFA (deterministischer endlicher Automat) Die Seite wurde neu angelegt: Kategorie:Automaten und formale Sprachen
• 03:4403:44, 25. Mär. 2008 Unterschied Versionen +7 Reguläre Sprachen Keine Bearbeitungszusammenfassung
• 03:4303:43, 25. Mär. 2008 Unterschied Versionen +46 Reguläre Sprachen Keine Bearbeitungszusammenfassung
• 03:3903:39, 25. Mär. 2008 Unterschied Versionen 0 Reguläre Sprachen Keine Bearbeitungszusammenfassung
• 03:3803:38, 25. Mär. 2008 Unterschied Versionen +175 Reguläre Sprachen Keine Bearbeitungszusammenfassung
• 03:1803:18, 25. Mär. 2008 Unterschied Versionen −4 Reguläre Sprachen Keine Bearbeitungszusammenfassung
• 03:1503:15, 25. Mär. 2008 Unterschied Versionen +4 Reguläre Sprachen Keine Bearbeitungszusammenfassung
• 03:1203:12, 25. Mär. 2008 Unterschied Versionen +35 Reguläre Sprachen Keine Bearbeitungszusammenfassung

24. März 2008

• 21:2921:29, 24. Mär. 2008 Unterschied Versionen +124 Grammatiken Keine Bearbeitungszusammenfassung
• 21:2221:22, 24. Mär. 2008 Unterschied Versionen +21 Grammatiken Keine Bearbeitungszusammenfassung
• 21:1721:17, 24. Mär. 2008 Unterschied Versionen +75 Grammatiken Keine Bearbeitungszusammenfassung
• 20:3620:36, 24. Mär. 2008 Unterschied Versionen +1 Grammatiken Keine Bearbeitungszusammenfassung
• 20:3320:33, 24. Mär. 2008 Unterschied Versionen +109 Grammatiken Keine Bearbeitungszusammenfassung
• 20:3020:30, 24. Mär. 2008 Unterschied Versionen +4 Grammatiken Keine Bearbeitungszusammenfassung
• 20:3020:30, 24. Mär. 2008 Unterschied Versionen +130 Grammatiken Keine Bearbeitungszusammenfassung
• 20:1120:11, 24. Mär. 2008 Unterschied Versionen +140 Grammatiken Keine Bearbeitungszusammenfassung
• 18:4718:47, 24. Mär. 2008 Unterschied Versionen +12 Grammatiken Keine Bearbeitungszusammenfassung
• 18:4618:46, 24. Mär. 2008 Unterschied Versionen +21 Grammatiken Keine Bearbeitungszusammenfassung
• 12:1812:18, 24. Mär. 2008 Unterschied Versionen +125 Reguläre Sprachen Keine Bearbeitungszusammenfassung
• 12:1512:15, 24. Mär. 2008 Unterschied Versionen +46 Reguläre Sprachen Automaten und formale Sprachen
• 12:1412:14, 24. Mär. 2008 Unterschied Versionen +25 N Reguläre Sprachen Automaten und formale Sprachen
• 12:0212:02, 24. Mär. 2008 Unterschied Versionen +37 N Kategorie:Automaten und formale Sprachen Die Seite wurde neu angelegt: Kategorie:Theoretische_Informatik

31. Juli 2007

• 13:1613:16, 31. Jul. 2007 Unterschied Versionen +233 Aussagenlogik Keine Bearbeitungszusammenfassung aktuell

27. Juli 2007

• 19:2419:24, 27. Jul. 2007 Unterschied Versionen +1 Syntax und Semantik →Erfüllbarkeit, Gültigkeit
• 14:3414:34, 27. Jul. 2007 Unterschied Versionen −1 Syntax und Semantik →Erfüllbarkeit, Gültigkeit
• 13:4213:42, 27. Jul. 2007 Unterschied Versionen +15 Ableitbarkeit Keine Bearbeitungszusammenfassung aktuell
• 13:3813:38, 27. Jul. 2007 Unterschied Versionen +945 Ableitbarkeit Keine Bearbeitungszusammenfassung
• 09:4309:43, 27. Jul. 2007 Unterschied Versionen +776 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:2908:29, 27. Jul. 2007 Unterschied Versionen +3 Syntax und Semantik →Semantik
• 06:5706:57, 27. Jul. 2007 Unterschied Versionen +33 Syntax und Semantik →Syntax
• 06:5006:50, 27. Jul. 2007 Unterschied Versionen +16 Syntax und Semantik →Syntax
• 06:4606:46, 27. Jul. 2007 Unterschied Versionen 0 Syntax und Semantik →Semantik
• 06:3606:36, 27. Jul. 2007 Unterschied Versionen +909 Syntax und Semantik →Semantik
• 05:5505:55, 27. Jul. 2007 Unterschied Versionen +814 Syntax und Semantik Keine Bearbeitungszusammenfassung
• 05:2405:24, 27. Jul. 2007 Unterschied Versionen +154 N Benutzer:SeannWilliamScott Die Seite wurde neu angelegt: Aussagenlogik *Syntax und Semantik *Folgern Automatentheorie Softwareentwicklungskonzepte Protokolle *OSI-7-Schichtenmodell *Aufbau von Protokollen aktuell

26. Juli 2007

• 22:1922:19, 26. Jul. 2007 Unterschied Versionen +1.070 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:3421:34, 26. Jul. 2007 Unterschied Versionen −1 Folgern Keine Bearbeitungszusammenfassung
• 21:3321:33, 26. Jul. 2007 Unterschied Versionen 0 Folgern Keine Bearbeitungszusammenfassung
• 21:3321:33, 26. Jul. 2007 Unterschied Versionen −3 Folgern Keine Bearbeitungszusammenfassung
• 21:3121:31, 26. Jul. 2007 Unterschied Versionen +4 Folgern Keine Bearbeitungszusammenfassung
• 21:3121:31, 26. Jul. 2007 Unterschied Versionen −3 Folgern Keine Bearbeitungszusammenfassung
• 21:3021:30, 26. Jul. 2007 Unterschied Versionen +1 Folgern Keine Bearbeitungszusammenfassung
• 21:3021:30, 26. Jul. 2007 Unterschied Versionen +3 Folgern Keine Bearbeitungszusammenfassung
• 20:5420:54, 26. Jul. 2007 Unterschied Versionen −2 Folgern Keine Bearbeitungszusammenfassung
• 20:5120:51, 26. Jul. 2007 Unterschied Versionen +721 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:5618:56, 26. Jul. 2007 Unterschied Versionen +37 N Kategorie:Automatentheorie Die Seite wurde neu angelegt: Kategorie:Theoretische_Informatik aktuell
• 18:5318:53, 26. Jul. 2007 Unterschied Versionen +37 N Kategorie:Aussagenlogik Die Seite wurde neu angelegt: Kategorie:Theoretische_Informatik aktuell
• 18:4518:45, 26. Jul. 2007 Unterschied Versionen +37 N Aussagenlogik Die Seite wurde neu angelegt: Kategorie:Theoretische_Informatik

21. April 2007

• 23:4523:45, 21. Apr. 2007 Unterschied Versionen +2.600 N Abkürzungen (Netzwerk) Keine Bearbeitungszusammenfassung
• 23:2023:20, 21. Apr. 2007 Unterschied Versionen +941 N Abkürzungen (Protokolle) →R