알고리즘의 익숙하지 않은 기호 : ∀은 무엇을 의미합니까?

알고리즘의 익숙하지 않은 기호 : ∀은 무엇을 의미합니까?

---

알고리즘 (A *를 기반으로하는 경로 찾기 알고리즘)에 대해 읽고 있는데, 익숙하지 않은 수학 기호가 포함되어 있습니다 .∀

컨텍스트는 다음과 같습니다.

v (s) ≥ g (s) = min _{s'∈pred (s)} (v (s ') + c (s', s)) ∀s ≠ s _시작

누군가 ∀의 의미를 설명 할 수 있습니까?

---

위키피디아의 수학 기호 표 또는 유니 코드 forall 문자 ( \u2200, ∀) 에서 볼 수있는 "forall"(모두) 기호 입니다.

---

거꾸로 된 A 기호는 술어 논리 의 범용 수량 자 입니다 . (또한 1 차 술어 미적분에 대한보다 완전한 논의를 참조하십시오 .) 다른 사람들이 언급했듯이, 이는 명시된 주장이 주어진 변수 (여기서는 s ) 의 "모든 인스턴스에 대해"를 유지함을 의미합니다 . 곧 그 형제 인 역대 문자 E 를 만나게 될 것 입니다. 이것은 실존 적 수량 자입니다 . 이것은 관련 주장을 따르는 주어진 변수의 "적어도 하나가 존재한다"는 것을 의미합니다.

논리에 관심이 있다면 CJ Date 의 Logic and Databases : The Roots of Relational Theory 라는 책을 즐길 수 있습니다 . 이러한 수량 자와 논리적 의미를 다루는 여러 장이 있습니다. 이 책의 논리 범위를 활용하기 위해 데이터베이스로 작업 할 필요는 없습니다.

---

수학에서 ∀은 FOR ALL을 의미합니다.

유니 코드 문자 (\ u2200, ∀).

---

읽을 수 있습니다. "s가 s [start]와 같지 않은 모든 s에 대해"

---

예, 이것들은 수학에서 사용되는 잘 알려진 수량 자입니다. 또 다른 예는 "exists"로 읽는 ∃입니다.

http://en.wikipedia.org/wiki/Quantification

참고 URL : https://stackoverflow.com/questions/1925979/unfamiliar-symbol-in-algorithm-what-does-%e2%88%80-mean