Вопросы с тегом «formal-modeling»

Сложность префикса Колмогорова (т. Е. K(x)K(x)K(x) - это размер минимальной программы с самоограничением, которая выводит ) имеет несколько приятных особенностей:xxx Это соответствует интуиции предоставления строк с шаблонами или структурой меньшей сложности, чем без строк. Это позволяет определить условную сложность , или даже лучше для некоторого оракула .K ( x | …

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

Можете ли вы моделировать надежные трансляции в пи-исчислении? Если так: как? Если нет: есть ли подобные алгебры процессов, где вы можете? Что я пробовал: Если отправитель хочет послать сообщение у всего Р 1 до Р п , можно написать ! ( ¯ х года ) . S и x ( …

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

Я обнаружил, что маркированные переходные системы являются хорошей моделью для моего приложения, а именно есть статья о моделировании вариантов использования с использованием LTS. Вопрос в том, что можно легко доказать о LTS? Я хотел бы повторно использовать существующие решения, чтобы увидеть, являются ли они полезными для моего приложения. Я хотел …

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

У меня есть книга, которая, вдохновленная Принципами математики Рассела (PM) и логическим позитивизмом, пытается формализовать определенную область, определяя аксиомы и выводя из них теоремы. Короче говоря, он пытается сделать для своей области то, что PM пытался сделать для математики. Как и PM, он был написан до того, как стало возможным …

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

Я перевожу книгу на LISP и, естественно, она затрагивает некоторые элементы калькуляции. Таким образом, понятие экстенсиональности упоминается там наряду с некоторыми моделями λ- вычисления, а именно: P ω и D ∞ (да, с бесконечностью вверху). И говорят, что P ω экстенсиональна, а D ∞ нет.λλ\lambdaλλ\lambdaпωпω\mathcal{P}_\omegaD∞D∞D^\inftyпωпω\mathcal{P}_\omegaD∞D∞D^\infty Но ... Я просматривал лямбда-исчисление …

11 lo.logic  lambda-calculus  formal-modeling  extensionality 

Я ищу примеры сложных проблем (в NP или более сложных) из информатики, которые могут быть сведены к моделям физических процессов. Например, max-2-sat может быть сведен к минимизации энергии в модели Изинга. Я хотел бы найти больше примеров такого типа сокращения.

10 cc.complexity-theory  reductions  physics  formal-modeling 

Это вопрос, который я задал на форуме по математике SE, и меня сюда направили. Так вот вопрос Я новичок в формальной математике и теоретической информатике, поэтому, пожалуйста, потерпите меня, если вы обнаружите, что мой вопрос не сформулирован должным образом. Объектно-ориентированное моделирование кажется очень полезным при определении сложных взаимодействий при моделировании …

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