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: 8 Besucher)

Thema

Antworten

Autor

Hits

Bewertung

Letzter Beitrag

Beweis Anzahl Blätter vollständiger Binärer Baum

Ic3Cub3

6.689

08.08.2017 17:58
von Ic3Cub3

Entscheidbarkeit von Zahlen..

foogi

6.751

10.02.2007 17:52
von ed209

TuringMaschine Dualzahlen addieren

Phoney

6.786

15.12.2006 13:21
von Phoney

Untere Schranke für Sorter von binären Zahlen

JROppenheimer

6.788

02.01.2008 21:08
von JROppenheimer

Reguläre Sprache und Beweis

ICEMAN

6.790

09.06.2007 13:45
von Tobias

regelbasierte konjunktive anfrage

JROppenheimer

6.802

14.04.2008 21:37
von ed209

Aufgabe Spracharithmetik

newsys

6.834

13.04.2008 16:47
von Tobias

Ableitungsbaum aus dem CYK Algo

foogi

6.875

10.02.2007 17:44
von ed209

Theta von ...

JROppenheimer

6.887

20.11.2007 14:27
von Tobias

Vektorgrafik

Paulina

6.891

14.01.2011 13:53
von Blackarro

Java

Expo

6.895

22.10.2014 20:24
von eulerscheZahl

Abschlusseigenschaften / Grammatiken

earthhero

6.941

10.03.2012 21:46
von Karlito

Struktogramme

ManuP

6.973

17.12.2013 19:11
von Karlito

dynamische Programmierung fib(n)

JROppenheimer

6.996

01.02.2008 21:50
von JROppenheimer

Beweis zum Kürzen in Worthalbgruppen

David1979

7.013

18.11.2006 11:17
von ed209

O Notation

mrkrispi94

7.078

06.01.2016 00:31
von bola

Abgeschlossenheit rekursiv aufzählbarer Sprachen

donvito

7.080

09.03.2008 17:36
von Tobias

IP Adresse 2

Diamond

7.082

18.07.2017 15:02
von as_string

Suche eine Informatiker mit ein wenig Zeit

lily88

7.146

22.07.2011 15:04
von six

Lösen von Rekursionsgleichung

djuus

7.157

22.03.2013 00:07
von deppensido

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