Theoretical computer science

In der Informatik , insbesondere in den Bereichen Wissensrepräsentation, Schlussfolgerung und Metalogik , widmet sich das Gebiet des automatisierten Schließens dem Verständnis verschiedener Aspekte des Denkens .

Die Association Computability in Europe (ACiE) ist eine internationale Organisation von Mathematikern, Logikern, Informatikern, Philosophen, theoretischen Physikern und anderen Wissenschaftlern, die sich für neue

Eine Berechnung ist jede Art von arithmetischer oder nicht-arithmetischer Berechnung , die wohldefiniert ist.

Property Testing ist ein Teilgebiet der theoretischen Informatik , das sich mit dem Entwurf von superschnellen Algorithmen für approximative Entscheidungsfindung befasst, wobei sich die Entscheidung auf Eigenschaften

Die European Association for Theoretical Computer Science ( EATCS ) ist eine internationale Organisation mit europäischem Schwerpunkt, die 1972 gegründet wurde.

In der Kombinatorik bezeichnet man als exakte Überdeckung einer Menge von Teilmengen einer Menge eine Teilmenge von , sodass jedes Element in genau einer Teilmenge von enthalten ist .

Dieses Glossar des Quantencomputings ist eine Liste von Definitionen von Begriffen und Konzepten, die im Quantencomputing , seinen Teildisziplinen und verwandten Gebieten verwendet werden.

Der Gödel-Preis ist ein jährlich verliehener Preis für herausragende Arbeiten im Bereich der theoretischen Informatik .

In der Informatik bezeichnet der Begriff „Rough Set“ , erstmals beschrieben vom polnischen Informatiker Zdzisław I. Pawlak , eine formale Approximation einer klassischen Menge (d. h.

Die kombinatorische Optimierung ist ein Teilgebiet der mathematischen Optimierung , das sich mit der Suche nach einem optimalen Objekt aus einer endlichen Menge von Objekten befasst .

In der Komplexitätstheorie ist eine Komplexitätsklasse eine Menge von Rechenproblemen „mit verwandter ressourcenbasierter Komplexität “. Die beiden am häufigsten analysierten Ressourcen sind Zeit und Speicher .

In der Informatik ist die Korekursion eine Operation, die dual zur (strukturellen) Rekursion ist .

Ein lernbasierter Algorithmus (auch Algorithmus mit Vorhersagen genannt) ist ein Algorithmus , der Vorhersagen nutzt, um seine Leistung zu verbessern.

Die Anwendung von Methoden des maschinellen Lernens (ML), einschließlich Deep Learning , auf die Untersuchung von Quantensystemen ist ein aufstrebendes Forschungsgebiet der Physik.

In der angewandten Mathematik für die Informatik sind Monge -Arrays oder Monge-Matrizen mathematische Objekte, die nach ihrem Entdecker, dem französischen Mathematiker Gaspard Monge , benannt sind .

In der Wahrscheinlichkeitstheorie bedeutet Postselektion , einen Wahrscheinlichkeitsraum auf das Eintreten eines bestimmten Ereignisses zu konditionieren .

Natural Computing , auch natürliche Berechnung genannt , ist ein Begriff, der drei Methodenklassen umfasst: 1) Methoden, die sich von der Natur inspirieren lassen, um neuartige Problemlösungstechniken zu entwickeln; 2)

Das Problem der verborgenen Untergruppen ( HSP ) ist ein Forschungsgebiet der Mathematik und der theoretischen Informatik .

In der Theorie der Quantenkommunikation bezeichnet die Quantenkapazität die höchste Rate, mit der Quanteninformation über viele unabhängige Nutzungen eines verrauschten Quantenkanals von einem Sender zu einem Empfänger

Die Quantenkomplexitätstheorie ist ein Teilgebiet der Komplexitätstheorie , das sich mit Komplexitätsklassen befasst, die mithilfe von Quantencomputern definiert werden – einem auf der Quantenmechanik basierenden

Reed-Muller-Codes sind Fehlerkorrekturcodes , die in drahtlosen Kommunikationsanwendungen, insbesondere in der Weltraumkommunikation, eingesetzt werden.

In der Informatik ist Rekursion eine Methode zur Lösung von Rechenproblemen , deren Lösung von Lösungen kleinerer Instanzen desselben Problems abhängt.

In Mathematik und Informatik werden rekursive oder induktive Definitionen verwendet , um die Elemente einer Menge durch andere Elemente derselben Menge zu definieren ( Aczel 1977:740ff).

Im Quantencomputing besagt das Schwellenwerttheorem (oder Quantenfehlertoleranztheorem ), dass ein Quantencomputer mit einer physikalischen Fehlerrate unterhalb eines bestimmten Schwellenwerts durch Anwendung von

Selbstreferenz ist ein Konzept, das die Bezugnahme auf sich selbst oder die eigenen Eigenschaften, Merkmale oder Handlungen beinhaltet.

Die Spektralanalyse nach der Methode der kleinsten Quadrate ( LSSA ) ist eine Klasse von Verfahren zur Schätzung eines Frequenzspektrums durch Anpassen von Sinusfunktionen an die Messdaten mittels der Methode der

Die theoretische Informatik ist ein Teilgebiet der Informatik und Mathematik , das sich mit den abstrakten und mathematischen Grundlagen des Rechnens befasst .

Eine Turingmaschine ist ein mathematisches Berechnungsmodell, das eine abstrakte Maschine beschreibt , die Symbole auf einem Band gemäß einer Regeltabelle manipuliert.

Das Knowledge Based Software Assistant (KBSA) war ein von der US-Luftwaffe finanziertes Forschungsprogramm .