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: 43 Besucher) Neues Thema erstellen
Thema Antworten Autor Hits Bewertung Letzter Beitrag
  Mutex 0 tintemann11 2.514  
22.09.2016 19:29
von tintemann11
 Zum letzten Beitrag gehen
  Induktion Ungerichtete Wald 0 Arsa 2.516  
13.12.2016 20:33
von Arsa
 Zum letzten Beitrag gehen
  Boolsche Algebra beweisen 1 Inf0rmatiker 2.517  
10.11.2018 21:39
von Gast
 Zum letzten Beitrag gehen
  1 Dateianhänge enthalten BCD Zahlen 0 norris 2.517  
15.05.2018 19:14
von norris
 Zum letzten Beitrag gehen
  Relationen 0 Jaob 2.520  
08.11.2015 17:49
von Jaob
 Zum letzten Beitrag gehen
  vollständige Induktion 1 sebaa 2.523  
10.11.2018 21:23
von Gast
 Zum letzten Beitrag gehen
  Assamblercode für den SPIM 0 tintemann11 2.523  
22.09.2016 19:09
von tintemann11
 Zum letzten Beitrag gehen
  Anforderungen an deinen Arbeitgeber im IT Umfeld 0 sara 2.525  
02.05.2017 20:22
von sara
 Zum letzten Beitrag gehen
  1 Dateianhänge enthalten Mealy-Automat 0 Dukkha 2.526  
02.12.2016 18:52
von Dukkha
 Zum letzten Beitrag gehen
  Unterschied Problemkomplexität / Algorithmenkomplexität 0 scholu 2.529  
02.06.2017 18:34
von scholu
 Zum letzten Beitrag gehen
  Vereinfachung Ausdruck 0 summsesina 2.539  
04.12.2016 21:09
von summsesina
 Zum letzten Beitrag gehen
  mue Rekursive Funktion even 0 Flurry1337 2.540  
31.01.2016 15:36
von Flurry1337
 Zum letzten Beitrag gehen
  Fehlersuche OSI Modell 0 Domi19916 2.542  
22.02.2017 08:01
von Domi19916
 Zum letzten Beitrag gehen
  Zweierkomplement Datenvolumen 0 oggii 2.544  
30.04.2017 13:34
von oggii
 Zum letzten Beitrag gehen
  Subsumptions-Ordnung 0 Tircson 2.544  
21.11.2016 16:56
von Tircson
 Zum letzten Beitrag gehen
  1 Dateianhänge enthalten Prolog CLP Programm 0 bimdot 2.545  
13.01.2017 15:39
von bimdot
 Zum letzten Beitrag gehen
  Ruby-Rekursion und Zeichenketten 0 CluelessBiologyStudent 2.546  
02.12.2015 12:09
von CluelessBiologyStudent
 Zum letzten Beitrag gehen
  Allgemeine Frage zu Prozessen und CPU 0 MuTeRiiX 2.550  
29.04.2019 15:59
von MuTeRiiX
 Zum letzten Beitrag gehen
  ADA Grammatik 0 tag4 2.555  
30.04.2016 14:50
von tag4
 Zum letzten Beitrag gehen
  1 Dateianhänge enthalten Ford-Fulkerson mit Erweiterungsweg 0 Traval92 2.572  
25.09.2017 21:34
von Traval92
 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