«formal-modeling» 태그된 질문

5
Kolmogorov 복잡성의 효율적으로 계산 가능한 변형
Kolmogorov 접두사 복잡성 (즉, K(x)K(x)K(x) 는 를 출력하는 최소 자체 구분 프로그램의 크기입니다 xxx)에는 몇 가지 멋진 기능이 있습니다. 그것은 패턴이있는 문자열이나 구조가없는 문자열보다 복잡성이 낮은 문자열을 제공하는 직감에 해당합니다. 이를 통해 일부 오라클 O 에 대해 조건부 복잡성 K(x|y)K(x|y)K(x|y) 또는 더 나은 를 정의 할 수 있습니다 .K(x|O)K(x|O)K(x|O)OOO 하위 …
6
레이블이 지정된 전환 시스템의 실질적으로 계산 가능한 특성은 무엇입니까?
레이블이 지정된 전이 시스템이 애플리케이션에 적합한 모델이라는 것을 알았습니다. 즉, LTS를 사용한 사용 사례 모델링에 대한 논문이 있습니다. 문제는 LTS에 대해 쉽게 입증 할 수있는 것입니다. 기존 솔루션을 재사용하여 적용에 유용한 지 확인하고 싶습니다. LTS (및 사용 사례)의 속성을 쉽게 자동으로 입증 할 수있는 방법을 알고 싶습니다. 따라서 사용 사례의 …
2
Principia Mathematica 스타일 형식화에 적합한 자동 정리 증명 패러다임은 무엇입니까?
나는 Russell 's Principia Mathematica (PM)와 논리적 실증주의에서 영감을 얻은 책을 소유하고있다. 공리를 결정하고 그것들로부터 이론을 추론함으로써 특정 영역을 공식화하려고 시도한다. 요컨대, PM이 수학을 위해 시도한 것을 그 영역을 위해 시도합니다. PM과 마찬가지로 자동 정리 증명 (ATP)이 가능하기 전에 작성되었습니다. 나는 현대의 ATP 시스템에서 이러한 공리를 표현하려고 노력하고 있으며, 처음에는 …
1
람다 미적분학 모델의 확장 성
LISP에 관한 책을 번역하고 있으며 자연스럽게 λλ\lambda 미적분의 일부 요소에 닿습니다. 따라서 확장 성의 개념은 λλ\lambda 미적분 의 일부 모델과 함께 언급 됩니다. 즉, 피ωPω\mathcal{P}_\omega 및 디∞D∞D^\infty (예, 무한대가 맨 위에 있음). 그리고 피ωPω\mathcal{P}_\omega 는 확장 적이며 디∞D∞D^\infty 는 확장 되지 않는다고합니다. 그러나 ... 나는 Barendregt의 Lambda Calculus, Syntax and …
2
객체 지향 모델의 "객체"에 대한 수학의 공식 정의 / 카운터 파트
이것은 수학 SE 포럼에서 묻는 질문이며 여기에서 언급되었습니다. 여기 질문이 있습니다. 나는 공식 수학과 이론 컴퓨터 과학의 초보자이기 때문에 내 질문이 제대로 틀리지 않았다면 나와 함께하십시오. 객체 지향 모델링은 실제 세계를 시뮬레이션 할 때 복잡한 상호 작용을 정의하는 데 매우 유용합니다. 그러나 그것은 주로 프로그래밍에 사용됩니다. 우리가 수학에서 비슷한 개념을 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.