컴퓨터 과학공부1

D-29
인공지능 시대, 컴퓨터 공부도 시작!! 목표는 이틀에 1챕터!
1챕터 어떤 질문에도 대답해 주는 인공지능 : 궁극의 기계 질문을 하고 답변을 해 주는 것을 기계로 정의 하자. 지능에 대한 논의를 '문제가 주어 졌을 때 그 문제를 어떻게 해결'하는지로 좁혀서 생각하자. 문제를 푸는 절차를 알고리즘이라고 한다. 알고리즘에 관한 이론이 현재 "계산 이론"이라고 일컬어 진다. 이 계산이론을 바탕으로 컴퓨터가 발전했다. 알고리즘은 소프트웨어. 뇌는 하드웨어. 알고리즘을 실행하는 기계를 최초로 생각한 사람은 튜링. 튜링기계는 무한히 긴 1개의 테이프와 그 테이프에 쓰여진 문자를 읽고 쓰기 위한 헤드가 한개 붙어 있는 구조. 할 수 있는 것은 왼쪽이나 오른쪽으로 한칸씩 이동, 테이프에 글자를 쓰거나 읽는 것 음.. 이게 어떻게 능력을 발휘하는 건지는 추후에.. 힐베르트의 23개의 미해결 문제 중 <주어진 명제의 정리 여부를 판정하는 알고리즘 찾기> 여기서 그 때 당시 알고리즘은 기계적으로 실행할 수 있는 명확한 지침의 집합으로 표현되어 사용되었다. 특히 10번째 문제 디오판토스 방정식이 유리수해를 갖는지 판단하는 절차(알고리즘) 구하기가 있다. 처음부터 알고리즘이 존재하지 않는다는 생각을 하지 않았으나, 러시아 수학자 마티야세비치가 해당 문제를 푸는 알고리즘이 존재하지 않는다는 것을 증명함. 이를 계산 불가능 문제라고 한다. 이는 튜링이 알고리즘이 존재하지 않는다는 것은 <튜링기계로 계산할 수 없는 것>이라 규정한 것과 같음. 비슷하게 괴델의 불완전성 정리도 본질적으로 같은 논리임. 이는 곧 계산할 수 없는 문제의 존재, 기계의 한계를 말한다. 그렇지만 여기서 부터 오히려 컴퓨터 과학 등에서 많은 이론이 생성되어 발전하였다. 즉, 알고리즘이 없다는 것은 어떤 말인가가.. 알고리즘이란 무엇인가로 다시 주목을 받음. 괴델 수(명제와 같은 대상을 수치화해서 숫자로 처리 -> 비트열) 촘스키의 성구구조문법.. 생성문법으로 발전.. 즉, 인공언어의 설계와 해석..으로 발전.
2챕터 튜링은 대각선 논법을 사용하여 <계산할 수 없는 문제>가 있다는 걸 증명했다. 이 논법은 모순, 크레타 사람은 거짓말쟁이다. 역설 같은 거다. 여기서 수학적 귀납법을 살펴 보자. 이 논법은 중요하다. 일반적인 귀납법과는 다르다. 순환 논법이 되지 않게 세심하게 사용하면 강력한 증명 도구가 된다. 흔히 특수한 예에서 보편적 명제를 도출하는 것이 일반적 귀납법이라면, 수학적 귀납법은 특수한 예들 n개가 성립하면 n+1도 성립함을 증명하여.. 모든 수에 대해 항상 성립함을 증명하는 것이다. 이것이 어떻게 적용되는지는 추후에...
3챕터 현대수학은 매우 엄격한 형식주의로 만들어져 있다. 1챕터의 내용을 상기. 그래서 자연수를 정의하여 사용한다. 완전히 정의 하지 않고 사용하면 오류가 발생. 즉, 계산 할 수 없는 문제가 발생한다. 정의와 공리 내에서 문제에 답을 내고.. 정의와 공리는 그 논리적 세계를 이룬다. 1) 제로는 자연수이다. 2) x가 자연수라면 x의 후자는 자연수이다. 3) 1)과 2)에서 정의된 것만이 자연수이다. 자연수가 충족해야 할 기본적인 성질을 자연수의 공리라고 한다. 공리1) 제로는 어떤 자연수의 후자도 아니다. 공리2) 다른 2개의 자연수는 각각 다른 후자를 가진다. 공리3) 제로가 어느 성질을 가지고, 어떤 자연수가 그 성질을 가지고 있을 경우, 그 다음 숫자도 같은 성질을 가진다면, 모든 자연수는 동일한 성질을 가진다. <공리3은 수학적 귀납법의 원리>를 나타내고 있다.(챕터2이 내용) 기저: 제로가 어느 성질을 가진다. 가정: 어떤 자연수가 그 성질을 가진다. 단계: 그 다음 숫자도 그 같은 성질을 가진다. 증명: 모든 자연수가 그 성질을 가진다. 이렇게 수학적 귀납법이 중요한 이유는...추측하자면, 엄격한 형식주의의 수학에서 강력한 증명 도구가 되기 때문?
4챕터 알고리즘을 실행하는 기계(튜링기계, 계수기계 등) 기계를 움직이는 알고리즘(흐름도, 기계어 등) 이제 실제 기계가 어떻게 사고하고 문제를 풀어 가는지 생각해 보자. 계수기계를 가지고 설명.
글타래
화제 모음
지정된 화제가 없습니다
[책나눔 이벤트] 지금 모집중!
[다산북스/책증정]《너를 위해 사는 것이 인생이라고 니체가 말했다》 저자&편집자와 읽어요!
💡독서모임에 관심있는 출판사들을 위한 안내
출판사 협업 문의 관련 안내
그믐 새내기를 위한 가이드
그믐에 처음 오셨나요?[그믐레터]로 그믐 소식 받으세요중간 참여할 수 있어요!
올해 첫 책! 함께 나눠요!
[그믐밤] 31. 새해 읽고 싶은 책 이야기해요.
이런 주제로도 독서모임이?
혹시 필사 좋아하세요?문학편식쟁이의 수학공부! 50일 수학(상) 함께 풀어요.스몰 색채 워크샵프리스타일 랩을 위한 북클럽 《운율,서재》
2월 8일(토) 연극 같이 봐요!
[그믐연뮤클럽] 5. 의심, 균열, 파국 x 추리소설과 연극무대가 함께 하는 "붉은 낙엽"[그믐연뮤클럽] 4. 다시 찾아온 도박사의 세계 x 진실한 사랑과 구원의 "백치"[그믐연뮤클럽] 3. "리어왕" 읽고 "더 드레서" 같이 관람해요
🎤낭독하기 좋은 책
[그믐밤X그믐클래식] 32. 달밤에 낭독, <일리아스> [그믐밤] 28. 달밤에 낭독, <우리는 언제나 희망하고 있지 않나요>
2025년에도 한강 작가의 책 읽기는 계속됩니다!
[한강 작가님 책 읽기] '작별하지 않는다'를 함께 읽으실 분을 구합니다![라비북클럽](한강작가 노벨문학상 수상기념 2탄)흰 같이 읽어요노벨문학상 수상 한강 작가 작품 읽기 [한강 작가님 책 읽기] '소년이 온다'를 함께 읽으실 분을 구합니다.
스토리 탐험단의 여정은 계속됩니다.
스토리 탐험단 두 번째 여정 [스토리텔링의 비밀]스토리 탐험단의 첫 번째 여정 [이야기의 탄생]
김새섬의 북모닝, 굿모닝 ☕
[1월 북모닝도서] 넥서스 - 하라리다운 통찰로 인류의 미래를 묻다[1월 북모닝도서] 빌드(BUILD) 창조의 과정 - 또라이 대처법까지 알려주는 아이팟의 아버지[1월 북모닝도서] TSMC, 세계 1위의 비밀 - 클립 하나에 담긴 보안[1월 북모닝도서] 레드 헬리콥터 - 숫자 뒤에 사람 있어요.[1월 북모닝도서] 다시, 리더란 무엇인가 - 역사 속 리더들에게 배우다
1월의 고전
[그믐클래식 2025] 1월, 일리아스 [이달의 고전] 1월 『금각사』 함께 읽어요[이달의 고전] 1월 『설국』 함께 읽어요
한국 장편 문학을 찾고 계신다면?
[📕수북탐독] 4. 콜센터⭐수림문학상 수상작 함께 읽어요[📕수북탐독] 3. 로메리고 주식회사⭐수림문학상 수상작 함께 읽어요[📕수북탐독] 2. 사라지는, 사라지지 않는⭐수림문학상 수상작 함께 읽어요[📕수북탐독] 1. 속도의 안내자⭐수림문학상 수상작 함께 읽어요
🎁 여러분의 활발한 독서 생활을 응원하며 그믐이 선물을 드려요.
[인생책 5문 5답] , [싱글 챌린지] 완수자에게 선물을 드립니다
🥦🍆 채식이 궁금한 사람들은 이곳으로~
12주에 채식 관련 책 12권 읽기 ③ 고기는 절반만 먹겠습니다 (브라이언 케이트먼)12주에 채식 관련 책 12권 읽기 ② 채식의 배신 (리어 키스)12주에 채식 관련 책 12권 읽기 ① 채식의 철학 (토니 밀리건)
깊어가는 겨울, 그리움 담은 편지 한 통 ✉
[편지큐레이터와 편지책 읽기] 1. 빈센트 반 고흐의 편지를 읽어요.[책 증정] 텍스티와 함께 『편지 가게 글월』 함께 읽어요![편지 가게 글월] 서로 꿈을 이야기하며 안부를 전하는 글쓰기를 하고자 합니다. [그믐밤] 6. 편지 읽고, 편지 쓰는 밤 @무슨서점
모집중밤하늘
내 블로그
내 서재