| _version_ | 1866901600497303552 |
|---|---|
| author | Artamonov, Kim |
| author_facet | Artamonov, Kim |
| contents | <p>Статья предлагает новый взгляд на процесс моделирования, акцентируя внимание на необходимости явно формализовать и верифицировать не только конечные модели, но и саму логику рассуждений и переходов между уровнями формализации. В ней показано, как использование языка Lean позволяет гибко и строго фиксировать утверждения, условия и связи между уровнями моделей, обеспечивая их логическую непротиворечивость и согласованность. Такой подход особенно актуален для сложных проектов, где цена ошибки высока.</p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_15087697 |
| institution | Zenodo |
| language | rus |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Lean как язык формализации многоуровневых рассуждений Artamonov, Kim <p>Статья предлагает новый взгляд на процесс моделирования, акцентируя внимание на необходимости явно формализовать и верифицировать не только конечные модели, но и саму логику рассуждений и переходов между уровнями формализации. В ней показано, как использование языка Lean позволяет гибко и строго фиксировать утверждения, условия и связи между уровнями моделей, обеспечивая их логическую непротиворечивость и согласованность. Такой подход особенно актуален для сложных проектов, где цена ошибки высока.</p> |
| title | Lean как язык формализации многоуровневых рассуждений |
| url | https://doi.org/10.5281/zenodo.15087697 |