Das Matheforum.
Das Matheforum des
MatheRaum
.
Für
Schüler
,
Studenten
, Lehrer, Mathematik-Interessierte.
Hallo Gast!
[
einloggen
|
registrieren
]
Startseite
·
Forum
·
Wissen
·
Kurse
·
Mitglieder
·
Team
·
Impressum
Forenbaum
Forenbaum
Mathe
Schulmathe
Primarstufe
Mathe Klassen 5-7
Mathe Klassen 8-10
Oberstufenmathe
Mathe-Wettbewerbe
Sonstiges
Hochschulmathe
Uni-Analysis
Uni-Lin. Algebra
Algebra+Zahlentheo.
Diskrete Mathematik
Fachdidaktik
Finanz+Versicherung
Logik+Mengenlehre
Numerik
Uni-Stochastik
Topologie+Geometrie
Uni-Sonstiges
Mathe-Vorkurse
Organisatorisches
Schule
Universität
Mathe-Software
Derive
DynaGeo
FunkyPlot
GeoGebra
LaTeX
Maple
MathCad
Mathematica
Matlab
Maxima
MuPad
Taschenrechner
Gezeigt werden alle Foren bis zur Tiefe
2
Navigation
Startseite
...
Neuerdings
beta
neu
Forum
...
vor
wissen
...
vor
kurse
...
Werkzeuge
...
Nachhilfevermittlung
beta
...
Online-Spiele
beta
Suchen
Verein
...
Impressum
Das Projekt
Server
und Internetanbindung werden durch
Spenden
finanziert.
Organisiert wird das Projekt von unserem
Koordinatorenteam
.
Hunderte Mitglieder
helfen ehrenamtlich in unseren
moderierten
Foren
.
Anbieter der Seite ist der gemeinnützige Verein "
Vorhilfe.de e.V.
".
Partnerseiten
Mathe-Seiten:
MatheRaum.de
This page in English:
MathSpace.org
MatheForum.net
SchulMatheForum.de
UniMatheForum.de
TeXimg.de
Weitere Fächer:
Vorhilfe.de
FunkyPlot
: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Startseite
>
Forum "Theoretische Informatik"
Foren für weitere Schulfächer findest Du auf
www.vorhilfe.de
z.B.
Informatik
•
Physik
•
Technik
•
Biologie
•
Chemie
Forum "Theoretische Informatik"
Forum "Theoretische Informatik"
1.319
Diskussionen (darin
5.059
Artikel).
Seite
9
von
14
erste
<
9
>
letzte
Diskussion
Abschätzung von Funktionen
Typ-0 bis Typ-3 Sprachen
Turingmaschine
Turingmaschine
Nicht Deterministisch Algorith
table filling
kontextfreies Pumping-Lemma
kontextfreie Grammatik
Problemspezifikation
Entscheidbarkeit Komplexität
Hammingcode
Homomorphismenbeweis auf vorde
prädikatenlogischen Formeln
Turingmaschine
Kf. Sprache ( Kurado NF )
Aussagenlogik
Beweis O-Notation
Keller Automat
Pumping Lemma
reguläre Grammatik
Korrektheit einer Grammatik
Determinitischer EA
L kontextfrei => L^c ktf ?
Typ-0 Grammatik
DEA Äquivalenzrealtion Beweis
Irreduzibles Polynom
verifikation hoare-kalkül
Minimal-DFA
RS-Codes
Abschlusseigenschaften
inverser Homomorphismus -> DEA
Halde
Lemma Arden
Relation und Ordnung
Automat erstellen
2 Sprachen
Potenzen der Adjazenzmatrix
rekursive zeitgleichung
Entscheidbarkeit
RegEx für gerade Zahlen
Hamming- & Reed-Solomon-Code
Collatz-Funktion
RS-Code
Minimaldistanz
Entscheidbarkeit
Laufzeiten
palindrome automaten
Rekursiongleichung
Fkt. ordnen anhand O-Symbol
Landau-Notation beweisen
Rekursions Divide-and-Conquer
Aussagen
Algorithmus "Chinesische Zahl"
Frage zu Modulo
Rekursionsgleichung
Division von Gleitpunktzahlen
Kontextfreie Grammatik
Menge
Pumping Lemma
Mengencharakterisierung
Baum aus Postorder/Inorder
Ableitungen
Komplexität bestimmen
Gleitpunktdarstellung
Hash Funktion
Gleitpunktdarstellung
Pumping Lemma
Gleitpunktdarstellung
Zeiger
Struktogramm
Cod. - Theorie/ min. Distanz
PHP Rand
Pumpinglemma
Äquivalenzrelation
Applet für B-Bäume
Mergesort Code erklären
Intervalleinteilung
Reduzierbarkeit von PCPs
Kontextfreie Grammatik -> PDA
Links- und Rechtsrekursion
Entscheidbare Menge
Auswertung von Ausdrücken!
Kellerautomat in kfG
kontextfreie Sprache in PDA
Graphentheorie
Einfache Paritätskontrollen
Graphentheorie
universelles Hashing- Familie
Entscheidungsproblem
Abschlusseigenschaft von P
Preprocessing .. Karp-Rabin
Komplizierte Funktion
Karp-Rabin Algorithmus
Hashtabelle
Devide by multiplying
radixsort
Hashing
Endlicher Automat
Selektion
Regulärer Ausdruck
www.matheforum.net
[
Startseite
|
Forum
|
Wissen
|
Kurse
|
Mitglieder
|
Team
|
Impressum
]
