Als «terminology» getaggte Fragen

Fragen, wie bestimmte Begriffe zu verstehen sind, sowie Notationskonventionen.

9
Den Unterschied zwischen Informatik und Computerkenntnissen erklären [closed]
Was ist eine gute Metapher oder ein gutes Beispiel, um einem englischen Hauptfach den Unterschied zwischen klassischer Informatik und "gut mit MS-Windows umgehen" zu erklären? Computerwissenschaften Computerprogrammierung mit Computern 3 zutiefst verschiedene Dinge. Die meisten Menschen haben keine Ahnung, was Informatik überhaupt ist. Sie sehen nur das Wort "Computer". "Er …
7
Unterschiede und Beziehungen zwischen randomisierten und nicht deterministischen Algorithmen?
Welche Unterschiede und Beziehungen bestehen zwischen randomisierten und nicht deterministischen Algorithmen? Aus Wikipedia Ein randomisierter Algorithmus ist ein Algorithmus, der einen Zufallsgrad als Teil seiner Logik verwendet. Der Algorithmus verwendet typischerweise gleichmäßig zufällige Bits als Hilfseingabe, um sein Verhalten zu steuern, in der Hoffnung, im "Durchschnittsfall" eine gute Leistung über …
2
Warum ist der leere Typ von C nicht analog zum leeren / unteren Typ?
Wikipedia und andere Quellen, die ich gefunden habe, listen den voidTyp C als Einheitentyp und nicht als leeren Typ auf. Ich finde das verwirrend, da es mir so scheint, als ob es voidbesser zur Definition eines Leer- / Bodentyps passt. voidSoweit ich das beurteilen kann, gibt es keine Werte . …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
2
Was bedeutet "echte Parallelität"?
Ich höre oft Sätze wie "echte Nebenläufigkeitssemantik" und "echte Nebenläufigkeitsäquivalenzen" ohne Referenzen. Was bedeuten diese Begriffe und warum sind sie wichtig? Was sind einige Beispiele für echte Gleichzeitigkeiten und wozu sind sie erforderlich? ZB in welchen Fällen sind sie besser anwendbar als mehr Standardäquivalenzen (Bisimulation, Spurenäquivalenz usw.)?
5
Unterschied zwischen einer Turing-Maschine und einer Finite-State-Maschine?
Ich mache einen Vortrag über Turingmaschinen und wollte einige Hintergrundinformationen zu FSMs geben, bevor ich Turingmaschinen vorstelle. Das Problem ist, ich weiß wirklich nicht, was sich SEHR voneinander unterscheidet. Ich weiß, dass es anders ist: FSM hat sequentielle Zustände, abhängig von der entsprechenden Bedingung, die erfüllt ist, während Turing-Maschinen auf …
2
"NP-complete" Optimierungsprobleme
Diese Frage wurde von Stack Overflow migriert, da sie in Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Ich bin etwas verwirrt über einige Begriffe, die ich in Bezug auf die Komplexität von Optimierungsproblemen gefunden habe. In einer Algorithmusklasse hatte ich das große Sparsamkeitsproblem , das …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.