Запитання з тегом «formal-modeling»

Складність префікса Колмогорова (тобто - це розмір мінімальної саморозмежувальної програми, що виводить x ) має кілька приємних особливостей:К( х )K(x)K(x)хxx Це відповідає інтуїції, надаючи рядкам з малюнком або структурою меншу складність, ніж рядки без. Це дозволяє визначити умовну складність , або навіть краще До ( х | O ) для …

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

Чи можете ви моделювати надійні трансляції в пі-рахунку? Якщо так: як? Якщо ні: Чи є подібні алгебри процесів, де ви можете? Що я спробував: Якщо відправник хоче послати повідомлення всього до , ви могли б написати ! ( і до . Але як ви гарантуєте, що повторюється разів, тобто жодне …

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

Я вважав, що мічені системи переходу є хорошою моделлю для мого застосування, а саме є стаття про моделювання випадків використання за допомогою LTS. Питання полягає в тому, що можна легко довести про LTS? Я хотів би повторно використовувати існуючі рішення, щоб побачити, чи корисні вони для мого використання. Мені хотілося …

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

Я маю книгу, яка, натхненна Расселом Principia Mathematica (PM) та логічним позитивізмом, намагається формалізувати конкретну область, визначаючи аксіоми та виводячи з них теореми. Коротше кажучи, він намагається зробити для своєї області те, що намагався зробити ПМ для математики. Як і PM, це було написано до того, як було можливо автоматизоване …

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

Я перекладаю книгу на LISP і, природно, вона торкається деяких елементів -calculus. Отже, поняття розширеності згадується там поряд з деякими моделями -calculus, а саме: і (так, з нескінченністю вгорі). І кажуть, що є екстенсіональним, тоді як - ні.λ 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