보호되어 있는 글입니다.
내용을 보시려면 비밀번호를 입력하세요.

하와이 여행

여행 2012. 11. 6. 14:21

- hanauma bay

- lanikai beach

- hiking hill behind lanikai beach

- water fall in a mountain between waikiki and lanikai

source : http://www.best-of-oahu.com/Hawaii-Waterfalls.html

Manoa Falls

Manoa Falls

This waterfall on Oahu is not only the closest falls from Waikiki, but also one of the most stunning Oahu Waterfalls worth visiting on the island! 

quick 15 to 20 minute drive will take you from the Waikiki hotels to the lush Manoa Valley.  Manoa is recorded as the wettest spot on Oahu that receives more rainfall than anywhere else on the island.  Just imagine the impact this has on this Oahu waterfall…!

The trek up to the Manoa Falls is pretty much a flat trail, but can get muddy at times as you could imagine.  Stay the course for about an hour, and you will find yourself staring up at one of the tallest Oahu waterfalls -150 feet tall!

Posted by kisskys
,

source: http://blog.naver.com/PostView.nhn?blogId=pramisu&logNo=150025991965&redirect=Dlog&widgetTypeCall=true


귀류법은 주어진 명제를 부정하였을 때 모순이 발생함을 보여서 원래 명제가 참임을 보이는 방법입니다. 윗 분이 설명한 방법은 귀류법이 아니라 대우 명제를 증명하는 방법입니다.

 

"p이면 q이다" 라는 명제가 있다고 합시다. 우리가 원하는 것은 이 명제가 참이라는 것을 보이는 것입니다. 그러기 위해서, 이 명제의 부정을 가정하였을 때 모순이 발생함을 보이면 됩니다. 그런데, "p이면 q이다"를 부정하면 어떤 꼴의 명제가 될까요?

 

잘 생각해봅시다. "p이면 q이다" 라는 명제는, p라는 명제가 참이라면 항상 q라는 명제가 참임을 뜻합니다. 그러므로 이 명제의 부정은 p가 참이지만 q가 거짓임을 뜻해야 합니다. 따라서, 다음이 성립합니다.

 

! (p이면 q이다)   =   p이지만 q가 아니다.


혹은 좀 더 간단하게


!(p→q)   =   p and !q


입니다 (사실 두 명제는 필요충분조건입니다). 귀류법을 사용할 때 결론을 부정한다는 의미가 바로 위와 같은 의미입니다. 좀 더 정확히 말하자면, "p이면 q이다" 라는 명제를 증명하고자 할 때, 그 전제인 p와 그 결론의 부정인 !q 를 동시에 가정하면 모순이 발생함을 보이는 것입니다!


이 모든 내용은 명제논리학이라는 잘 완성된 학문 분야에서 엄밀하게 배우고 또 증명할수 있습니다만, 수학적 직관력이 있다면 굳이 이를 배우지 않고도 위의 내용을 이해할 수 있을 것입니다.




자, 아무튼 원래 명제로 돌아가봅시다. a와 b가 모두 실수일 때,

a² + b² = 0 이면 a = 0 이고 b = 0 이다.

라는 명제를 증명하기 위해 우리는 귀류법을 사용하려고 합니다. 따라서 위에서 언급한 것처럼

1) 가정(전제)와
2) 결론의 부정

을 동시에 가정하면 모순이 발생함을 보이면 됩니다. 즉, 전제인 "a² + b² = 0" 을 가정하고, 결론의 부정인 "a ≠ 0 이거나 b ≠ 0" 를 가정하면 됩니다. 나머지 증명은 질문하신 분이 질문에 적은 대로입니다.

[출처] 귀류법 과 대우|작성자 꿈틀이



Posted by kisskys
,

보호되어 있는 글입니다.
내용을 보시려면 비밀번호를 입력하세요.

보호되어 있는 글입니다.
내용을 보시려면 비밀번호를 입력하세요.

Question List

2012. 10. 14. 07:59

보호되어 있는 글입니다.
내용을 보시려면 비밀번호를 입력하세요.

GRE voca flash card

etc 2010. 7. 18. 13:12
Posted by kisskys
,
Posted by kisskys
,
Transaction Processing : Concepts and Techniques 라는 책이 있다.
이 책에 대한 Slide(저자 작성 자료)가 아래 사이트에 있다.
참고하자.
좋은 사이트 : http://research.microsoft.com/en-us/um/people/gray/wics_99_TP/

Posted by kisskys
,

제주도 맛집

여행 2009. 6. 22. 13:36
이래 저래 찾아보면서 정리하다가 잘 정리된 사이트가 있어서 이것으로 대신 한다.
비오면 맛집 찾아다니면서 놀아도 될 정도로 먹을게 많네요. 

# 해물류.
http://www.wingbus.com/asia/korea/jeju/community/?mode=readReview&review_id=1714
1. 생선회
2. 갈치, 고등어, 옥돔
3. 해물뚝배기, 성게국, 갈치국
4. 전복죽
5. 물회
6. 해물탕.

#  육류, 면류.
http://www.wingbus.com/asia/korea/jeju/community/?mode=readReview&review_id=1715&page=1&order=review_id
1. 흑돼지
2. 말고기
3. 꿩, 닭고기
4. 고기국수
5. 밀면, 수육 (밀면에 수육이 그렇게 맛있다고 팀에 있는 분이 추천했어요)
6. 보리빵
7. 각국음식.






-------------------- 이래 저래 -----------------------

1. 서귀포 진주식당 (http://kr.blog.yahoo.com/shbae5415/2894)

- 메뉴 : 해물 뚝배기(오분자기(전복새끼)가 들어간 해물 된장 뚝배기)
- 기타 정보
☞ 메뉴: 해물뚝배기(특, 보통), 옥돔구이, 갈치조림, 갈치구이
☞ 위치: 서귀포 일주도로변 뉴경남호텔 옆 위치(썬비치호텔 서쪽)
☞ 영업시간: 오전 7시 - 오후 9시, ☞ 휴일: 연중무휴(설, 추석 휴무)
☞ 신용카드: 사용가능, ☞ 주차 : 가능
☎ 전화: 064-762-5158

2. 서귀포 해궁미락 (http://kr.blog.yahoo.com/shbae5415/2903)

- 메뉴 : 갈치조림(2만원/공기밥 별도), 그외 세트(갈치조림/옥돔구이, 활어회 등등) 메뉴(4-6만원)
- 위치 : 서귀포 정방폭포에서 천지연폭포 가는 칠십리 해안도로변
- 전화번호 : 064) 732-5577, 011-691-8635

3.
Posted by kisskys
,