알고리즘 서적에 나온 증명들에 대한 이해?

ktlsu1231의 이미지

안녕하세요.
알고리즘 종류의 책을 보면 심오한(?) 증명들이 적혀있습니다.
제가 수학공부를 열심히 않은 탓으로 누가 설명해주기 전까지
그 수식들을 보고 이해가 되지 않는데 어떻게 이해하시는지
궁금합니다. ^^; 어떻게 받아들이시나요?
이해하려면 어떻게 하면 될까요? 정석부터 봐야하나요?
감사합니다.

cdpark의 이미지

심오한 증명이라.. 어떤 증명인지 예를 들어주세요.

필요한 수학은 논리/집합 등의 이산수학, 기타등등. 알고리즘 책의 앞 부분에 필요한 내용은 다 적혀 있습니다.

심오한(?) 증명을 이해하고 싶다면 Knuth 할아버지의 TAOCP는 좀 두껍고, Concrete Mathematics란 책이 그럭저럭 재미있습니다. 그 책의 절반 정도만 슬슬 읽고 넘어가세요. 책 내용의 절반 정도는 굳이 이해하고 넘어가지 않아도 인생을 살아가는데 무리는 없습니다. 삶의 기쁨(?) 몇 가지를 놓치긴 하겠지만요.

최종호의 이미지

컴퓨터 서적 추천하는 란에 보면 가끔 컴퓨터 분야 아닌 책들이 추천되곤 합니다.

Polya의 How to Solve It 이란 책도 그런 책들중의 하나인데요,

알고리즘책의 증명과 같은 rigorous한 것을 보시려면 이산구조, 해석학, 집합론 등의 책을 보셔야 하겠지만,

고기잡는 법이랄까요? 좀 gentle하게 감을 잡고 싶으시다면 Polya의 책을 권해드리고 싶습니다.

또 비슷하게 gentle하면서도 프로그래밍을 중심으로 이야기를 풀어가는

Bentley의 Programming Pearls 라는 책도 괜찮을 듯 싶습니다.

그리고 새로운 알고리즘을 고안하는 것이 아니시라면

포기하지 않는 마음이 중요한 것 같습니다.

습관을 가다듬으시고, 경험이 쌓이다 보면 어느 순간 조금씩

재밌는 녀석들이 나타날 것이라고 생각합니다.

vacancy의 이미지

스스로 문제 상황에 맞는
간단한 예제를 만들어서
차근차근 따라가보면 도움이 많이 될것 같네요.

notpig의 이미지

cdpark wrote:
심오한 증명이라.. 어떤 증명인지 예를 들어주세요.

필요한 수학은 논리/집합 등의 이산수학, 기타등등. 알고리즘 책의 앞 부분에 필요한 내용은 다 적혀 있습니다.

심오한(?) 증명을 이해하고 싶다면 Knuth 할아버지의 TAOCP는 좀 두껍고, Concrete Mathematics란 책이 그럭저럭 재미있습니다. 그 책의 절반 정도만 슬슬 읽고 넘어가세요. 책 내용의 절반 정도는 굳이 이해하고 넘어가지 않아도 인생을 살아가는데 무리는 없습니다. 삶의 기쁨(?) 몇 가지를 놓치긴 하겠지만요.

주제와 다른말일수 있는데
음..목차만 보고 이런말 하긴 좀 뭐하지만...
Concrete Mathematics 란책이 Continious + Discrete Mathematics 라고 하던데 음...이산수학에 관련된 내용이 없거나 적은거 같네요...

목차만 살펴봐서 그런가요???책 내용에 충분한 설명이 되어있는건가요???
누가 설명좀 부탁드립니다

slayer의 이미지

cdpark wrote:

Concrete Mathematics 란책이 Continious + Discrete Mathematics 라고 하던데 음...이산수학에 관련된 내용이 없거나 적은거 같네요...

목차만 살펴봐서 그런가요???책 내용에 충분한 설명이 되어있는건가요???
누가 설명좀 부탁드립니다

그 책 머리말에 보면 Discrete Mathematics와는 거의 상관 없는 내용을 담고 있다고 나오죠..-_-;
Concrete라는게 Continuous + Discrete이 아니라 Abstract의 반대말로 쓴 겁니다..
보통의 대학 수학 교육과정에서 현실과 동떨어진 그야말로 Abstract한 내용을 가르치는 현실에 대한 답답함에서 이 책을 썼다고, 머릿말에 나옵니다..
그래서 책 내용을 보면 유명한 문제들을 예제삼아서 이를 중심으로 내용을 설명해나가는 방식이죠..
이산과 연속을 동시에 잡으려고 이 책을 사셨다면 상당히 안 좋은 선택이라고 보여집니다.. -_-;

notpig의 이미지

slayer wrote:
cdpark wrote:

Concrete Mathematics 란책이 Continious + Discrete Mathematics 라고 하던데 음...이산수학에 관련된 내용이 없거나 적은거 같네요...

목차만 살펴봐서 그런가요???책 내용에 충분한 설명이 되어있는건가요???
누가 설명좀 부탁드립니다

그 책 머리말에 보면 Discrete Mathematics와는 거의 상관 없는 내용을 담고 있다고 나오죠..-_-;
Concrete라는게 Continuous + Discrete이 아니라 Abstract의 반대말로 쓴 겁니다..
보통의 대학 수학 교육과정에서 현실과 동떨어진 그야말로 Abstract한 내용을 가르치는 현실에 대한 답답함에서 이 책을 썼다고, 머릿말에 나옵니다..
그래서 책 내용을 보면 유명한 문제들을 예제삼아서 이를 중심으로 내용을 설명해나가는 방식이죠..
이산과 연속을 동시에 잡으려고 이 책을 사셨다면 상당히 안 좋은 선택이라고 보여집니다.. -_-;

다행이 책은 안샀습니다...^^
어디서 들었는지 모르겠지만...Continuous + Discrete 라고 들었는데..
제가 잘못알고 있었던거군요...
아무래도 이산과 연속을 동시에 잡을수있지 않을까 해서 구입을 고려했는데..ㅡㅡ;;
추천하는 사람도 많으니 이책을 읽어보는것도 좋단 생각은 하네요~

alsgo123의 이미지

http://www.nist.gov/dads/

알고리즘, 자료구조 사전입니다. 이곳에서 검색하시면 도움이 될만할 자료가 있을것 같네요.

증명한다거나 하는 부분은 ^^ 좋은 방법을 찾으시면 제게도 귀뜸 해주세요 ^^

mach의 이미지

ktlsu1231 wrote:
안녕하세요.
알고리즘 종류의 책을 보면 심오한(?) 증명들이 적혀있습니다.
제가 수학공부를 열심히 않은 탓으로 누가 설명해주기 전까지
그 수식들을 보고 이해가 되지 않는데 어떻게 이해하시는지
궁금합니다. ^^; 어떻게 받아들이시나요?
이해하려면 어떻게 하면 될까요? 정석부터 봐야하나요?
감사합니다.

사례를 하나 들어주시면 어떨지?

------------------ P.S. --------------
지식은 오픈해서 검증받아야 산지식이된다고 동네 아저씨가 그러더라.

ktlsu1231의 이미지

많은 조언해주셔서 정말 감사합니다.

지금 보고 있는 책은

Horowitz, Sahni, Rajasekaran-Computer Algorithms/C++ 입니다.

이 책에 나온 수식을 이해하기 힘들어 글을 올렸습니다. ^^;;
감사합니다.

천재태지서주영의 이미지

alsgo123 님께서 알려주신 사이트 대박입니다. ㅡㅡb
와... 좋은 사이트 알려주셔서 정말 감사드립니다.

천재태지서주영

cdpark의 이미지

천재태지서주영 wrote:
alsgo123 님께서 알려주신 사이트 대박입니다. ㅡㅡb
와... 좋은 사이트 알려주셔서 정말 감사드립니다.

이곳과 쌍벽을 이루는 또다른 사이트입니다.

http://mathworld.wolfram.com/

Mathematica를 만드는 울프람 연구소 사이트입니다.

그런데 NIST DADS나 MathWorld나 굳이 찾아가지 않아도 google만 써도 충분합니다. 이 두 사이트는 대개 5위 안쪽에서 찾아지니깐요.

댓글 달기

Filtered HTML

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

BBCode

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param>
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

Textile

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • You can use Textile markup to format text.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Markdown

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • Quick Tips:
    • Two or more spaces at a line's end = Line break
    • Double returns = Paragraph
    • *Single asterisks* or _single underscores_ = Emphasis
    • **Double** or __double__ = Strong
    • This is [a link](http://the.link.example.com "The optional title text")
    For complete details on the Markdown syntax, see the Markdown documentation and Markdown Extra documentation for tables, footnotes, and more.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Plain text

  • HTML 태그를 사용할 수 없습니다.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 줄과 단락은 자동으로 분리됩니다.
댓글 첨부 파일
이 댓글에 이미지나 파일을 업로드 합니다.
파일 크기는 8 MB보다 작아야 합니다.
허용할 파일 형식: txt pdf doc xls gif jpg jpeg mp3 png rar zip.
CAPTCHA
이것은 자동으로 스팸을 올리는 것을 막기 위해서 제공됩니다.