반응형 전체 글72 [이산수학] 1.6 증명의 소개 안녕하세요. 오랜만에 글을 쓰는데 거두절미하고 '증명의 소개'에 대해서 알아보겠습니다. 먼저 증명을 공부하기 전에 알아 두어야 할 용어들이 있습니다. 정리(theorem) : 참임을 보일 수 있는 하나의 진술 프로포지션(proposition) : 참임을 보일 수 있는 하나의 진술이지만 정리보다는 중요도가 낮음 공리(postulate) : 증명을 하지 않아도 참이라고 할 수 있는 진술 보조정리(lemma) : 증명하는데 도움이 되지만 덜 중요한 정리 계(corollary) : 증명된 정리로부터 직접적으로 귀결될 수 있는 정리 가설(conjecture) : 사람의 직감에 근거해서 참이라고 주장하는 문장. 만약 가설이 증명되면 가설은 정리가 됨. 거짓일 경우 정리가 될 수 없음 증명의 방법에는 여러가지 방법이.. 2023. 10. 11. [영어 단어] spoil 의외의 뜻 '환대하다' 안녕하세요 이번에는 spoil 이라는 단어의 뜻을 알아보겠습니다. 원래 spoil 하면 저는 '망치다', '버릇없게 만들다', '음식을 상하게 하다' 이 정도로 알고 있었는데 또 다른 뜻이 있더라구요. 바로 '환대하다' 입니다. 사실 환대하다의 의미에서 버릇없게 만들다로 의미가 넓어진것 같아요 매일매일 계속계속 잘해주면 버릇없어진다(?)의 뉘앙스로 보입니다. 예문을 한번 살펴볼게요. spoil : 환대하다 It's great to be spoiled. 대접을 잘 받으니 좋겠다. I felt so spoiled when I was on vacation 나 휴가 기간 동안 아주 좋았어 Thank you for spoiling me. 잘 대접해줘서 감사합니다. 2022. 1. 9. [영어 표현] cannot[couldn't] have p.p. 와 must not have p.p. 의 차이 cannot[couldn't] have p.p. 와 must not have p.p. 둘 다 '~이었을리가 없다' 라는 의미를 가지고 있어요. 하지만! You mustn't couldn't have seen a dodo. It became extinct in 1681. 이 문장에서 는 must not have p.p.가 아니라 couldn't have p.p.가 쓰여야 해요. 왜냐하면 must not 는 단순히 '그럴리가 없다'는 강한 부정적 추측을 의미하지만 cannot은 '논리적으로 말이 안된다' 는 의미를 나타내요. 그래서 쓰임에서도 차이가 있어요. 예문을 하나 들어보겠습니다. A: I thought I saw Heidi at the grocery store. B: It couldn't have b.. 2022. 1. 5. [영어 단어] collect, 의외의 뜻 '받다' 흔히 collect 하면 모으다, 수집하다 라는 뜻이 있는데요. 영어 듣기 문제를 풀다가 모으다 수집하다로 해석하면 너무 어색한 문장이 되어서 다른 뜻이 있나 찾아봤습니다. 제가 본 문장은 이겁니다. City building supervisor Tom Whitman announced today that the Housing Authority would reassess some 50,000 households that currently collect state rental support. 일반적으로 잘 안나오더라구요. 좀 찾아보니까 collect 뜻 중에 받다 라는 뜻이 있더라구요. 3번에 수령하다, 받다 라는 뜻이 있습니다! 제가 해맸던 문장도 받다 수령하다로 해석하면 깔끔해지네요. 읽어주셔서 감사합니댕 2022. 1. 4. [영어 단어] eminent 와 preeminent 의 미묘한 차이 안녕하세요! 오늘은 eminent 와 preeminent의 비슷하지만 다른 점을 알아보겠습니다! 영어 단어를 외우다가 eminent 도 '탁월한'이고 preeminent 도 '탁월한' 인데 무슨 차이가 있는지 궁금해서 찾아봤더니 eminent는 respected(존경)의 의미가 내포되어 있다고 합니다. 반면 preeminent는 well-known(유명)과 important(중요)의 의미가 내포 되어있어요 예시) eminent : The eminent (respectable ) doctor did the surgery very intelligently. preeminent : Bill Gates is a prominent (famous) figure in the world of computers. 찾다보.. 2022. 1. 2. NF-The Search NF의 'The Search'라는 노래는 2019년 9월 24일에 발매되었는데 엄청나게 강렬한 비트와 랩을 보여주면서 진짜 개찢어놓았어요. 특히 Where'd the beat go? 하고 잠깐 멈췄다가 빰!(표현이 좀 촌스럽지만?) Oh, ain't that somethin'? 나오는 부분에서 정말 정신 못차려버려요. 몸이 저절로 들썩 들썩 해요 아주 꼭 들어 보셨으면 좋겠습니다. 유튜브 링크는 맨 밑에 있습니다. 가사 "Hey, Nate, how's life?" I don't know, it's alright I've been dealin' with some things like every human being And really didn't sleep much last night (last night.. 2022. 1. 2. 이전 1 ··· 8 9 10 11 12 다음 반응형
