태그>axiom(총 4개의 글)
'axiom' 관련 최근글
-
- 술어논리의 공리 증명하기
-
시간을 낭비하는 블로그 by Jewish88|2020/10/31 20:28
술어논리에는 이른바 공리(axiom)라는 것이 있는데, 공리는 다른 추가적인 전제에 의존하지 않고도 그 자체로 증명과정에 도입가능한 일종의 공식이다. 다음과 같은 공리는 자연연역으로 증명가능하다. ∴ (∀x)(∀y)(x = y ↔ (Fx ↔ Fy))1. ..
- 술어논리의 공리 증명하기
-
- Axiom(from Wall.E)人이 되는 길
-
You're on the blitzkreig!! by 무너|2010/12/23 13:33
이제 지구탈출 우주선 Axiom에 다량 보유 후, 지구를 떠나도 될듯!
- Axiom(from Wall.E)人이 되는 길
-
- [MATH] VectorSpace axiom
-
꿈을 키우는 열정하나로!!! by NeoTrinity|2008/10/21 15:42
Formal definitionLet F be a field (such as the real numbers or complex numbers), whose elements will be called scalars. A vector space over the field F is a set Vtogether with two binary operations,vector additi..
- [MATH] VectorSpace axiom
-
- WALL-E
-
You're on the blitzkreig!! by 무너|2008/09/07 21:27
WALL.E 버려진 지구에 남겨진 자유의지 Wall E. 스필버그 A.I.의 데이비드, 베르베르 파피용의 아드리앵(음 이 친구는 로보트 아니지만). "Futuristic Pinocchio"라고 규정짓고 싶은 인물 플롯이다. 이 인물 플롯은 "인간이 다 사라진 그날을 종말..
- WALL-E