SNU =10100 =minusby by1000 ÄÄto0.03exÄÄto0.03exÄÄ=10100 =minusby by1000 Ç»to0.03exÇ»to0.03exÇ»=10100 =minusby by1000 ÅÍto0.03exÅÍto0.03exÅÍ=10100 =minusby by1000 °úto0.03ex°úto0.03ex°ú=10100 =minusby by1000 ÇÐto0.03exÇÐto0.03exÇÐ=10100 =minusby by1000 ÀÌto0.03exÀÌto0.03exÀÌ =10100 =minusby by1000 ¿©to0.03ex¿©to0.03ex¿©=10100 =minusby by1000 ´Âto0.03ex´Âto0.03ex´Â =10100 =minusby by1000 ¼¼to0.03ex¼¼to0.03ex¼¼=10100 =minusby by1000 °èto0.03ex°èto0.03ex°è(Computational Civilization) Part I
|
|
- 서현 뇌
- 6 years ago
- Views:
Transcription
1 차례 SNU 컴퓨터과학이 여는 세계(Computational Civilization) Part Prof. Kwangkeun Yi 400년의 축적 Department of Computer Science & Engineering 다음 컴퓨터라는 도구 인류역사에 유례가 없던 도구 컴퓨터 v.s. 칼, 활, 바퀴, 고무밴드, 자동차, 냉장고, 400년의 축적 컴퓨터라는 도구의 놀라운 특이점은 뭘까? 만능
2 수학자들의 꿈 컴퓨터 디자인의 탄생비화 수리명제 자동판결 문제(Entscheidungsproblem, decision problem) 국제 수학자대회(CM) 보편만능의 도구(universal machine) 20세기 수학의 좌절을 재확인하는 데 동원된 소품 이것이 20세기 정보혁명의 주인공이 되는 아이러니 Gottried Leibniz(-76) Gottlob Frege(-925) David Hilbert(-943) 모든 명제들의 참/거짓을 기계적으로 판명할 수 없을까? 참인 모든 명제들을 기계적으로 만들어낼 수 없을까? (사진출처: 추론 기계: 추론 규칙 기계적 맛있는 라면만들기: 라면공장 기계 두 정수의 최대공약수 찾기: 막대재기 기계 참/거짓 판별하기: 추론 기계 쌍 uncle(a, b)들의 추론 규칙 male(u) father(f, i) brother(f, u) uncle(u, i) father(c, a) father(c, b) brother(a, b) 쌍 ({g,, gn }, f )들의 추론 규칙 (Γ, T ) (Γ, f ) (사진출처: Google) f Γ (Γ, F ) (Γ, f ) (Γ, f ) (Γ, f ) (Γ, f ) (Γ, f2 ) (Γ, f f2 ) (Γ, f f2 ) (Γ, f ) (Γ, f ) (Γ, f f2 ) (Γ, f f2 ) (Γ {f }, f3 ) (Γ {f2 }, f3 ) (Γ, f3 ) (Γ {f }, f2 ) (Γ, f f2 ) (Γ, f f2 ) (Γ, f ) (Γ, f2 ) (Γ {f }, F ) (Γ, f ) (Γ, f ) (Γ, f ) (Γ, F ) Google)
3 93 년, 수학계의 좌절 혹은 희소식 기계적인방식만으론사실인지판정할수없는, 그런명제가존재한다. 936 년, 8 월 9 일 vs 5 월 28 일 손기정 알란튜링 (Alan Turing) Kurt Gödel(-978) ( 사진출처 : Google) 계산가능한수에대해서, 수리명제자동판별문 제에응용하면서 (On Computable Numbers, with an Application to the Entscheidungsproblem) 튜링의그때그시절 (/2) 934 년 월, Cambridge U 학부졸업논문제출 935년봄, Part course on Foundations of Mathematics수강 ( 강사 : Max Newman) Newman의강의는 Gödel의불완전성의증명 (ncompleteness Theorem) 으로마무리됨. 기계적인방식으로는참 / 거짓을판명할수없는명제가존재한다. Newman: 참 / 거짓을판명해주는기계적인방식은 있을수없겠지...
4 튜링의그때그시절 (2/2) Newman 강의를수강후인 935 초여름, 935년 4월말, group theory에대한논문제출및출판 (London Mathematical Society). 이논문은폰노이만논문을작게개선한것. 935년동안은또양자역학에도연구를할까생각함. 수리물리학 Fowler교수를찾아가연구꺼리를얻었으나진전이없었슴. Newman이강의때던진말이튜링의관심을붙듬. 떠나자 : 오리지날논문속으로 On Computable Numbers, with an Application to the Entscheidungsproblem Proceedings of the London Mathematical Society, ser.2, vol.42 (936-37). pp ; corrections, bid, vol 43(937) pp 이때쯤, 장거리달리기취미를가지기시작. 튜링왈, 달리기를마치고풀밭에누워있는데힐버트의 세번째문제를어떻게풀지가생각나더라.. Computing Machines, 2. Definitions 3. Examples of computing machines 기계적인방식 = 아래의부품들로만드는기계로돌리는 무한 : 빈칸이무한히많은테잎 유한 : 기계상태들 S, 테잎심볼 T, 규칙표 R 규칙표 R S T T {>, <, } S 계산가능한숫자열들 를만드는튜링기계 를만드는튜링기계
5 4. Abbreviated tables skeleton tables : 반복해서사용할라이브러리 / 서브루틴룰들 rules for finding the left most symbol rules for writing a symbol at the end of the first symbol etc. 5. Enumeration of computable sequence 튜링기계마다자연수하나로표현가능. 규칙표를보자 : 상태심볼 {A, B, C} 은 {S 0, S, S 2 } 테이프심볼 {, $} 은 {T 0, T } A * * > A A $ $ > B 따라서일렬로표현하면 A > A 끝 A $ $ > B S 0 T 0 T 0 > S 0 X S 0 T T > S 즉, S, T, 0,, 9, <, >,, X 로표현한 진수. 6. The universal computing machine, 7. Detailed description of the universal machine 보편만능의기계 (/2): 임의의튜링기계를테 이프에표현하기 7 개테이프심볼이면충분 : S, T, <, >,, 0,, 9, X, 하나의튜링기계를만들수있다, 임의의튜링기계를입력으로받아그기계의작동을하는. 보편만능의기계 ( universal machine ) 임의의튜링기계를테이프에, 심볼의일차원실로 받기 그것대로실행하는튜링기계규칙표만들기
6 보편만능의 기계(2/2): 규칙표 예술로 표현한 Univeral Turing Machine Roman Verostko, 998, 아래과정을 반복하는 규칙표. 읽기: 테잎에서 현재상태 심볼 Si 2. 읽기: 테잎에서 위치심볼( )의 테잎심볼 Tj 3. 규칙찾기: Si와 Tj와 매치되는 규칙을 테잎에서 찾기. 4. 찾은 규칙 Si Tj Tj 0 m Si0 이 시키는 일하기: 심볼복사 + 위치심볼이동 증명 준비: 튜링기계의 급소 (그림출처: 8. Application of the diagonal process 멈춤문제(Halting Problem)를 풀 수 있는 튜링기계는 없다, 튜링기계의 개수는 무한히 많지만 자연수의 개수를 넘을 수 없다 는 것을 보임. 튜링기계마다 자연수 하나(7진수의 자연수)에 대응 만약 있다고 하자 H. 그러면, 모든 튜링기계를 줄 세워 아래 테이블 가능: 입력 무한의 세계에도 크기 차이가 있다 칸토르(Georg Cantor)의 대각선 논법( N < 2 ) N 3 튜 M 0 링 M2 0 기 M 계 2 모순: 그런데 모든 튜링기계와 다른 튜링기계 D가 있다! D(n) = U M (Mn, n ) H(Mn, n ) + 따라서 멈춤문제를 풀 수 있는 튜링기계 H는 없어야. 칸토르(Georg Cantor)의 대각선 논법( N < 2N ) Google)
7 9. The extent of the computable numbers 기계적으로계산가능한수들의범위튜링이정의한기계적인계산과정 ( 튜링머신으로돌릴수있는과정 ) 이과연 기계적인계산 의모두인가에대한방어. 세가지로설득 직관적이지아니한가 두개의정의가결국같지아니한가 Hilbert s restricted functional calculus = Turing computable 이렇게계산가능한수의범위가꽤크다, 보라 0. Examples of large classes of numbers which are computable 계산가능한함수로꾸민계산가능한함수는계산가능 계산가능한함수로꾸민재귀함수는계산가능 계산가능한수열의극한값은계산가능 등등. Application to the Entscheidungsproblem (/3). Application to the Entscheidungsproblem (2/3) 기계적인과정으로명제의참거짓을판단할수있을까? 혹은기계적인과정으로모든참인명제를만들어낼수있을까? 모든참인명제를만들어내는튜링기계 A 증명목표 : A 는존재하지않는다. 사실 : A 가존재하면 H 가존재한다. 불가능하다. 왜냐하면, 가능하다고가정하고살펴보면모순이기때문이다. 사실 : H 는존재하지않는다. 따라서 A 는존재하지않는다.
8 . Application to the Entscheidungsproblem (3/3) 사실 : A가존재하면 H가존재한다. A를부품으로써서 H를쉽게만들수있기때문 : 입력 : 멈출지알고싶은튜링기계 M UM으로 A를흉내낸다. 참인명제를빠뜨림없이만들것이므로 ( 튜링기계 M은멈춘다 ) 또는 ( 튜링기계 M은멈춘다 ) 를반드시만들것이다. 여담 : H 가존재한다면? 많은오리무중이자동증명됨. 예를들어, Fermat: 자연수 n > 2에대해서 a n + b n = c n 인자연수a, b, c는없다. Goldbach: 모든짝수는두솟수의합이다. 참임을확인해가는튜링기계를만들고멈춤문제풀이로해결 : (a, b, c, n) 를모두 훑으면서, a n + b n = c n 이면멈추는기계 모든짝수 k를 훑으면서, 두솟수 (p, q) 를 훑으면서, k p + q이면멈추는기계 UM 이만드는참인명제는, 명제에대한명제가아닌 차명제 (first-order predicates) 뿐으로한정된다. 예를들어, (M 이멈춘다는참거짓을알수없다 ) 는 차명제가아니다. 400 년의축적 : 컴퓨터의탄생 다른트랙 자동계산장치들 주판 600 년대사칙연산 : 파스칼 (Pascal), 꿈 : 인간논리의자동화 ( 기계화 ), Leibniz, Frege, Cantor, Hilbert, Gödel, Turing 튜링학생의불가능재증명논술에서나온소품보편만능의기계 (universal machine) 라이프니츠 (Leibniz) 830년대사칙연산이상 : 배비지 (Babbage) 920년대이후회계장부 (BM), 통계계산 (ABC) 계산내용을외부입력으로 : Mark(Harvard U), ENAC(U Penn) 점점보편만능의기계에가까워가고 튜링 : 튜링이던진디자인이올킬. 구현기술 : 그동안쌓인구현기술이신속히동원됨
9 다음 400년의 축적 다음 다음 400년의 축적 400년의 축적
<3235B0AD20BCF6BFADC0C720B1D8C7D120C2FC20B0C5C1FE20322E687770>
25 강. 수열의극한참거짓 2 두수열 { }, {b n } 의극한에대한 < 보기 > 의설명중옳은것을모두고르면? Ⅰ. < b n 이고 lim = 이면 lim b n =이다. Ⅱ. 두수열 { }, {b n } 이수렴할때 < b n 이면 lim < lim b n 이다. Ⅲ. lim b n =0이면 lim =0또는 lim b n =0이다. Ⅰ 2Ⅱ 3Ⅲ 4Ⅰ,Ⅱ 5Ⅰ,Ⅲ
More informationSNU =10100 =minusby by1000 ÄÄto0.03exÄÄto0.03exÄÄ=10100 =minusby by1000 Ç»to0.03exÇ»to0.03exÇ»=10100 =minusby by1000 ÅÍto0.0
차례 SNU 046.016 컴퓨터과학이여는 세계 (Computational Civilization) Part Prof. Kwangkeun Yi Department of Computer Science & Engineering 이전 다음 1 400년의 축적 2 그 도구의 실현 3 SW, 지혜로 짓는 세계 4 응용: 인간 지능/본능/현실의 확장 또다른 100여년의
More informationMicrosoft PowerPoint Predicates and Quantifiers.ppt
이산수학 () 1.3 술어와한정기호 (Predicates and Quantifiers) 2006 년봄학기 문양세강원대학교컴퓨터과학과 술어 (Predicate), 명제함수 (Propositional Function) x is greater than 3. 변수 (variable) = x 술어 (predicate) = P 명제함수 (propositional function)
More informationC 언어 프로그래밊 과제 풀이
과제풀이 (1) 홀수 / 짝수판정 (1) /* 20094123 홍길동 20100324 */ /* even_or_odd.c */ /* 정수를입력받아홀수인지짝수인지판정하는프로그램 */ int number; printf(" 정수를입력하시오 => "); scanf("%d", &number); 확인 주석문 가필요한이유 printf 와 scanf 쌍
More information완벽한개념정립 _ 행렬의참, 거짓 수학전문가 NAMU 선생 1. 행렬의참, 거짓개념정리 1. 교환법칙과관련한내용, 는항상성립하지만 는항상성립하지는않는다. < 참인명제 > (1),, (2) ( ) 인경우에는 가성립한다.,,, (3) 다음과같은관계식을만족하는두행렬 A,B에
1. 행렬의참, 거짓개념정리 1. 교환법칙과관련한내용, 는항상성립하지만 는항상성립하지는않는다. < 참인명제 > (1),, (2) ( ) 인경우에는 가성립한다.,,, (3) 다음과같은관계식을만족하는두행렬 A,B에대하여 AB=BA 1 가성립한다 2 3 (4) 이면 1 곱셈공식및변형공식성립 ± ± ( 복호동순 ), 2 지수법칙성립 (은자연수 ) < 거짓인명제 >
More information1 경영학을 위한 수학 Final Exam 2015/12/12(토) 13:00-15:00 풀이과정을 모두 명시하시오. 정리를 사용할 경우 명시하시오. 1. (각 6점) 다음 적분을 구하시오 Z 1 4 Z 1 (x + 1) dx (a) 1 (x 1)4 dx 1 Solut
경영학을 위한 수학 Fial Eam 5//(토) :-5: 풀이과정을 모두 명시하시오. 정리를 사용할 경우 명시하시오.. (각 6점) 다음 적분을 구하시오 4 ( ) (a) ( )4 8 8 (b) d이 성립한다. d C C log log (c) 이다. 양변에 적분을 취하면 log C (d) 라 하자. 그러면 d 4이다. 9 9 4 / si (e) cos si
More informationMicrosoft PowerPoint - Java7.pptx
HPC & OT Lab. 1 HPC & OT Lab. 2 실습 7 주차 Jin-Ho, Jang M.S. Hanyang Univ. HPC&OT Lab. jinhoyo@nate.com HPC & OT Lab. 3 Component Structure 객체 (object) 생성개념을이해한다. 외부클래스에대한접근방법을이해한다. 접근제어자 (public & private)
More informationHW5 Exercise 1 (60pts) M interpreter with a simple type system M. M. M.., M (simple type system). M, M. M., M.
오늘할것 5 6 HW5 Exercise 1 (60pts) M interpreter with a simple type system M. M. M.., M (simple type system). M, M. M., M. Review: 5-2 7 7 17 5 4 3 4 OR 0 2 1 2 ~20 ~40 ~60 ~80 ~100 M 언어 e ::= const constant
More information컴퓨터 공학자들: 기원과 미래 자유전공학부 10 김수열 April 24, 2015 추천 도서 및 참고 자료들을 종합해보면, 컴퓨터는 크게 세 가지 흐름이 부딪혀 만들어 낸 결과물이라고 할 수 있다. 세 가지 흐름 중 첫 번째는 기계적 과정을 통해 모든 참인 명제를 증명
컴퓨터 공학자들: 기원과 미래 자유전공학부 10 김수열 April 24, 2015 추천 도서 및 참고 자료들을 종합해보면, 컴퓨터는 크게 세 가지 흐름이 부딪혀 만들어 낸 결과물이라고 할 수 있다. 세 가지 흐름 중 첫 번째는 기계적 과정을 통해 모든 참인 명제를 증명할 수 있다. 는 것을 입증하기 위한 부단한 노력으로, 고트프리트 B. 라이프니츠에서 시작해
More informationCh 1 머신러닝 개요.pptx
Chapter 1. < > :,, 2017. Slides Prepared by,, Biointelligence Laboratory School of Computer Science and Engineering Seoul National University 1.1 3 1.2... 7 1.3 10 1.4 16 1.5 35 2 1 1.1 n,, n n Artificial
More informationPART 8 12 16 21 25 28
PART 8 12 16 21 25 28 PART 34 38 43 46 51 55 60 64 PART 70 75 79 84 89 94 99 104 PART 110 115 120 124 129 134 139 144 PART 150 155 159 PART 8 1 9 10 11 12 2 13 14 15 16 3 17 18 19 20 21 4 22 23 24 25 5
More informationSNU =10100 =minusby by1000 ÄÄto0.03exÄÄto0.03exÄÄ=10100 =minusby by1000 Ç»to0.03exÇ»to0.03exÇ»=10100 =minusby by1000 ÅÍto0.0
차례 SNU 046.016 컴퓨터과학이여는 세계 (Computational Civilization) Part 1 400 년의축적 2 그도구의실현 Prof. Kwangkeun Yi School of Computer Science & Engineering 3 SW, 그궁리의세계 4 응용 : 인간지능 / 본능 / 현실의확장 이전 1 400 년의축적 2 그도구의실현
More information<BACFC7D1B3F3BEF7B5BFC7E22D3133B1C733C8A3504446BFEB2E687770>
북한의 주요 농업 관련 법령 해설 1) 이번 호와 다음 호에서는 북한의 주요 농업 관련 법령을 소개하려 한다. 북한의 협동농장은 농업협동조합기준규약초안 과 농장법 에 잘 규정되어 있다. 북한 사회주의 농업정책은 사회 주의농촌문제 테제 2), 농업법, 산림법 등을 통해 엿볼 수 있다. 국가계획과 농업부문의 관 계, 농산물의 공급에 관해서는 인민경제계획법, 사회주의상업법,
More information1 9 2 0 3 1 1912 1923 1922 1913 1913 192 4 0 00 40 0 00 300 3 0 00 191 20 58 1920 1922 29 1923 222 2 2 68 6 9
(1920~1945 ) 1 9 2 0 3 1 1912 1923 1922 1913 1913 192 4 0 00 40 0 00 300 3 0 00 191 20 58 1920 1922 29 1923 222 2 2 68 6 9 1918 4 1930 1933 1 932 70 8 0 1938 1923 3 1 3 1 1923 3 1920 1926 1930 3 70 71
More informationSNU =10100 =minusby by1000 ÄÄto0.03exÄÄto0.03exÄÄ=10100 =minusby by1000 Ç»to0.03exÇ»to0.03exÇ»=10100 =minusby by1000 ÅÍto0.0
SNU 046.016 컴퓨터과학이여는 세계 (Computational Civilization) Part III Prof. Kwangkeun Yi School of Computer Science & Engineering 차례 1 400 년의축적 2 그도구의실현 3 SW, 그궁리의세계 4 응용 : 인간지능 / 본능 / 현실의확장 이전 1 400 년의축적 2 그도구의실현
More information제 12강 함수수열의 평등수렴
제 강함수수열의평등수렴 함수의수열과극한 정의 ( 점별수렴 ): 주어진집합 과각각의자연수 에대하여함수 f : 이있다고가정하자. 이때 을집합 에서로가는함수의수열이라고한다. 모든 x 에대하여 f 수열 f ( x) lim f ( x) 가성립할때함수수열 { f } 이집합 에서함수 f 로수렴한다고한다. 또 함수 f 을집합 에서의함수수열 { f } 의극한 ( 함수 ) 이라고한다.
More informationMicrosoft PowerPoint - chap05-제어문.pptx
int num; printf( Please enter an integer: "); scanf("%d", &num); if ( num < 0 ) printf("is negative.\n"); printf("num = %d\n", num); 1 학습목표 제어문인,, 분기문에 대해 알아본다. 인 if와 switch의 사용 방법과 사용시 주의사항에 대해 알아본다.
More information3.2 함수의정의 Theorem 6 함수 f : X Y 와 Y W 인집합 W 에대하여 f : X W 는함수이다. Proof. f : X Y 가함수이므로 f X Y 이고, Y W 이므로 f X W 이므로 F0이만족된다. 함수의정의 F1, F2은 f : X Y 가함수이므로
3.2 함수의정의 Theorem 6 함수 f : X Y 와 Y W 인집합 W 에대하여 f : X W 는함수이다. Proof. f : X Y 가함수이므로 f X Y 이고, Y W 이므로 f X W 이므로 F0이만족된다. 함수의정의 F1, F2은 f : X Y 가함수이므로성립한다. Theorem 7 두함수 f : X Y 와 g : X Y 에대하여, f = g f(x)
More informationMicrosoft PowerPoint - chap04-연산자.pptx
int num; printf( Please enter an integer: "); scanf("%d", &num); if ( num < 0 ) printf("is negative.\n"); printf("num = %d\n", num); } 1 학습목표 수식의 개념과 연산자, 피연산자에 대해서 알아본다. C의 를 알아본다. 연산자의 우선 순위와 결합 방향에
More information프로그래밍개론및실습 2015 년 2 학기프로그래밍개론및실습과목으로본내용은강의교재인생능출판사, 두근두근 C 언어수업, 천인국지음을발췌수정하였음
프로그래밍개론및실습 2015 년 2 학기프로그래밍개론및실습과목으로본내용은강의교재인생능출판사, 두근두근 C 언어수업, 천인국지음을발췌수정하였음 CHAPTER 9 둘중하나선택하기 관계연산자 두개의피연산자를비교하는연산자 결과값은참 (1) 아니면거짓 (0) x == y x 와 y 의값이같은지비교한다. 관계연산자 연산자 의미 x == y x와 y가같은가? x!= y
More informationMicrosoft PowerPoint - 27.pptx
이산수학 () n-항관계 (n-ary Relations) 2011년봄학기 강원대학교컴퓨터과학전공문양세 n-ary Relations (n-항관계 ) An n-ary relation R on sets A 1,,A n, written R:A 1,,A n, is a subset R A 1 A n. (A 1,,A n 에대한 n- 항관계 R 은 A 1 A n 의부분집합이다.)
More information<4D6963726F736F667420576F7264202D20C3A520BCD2B0B32DC0CCB7B2B0C5B8E9B3AAB6FBBFD6B0E1C8A5C7DFBEEE322E646F63>
다툼과 상처에서 벗어나 행복한 부부로 사는 법 이럴 거면 나랑 왜 결혼했어? (이수경 지음/라이온북스/2012년 5월/340쪽/14,000원) - 1 - 이럴 거면 나랑 왜 결혼했어? (이수경 지음/라이온북스/2012년 5월/340쪽/14,000원) 책 소개 지고는 절대 못사는 부부 를 위한 결혼생활 코칭! 이 책은 아내가 먼저 읽고 남편에게 건네야 하는 책이다.
More information제1강 인공지능 개념과 역사
인공지능개념과역사 < 인공지능입문 > 강의노트 장병탁서울대학교컴퓨터공학부 & 인지과학 / 뇌과학협동과정 http://bi.snu.ac.kr/~btzhang/ Version: 20180302 목차 인공지능의개념........ 3 연구분야............ 4 역사...... 6 패러다임........ 7 응용사례.......... 8 Reading Assignments.........
More information<38BFF93238C0CF28B1DDBFE4C0CF2920BFB9BBF3B9E8B4E72E786C7378>
[부산 ] 2009년 08월 28일 ( 金 ) 1경주 국 5(마령)1000M 발주 13:00 종합 인기도 출전 착순 출주 10 11 5 검은요정 국5 한2 암 김재섭 영준 53 3착 선행 5 5 5 15 1 6 3 0.3 주 10 랜드레이디 국5 한2 암 강형곤 현명 53 3착 선행 10 5 6.3 10 10 4 8 4 2 4 주 11 일맥상통 국5 한3 암
More information윈도우즈프로그래밍(1)
제어문 (2) For~Next 문 윈도우즈프로그래밍 (1) ( 신흥대학교컴퓨터정보계열 ) 2/17 Contents 학습목표 프로그램에서주어진특정문장을부분을일정횟수만큼반복해서실행하는문장으로 For~Next 문등의구조를이해하고활용할수있다. 내용 For~Next 문 다중 For 문 3/17 제어문 - FOR 문 반복문 : 프로그램에서주어진특정문장들을일정한횟수만큼반복해서실행하는문장
More information제2강 생각하는 기계
제 2 강 생각하는기계 < 인공지능입문 > 강의노트 장병탁서울대학교컴퓨터공학부 & 인지과학 / 뇌과학협동과정 http://bi.snu.ac.kr/~btzhang/ Version: 20180312=> 20180313 목차 튜링테스트...... 3 중국어방논증........... 7 강인공지능과약인공지능..... 8 특이점....... 10 의식의문제와인공지능........
More information비트와바이트 비트와바이트 비트 (Bit) : 2진수값하나 (0 또는 1) 를저장할수있는최소메모리공간 1비트 2비트 3비트... n비트 2^1 = 2개 2^2 = 4개 2^3 = 8개... 2^n 개 1 바이트는 8 비트 2 2
비트연산자 1 1 비트와바이트 비트와바이트 비트 (Bit) : 2진수값하나 (0 또는 1) 를저장할수있는최소메모리공간 1비트 2비트 3비트... n비트 2^1 = 2개 2^2 = 4개 2^3 = 8개... 2^n 개 1 바이트는 8 비트 2 2 진수법! 2, 10, 16, 8! 2 : 0~1 ( )! 10 : 0~9 ( )! 16 : 0~9, 9 a, b,
More informationJournal of Educational Innovation Research 2018, Vol. 28, No. 4, pp DOI: A Study on Organizi
Journal of Educational Innovation Research 2018, Vol. 28, No. 4, pp.441-460 DOI: http://dx.doi.org/10.21024/pnuedi.28.4.201812.441 A Study on Organizing Software Education of Special Education Curriculum
More information제 3강 역함수의 미분과 로피탈의 정리
제 3 강역함수의미분과로피탈의정리 역함수의미분 : 두실수 a b 와폐구갂 [ ab, ] 에서 -이고연속인함수 f 가 ( a, b) 미분가능하다고가정하자. 만일 f '( ) 0 이면역함수 f 은실수 f( ) 에서미분가능하고 ( f )'( f ( )) 이다. f '( ) 에서 증명 : 폐구갂 [ ab, ] 에서 -이고연속인함수 f 는증가함수이거나감소함수이다 (
More informationHomework 1 SNU , Fall 2012 Kwangkeun Yi Due: 9/14, 24:00 Exercise 1 리스트합 큰순서대로 (descending order) 나열된정수리스트두개를받아서하나의 순서리스트로만드는함수 merge: int lis
Homework 1 SNU 4190.310, Fall 2012 Kwangkeun Yi Due: 9/14, 24:00 Exercise 1 리스트합 큰순서대로 (descending order) 나열된정수리스트두개를받아서하나의 순서리스트로만드는함수 merge: int list * int list -> int list 를정의하세요. 리스트에는같은정수가반복해서들어있지않습니다.
More information금오공대 컴퓨터공학전공 강의자료
C 프로그래밍프로젝트 Chap 14. 포인터와함수에대한이해 2013.10.09. 오병우 컴퓨터공학과 14-1 함수의인자로배열전달 기본적인인자의전달방식 값의복사에의한전달 val 10 a 10 11 Department of Computer Engineering 2 14-1 함수의인자로배열전달 배열의함수인자전달방식 배열이름 ( 배열주소, 포인터 ) 에의한전달 #include
More information논리학자, 기호, 컴퓨터 Homework 1 경제학부 김서영 서론 : 주판에서스마트폰국민게임까지 요즘한국에서볼수있는진풍경은지하철 / 버스안에서사람들이일제히핸드폰에얼굴을바짝대고똑같은게임을하고있는모습이다. 한창잘나가고있는 애니팡 이
논리학자, 기호, 컴퓨터 - 027.013 Homework 1 경제학부 김서영 2012-09-24 1 서론 : 주판에서스마트폰국민게임까지 요즘한국에서볼수있는진풍경은지하철 / 버스안에서사람들이일제히핸드폰에얼굴을바짝대고똑같은게임을하고있는모습이다. 한창잘나가고있는 애니팡 이라는선데이토즈사의카카오톡내퍼즐게임어플리케이션때문이다. 이게임은동물을움직여가로나세로로세마리이상붙이면동물들이사라지면서점수가오르며,
More information공대상상8호표지
JUNE 06 JULY 07 AUGUST 08 SEPTEMBER 09 공대상상 예비 서울공대생을 위한 서울대 공대 이야기 Vol. 8 2014 Summer College of Engineering Seoul National University COVER STORY 02 12 22 24 28 12 32 34 38 40 42 44 38 46 공대상상[ 工 大 相
More information함수공간 함수공간, 점열린위상 Definition 0.1. X와 Y 는임의의집합이고 F(X, Y ) 를 X에서 Y 로의모든함수족이라하자. 집합 F(X, Y ) 에위상을정의할때이것을함수공간 (function space) 이라한다. F(X, Y ) 는다음과같이적당한적집합과
함수공간 함수공간, 점열린위상 Definition.1. X와 Y 는임의의집합이고 F(X, Y ) 를 X에서 Y 로의모든함수족이라하자. 집합 F(X, Y ) 에위상을정의할때이것을함수공간 (function spce) 이라한다. F(X, Y ) 는다음과같이적당한적집합과같음을볼수있다. 각 x X에대해 Y x = Y 라하자. 그리고 F := Y x x X 이라하자.
More information<C1DF29BCF6C7D020315FB1B3BBE7BFEB20C1F6B5B5BCAD2E706466>
84 85 86 87 88 89 1 12 1 1 2 + + + 11=60 9 19 21 + + + 19 17 13 11=60 + 5 7 + 5 + 10 + 8 + 4+ 6 + 3=48 1 2 90 1 13 1 91 2 3 14 1 2 92 4 1 2 15 2 3 4 93 1 5 2 6 1 2 1 16 6 5 94 1 1 22 33 55 1 2 3 4 5 6
More information2015 경제ㆍ재정수첩
Contents 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 Part 01 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 Part 02 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62
More information연구실안전사례집-내지
Laboratory Safety CONTENTS 01 02 05 08 12 16 19 20 23 25 27 29 33 34 37 39 41 Laboratory Safety 45 46 49 51 54 56 58 61 62 65 68 71 72 75 78 80 84 86 88 92 95 99 100 103 106 109 111 113 115 117 119 123
More informationMicrosoft PowerPoint Relations.pptx
이산수학 () 관계와그특성 (Relations and Its Properties) 2010년봄학기강원대학교컴퓨터과학전공문양세 Binary Relations ( 이진관계 ) Let A, B be any two sets. A binary relation R from A to B, written R:A B, is a subset of A B. (A 에서 B 로의이진관계
More information레이아웃 1
2013 울산학연구논총 ISSN 1979-9355 제 8호 Part.1 Part.2 Part.3 Part.4 울산의 공단 인접지역 자연마을의 변화상 - 울주군 청량면 화창마을을 중심으로 - 울산의 민속놀이 실태조사 울산광역시 지하보도, 문화창작공간으로서의 활용방안 연구 - 지하보도 문화와 예술을 입고 소통의 길을 찾다 - 울주 사찰 문헌자료의 조사연구 2013
More information슬라이드 1
CHAP 2: 순환 (Recursion) 순환 (recursion) 이란? 알고리즘이나함수가수행도중에자기자신을다시호출하여문제를해결하는기법 정의자체가순환적으로 되어있는경우에적합한방법 순환 (recursion) 의예 팩토리얼값구하기 피보나치수열 1 n! n*( n 1)! fib( n) 0 1 fib( n 2) n n 0 ` 1 fib( n 1) if n 0 if
More information(초등용1)1~29
3 01 6 7 02 8 9 01 12 13 14 15 16 02 17 18 19 20 21 22 23 24 03 25 26 27 28 29 01 33 34 35 36 37 38 39 02 40 41 42 43 44 45 03 46 47 48 49 04 50 51 52 53 54 05 55 56 57 58 59 60 61 01 63 64 65
More informationExercise (10pts) k-친수 일반적으로 k진수(k > 1)는 다음과 같이 표현한다. d0 dn 여기서 di {0,, k 1}. 그리고 d0 dn 은 크기가 d0 k dn k n 인 정수를 표현한다. 이것을 살짝 확장해서 k친수 를 다음과 같이 정의
Homework SNU 4190.310, Fall 017 Kwangkeun Yi due: 9/8, 4:00 Exercise 1 (10pts) 참거짓 Propositional Logic 식들 (formula) 을다음과같이정의했습니다 : type formula = TRUE FALSE NOT of formula ANDALSO of formula * formula
More informationMicrosoft PowerPoint - 26.pptx
이산수학 () 관계와그특성 (Relations and Its Properties) 2011년봄학기 강원대학교컴퓨터과학전공문양세 Binary Relations ( 이진관계 ) Let A, B be any two sets. A binary relation R from A to B, written R:A B, is a subset of A B. (A 에서 B 로의이진관계
More informationuntitled
기술 자습서 Part IV 02 p. 35 01 p. 16 01 02 03 04 05 06 07 08 01 02 03 04 05 06 07 01 01 02 03 05 06 07 02 03 04 06 08 110 V 01 p. 56 01 02 03 04 05 06 01 02 03 04 06 02 p. 67 01 02 03 04 05 06 07 01 02 03
More information3. 다음은카르노맵의표이다. 논리식을간략화한것은? < 나 > 4. 다음카르노맵을간략화시킨결과는? < >
. 변수의수 ( 數 ) 가 3 이라면카르노맵에서몇개의칸이요구되는가? 2칸 나 4칸 다 6칸 8칸 < > 2. 다음진리표의카르노맵을작성한것중옳은것은? < 나 > 다 나 입력출력 Y - 2 - 3. 다음은카르노맵의표이다. 논리식을간략화한것은? < 나 > 4. 다음카르노맵을간략화시킨결과는? < > 2 2 2 2 2 2 2-3 - 5. 다음진리표를간략히한결과
More information핵 1 학년 2 학년 3 학년합계 문학과예술 역사와철학 사회와이념 선택 학점계 학년 2 학년 3 학년합계비고 14 (15) 13 (14) 27 (29) 2
1 학년 2 학년 3 학년 합계 6 5 11 5 5 16 문학과예술 핵 역사와철학 사회와이념 선택 4 4 1 1 3 3 6 11 학점계 12 12 24 5 1 6 3 3 6 36 ㆍ제 2 외국어이수규정 이수규정 또는 영역에서 과목 학점 이수하고 수량적석과추론 과학적사고와실험 에서 과목 학점 이수해도됨 외국어및고전어 중급이상외국어및고전어과목명 핵 1 학년 2
More information작용소의 행렬표현과 그 응용
작용소의행렬표현과그응용 이영주 무등수학강연회 2012 년 4 월 27 일 차례 차례 용어 ( 행렬, 행렬식 ) 의유래 선형작용소에대한행렬표현 곱작용소소개 응용 : 제로곱문제와교환문제 행렬 (Matrix)? 행렬의개념은 The Nine Chapters on the Mathematical Art (BC 300-AD 200) 에서처음이용 ( 처음것의하나, 둘째것의
More information?
01 02 03 04 05 01 02 03 01 02 03 01 02 PART 8 9 10 11 PART 12 14 15 16 17 18 19 20 21 22 23 24 25 PART 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 ppm 50 51 PART 52 54 55 56 57 58
More information<4D F736F F F696E74202D20B8AEB4AABDBA20BFC0B7F920C3B3B8AEC7CFB1E22E BC8A3C8AF20B8F0B5E55D>
리눅스 오류처리하기 2007. 11. 28 안효창 라이브러리함수의오류번호얻기 errno 변수기능오류번호를저장한다. 기본형 extern int errno; 헤더파일 라이브러리함수호출에실패했을때함수예 정수값을반환하는함수 -1 반환 open 함수 포인터를반환하는함수 NULL 반환 fopen 함수 2 유닉스 / 리눅스 라이브러리함수의오류번호얻기 19-1
More informationPowerPoint 프레젠테이션
Chapter 06 반복문 01 반복문의필요성 02 for문 03 while문 04 do~while문 05 기타제어문 반복문의의미와필요성을이해한다. 대표적인반복문인 for 문, while 문, do~while 문의작성법을 알아본다. 1.1 반복문의필요성 반복문 동일한내용을반복하거나일정한규칙으로반복하는일을수행할때사용 프로그램을좀더간결하고실제적으로작성할수있음.
More information<C3D6C0E7C3B528BAB8B5B5C0DAB7E1292D322E687770>
도서출판 폴리테이아 보도자료 정치가 최재천의 책 칼럼! 우리가 읽고 싶고 읽어야만 할 책, 153권에 대한 소개서이자 안내서! 최재천 지음 436쪽 15,000원 2011년 8월 출간 서울 마포구 합정동 417-3 (1층) / 편집 02-739-9929~30 / 영업 02-722-9960 / 팩스 02-733-9910 1 문자 공화국 을 살아간다. 말이 문자가
More information장깨표지65
06 어떻게 하면 믿음으로 살 수 있을까? 아무리 고민해도 아무런 방법이 없을 때가 많지요. 이번 여름! 믿음의 여행을 함께 떠나보는 건 어떠세요? 올해도 우리 친구들과 축제를 벌이실 선생님들을 응원합니다! 믿음의 여행을 떠.나.요! 사진 _ 한국장애인사역연구소 www.kmind.net 2010 06 Vol.65 D-30, D-29 D-28,
More information, ( ) 1) *.. I. (batch). (production planning). (downstream stage) (stockout).... (endangered). (utilization). *
, 40 12 (2006 6) 1) *.. I. (batch). (production planning). (downstream stage) (stockout).... (endangered). (utilization). * 40, 40 12 (EPQ; economic production quantity). (setup cost) (setup time) Bradley
More informationCH01.hwp 컴퓨터일반 [1- 컴퓨터개요 ] 1) 컴퓨터의정의 = EDPS또는 ADPS 입력된자료를프로그램이라는명령순서에따라처리하여그결과를사람이알아볼수있도록출력하는전자 (Electronic) 자료처리 (Data Processing) 시스템 (System) 2) 컴퓨
[1- 컴퓨터개요 ] 1) 컴퓨터의정의 = EDPS또는 ADPS 입력된자료를프로그램이라는명령순서에따라처리하여그결과를사람이알아볼수있도록출력하는전자 (Electronic) 자료처리 (Data Processing) 시스템 (System) 2) 컴퓨터의특징 1 정확성 - 정확한입력에대하여정확한출력결과를나타낸다. - (Garbage In Garbage Out : 잘못된자료입력은잘못된결과를출력한다
More information자연언어처리
제 7 장파싱 파싱의개요 파싱 (Parsing) 입력문장의구조를분석하는과정 문법 (grammar) 언어에서허용되는문장의구조를정의하는체계 파싱기법 (parsing techniques) 문장의구조를문법에따라분석하는과정 차트파싱 (Chart Parsing) 2 문장의구조와트리 문장 : John ate the apple. Tree Representation List
More informationJAVA 프로그래밍실습 실습 1) 실습목표 - 메소드개념이해하기 - 매개변수이해하기 - 새메소드만들기 - Math 클래스의기존메소드이용하기 ( ) 문제 - 직사각형모양의땅이있다. 이땅의둘레, 면적과대각
JAVA 프로그래밍실습 실습 1) 실습목표 - 메소드개념이해하기 - 매개변수이해하기 - 새메소드만들기 - Math 클래스의기존메소드이용하기 ( http://java.sun.com/javase/6/docs/api ) 문제 - 직사각형모양의땅이있다. 이땅의둘레, 면적과대각선의길이를계산하는메소드들을작성하라. 직사각형의가로와세로의길이는주어진다. 대각선의길이는 Math클래스의적절한메소드를이용하여구하라.
More informationMicrosoft PowerPoint - chap02-C프로그램시작하기.pptx
#include int main(void) { int num; printf( Please enter an integer "); scanf("%d", &num); if ( num < 0 ) printf("is negative.\n"); printf("num = %d\n", num); return 0; } 1 학습목표 을 작성하면서 C 프로그램의
More information중간고사
중간고사 예제 1 사용자로부터받은두개의숫자 x, y 중에서큰수를찾는알고리즘을의사코드로작성하시오. Step 1: Input x, y Step 2: if (x > y) then MAX
More informationInfinity(∞) Strategy
반복제어 표월성 passwd74@cherub.sungkyul.edu 개요 for() 문 break문과 continue문 while문 do-while문 for() 문 for() 문형식 for( 표현식1; 표현식2; 표현식3) 여러문장들 ; 표현식 1 : 초기화 (1 번만수행 ) 표현식 2 : 반복문수행조건 ( 없으면무한반복 ) 표현식 3 : 반복문수행횟수 for()
More information<BFB9BCFAB0E6BFB5C1F6BFF8BCBEC5CD5F BFB9BCFAB0E6BFB520C4C1BCB3C6C FB3BBC1F628C3D6C1BEBBF6BAAFC8AF292E706466>
FAQ www.artsdb.or.kr www.artsdb.or.kr Part 1 Part 2 012 012 013 013 014 018 019 019 023 024 025 029 031 041 048 048 050 051 059 060 060 066 072 072 074 075 077 078 078 082 087 089 090 090 092 FAQ Part
More information...... .............hwp
- 1 - - 1 - - 2 - - 3 - - 4 - - 5 - - 6 - - 7 - - 8 - - 9 - - 10 - - 11 - - 12 - - 13 - - 14 - - 15 - - 16 - - 17 - - 18 - - 19 - - 20 - - 21 - - 22 - - 23 - - 24 - - 25 - - 26 - - 27 - - 28 - - 29 - 53)
More information2
에너지경제연구 Korean Energy Economic Review Volume 10, Number 1, March 2011 : pp. 1~24 국내화력발전산업에대한연료와자본의대체성분석 1 2 3 ~ 4 5 F F P F P F ln ln ln ln ln ln ln ln ln ln ln ln ln ln ln ln ln 6 ln ln ln ln ln 7 ln
More information<BFACBDC0B9AEC1A6C7AEC0CC5F F E687770>
IT OOKOOK 87 이론, 실습, 시뮬레이션 디지털논리회로 ( 개정 3 판 ) (Problem Solutions of hapter 9) . T 플립플롭으로구성된순서논리회로의해석 () 변수명칭부여 F-F 플립플롭의입력 :, F-F 플립플롭의출력 :, (2) 불대수식유도 플립플롭의입력 : F-F 플립플롭의입력 : F-F 플립플롭의출력 : (3) 상태표작성 이면,
More information원고스타일 정의
논문접수일 : 2015.01.05 심사일 : 2015.01.13 게재확정일 : 2015.01.26 유니컨셉 디자인을 활용한 보행환경 개선방안 연구 A Study on Improvement of Pedestrian Environment on to Uniconcept Design 주저자 : 김동호 디지털서울문화예술대학교 인테리어실용미술학과 교수 Kim dong-ho
More information<C6F7C6AEB6F5B1B3C0E72E687770>
1-1. 포트란 언어의 역사 1 1-2. 포트란 언어의 실행 단계 1 1-3. 문제해결의 순서 2 1-4. Overview of Fortran 2 1-5. Use of Columns in Fortran 3 1-6. INTEGER, REAL, and CHARACTER Data Types 4 1-7. Arithmetic Expressions 4 1-8. 포트란에서의
More informationPowerPoint 프레젠테이션
SMV 소개 Konkuk Univ. IT 융합정보보호학과 오예원, 박선영 목차 SMV 소개 CTL NuSMV 설치방법및예시 (lift) 향후계획 SMV SMV(Symbolic Model Verifier) 는유한상태시스템 (finite state system) 이 CTL(Computation Tree Logic) 이라는논리와 BDD(Binary Decision
More information강의 개요
정규화와 SELECT (II) 웹데이터베이스 학과 학생 과목 학과 지도교수 학과학번성명 수강과목 담당교수 A 김수정 A 0001 고길동 성질이론 김수정 B 허영만 A 0002 둘리 한식의멋 허영만 C 강풀 B 0003 희동이 심리학의이해 강풀 과목 _ 성적 학번 수강과목 성적 0001 성질이론 A 0001 한식의멋 C 0002 성질이론 A 0002 한식의멋
More informationJava ...
컴퓨터언어 1 Java 제어문 조성일 조건문 : if, switch 어떠한조건을조사하여각기다른명령을실행 if 문, switch 문 if 문 if - else 문형식 if 문형식 if ( 조건식 ) { 명령문 1; 명령문 2;... if ( 조건식 ) { 명령문 1; 명령문 2;... else { 명령문 a; 명령문 b;... 예제 1 정수를입력받아짝수와홀수를판별하는프로그램을작성하시오.
More information체의원소를계수로가지는다항식환 Theorem 0.1. ( 나눗셈알고리듬 (Division Algorithm)) F 가체일때 F [x] 의두다항식 f(x) = a 0 + a 1 x + + a n x n, a n 0 F 와 g(x) = b 0 + b 1 x + + b m x
체의원소를계수로가지는다항식환 Theorem 0.1. ( 나눗셈알고리듬 (Division Algorithm)) F 가체일때 F [x] 의두다항식 f(x) = a 0 + a 1 x + + a n x n, a n 0 F 와 g(x) = b 0 + b 1 x + + b m x m, b m 0 F, m > 0 에대해 f(x) = g(x)q(x) + r(x) 을만족하는
More information문제지 제시문 2 보이지 않는 영역에 대한 정보를 얻기 위하여 관측된 다른 정보를 분석하여 역으로 미 관측 영역 에 대한 정보를 얻을 수 있다. 가령 주어진 영역에 장애물이 있는 경우 한 끝 점에서 출발하여 다른 끝 점에 도달하는 최단 경로의 개수를 분석하여 장애물의
제시문 문제지 2015학년도 대학 신입학생 수시모집 일반전형 면접 및 구술고사 수학 제시문 1 하나의 동전을 던질 때, 앞면이나 뒷면이 나온다. 번째 던지기 전까지 뒷면이 나온 횟수를 라 하자( ). 처음 던지기 전 가진 점수를 점이라 하고, 번째 던졌을 때, 동전의 뒷면이 나오면 가지고 있던 점수를 그대로 두고, 동전의 앞면이 나오면 가지고 있던 점수를 배
More information<C0C7B7CAC0C720BBE7C8B8C0FB20B1E2B4C9B0FA20BAAFC8AD5FC0CCC7F6BCDB2E687770>
ꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚ ꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏ 儀 禮 의 社 會 的 機 能 과 變 化 李 顯 松 裵 花 玉 ꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏꠏ ꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚꠚ
More informationOCW_C언어 기초
초보프로그래머를위한 C 언어기초 4 장 : 연산자 2012 년 이은주 학습목표 수식의개념과연산자및피연산자에대한학습 C 의알아보기 연산자의우선순위와결합방향에대하여알아보기 2 목차 연산자의기본개념 수식 연산자와피연산자 산술연산자 / 증감연산자 관계연산자 / 논리연산자 비트연산자 / 대입연산자연산자의우선순위와결합방향 조건연산자 / 형변환연산자 연산자의우선순위 연산자의결합방향
More informationFGB-P 학번수학과권혁준 2008 년 5 월 19 일 Lemma 1 p 를 C([0, 1]) 에속하는음수가되지않는함수라하자. 이때 y C 2 (0, 1) C([0, 1]) 가미분방정식 y (t) + p(t)y(t) = 0, t (0, 1), y(0)
FGB-P8-3 8 학번수학과권혁준 8 년 5 월 9 일 Lemma p 를 C[, ] 에속하는음수가되지않는함수라하자. 이때 y C, C[, ] 가미분방정식 y t + ptyt, t,, y y 을만족하는해라고하면, y 는, 에서연속적인이계도함수를가지게확 장될수있다. Proof y 은 y 의도함수이므로미적분학의기본정리에의하여, y 은 y 의어떤원시 함수와적분상수의합으로표시될수있다.
More informationPowerPoint 프레젠테이션
실습 1 배효철 th1g@nate.com 1 목차 조건문 반복문 System.out 구구단 모양만들기 Up & Down 2 조건문 조건문의종류 If, switch If 문 조건식결과따라중괄호 { 블록을실행할지여부결정할때사용 조건식 true 또는 false값을산출할수있는연산식 boolean 변수 조건식이 true이면블록실행하고 false 이면블록실행하지않음 3
More information와플-4년-2호-본문-15.ps
1 2 1+2 + = = 1 1 1 +2 =(1+2)+& + *=+ = + 8 2 + = = =1 6 6 6 6 6 2 2 1 1 1 + =(1+)+& + *=+ =+1 = 2 6 1 21 1 + = + = = 1 1 1 + 1-1 1 1 + 6 6 0 1 + 1 + = = + 7 7 2 1 2 1 + =(+ )+& + *= + = 2-1 2 +2 9 9 2
More information이 장에서 사용되는 MATLAB 명령어들은 비교적 복잡하므로 MATLAB 창에서 명령어를 직접 입력하지 않고 확장자가 m 인 text 파일을 작성하여 실행을 한다
이장에서사용되는 MATLAB 명령어들은비교적복잡하므로 MATLAB 창에서명령어를직접입력하지않고확장자가 m 인 text 파일을작성하여실행을한다. 즉, test.m 과같은 text 파일을만들어서 MATLAB 프로그램을작성한후실행을한다. 이와같이하면길고복잡한 MATLAB 프로그램을작성하여실행할수있고, 오류가발생하거나수정이필요한경우손쉽게수정하여실행할수있는장점이있으며,
More information제 5강 리만적분
제 5 강리만적분 리만적분 정의 : 두실수, 가 을만족핚다고가정하자.. 만일 P [, ] 이고 P 가두끝점, 을모두포함하는유핚집합일때, P 을 [, ] 의분핛 (prtitio) 이라고핚다. 주로 P { x x x } 로나타낸다.. 분핛 P { x x x } 의노름을다음과같이정의핚다. P x x x. 3. [, ] 의두분핛 P 와 Q 에대하여만일 P Q이면 Q
More informationchap x: G입력
재귀알고리즘 (Recursive Algorithms) 재귀알고리즘의특징 문제자체가재귀적일경우적합 ( 예 : 피보나치수열 ) 이해하기가용이하나, 비효율적일수있음 재귀알고리즘을작성하는방법 재귀호출을종료하는경계조건을설정 각단계마다경계조건에접근하도록알고리즘의재귀호출 재귀알고리즘의두가지예 이진검색 순열 (Permutations) 1 장. 기본개념 (Page 19) 이진검색의재귀알고리즘
More information= ``...(2011), , (.)''
Finance Lecture Note Series 사회과학과 수학 제2강. 미분 조 승 모2 영남대학교 경제금융학부 학습목표. 미분의 개념: 미분과 도함수의 개념에 대해 알아본다. : 실제로 미분을 어떻게 하는지 알아본다. : 극값의 개념을 알아보고 미분을 통해 어떻게 구하는지 알아본다. 4. 미분과 극한: 미분을 이용하여 극한값을 구하는 방법에 대해 알아본다.
More information1 2011 12 7 2 2012 6 15 3002003159 2003 4 17 100826 4 34052 4 0222347117 0222341086 www.1n1books.com khg01091n1books.com 14000 9788960602243 03180 Kurt Goldstein Kurt Lewin Max Wertheiner Martin Buber
More informationPowerPoint Presentation
Computer Science Suan Lee - Computer Science - 01 컴퓨터의개요 1 01 컴퓨터의개요 - Computer Science - 01 컴퓨터의개요 2 목차 1. 컴퓨터의발전과역사 2. 컴퓨터의구성 3. 컴퓨터의활용분야 - Computer Science - 01 컴퓨터의개요 3 미국산호세의컴퓨터역사박물관 - Computer Science
More information금오공대 컴퓨터공학전공 강의자료
C 프로그래밍프로젝트 Chap 13. 포인터와배열! 함께이해하기 2013.10.02. 오병우 컴퓨터공학과 13-1 포인터와배열의관계 Programming in C, 정재은저, 사이텍미디어. 9 장참조 ( 교재의 13-1 은읽지말것 ) 배열이름의정체 배열이름은 Compile 시의 Symbol 로서첫번째요소의주소값을나타낸다. Symbol 로서컴파일시에만유효함 실행시에는메모리에잡히지않음
More information¹Ì¼ú-°¢·ÐÁß¿ä³»¿ëb74öÁ¤2š
1 PART 04 >> 4 2 3 PART 04 >> 4 4 5 PART 04 >> 4 6 7 PART 04 >> 4 8 9 PART 04 >> 4 10 11 PART 04 >> 4 12 13 PART 04 >> 4 14 15 PART 04 >> 4 16 17 PART 04 >> 4 18 19 PART 04 >> 4 20 21 PART 04 >> 4 22 23
More information<4D F736F F F696E74202D20C0CCBBEABCF6C7D05F3032B3EDB8AEBFCD20C1F5B8ED>
이산수학 Discrete Mathematics 이산수학기본구조 인천대학교컴퓨터공학과공학시인이숙이철호교수 개인메일 : Jullio@chol.com 인천대메일 :zullio@inu.ac.kr 빠른연락 : 010 3957 6683 모바일컴퓨팅연구실 07 401 호 배우고때때로익히면, 또한기쁘지아니한가 배우고익힘의시간을통해서삶이기쁨으로이르는것이아니겠는가? 2 오늘의강의목표
More informationPowerPoint 프레젠테이션
Verilog: Finite State Machines CSED311 Lab03 Joonsung Kim, joonsung90@postech.ac.kr Finite State Machines Digital system design 시간에배운것과같습니다. Moore / Mealy machines Verilog 를이용해서어떻게구현할까? 2 Finite State
More information03-최신데이터
Database Analysis II,,. II.. 3 ( ),.,..,, ;. (strong) (weak), (identifying relationship). (required) (optional), (simple) (composite), (single-valued) (multivalued), (derived), (identifier). (associative
More information1. 정보사회의특성 : 정보사회와소프트웨어의중요성 정보사회의시작과발전 고대로부터지금까지사람들은숫자를사용하여계산을해야했다. 4 개 + 2 개 = 6 개 4 개 - 2 개 = 2 개 수가커지고계산이복잡해질수록사람의계산능력에는한계가있으므로정확하고빠르게사람의계산을도와주는도구들
1. 정보사회의특성 : 정보사회와소프트웨어의중요성 정보사회의시작과발전 고대로부터지금까지사람들은숫자를사용하여계산을해야했다. 4 개 + 2 개 = 6 개 4 개 - 2 개 = 2 개 수가커지고계산이복잡해질수록사람의계산능력에는한계가있으므로정확하고빠르게사람의계산을도와주는도구들을발명하여왔다. 예를들어동양에서는주판 (abacus) 을발명하여사용했고, 서양에서는 17세기에파스칼이계산기
More information쉽게 풀어쓴 C 프로그래밍
쉽게풀어쓴 C 언어 Express 제 6 장조건문 이번장에서학습할내용 조건문이란? if 문 if, else 문 중첩 if 문 switch 문 break 문 continue 문 goto 문 5 장까지는문장들이순차적으로실행된다고하였다. 하지만필요에따라서조건이만족되면문장의실행순서를변경할수있는기능이제공된다. 조건문 조건에따라서여러개의실행경로가운데하나를선택 문장이실행되는순서에영향을주는문장
More information<B9CEC1D6C1A4C3A5BFACB1B8BFF82DBBE7B6F7B0FAC1A4C3A5BABDC8A328C6EDC1FD292E687770>
대구 : 김부라면집 사장 김부겸의 아름다운 도전 대 구 김부라면집 사장 김부겸의 아름다운 도전 고영국 민주정책연구원 부연구위원 그의 진정성, 대구 시민들이 알아주기 시작했다. 투표 전날 오후 8시, 비가 흩날리고 있는 가운데 김부겸 후보의 마지막 유세지인 수성구 시지광장에는 300여명의 청중들이 운집했다. 야당 국회의원이 있어야만 대구가 발전합니다. 여야 의원들이
More information소프트웨어개발방법론
사용사례 (Use Case) Objectives 2 소개? (story) vs. 3 UC 와 UP 산출물과의관계 Sample UP Artifact Relationships Domain Model Business Modeling date... Sale 1 1..* Sales... LineItem... quantity Use-Case Model objects,
More information