«logic» 태그된 질문

수학 논리 및 컴퓨터 과학에서의 사용과 관련된 질문

1
동적 논리와 시간 논리의 차이점
차이점을 찾기 위해 Wikipedia의 시간적 논리에 대한 아래의 주장을 만났습니다 . 동적 로직과 많은 공통 특징을 공유하는 모달 로직의 또 다른 변형은 Pnueli가 "내인성"로직으로 특징 지어진 것, 다른 것들은 "외인성"로직이라는 점에서 전술 한 모든 로직과 다르다. 이 Pnueli는 시간적 논리 주장이 단일 세계 상황이 시간의 흐름에 따라 변하는 보편적 행동 …
3
논리와 계산에 관한 입문서
Logic and Computation 에 대한 좋은 입문서 (그러나 포괄적)에 대한 제안을 해 주 시겠습니까? 내가 염두에두고있는 퍼지 주제는 다음과 같습니다. Presburger artihm., PA, ZF, ZFC, HOL 이론 설정, 유형 이론 다른 이론의 모델링 계산 (튜닝 머신) 계산 복잡성 (FMT, 설명 복잡성)과 연결
1
구체화 유형 추론
직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 let과 같이 일련의 명령문을 중첩 된 표현식 으로 다시 작성합니다 . return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …
11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 
1
건전성과 추론의 완전성의 예
다음 예제는 추론 알고리즘이 건전 하고 완전 한지 여부에 대해 정확 합니까? 건초 더미에 바늘 a, b, c가 있고 바늘을 찾도록 설계된 추론 알고리즘이 있다고 가정합니다. 소리 -바늘 a, b 및 c 만 획득됩니다. 완료 -바늘 a, b 및 c를 얻습니다. 다른 건초도 얻을 수 있습니다.
11 logic 
3
사이의 차이가
나는 현재 람다 미적분학을 배우고 있으며 람다 용어를 쓰는 다음 두 가지 다른 종류의 궁금합니다. λ x y. x yλxy.xy\lambda xy.xy λ x . λ y. x yλx.λy.xy\lambda x.\lambda y.xy 베타 축소를 적용하는 의미 나 방법에 차이가 있습니까, 아니면 같은 것을 표현하는 두 가지 방법입니까? 특히 페어 생성에 대한이 정의는 …
1
논리에서 "Turing Complete"에 이중 개념이 있습니까?
두 개의 컴퓨팅 모델이 각각 다른 모델을위한 범용 시뮬레이터를 인코딩 할 수있는 경우에는 완전한 것으로 표시 될 수 있습니다. 각각의 추론 규칙 (있는 경우 공리)의 인코딩이 다른 규칙으로 표시되는 경우 두 개의 논리가 함께 완료된 것으로 표시 될 수 있습니다. 계산이 가능해지면서 튜링 완성도와 교회 튜링 논문에 대한 자연스러운 아이디어가 …
2
하다 마드 게이트 뒤의 직관
나는 양자 컴퓨팅에 대해 스스로를 가르치려고 노력하고 있으며 선형 대수학에 대해 잘 이해하고 있습니다. 나는 나쁘지 않은 NOT 게이트를 통과했지만 Hadamard 게이트에 도착했습니다. 그리고 나는 붙어있다. 주로 내가 조작을 "이해"하는 동안, 그들이 실제로 무엇을하는지, 왜 그렇게하고 싶은지 이해하지 못한다. 예를 들어,하다 마드 게이트는 가면 합니다. 이것은 무엇을 의미 하는가? NOT …
1
용어 재 작성; 임계 값 계산
나는 다음 운동을 해결하려고 노력했지만 모든 중요한 쌍 을 찾으려고 노력하면서 막혔습니다 . 다음과 같은 질문이 있습니다. 어떤 중요한 쌍이 새로운 규칙을 생성했는지 어떻게 알 수 있습니까? 중요한 쌍을 모두 찾은 것을 어떻게 알 수 있습니까? 보자. 여기서 는 이진, 는 단항, 는 상수이다. Σ={∘,i,e}Σ={∘,i,e}\Sigma= \left \{ \circ, i, e …
1
DNF에서 CNF 로의 전환 : 쉬움 또는 어려움
스레드와 관련하여 CNF에서 DNF 로의 변환이 NP-Hard (및 관련 Math 스레드 ) 임을 증명하는 경우 : DNF에서 CNF까지의 다른 방향은 어떻습니까? 쉽지 않습니까? 이 백서의 2 페이지에서 " CNF 표현에서 DNF 표현으로 또는 그 반대로 변환 할 때 최대 크기의 폭발에 관심이 있습니다 "라고 말하면 두 방향 모두 똑같이 어렵다고 …
1
Hilbert의 10 번째 문제와 Chaitin의 Diophantine 방정식“컴퓨터”?
차이 틴의 메타 수학에서! 오메가 퀘스트 는 힐버트의 10 번째 문제에 대해 간단히 이야기합니다. 그런 다음 Diophantine Equation 은 양의 정수 계수를 가진 두 개의 동일한 다항식으로 변경할 수 있다고 말합니다 . .p = 0p = 0p=0p=0p = 0⟺피1= p2p=0⟺p1=p2p=0 \iff p_1 = p_2 그런 다음 우리는이 방정식을 "컴퓨터"처럼 생각할 …
3
익명의 람다 함수 (함수 프로그래밍)
익명 (람다) 함수 란 무엇입니까? 함수형 프로그래밍 언어에서 익명 함수의 공식적인 정의는 무엇입니까? 간단한 용어로, scheme / lisp에서 프로그래밍 할 때 익명 (lambda) 함수는 식별자에 바인딩되지 않은 함수라고 말합니다. 람다 함수에 대해 공식적으로 말할 수있는 모든 것입니까? 이 간단한 정의에 더 많은 세부 사항이 추가 될 수 있다고 생각합니다. 정교하게 …
1
다른 절에 대한 고유 변수
결의 정리 증명에서, 일반적으로 다른 절의 변수는 구별된다고 가정합니다. 이것은 자동으로 발생하는 것이 아닙니다. 구현하려면 상당한 추가 코드와 계산이 필요합니다. 그것을 감안할 때, 나는 그것에 대한 테스트 사례를 찾고 있습니다. 문제는 지금까지 시도한 모든 테스트 사례에서 아무런 차이가 없다는 것입니다. 아마도 특별한 경우에만 중요합니다. 같이 위키 둔다을 "다른 절에서 변수 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.