Informatique théorique formal-modeling

5

Variantes efficacement calculables de la complexité de Kolmogorov

La complexité du préfixe de Kolmogorov (c'est-à-dire que est la taille du programme d'auto-délimitation minimal qui génère ) a plusieurs fonctionnalités intéressantes:xK( x )K(x)K(x)Xxx Cela correspond à une intuition de donner aux chaînes avec des motifs ou une structure une complexité inférieure à celle des chaînes sans. Il nous permet …

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

1

(Comment) pouvez-vous modéliser des émissions dans le pi-calcul?

Pouvez-vous modéliser des émissions fiables dans le pi-calcul? Si c'est le cas, comment? Sinon: existe-t-il des algèbres de processus similaires où vous pouvez? Ce que j'ai essayé: Si l'expéditeur veut envoyer un message y à tous les P 1 à P n , vous pouvez écrire ! ( ¯ x …

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

6

Quelles sont les propriétés pratiquement calculables des systèmes de transition étiquetés?

J'ai trouvé que les systèmes de transition étiquetés sont un bon modèle pour mon application, à savoir qu'il existe un article sur la modélisation des cas d'utilisation à l'aide de LTS. La question est, que peut-on facilement prouver sur les LTS? Je voudrais réutiliser les solutions existantes pour voir si …

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

2

Quel paradigme de démonstration automatisée de théorèmes convient à la formalisation de style Principia Mathematica?

Je suis en possession d'un livre qui, inspiré des Principia Mathematica (PM) de Russell et du positivisme logique, tente de formaliser un domaine spécifique en déterminant des axiomes et en déduisant des théorèmes. En bref, il tente de faire pour son domaine ce que PM a tenté de faire pour …

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

1

Extensionnalité des modèles de calcul lambda

Je traduis un livre sur LISP et naturellement il touche certains éléments de -calculus. Ainsi, une notion d'extensionnalité y est mentionnée aux côtés de certains modèles de -calculus, à savoir: et D ^ \ infty (oui, avec l'infini en haut). Et on dit que \ mathcal {P} _ \ omega …

11 lo.logic lambda-calculus formal-modeling extensionality

3

Réduction des problèmes difficiles aux modèles physiques

Je recherche des exemples de problèmes difficiles (en NP ou plus difficiles) de l'informatique qui peuvent être réduits à des modèles de processus physiques. Par exemple, max-2-sat peut être réduit à une minimisation d'énergie dans un modèle Ising. J'aimerais trouver plus d'exemples de ce type de réduction.

10 cc.complexity-theory reductions physics formal-modeling

2

Définition formelle / contrepartie en mathématiques pour les «objets» des modèles orientés objet

C'est une question que j'ai posée dans le forum Mathématiques SE, et j'ai été référé ici. Voici donc la question- Je suis un débutant en mathématiques formelles et en informatique théorique, alors soyez indulgent avec vous si vous trouvez que ma question n'est pas bien formulée. La modélisation orientée objet …

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

Questions marquées «formal-modeling»