Registrierung Kalender Mitgliederliste Teammitglieder Suche Häufig gestellte Fragen Zur Startseite

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 84
    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 97
    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: 25 Besucher) Neues Thema erstellen
Thema Antworten Autor Hits Bewertung Letzter Beitrag
  KV-Diagramm 0 Lellaa123 2.483  
24.02.2016 17:08
von Lellaa123
 Zum letzten Beitrag gehen
  1 Dateianhänge enthalten BCD Zahlen 0 norris 2.484  
15.05.2018 19:14
von norris
 Zum letzten Beitrag gehen
  Bachelorarbeit Hilfe 0 me_unknown 2.486  
25.01.2017 23:54
von me_unknown
 Zum letzten Beitrag gehen
  Induktion Ungerichtete Wald 0 Arsa 2.492  
13.12.2016 20:33
von Arsa
 Zum letzten Beitrag gehen
  1 Dateianhänge enthalten Mealy-Automat 0 Dukkha 2.492  
02.12.2016 18:52
von Dukkha
 Zum letzten Beitrag gehen
  vollständige Induktion 1 sebaa 2.498  
10.11.2018 21:23
von Gast
 Zum letzten Beitrag gehen
  Relationen 0 Jaob 2.499  
08.11.2015 17:49
von Jaob
 Zum letzten Beitrag gehen
  Unterschied Problemkomplexität / Algorithmenkomplexität 0 scholu 2.502  
02.06.2017 18:34
von scholu
 Zum letzten Beitrag gehen
  Assamblercode für den SPIM 0 tintemann11 2.503  
22.09.2016 19:09
von tintemann11
 Zum letzten Beitrag gehen
  Mutex 0 tintemann11 2.504  
22.09.2016 19:29
von tintemann11
 Zum letzten Beitrag gehen
  Anforderungen an deinen Arbeitgeber im IT Umfeld 0 sara 2.507  
02.05.2017 20:22
von sara
 Zum letzten Beitrag gehen
  Vereinfachung Ausdruck 0 summsesina 2.512  
04.12.2016 21:09
von summsesina
 Zum letzten Beitrag gehen
  Fehlersuche OSI Modell 0 Domi19916 2.514  
22.02.2017 08:01
von Domi19916
 Zum letzten Beitrag gehen
  Zweierkomplement Datenvolumen 0 oggii 2.518  
30.04.2017 13:34
von oggii
 Zum letzten Beitrag gehen
  mue Rekursive Funktion even 0 Flurry1337 2.518  
31.01.2016 15:36
von Flurry1337
 Zum letzten Beitrag gehen
  1 Dateianhänge enthalten Prolog CLP Programm 0 bimdot 2.520  
13.01.2017 15:39
von bimdot
 Zum letzten Beitrag gehen
  Ruby-Rekursion und Zeichenketten 0 CluelessBiologyStudent 2.523  
02.12.2015 12:09
von CluelessBiologyStudent
 Zum letzten Beitrag gehen
  Subsumptions-Ordnung 0 Tircson 2.525  
21.11.2016 16:56
von Tircson
 Zum letzten Beitrag gehen
  ADA Grammatik 0 tag4 2.533  
30.04.2016 14:50
von tag4
 Zum letzten Beitrag gehen
  Reguläre Ausdrücke und Sprachen 0 trinity404 2.534  
08.11.2019 23:30
von trinity404
 Zum letzten Beitrag gehen
Zeige Themen 61 bis 80 von 910, sortiert nach in Reihenfolge,
Seiten (46): « erste ... « vorherige 2 3 [4] 5 6 nächste » ... letzte » Neues Thema erstellen
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