«temporal-logic» 태그된 질문

계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

LTL , Büchi / QPTL , CTL 및 CTL * 의 표현력 사이에는 어떤 관계가 있습니까? 가능한 한 많은 시간적 논리 (특히 선형 시간과 분기 시간 사이)를 다루는 참고 자료를 줄 수 있습니까? 이러한 시간적 논리와 실제 특성을 예로 든 벤 다이어그램이 완벽합니다. 예를 들어 : Büchi에는 지정할 수 있지만 …

12 lo.logic  automata-theory  model-checking  temporal-logic 

이미 CTL에서 수식 예제를 읽었지만 LTL에서는 그렇지 않으며 그 반대도 마찬가지입니다. 그러나 LTL 수식에 대한 정신적 인 이해를 얻는 데 어려움을 겪고 있으며 실제로 마음의 차이점은 무엇입니까?

12 lo.logic  model-checking  temporal-logic 

이것은 잘 알려져 있다는 모달 -calculusμμ\mu 나무 / 그래프의 특성을 표현하기위한 가장 시간적 논리 표현 중 하나 인 것을 CTL *이 엄격 이하 표현력보다 -calculus.μμ\mu 여기서는 가능한 한 간단하고 CTL *로 표현할 수없는 -calculus 공식 의 예를 묻고 싶습니다. 고유의 의미를 설명하기를 바랍니다 (고정 소수점 공식은 빨리 읽을 수 없게됩니다). …

9 lo.logic  model-checking  temporal-logic  mu-calculus