Informatiker Board | Theoretische Informatik

Informatiker Board » Themengebiete » Theoretische Informatik

» Hallo Gast [Anmelden|Registrieren]

(Moderiert von: as_string, Karlito)

Forum zu Favoriten hinzufügen | Forum als gelesen markieren

Foren

Beiträge

Themen

Letzter Beitrag

Moderatoren

formale Sprachen
In diesem Forum werden Fragen zu formalen Sprachen abgehandelt. Dazu gehören Begriffe wie Grammatik, Worte, Alphabet und andere.

598

166

NAO Roboter per Oculus Rift st...
23.11.2023 05:43 von value

Automatentheorie
Automaten sind abstrakte Programme mit denen Theoreme untersucht werden können. Wichtige Schlagworte: Zustand, Eingangsalphabet, Zustandsübergangstabelle, Endzustand, (nicht) deterministisch.

395

DEA der formale Sprache abbild...
02.02.2021 18:21 von Ossi333

Berechenbarkeits- und Komplexitätstheorie
Ist so wie es klingt ;) Fragen der Art: "Kann man in endlicher Zeit....", "In welchem Maß steigt die Komplexität / der Rechenaufwand, wenn..." oder ähnliche theoretische Berechnungen gehören hier rein.

319

Ist eine Menge entscheidbar? (...
09.10.2023 11:22 von zstern

Logik
Unter Logik sind alle die Problem zusammengefasst, die mit einem Satz von Zuständen und Regeln gelöst werden können. Fragen dazu hier rein.

658

169

Digitaltechnik
15.04.2022 18:03 von Digi

(Benutzer im Forum aktiv: 20 Besucher)

Thema

Antworten

Autor

Hits

Bewertung

Letzter Beitrag

positive Hülle

sylo

7.523

13.07.2008 13:38
von Tobias

Addition, Subtraktion und Multiplikation

Student05

9.514

09.07.2008 01:02
von Student05

Vollständige Induktion

newsys

4.944

24.06.2008 19:01
von Thomas

robot karol

Robot Karol

3.971

18.06.2008 16:09
von Robot Karol

Kellerautomat Verständnisfrage

toobee

4.593

06.06.2008 12:53
von Tobias

formale sprachen

g0ju

5.260

23.05.2008 15:59
von Tobias

Kontextsensitive Grammatik finden

aRo

4.027

22.05.2008 18:39
von aRo

Beweis zur Komplexität

aRo

7.789

20.05.2008 20:46
von aRo

Grammatik für Sprache

buzz_lightzyear

4.474

20.05.2008 13:01
von aRo

Raum und Zeitkonstruierbarkeit

BjBot

3.859

17.05.2008 04:06
von BjBot

Latex-Zeichen

newsys

3.900

05.05.2008 11:15
von newsys

rekurrenzgleichung beweisen

xole_X

9.287

29.04.2008 18:49
von Tobias

Beweis/ Induktion

newsys

8.757

28.04.2008 13:25
von Tobias

Komplexizität - O Notation

xole_X

5.138

23.04.2008 12:02
von Tobias

Landau - ThetaNotation

xole_X

6.489

21.04.2008 17:00
von Tobias

wohlgeformte formeln

newsys

5.159

18.04.2008 14:40
von newsys

regelbasierte konjunktive anfrage

JROppenheimer

6.256

14.04.2008 21:37
von ed209

Aufgabe Spracharithmetik

newsys

6.661

13.04.2008 16:47
von Tobias

Asymptotisches Wachstum von versch. Funktionen

orkano

8.083

09.04.2008 13:45
von Tetriser

Formale Grammatik

buzz_lightzyear

7.110

07.04.2008 16:52
von ed209

Zeige Themen 741 bis 760 von 910, sortiert nach in Reihenfolge,

Seiten (46): « erste ... « vorherige 36 37 [38] 39 40 nächste » ... letzte »
Forum durchsuchen:	Gehe zu:

Neue Beiträge	( Mehr als 25 Antworten oder 150 Hits )	Thema geschlossen
Keine neuen Beiträge	( Mehr als 25 Antworten oder 150 Hits )	Eigene Beiträge