| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
박성원
가입: 2015년 9월 1일
올린 글: 19
|
 올려짐: 2015년9월8일 11:21 주제: textbook에 나온 귀납정의 표기법에 대한 질문입니다 |
 |
|
안녕하세요.
사소한 질문으로 귀찮게 해드려 죄송합니다.
예를 들어 다음과 같은 귀납정의가 있다고 합시다.
| 코드: |
---------
1
n
---------
n + n
|
이를 간편하게 표기하면
로 표기할 수 있을 것 입니다.
하지만 다음과 같은 귀납정의도
| 코드: |
---------
1
n1 n2
---------
n1 + n2
|
textbook 챕터 2.1의 Example 4, 6 등을 참고하면
로 표기해야 하는 것 같습니다.
두개의 다른 귀납정의가 모두 같은 식으로 표현이 되어버리는데
저런식(| 로 연결) 으로 표현하는 방법은 애초에 엄밀하게 쓰는게 불가능한 것인지
아니면 엄밀하게 쓸 수 있는 방법이 있는지 궁금합니다.
감사합니다. |
|
| 위로 |
|
 |
최재승
가입: 2012년 9월 10일
올린 글: 211
|
| 올려짐: 2015년9월9일 12:44 주제: |
|
|
안녕하세요,
귀납 규칙을
처럼 기술하면, 이것은 아래와 같은 것을 의미합니다. (즉 두 n이 다른 값을 가질 수 있는 것으로 생각합니다)
| 코드: |
---------
1
n1 n2
---------
n1 + n2
|
n -> ... | ... 와 같은 형태로 귀납규칙을 기술하면서, 두 n 이 같은 값을 같도록 조건을 주는 것은 불가능합니다.
(이를 여러번 확인해보느라 답변을 드리는데 시간이 좀 걸렸네요)
따라서 아래와 같은 귀납 규칙을 n -> ... | ... 형태로 쓸 수는 없습니다.
두 표현 방식에는 이러한 미묘한 차이가 있다고 보시면 되겠습니다. |
|
| 위로 |
|
|
박성원
가입: 2015년 9월 1일
올린 글: 19
|
| 올려짐: 2015년9월9일 14:24 주제: |
|
|
| 답변해주셔서 감사합니다! |
|
| 위로 |
|
|
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
