Theoretische Informatik formal-modeling

5

Effizient berechenbare Varianten der Kolmogorov-Komplexität

Die Komplexität des Kolmogorov-Präfixes (dh ist die Größe des minimalen selbstbegrenzenden Programms, das ausgibt ) weist mehrere nette Merkmale auf:K(x)K(x)K(x)xxx Es entspricht einer Intuition, Strings mit Mustern oder Strukturen eine geringere Komplexität zu geben als Strings ohne. Es erlaubt uns, die bedingte Komplexität oder besser für ein Orakel .K(x|y)K(x|y)K(x|y)K(x|O)K(x|O)K(x|O)OOO Es …

28 it.information-theory kolmogorov-complexity formal-modeling

1

(Wie) können Sie Sendungen im Pi-Kalkül modellieren?

Können Sie zuverlässige Sendungen im Pi-Kalkül modellieren? Wenn das so ist, wie? Wenn nicht: Gibt es ähnliche Prozessalgebren, wo Sie können? Was ich ausprobiert habe: Wenn der Absender eine Nachricht an alle bis senden möchte , können Sie schreiben ! ( und bis . Aber wie können Sie sicherstellen, dass …

16 pl.programming-languages formal-modeling process-algebra pi-calculus

6

Was sind praktisch berechenbare Eigenschaften von markierten Übergangssystemen?

Ich fand, dass markierte Übergangssysteme ein gutes Modell für meine Anwendung sind. Es gibt nämlich einen Artikel über die Modellierung von Anwendungsfällen mithilfe von LTS. Die Frage ist, was kann über LTSs leicht bewiesen werden? Ich möchte vorhandene Lösungen wiederverwenden, um festzustellen, ob sie für meine Anwendung nützlich sind. Ich …

13 lo.logic formal-modeling model-checking program-verification automated-theorem-proving

2

Welches Paradigma der automatisierten Theoremprüfung ist für die Formalisierung nach Principia Mathematica geeignet?

Ich besitze ein Buch, das, inspiriert von Russells Principia Mathematica (PM) und dem logischen Positivismus, versucht, einen bestimmten Bereich zu formalisieren, indem es Axiome bestimmt und daraus Theoreme ableitet. Kurz gesagt, es wird versucht, für seine Domäne das zu tun, was PM für die Mathematik versucht hat. Wie PM wurde …

11 lo.logic type-theory formal-modeling automated-theorem-proving bioinformatics

1

Extensionalität von Lambda-Kalkülmodellen

Ich übersetze ein Buch über LISP und es berührt natürlich einige Elemente des Kalküls. Daher wird dort neben einigen Modellen des λ- Kalküls ein Begriff der Extensionalität erwähnt , nämlich: P ω und D ∞ (ja, mit der Unendlichkeit oben). Und es wird gesagt, dass P ω eine Dehnung ist, …

11 lo.logic lambda-calculus formal-modeling extensionality

3

Reduzierung schwieriger Probleme auf physikalische Modelle

Ich suche nach Beispielen für schwierige Probleme (in NP oder schwieriger) aus der Informatik, die auf Modelle physikalischer Prozesse reduziert werden können. Zum Beispiel kann max-2-sat in einem Ising-Modell auf Energieminimierung reduziert werden. Ich würde gerne weitere Beispiele für diese Art der Reduzierung finden.

10 cc.complexity-theory reductions physics formal-modeling

2

Formale Definition / Gegenstück in der Mathematik für „Objekte“ objektorientierter Modelle

Dies ist eine Frage, die ich im Forum der Mathematik-SE gestellt habe und auf die ich hier verwiesen wurde. Also hier ist die Frage- Ich bin ein Neuling sowohl in der formalen Mathematik als auch in der theoretischen Informatik. Bitte nehmen Sie Kontakt mit mir auf, wenn Sie feststellen, dass …

9 pl.programming-languages semantics formal-modeling set-theory object-oriented

1

Prozessmodellierung mit feinkörnigen Ortsvorstellungen

Ist jemandem ein prozessalgebraischer (oder verwandter) Formalismus bekannt, der feinkörnige Standortinformationen erfasst? Ich bin mit Umgebungen und Bigraphen vertraut, die offensichtlich ein Standortmodell haben, aber was ist mit Versuchen, konkretere Standortinformationen so zu modellieren, dass der Standort eines Agenten in einem (realen oder virtuellen) Koordinatenraum ausgedrückt wird? Es scheint mir, …

8 concurrency process-algebra formal-modeling

Als «formal-modeling» getaggte Fragen