고전논리학과대화논리학 형식논리학입문
|
|
- 일화 왕
- 5 years ago
- Views:
Transcription
1 고전논리학과대화논리학 형식논리학입문 洪聖基
2 고전논리학과대화논리학 형식논리학입문
3 책머리에 20세기초네덜란드의수학자브라우어Brouwer에의해제기된고전논리학에대한설득력있는비판은이후, 철학의윤리란정당화에있다 는신념하에배중율의제한없는사용이일체의정당성을결여했다는확신을갖고있는직관주의논리학자들은 논리학의구성주의적재구성 을목표로다양한모색을계속해왔다. 그결과의하나로서 P. 로렌젠Lorenzen이 1958년발표한 논리와투기 를단초로 K. 로렌즈Lorenz는직관주의논리학을철학적으로엄밀ㄹ하게정당화하는데, 즉구성주의적기초를마련하는데에성공하였다. 그결과가대화논리학이다. 그러나현재한국에서발간된논리학책의거의전부는고전논리만을다루고있어, 일반인들에게고전논리학이란일종의 천상의선물 로간주되고있는실정이다. 다른한편대화논리학의경우대부분의문헌이독일어로쓰여전공자들에게도접근이쉽지않은것이사실이다. 고전논리학이광범위한쓰임이있는것은분명하지만, 그렇다고해서그한계를잊어서도안된다. 특히컴퓨터의발전과대량보급에의해도래된 IT시대에바로컴퓨터의계산과정이유한하다는점에서, 유한성을전제로하는직관주의논리학의쓰임이점차커지고있다는점도고전논리학일색의논리교육을다시한번살펴보아야할이유라고할수있다. 논리학을배우는목적은물론논증의타당성을판단하는방법을 습득하는것이지만, 다른한편이를위해서는논리학에등장하는 많은전문적기술용어들의이해가필수적이다. 이전문용어들은 4 고전논리학과대화논리학
4 때로는논리학내부의기술용어이기도하지만, 때로는논리학의전제와관련된개념들이기도하다. 여기에서고전논리학과대화논리학의서로상이한개념정의와상이한전제들을서로비교하면서배운다는것은, 그자체가형식논리의이해에기여한다. 이런이유로이책은처음부터고전논리학의전제와그구성과정에대하여비판적인입장을취하고있다. 그렇다고해서고전논리학의세부사항이경시되지는않았으며, 논증의타당성에대한고전적접근방법도충분히소개하였다. 다만고전논리학과대화논리학을한학기에배우기위해서는연습의비중을줄일수밖에없었다. 그러나이런연습과정은이미출간된많은논리학책을통해쉽게보완할수있는부분이기도하다. 필자의은사이기도한로렌즈교수는논리학자이지만논리학의쟁점이결코기술적인것이아니며철학일반의상황, 즉인간이현실적으로하고있고할수있는행위와, 이행위에대한이론간에깊은단절이있음을보여주려고노력하였다. 예를들어대상언어의논리체계를도입하기위해서는우리가사용하고있는메타언어가필수적이지만 ( 행위의차원!), 고전논리학자들은바로이메타언어가암묵적으로이론화되어있고, 그것이바로대상언어와동일한논리체계라는전제를하고있다 ( 이론의차원!). 반면대화논리학에서는바로이메타언어의논리체계란암묵적이건명시적이건결코그논리적구조가자명하지않으며비로소인간의행위를통해재구성되어야한다고보고있다. 이런점에서 형식논리학 입문이라는부제를달은이책은, 그기술적측면을강조하기보다는논리적언어행위와이언어행위의이론적재구성에대한서로상이한이해와접근의기록으로볼수있다 년 11 월 책머리에 5
5 차례 (i) 책머리에 4 (ii) 차례 6 1. 고전논리학과비고전논리학 고전논리학의정의 고전논리학의전제 결정가능한진술 논리학을위한사전지식 논리와궤변 비형식논리학과형식논리학 명제논리와술어논리 구문론과의미론 대상언어와메타언어 명제논리의구문론 기본기호의도입 표현과정식 문장기호와보조기호의기능 명제논리의의미론 부정 연언 선언 39 6 고전논리학과대화논리학
6 4.4 조건 쌍조건 셰퍼막대기와퍼스화살표 연결사의진리함수적해석 명제논리논증의타당성 진리값매김, 만족시킴, 모형 항진, 우연, 모순 고전적명제논리의결정가능성 타당성의정의 타당성과항진성과의관계 명제논리의모형이론 표준식 연언표준식 선언표준식 변환방법 Q-분석 약식진리치분석 간접증명 명제논리의증명이론 증명이란? 자연연역 추론규칙 대치규칙 규칙의적용 조건증명규칙 귀류법과간접증명 진리나무 진리나무의특징 진리나무의원리 진리나무의전개규칙 진리나무의사용순서 87 차례 7
7 8. 술어논리의구문론 기호의도입 문장형식, 문장, 정식 문장형식 자유변항과구속변항 술어논리의기호화 양화사문장의논리구조 양화사변형규칙 양화사영역의제한 다중양화 술어논리의의미론 양화사의의미 모형이론 해석과모형 모형이론과논리적참 술어논리의자연연역 완전성과결정불가능성 술어논리의추론규칙 보편양화사제거Universal Instantiation(UI) 존재양화사도입Existential Generalization(EG) 보편양화사도입Universal Generalization(UG) 존재양화사제거Existential Instantiation(EI) 양화사변형규칙 술어논리의분배와결합관계 x(ax Bx) xax xbx xax xbx x(ax Bx) x(ax Bx) xax xbx x(ax Bx) xax xbx x(ax Bx) xax xbx xax xbx x(ax Bx) 고전논리학과대화논리학
8 12. 술어논리의진리나무 술어논리의전개규칙 진리나무사용순서 대화논리학 발상 대화규칙의결정 운영규칙 진술규칙 단위명제규칙 (7번째운영규칙 ) 명제논리대화들 술어논리 함축, 동치 대화논리학의증명체계 158 부록 : 논리와투기 160 참고문헌 171 찾아보기 차례 9
9 규 칙은놀이에서교육의한보조물일수있다. 그것은학습자에게전달되며, 학습자는그것의적용을연습한다. 또는 그것은놀이자체의한도구이다. 또는 : 규칙은교육에서도놀이자체에서도사용되지않는다. 또한그것은어떤하나의규칙목록에기록되어있지도않다. 우리는다른사람들이놀이를어떻게하는지를구경함으로써놀이를배운다. 그러나우리는그놀이가이러이러한규칙들에따라행해지고있다고말한다. 왜냐하면어떤관찰자가그놀이의실천으로부터규칙들을 그놀이행동들이따르는어떤하나의자연법칙처럼 읽어낼수있기때문이다. 그러나이경우에그관찰자는놀이하는사람들의잘못과올바른놀이행동을어떻게구별하는가? ( 비트겐슈타인 철학적탐구 54)
10 I. 준비
11 1. 고전논리학과비고전논리학 1.1 고전논리학의정의 고전논리학古典論理學 /classical logic 이라함은진리값 truth value 을갖고 있다고간주되는문장 sentence( 진술 statement, 명제 proposition) 1) 들을위 한논리학의통칭이라고할수있다. 2) 바꿔말해 모든문장은참 아니면거짓이다 라는 2 가원칙二價原則 /bivalenc principle 이적용될수 있는진술들을위한논리학이다. 다른한편 1907 년네덜란드의 수학자이자논리학자인브라우어 Brouwer 가 지지할수없는논리적 원칙 De onbetrouwbaarheit der logische principes 이라는그의유명한논문 3) 에서고전논리의핵심원칙인배중률排中律 /tertium non datur 의무제한적 사용에설득력있는비판과대안을제시한이후, 20 세기에는직관 주의 intuitionism 라는명칭 4) 하에비고전논리학 nonclassical logic 이본격적 1) 이책에서는 문장, 진술, 명제 를모두동의어로사용한다. 언어철학에서는이들간에다음과같은구별을하기도한다. 이런견해에따르면칠판에 비가온다. 비가온다., It is rainig., Es regnet. 라고쓰여있다면, 세개의문장, 네개의진술그리고한개의명제가표현되었다고본다. 즉문장은일종의유형 type 이며, 진술은구체적인시간과장소에서발화내지는쓰인것으로서개별자 token 이다. 명제는진술이나문장의의미라고보는것이다. 2) 아리스토텔레스논리학 이라불리는정언삼단논증定言三段論證 /categorical syllogism 을고전논리학과혼동하는경우가있다. 정언삼단논증은고전논리학의일부이지만그역은성립하지않는다. 고전 이라는표현에대한오해이다. 3) Tijdschrift voor wijsbegeerte( 철학잡지 ), 2, 1908, 쪽. 4) 직관주의란자연수만이우리의직관에주어졌고, 나머지모든수는만들어졌다고본다. 여기서직관에주어졌다는표현이애매하다는비판이많이제기되었으나, 이문제는현대의직관주의자들에의해해결되었다. ( 부록의로렌젠논 12 고전논리학과대화논리학
12 으로연구되기시작하였다. 이때배중률이란 어떤문장혹은그문장의부정否定 /negation 중하나는참이며제3의가능성은없다 는원칙을말한다. 브라우어는그리스시대의수학이유한한과정을 5) 거쳐문제를해결해야한다는의미에서구성적構成的 /constructive이었고, 따라서배중률을논리적원칙으로도입할수있는반면, 19세기말독일의수학자칸토르Cantor가무한집합을 6) 수학의영역에도입하여고전수학의구성주의적특징이더이상보장되지않음에도불구하고배중률이계속통용되었다고비판하였다. 이런이유로브라우어는 수학이논리학에근거하는것이아니라논리학이수학에근거한다 는실용주의적pragmatic 사고로의전환을제창하였다. 7) 그러나고전논리학은직관주의계열의논리학이출현하기전에형식적으로다루어져왔던유일한논리체계였다. 그러나우리가뒤에서살펴볼대화논리학對話論理學 /dialogic logic은직관주의논리학을완전하게형식화하였을뿐더러, 8) 고전논리학이란대화논리학의체계내에서특별한경우로파악할수있다. 이를통해고전논리학의의미론적, 방법론적, 인식론적전제에대하여보다투명한조감을할수있게되었다. 문 논리와투기 참조.) 5) 그리스수학의주류는기하학이었고, 이때눈금없는자와컴퍼스를유한번사용하여작도문제를푸는것이관건이었다. 그러나데까르트가좌표를발명하여기하학을대수학으로연결시키는데에성공함으로써, 수학의주류는기하학에서대수학으로바뀌게되었다. 6) 아리스토텔레스이래, 무한은끝이나지않는다는관점에서가무한可無限 /possible infinity 으로만이해되었으나칸토르는무한이실제로존재한다고보는실무한實無限 /actual infinity 의입장을취했다. 7) 논리학에대한두가지입장이있다. 즉 인간의행위를논리학에맞추어야한다 (praxis on the top of theory) 는관점과 논리학을인간의행위에맞추어야한다 (theory on the top of praxis) 는관점이그것이다. 전자는고전논리학이, 후자는직관주의논리학이취하고있다. 8) 대화논리학은독일에어랑엔 Erlangen 학파의주요철학자 P. 로렌젠 Lorenzen 이착상하고, K. 로렌즈 Lorenz 가완전히형식화하였다. 두사람모두구성주의철학을지지한다. 1. 고전논리학과비고전논리학 13
13 1.2 고전논리학의전제 2 가성에기반을둔고전논리학은원칙적으로그진술의진위眞僞 가결정될수있는경우에한하여그정당성을보장받을수있다 고볼수있다. 그러나고전논리학을신봉하는논리학자, 철학자들 은고전논리학의진리값결정가능성에대한요구에대하여논의 자체를차단시키거나혹은형이상학적가정으로넘어가려는경향 이있었다. 일반적으로고전논리학의전제인 모든진술은참이거 나 true 아니면거짓이다 false. 라는 2 가원칙은 결정가능하게참이거 나 decidably true 아니면결정가능하게거짓이다 decidably false 라는이른 바결정가능성을수반하지는않는다. 예를들어 모든짝수는두 개의소수素數의합으로표현된다 는골드바하의추측 Goldbach's conjecture 은아직연역적으로증명되지도, 또지금까지검토한모든 짝수의경우에있어서경험적으로반증되지도않았다. 9) 왜냐하면 모든짝수가다검토될수는없기때문이다. 10) 바꿔말해우리는 골드바하의추측에대한증명이나반증을위한어떠한확실한수 단도사실상갖고있지못하다. 이경우골드바하의추측에대하 여배중률을적용하는사람에게그정당성을묻는다면, 골드바하 의추측이참아니면그부정이참이다. 라는배중율을적용한대 답이외에는전혀기대할수없다. 즉동어반복同語反覆에빠지며이 것은논리적으로순환논증의오류이다. 11) 따라서원칙적으로우리 는배중률이우선그적용대상이되는진술의진위가현실적으로 결정가능할때에만적용가능하다는점을주장할수있다. 12) 9) 4=1+3, 6=1+5, 8=1+7, 10=3+7, 12=1+11, 14=1+13,,100=3+97, 10) 비슷한문제로 모든완전수는짝수다. 라는주장에대해서는아직증명도반증도없다. 피타고라스가처음발견한완전수란자신을제외한약수의합이자신과같은수를의미한다. 예를들어 6=1+2+3, 28= 임으로 6 과 28 은완전수다. 지금까지확인된모든완전수는짝수이지만, 홀수가아니라는증명이없다. 알려진것은다만 (2 n -1) 이소수일때, 2 n-1 (2 n -1) 은모두완전수라는것이다. 이것은등비급수의합을이용하면쉽게증명이된다. 11) 로렌젠, 앞의논문참조. 12) 물론고전논리학자들은이러한요구를받아들이지않는다. 즉골드바하의추측은수학의세계에, 예를들어플라톤의이데아의세계에이미결정되어있 문 14 고전논리학과대화논리학
14 제는결정가능한진술이무엇인가라는점이다. 1.3 결정가능한진술 우선진술에포함되어있는표현들의의미가언어공동체내에서일의적一義的으로결정되어있어야만한다. 예를들어미학적혹은윤리적규범과같이가치론Axiology과관련된진술은일반적으로보는사람들의관점에따라다르게판단되어그진위가항상분명한것이아니다. 예를들어 신윤복申潤福의 미인도美人圖 는명작이다!, 배꼽티를입고다니는것은망측罔測한행위이므로금지시켜야한다! 는주장들에대하여사회적합의를이루기는쉽지않다. 또한일상적맥락에서도애매모호한표현의경우에는진위판단이결정될수없다. 예를들어 철수는대머리다 는주장에대하여보기에따라애매한상황이있을수있다. 언어사용의정확성, 즉간주관성間主觀性 /intersubjectivity은학문세계의경우에도항상보편적으로보장되고있는것은아니다. 한개념을서로다른의미로사용함으로써무의미한논쟁을벌이는경우는실로비일비재非一非再한상황이다. 이점을결정가능성의의미론적semantic 전제라고말할수있을것이다. 다음으로사실판단의대상object과사실판단의수단methode이일치하는경우그진위판단이유보내지는포기될수있다. 잘알려진예로는 20세기오스트리아출신의철학자비트겐슈타인Wittgenstein 이 철학적탐구Philosophische Untersuchungen 에서거론한프랑스파리에보관되어있던미터원기Urmeter의 13) 길이가있다. 다는형이상학적가정을한다. 다만우리는아직그수학적진실을발견하지못하였을뿐이라는것이다. 이들의견해에의하면마치오랫동안풀리지않았던수학상의난제가풀리는경우가있는것처럼골드바하의추측도언젠가는진위가판별될수있다는것이다. 13) 미터원기는국제도량형위원회가 1889 년백금 - 이리듐합금으로제작한것으 1. 고전논리학과비고전논리학 15
15 우리는한사물에대해서는그것이 1m라고, 또 1m가아니라고도진술할수없는데, 그것은바로파리에있는표준미터이다. 그러나우리는물론그로써이것에다그어떤이상한속성을부여한것이아니다. 단지미터자를가지고하는측정놀이에서그것이행하는특이한역할을특징적으로나타내었을뿐이다. ( ) 언어내에서그것은묘사의대상이아니라, 묘사의수단이다. ( ) 존재해야만하는것으로보이는것은언어에속하는것이다. 그것은우리의놀이내에서하나의범형範形, 즉비교되는어떤것이다. 14) 우리는 ( 결정, 측정, 판단 ) 수단과 그대상간의독립성을결정가 능성의방법론적 methodological 전제라고부를수있다. 끝으로결정가능성에대한가장일반적인전제로서진술의진위가유한한절차를거쳐서결정되어야한다는주장이있다. 앞에서골드바하의추측의경우처럼진술의진위판단은신神이아니라인간이하는것이고그런의미에서무한의대상영역을인간이모두찾아다니며확인하거나조감할수는없다. 무한한대상영역을전제할경우진술의결정가능성에대한직관주의의비판을그인식론적epistemological 전제라고부를수있다. 여기서인식론적이라함은진술의진위나어떤존재의진위는그것을우리가인식할수있는수단이있거나유한한절차를걸쳐서구성할수있음을보여줄때에만가능하다는의미이다. 즉이것은구성주의철학의핵심요구사항이다. 15) 로서단면이 X 자이다 년에국제도량형위원회는 1m 를진공에서빛이 1/299,792,458 초동안진행한거리로재정의하였다. 14) L. 비트겐슈타인, 철학적탐구 이영철번역, 서광사, 1994, 51. 비트겐슈타인은미터원기이외에도 자신만이알고있는사적감정私的感情 /private sensation 역시그동일성판단을시도할경우, 대상과수단이일치한다고보고있다. 즉 지금이묘한감정은과거에도한번느낀적이있었다 라고할때우리는어떤기억을떠올린다. 그러나나의감정이완전히사적일때는그기억행위 ( 판단대상 ) 의정확성을판단하기위한유일한방법은과거로돌아가현재의기억과비교하는것이다. 그러나바로그과거로돌아간다는것이지금의기억행위 ( 판단수단 ) 자체이다. 15) 위에서언급한진술의결정가능성의전제조건을만족하지못하더라도고전논리학은존재론적 ( 형이상학적 ) 가정으로넘어가려함은이미말한바와같다. 16 고전논리학과대화논리학
Microsoft 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 information<B3EDB9AEC0DBBCBAB9FD2E687770>
(1) 주제 의식의 원칙 논문은 주제 의식이 잘 드러나야 한다. 주제 의식은 논문을 쓰는 사람의 의도나 글의 목적 과 밀접한 관련이 있다. (2) 협력의 원칙 독자는 필자를 이해하려고 마음먹은 사람이다. 따라서 필자는 독자가 이해할 수 있는 말이 나 표현을 사용하여 독자의 노력에 협력해야 한다는 것이다. (3) 논리적 엄격성의 원칙 감정이나 독단적인 선언이
More information<4D F736F F F696E74202D20C0CCBBEABCF6C7D05F3032B3EDB8AEBFCD20C1F5B8ED>
이산수학 Discrete Mathematics 이산수학기본구조 인천대학교컴퓨터공학과공학시인이숙이철호교수 개인메일 : Jullio@chol.com 인천대메일 :zullio@inu.ac.kr 빠른연락 : 010 3957 6683 모바일컴퓨팅연구실 07 401 호 배우고때때로익히면, 또한기쁘지아니한가 배우고익힘의시간을통해서삶이기쁨으로이르는것이아니겠는가? 2 오늘의강의목표
More information<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 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핵 심 교 양 1 학년 2 학년 3 학년합계 문학과예술 역사와철학 사회와이념 선택 교양학점계 학년 2 학년 3 학년합계비고 14 (15) 13 (
1 학년 2 학년 3 학년 합계 6 5 11 5 5 16 문학과예술 핵 심 교 역사와철학 사회와이념 3 3 3 양 3 3 3 3 3 3 선택 4 4 1 1 3 3 6 11 교양학점계 12 12 24 5 1 6 3 3 6 36 ㆍ제 2 외국어이수규정 이수규정 또는 영역에서 과목 학점 이수하고 수량적석과추론 과학적사고와실험 에서 과목 학점 이수해도됨 외국어및고전어
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 informationPowerPoint Presentation
5 불대수 IT CookBook, 디지털논리회로 - 2 - 학습목표 기본논리식의표현방법을알아본다. 불대수의법칙을알아본다. 논리회로를논리식으로논리식을논리회로로표현하는방법을알아본다. 곱의합 (SOP) 과합의곱 (POS), 최소항 (minterm) 과최대항 (mxterm) 에대해알아본다. 01. 기본논리식의표현 02. 불대수법칙 03. 논리회로의논리식변환 04.
More information윈도우즈프로그래밍(1)
제어문 (2) For~Next 문 윈도우즈프로그래밍 (1) ( 신흥대학교컴퓨터정보계열 ) 2/17 Contents 학습목표 프로그램에서주어진특정문장을부분을일정횟수만큼반복해서실행하는문장으로 For~Next 문등의구조를이해하고활용할수있다. 내용 For~Next 문 다중 For 문 3/17 제어문 - FOR 문 반복문 : 프로그램에서주어진특정문장들을일정한횟수만큼반복해서실행하는문장
More information슬라이드 1
Language and Thinking 언어행위 말을한다는것은문법을따름으로써기존에수립되어있는언어체계를사용하여누군가에게무엇인가를의미하는것 - 넓은의미의언어 : 모든의사소통체계, 어떤메시지를전달할수있는모든것 - 좁은의미의언어 : 말의형태로나타나는음성언어적인의사소통양식 언어체계란소리들을결합시키고연결시켜의미를생산할수있도록해주는규칙의체계 - 언어는사물과우리사이에매개물
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 information프로그래밍개론및실습 2015 년 2 학기프로그래밍개론및실습과목으로본내용은강의교재인생능출판사, 두근두근 C 언어수업, 천인국지음을발췌수정하였음
프로그래밍개론및실습 2015 년 2 학기프로그래밍개론및실습과목으로본내용은강의교재인생능출판사, 두근두근 C 언어수업, 천인국지음을발췌수정하였음 CHAPTER 9 둘중하나선택하기 관계연산자 두개의피연산자를비교하는연산자 결과값은참 (1) 아니면거짓 (0) x == y x 와 y 의값이같은지비교한다. 관계연산자 연산자 의미 x == y x와 y가같은가? x!= y
More information3. 다음은카르노맵의표이다. 논리식을간략화한것은? < 나 > 4. 다음카르노맵을간략화시킨결과는? < >
. 변수의수 ( 數 ) 가 3 이라면카르노맵에서몇개의칸이요구되는가? 2칸 나 4칸 다 6칸 8칸 < > 2. 다음진리표의카르노맵을작성한것중옳은것은? < 나 > 다 나 입력출력 Y - 2 - 3. 다음은카르노맵의표이다. 논리식을간략화한것은? < 나 > 4. 다음카르노맵을간략화시킨결과는? < > 2 2 2 2 2 2 2-3 - 5. 다음진리표를간략히한결과
More informationviii 본 연구는 이러한 사회변동에 따른 고등직업교육기관으로서 전문대 학의 역할 변화와 지원 정책 및 기능 변화를 살펴보고, 새로운 수요와 요구에 대응하기 위한 전략으로 전문대학의 기능 확충 방안을 모색하 였다. 연구의 주요 방법과 절차 첫째, 기존 선행 연구 검토
vii 요 약 연구의 필요성 및 목적 우리 사회는 끊임없이 변화를 겪으며 진화하고 있다. 이러한 사회변 동은 정책에 영향을 미치게 되고, 정책은 기존의 정책 방향과 내용을 유지 변화시키면서 정책을 계승 완료하게 된다. 이러한 정책 변화 는 우리 사회를 구성하는 다양한 집단과 조직, 그리고 우리의 일상에 긍정적으로나 부정적으로 영향을 주게 된다. 이러한 차원에서
More information*074-081pb61۲õðÀÚÀ̳ʸ
74 October 2005 현 대는 이미지의 시대다. 영국의 미술비평가 존 버거는 이미지를 새롭 게 만들어진, 또는 재생산된 시각 으로 정의한 바 있다. 이 정의에 따르 면, 이미지는 사물 그 자체가 아니라는 것이다. 이미지는 보는 사람의, 혹은 이미지를 창조하는 사람의 믿음이나 지식에 제한을 받는다. 이미지는 언어, 혹은 문자에 선행한다. 그래서 혹자는
More information<B3EDB4DC28B1E8BCAEC7F6292E687770>
1) 초고를읽고소중한조언을주신여러분들게감사드린다. 소중한조언들에도불구하고이글이포함하는오류는전적으로저자개인의것임을밝혀둔다. 2) 대표적인학자가 Asia's Next Giant: South Korea and Late Industrialization, 1990 을저술한 MIT 의 A. Amsden 교수이다. - 1 - - 2 - 3) 계량방법론은회귀분석 (regression)
More information제 3강 역함수의 미분과 로피탈의 정리
제 3 강역함수의미분과로피탈의정리 역함수의미분 : 두실수 a b 와폐구갂 [ ab, ] 에서 -이고연속인함수 f 가 ( a, b) 미분가능하다고가정하자. 만일 f '( ) 0 이면역함수 f 은실수 f( ) 에서미분가능하고 ( f )'( f ( )) 이다. f '( ) 에서 증명 : 폐구갂 [ ab, ] 에서 -이고연속인함수 f 는증가함수이거나감소함수이다 (
More information<3033C6AFC1FD5FC0CCB3B2C0CE2E687770>
비판적합리성의구조 이남인 * 1),,,,,, (Husserl, Habermas, evidence, theory of truth, critical rationality, communicative rationality, intuitive rationality) 1). I, II, III V. VI * 1) 2004 2 19-20.. 84.. VI. I. 하버마스의의사소통행위론
More informationJava ...
컴퓨터언어 1 Java 제어문 조성일 조건문 : if, switch 어떠한조건을조사하여각기다른명령을실행 if 문, switch 문 if 문 if - else 문형식 if 문형식 if ( 조건식 ) { 명령문 1; 명령문 2;... if ( 조건식 ) { 명령문 1; 명령문 2;... else { 명령문 a; 명령문 b;... 예제 1 정수를입력받아짝수와홀수를판별하는프로그램을작성하시오.
More informationPowerPoint 프레젠테이션
Chapter 06 반복문 01 반복문의필요성 02 for문 03 while문 04 do~while문 05 기타제어문 반복문의의미와필요성을이해한다. 대표적인반복문인 for 문, while 문, do~while 문의작성법을 알아본다. 1.1 반복문의필요성 반복문 동일한내용을반복하거나일정한규칙으로반복하는일을수행할때사용 프로그램을좀더간결하고실제적으로작성할수있음.
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 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- 89 -
- 89 - - 90 - - 91 - - 92 - - 93 - - 94 - - 95 - - 96 - - 97 - - 98 - - 99 - 있다 장정임 ( 2009). Toylor 와 Betz(1983) 의 진로결정자기효능감 척도 와 및 등이 개발 (career 와 한 진로결정자기효능감 척도 단축형 은 미래계획수립 문제해결과 같은 자신에 대한 이해를 바탕으로
More information<3635B1E8C1F8C7D02E485750>
역사로 읽는 우리 과학 교사용 지도서 자연 6-1 초등학교 교육과정 해설(Ⅱ) STS 프로그램이 중학생 과학에 관련된 태도에 미치는 효과 관찰 분류 측정훈련이 초등학생의 과학 탐구 능력과 태도에 미치는 영향 국민학교 아동의 과학 탐구능력과 태도 향상을 위한 실 험자료의 적용 과학사 신론 중 고등학생의 과학에 대한 태도 연구 과학사를 이용한 수업이 중학생의 과학과
More informationOCW_C언어 기초
초보프로그래머를위한 C 언어기초 4 장 : 연산자 2012 년 이은주 학습목표 수식의개념과연산자및피연산자에대한학습 C 의알아보기 연산자의우선순위와결합방향에대하여알아보기 2 목차 연산자의기본개념 수식 연산자와피연산자 산술연산자 / 증감연산자 관계연산자 / 논리연산자 비트연산자 / 대입연산자연산자의우선순위와결합방향 조건연산자 / 형변환연산자 연산자의우선순위 연산자의결합방향
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 informationVector Differential: 벡터 미분 Yonghee Lee October 17, 벡터미분의 표기 스칼라미분 벡터미분(Vector diffrential) 또는 행렬미분(Matrix differential)은 벡터와 행렬의 미분식에 대 한 표
Vector Differential: 벡터 미분 Yonhee Lee October 7, 08 벡터미분의 표기 스칼라미분 벡터미분(Vector diffrential) 또는 행렬미분(Matrix differential)은 벡터와 행렬의 미분식에 대 한 표기법을 정의하는 방법이다 보통 스칼라(scalar)에 대한 미분은 일분수 함수 f : < < 또는 다변수 함수(function
More information학점배분구조표(표 1-20)
1 학년 2 학년 3 학년합 1 2 1 2 1 2 학문의기초 6 6 12 3 3 15 핵문학과예술 3 3 3 심역사와철학 교 양 자연의이해 3 3 3 선택 3 3 3 3 3 3 6 12 교양학점 12 12 24 3 3 6 3 3 6 36 1 학년 2 학년 3 학년합 1 2 1 2 1 2 학문의기초 3 3 6 6 핵 문학과예술 심 역사와철학 3 3 6 6 교
More informationCC......-.........hwp
방송연구 http://www.kbc.go.kr/ 텔레비전의 폭력행위는 어떠한 상황적 맥락에서 묘사되는가에 따라 상이한 효과를 낳는다. 본 연구는 텔레비전 만화프로그램의 내용분석을 통해 각 인 물의 반사회적 행위 및 친사회적 행위 유형이 어떻게 나타나고 이를 둘러싼 맥락요인들과 어떤 관련성을 지니는지를 조사하였다. 맥락요인은 반사회적 행위 뿐 아니라 친사회적
More information<BFACBDC0B9AEC1A6C7AEC0CC5F F E687770>
IT OOKOOK 87 이론, 실습, 시뮬레이션 디지털논리회로 ( 개정 3 판 ) (Problem Solutions of hapter 7) . 반감산기와전감산기를설계 반감산기반감산기는한비트의 2진수 에서 를빼는회로이며, 두수의차 (difference, ) 와빌림수 (barrow, ) 를계산하는뺄셈회로이다. 에서 를뺄수없으면윗자리에서빌려와빼야하며, 이때빌려오는수는윗자리에서가져오므로
More informationuntitled
. 통계 8` 4` {55 50} {60 50} {65 60} {70 60} {75 60} {75 65} {80 75} {90 80} 8 {70 75} {70 80} {90 95} {95 100} 4 ` 15` 90 3 \100=15{} ` 1-3. x y x y 1-4. 1. { } {35 45} {40 40} {45 40} {45 45} {45 50} {50
More information3 4 5 6 7 8 2/25 26 27 28 2 3 3. 2 3. 2~8 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 30 31 3.15 3.28 3.29~30 1 8 15 2 9 16 3 10 17 4 11 18 5 12 19 6 13 20 7 14 21 4. 2~5 4.18
More information정부3.0 국민디자인단 운영을 통해 국민과의 소통과 참여로 정책을 함께 만들 수 있었고 그 결과 국민 눈높이에 맞는 다양한 정책 개선안을 도출하며 정책의 완성도를 제고할 수 있었습니다. 또한 서비스디자인 방법론을 각 기관별 정부3.0 과제에 적용하여 국민 관점의 서비스 설계, 정책고객 확대 등 공직사회에 큰 반향을 유도하여 공무원의 일하는 방식을 변화시키고
More information3주차(1-3차시) 구성주의와 수학교육
3 주차 (1~3 차시 ) 구성주의와수학교육철학 www.ewha.ac.kr Contents 구성주의를중심으로 Contents 1 Contents 2 Contents 3 Contents 4 Contents 5 Contents 6 수학교육의추구방향에대한일반입장 수학의본질 현대수학교육철학 조작적구성주의급진적구성주의사회적구성주의 수학교육이추구하는일반입장 수학적사고방법은우리의경험과관념을정돈하고새로운사고모델을고안하는가장강력하고우아한도구이다.
More information유니티 변수-함수.key
C# 1 or 16 (Binary or Hex) 1:1 C# C# (Java, Python, Go ) (0101010 ). (Variable) : (Value) (Variable) : (Value) ( ) (Variable) : (Value) ( ) ; (Variable) : (Value) ( ) ; = ; (Variable) : (Value) (Variable)
More information<4D F736F F F696E74202D20C1A63036C0E520BCB1C5C3B0FA20B9DDBAB928B0ADC0C729205BC8A3C8AF20B8F0B5E55D>
Power Java 제 6 장선택과반복 이번장에서학습할내용 조건문이란? if 문 if, else 문 중첩 if 문 switch 문 break문 continue문 지금까지는문장들이순차적으로실행된다고하였다. 하지만필요에따라서조건이만족되면문장의실행순서를변경할수있는기능이제공된다. 3 가지의제어구조 조건문 문장이실행되는순서에영향을주는문장 조건에따라서여러개의실행경로가운데하나를선택
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 information2),, 312, , 59. 3),, 7, 1996, 30.
*,.1) 1),. 2),, 312, 2000. 3., 59. 3),, 7, 1996, 30. 4).. 1. 2 ( :,,, 2009). 5) 2004. 2. 27. 2003 7507 ; 1985. 6. 25. 85 660 ; 1987. 2. 10. 86 2338. 6) 1987. 7. 21. 87 1091. 7) 2006. 4. 14. 2006 734. 8),
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< C617720BBF3B4E3BBE7B7CAC1FD20C1A632B1C72E687770>
IT&Law 상담사례집 - 제 2 권 - IT&Law 상담사례집제2권 - 1 - 제 1 장프로그램저작권일반 - 2 - IT&Law 상담사례집제2권 - 3 - 제 1 장프로그램저작권일반 - 4 - IT&Law 상담사례집제2권 - 5 - 제 1 장프로그램저작권일반 - 6 - IT&Law 상담사례집제2권 - 7 - 제 1 장프로그램저작권일반 - 8 -
More informationPowerPoint Presentation
5 불대수 Http://RAIC.kunsn..kr 2 학습목표 마스터제목스타일편집 기본논리식의표현방법을알아본다. 불대수의법칙을알아본다. 논리회로를논리식으로논리식을논리회로로표현하는방법을알아본다. 곱의합 (SOP) 과합의곱 (POS), 최소항 (minterm) 과최대항 (mxterm) 에대해알아본다. 01. 기본논리식의표현 02. 불대수법칙 03. 논리회로의논리식변환
More information<B3EDB8AEBFACB1B85F3135C1FD5F32C8A32832C2F7BCF6C1A4BABB292E687770>
논리연구 15-2(2012) pp. 273~292 논란 없는 원리와 최원배 교수의 반론 * 1) 이 병 덕 요약문 필자는 두 논문 직설법적 조건문에 관한 추론주의적 설명 과 직 설법적 조건문에 대한 추론주의적 설명과 송하석 교수의 반론 에서 직설법적 조건문 A C 가 질료적 조건문 A C 를 논리적으로 함축한다는 이른바 논 란 없는 원리 가 논란의 여지가 있음을
More information기하학입문의 강좌 소개
기하학입문의강좌소개 집합과함수 선형함수 행렬 행렬식 연립방정식 선형사상 고유치고유벡터 좌표계 해석기하학 평면상의점과직선여러가지 2차곡선 2차곡선의성질과분류공간의점과직선과평면여러가지 2차곡면 2차곡면의성질과분류여러가지좌표계와주축변환 1. 기하학의역사 탈레스의업적 실용기하 => 이론기하, 논증기하로의첫발 개개의구체적인도형을벗어나서추상적, 일반적인도형에대한성질을연구
More informationThe mission minded church - Strategies in building a multicultural ministry – Die missions-bereite Kirche - Strategien zum Aufbau multikultureller Ge
도여베르트의선험적비판 Dooyeweerd s transcendental critique Session One: What is the transcendental critique of theoretical thought? 이론적사고의선험적비판이란무엇인가? Session Two: Transcendental critique as a thought and cultural
More information- 4 -
- 4 - Abstract - 5 - - 6 - - 7 - 국문요약 - 8 - - 9 - 제목차례 Abstract ----------------------------------------------- 5 국문요약 ---------------------------------------------- 8 서론 -------------------------------------------------
More information3
한국 내 존재한 위안부 역사를 바로 알고 현재 한국 내 기지촌 미군 위안부 국가배상청구소송 의 성과 및 쟁점을 살펴보며 숨겨왔던 역사의 진실 토론하고 정부의 미군 위안부 문제에 대해 법적 책임을 묻는다. 3 4 5 3 4 6 9 31 45 61 65 6 7 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
More information(Hyunoo Shim) 1 / 24 (Discrete-time Markov Chain) * 그림 이산시간이다연쇄 (chain) 이다왜 Markov? (See below) ➀ 이산시간연쇄 (Discrete-time chain): : Y Y 의상태공간 = {0, 1, 2,..., n} Y n Y 의 n 시점상태 {Y n = j} Y 가 n 시점에상태 j 에있는사건
More informationMicrosoft PowerPoint - chap-06.pptx
쉽게풀어쓴 C 언어 Express 제 6 장조건문 컴퓨터프로그래밍기초 이번장에서학습할내용 조건문이란? if 문 if, 문 중첩 if 문 switch 문 break문 continue문 goto 문 5장까지는문장들이순차적으로실행된다고하였다. 하지만필요에따라서조건이만족되면문장의실행순서를변경할수있는기능이제공된다. 컴퓨터프로그래밍기초 2 조건문 조건에따라서여러개의실행경로가운데하나를선택
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 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 information= ``...(2011), , (.)''
Finance Lecture Note Series 사회과학과 수학 제2강. 미분 조 승 모2 영남대학교 경제금융학부 학습목표. 미분의 개념: 미분과 도함수의 개념에 대해 알아본다. : 실제로 미분을 어떻게 하는지 알아본다. : 극값의 개념을 알아보고 미분을 통해 어떻게 구하는지 알아본다. 4. 미분과 극한: 미분을 이용하여 극한값을 구하는 방법에 대해 알아본다.
More information열거형 교차형 전개형 상승형 외주형 회전형 도해패턴 계층형 구분형 확산형 합류형 대비형 상관형 (C) 2010, BENESO All Rights Reserved 2
c 2010, BENESO All rights reserved 1 열거형 교차형 전개형 상승형 외주형 회전형 도해패턴 계층형 구분형 확산형 합류형 대비형 상관형 (C) 2010, BENESO All Rights Reserved 2 u 열거형 : 대소, 위치등의관계에대해설명 u 교차형 : 중복, 합동, 복합, 공동등의관계에대해설명 설명도, 대소관계도, 제휴관계도,
More information슬라이드 1
Pairwise Tool & Pairwise Test NuSRS 200511305 김성규 200511306 김성훈 200614164 김효석 200611124 유성배 200518036 곡진화 2 PICT Pairwise Tool - PICT Microsoft 의 Command-line 기반의 Free Software www.pairwise.org 에서다운로드후설치
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 information.....6.ok.
Ⅳ 성은 인간이 태어난 직후부터 시작되어 죽는 순간까지 계속되므로 성과 건강은 불가분의 관계이다. 청소년기에 형성된 성가치관은 평생의 성생활에 영향을 미치며 사회 성문화의 토대가 된다. 그러므로 성과 건강 단원에서는 생명의 소중함과 피임의 중요성을 알아보고, 성매매와 성폭력의 폐해, 인공임신 중절 수술의 부작용 등을 알아봄으로써 학생 스스로 잘못된 성문화를
More information논리회로설계 3 장 성공회대학교 IT 융합학부 1
논리회로설계 3 장 성공회대학교 IT 융합학부 1 제 3 장기본논리회로 명제 참인지거짓인지정확하게나타낼수있는상황 ( 뜻이분명한문장 ) 2진논리 참과거짓 두가지논리로표시하는것 0 / 1 로표현가능 논리함수 여러개의 2진명제를복합적으로결합시켜표시하고, 이를수학적으로나타낸것 디지털논리회로 일정한입력에대하여논리적인판단을할수있는전자회로로구성 - 입력된 2진논리신호들에대해적당한
More information< C0DAC0B2C5BDB1B820BFEEBFB520B8DEB4BABEF32D33C2F720C6EDC1FD2E687770>
과학영재의창의적탐구능력배양을위한 R&E 프로그램기획 운영핸드북 Handbook of Annual Planning and Implementing R&E Program for the Talented 2017 과학영재창의연구 (R&E) 지원센터 이핸드북은과학고와과학영재학교의연간 R&E 프로그램기획 운영을효과적으로지원하기위해개발된것으로, 한국과학창의재단지정과학영재창의연구
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 information82-대한신경학0201
www.neuro.or.kr 2010 1 Vol. 82 www.neuro.or.kr 01 5 January 2010 2007 Newsletter of THE KOREAN NEUROLOGICAL ASSOCIATION 2010 NO.82 2010.JANUARY C o n t e n t s 04 05 06 10 13 17 18 20 22 25 28 32 33 36
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 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 informationW7_Business_ 제품설계
6가지 테마와 24단계 창업 프로그램 벤처창업 (START-UP) Week 7: 스타트업 바이블 Step 20, 21, 22, 23 ; 어떤 과정을 거쳐 제품을 기획하고 설계할까? Hansoo Kim, Ph.D YUST MIS / E-Biz Research Center / BNC ?????,!????,? (Linchpin,, )?? ),, SASA : :,,
More information1-1) 아직까지도우리나라는 resilience' 이라는용어가적응유연성 ( 권태철, 2002; 김미승, 2002; 박현선, 1998, 1999a, 1999b; 양국선, 2001; 유성경, 2000; 이선아, 2004; 윤미경, 2002; 조혜정, 2002; 장순정, 2
1-1) 아직까지도우리나라는 resilience' 이라는용어가적응유연성 ( 권태철, 2002; 김미승, 2002; 박현선, 1998, 1999a, 1999b; 양국선, 2001; 유성경, 2000; 이선아, 2004; 윤미경, 2002; 조혜정, 2002; 장순정, 2003), 탄력성 ( 김승경, 2004; 김택호, 2004), 또는자아 - 탄력성 ( 구자은,
More information1 1 장. 함수와극한 1.1 함수를표현하는네가지방법 1.2 수학적모형 : 필수함수의목록 1.3 기존함수로부터새로운함수구하기 1.4 접선문제와속도문제 1.5 함수의극한 1.6 극한법칙을이용한극한계산 1.7 극한의엄밀한정의 1.8 연속
1 1 장. 함수와극한 1.1 함수를표현하는네가지방법 1.2 수학적모형 : 필수함수의목록 1.3 기존함수로부터새로운함수구하기 1.4 접선문제와속도문제 1.5 함수의극한 1.6 극한법칙을이용한극한계산 1.7 극한의엄밀한정의 1.8 연속 2 1.1 함수를표현하는네가지방법 함수 f : D E 는집합 D 의각원소 x 에집합 E 에속하는단하나의원소 f(x) 를 대응시키는규칙이다.
More information소성해석
3 강유한요소법 3 강목차 3. 미분방정식의근사해법-Ritz법 3. 미분방정식의근사해법 가중오차법 3.3 유한요소법개념 3.4 편미분방정식의유한요소법 . CAD 전처리프로그램 (Preprocessor) DXF, STL 파일 입력데이타 유한요소솔버 (Finite Element Solver) 자연법칙지배방정식유한요소방정식파생변수의계산 질량보존법칙 연속방정식 뉴톤의운동법칙평형방정식대수방정식
More information쉽게 풀어쓴 C 프로그래밍
누구나즐기는 C 언어콘서트 제 5 장조건문 이번장에서학습할내용 조건문이란? if 문 if, else 문 중첩 if 문 switch 문 goto 문 이제까지는문장들이순차적으로실행된다고하였다. 하지만필요에따라서조건이만족되면문장의실행순서를변경할수있는기능이제공된다. 조건문 조건에따라서여러개의실행경로가운데하나를선택 문장이실행되는순서에영향을주는문장 조건에따라서여러개의같은처리를반복
More informationSemantic Consistency in Information Exchange
제 3 장시맨틱스 (Semantics) Reading Chap 13 숙대창병모 1 시맨틱스의필요성 프로그램의미의정확한이해 소프트웨어의정확한명세 소프트웨어시스템에대한검증혹은추론 컴파일러혹은해석기작성의기초 숙대창병모 2 3.1 Operational Semantics 숙대창병모 3 의미론의종류 Operational Semantics 프로그램의동작과정을정의 Denotational
More information2002report220-10.hwp
2002 연구보고서 220-10 대학평생교육원의 운영 방안 한국여성개발원 발 간 사 연구요약 Ⅰ. 연구목적 Ⅱ. 대학평생교육원의 변화 및 외국의 성인지적 접근 Ⅲ. 대학평생교육원의 성 분석틀 Ⅳ. 국내 대학평생교육원 현황 및 프로그램 분석 Ⅴ. 조사결과 Ⅵ. 결론 및 정책 제언 1. 결론 2. 대학평생교육원의 성인지적 운영을 위한 정책 및 전략 목
More informationC# Programming Guide - Types
C# Programming Guide - Types 최도경 lifeisforu@wemade.com 이문서는 MSDN 의 Types 를요약하고보충한것입니다. http://msdn.microsoft.com/enus/library/ms173104(v=vs.100).aspx Types, Variables, and Values C# 은 type 에민감한언어이다. 모든
More information04 Çмú_±â¼ú±â»ç
42 s p x f p (x) f (x) VOL. 46 NO. 12 2013. 12 43 p j (x) r j n c f max f min v max, j j c j (x) j f (x) v j (x) f (x) v(x) f d (x) f (x) f (x) v(x) v(x) r f 44 r f X(x) Y (x) (x, y) (x, y) f (x, y) VOL.
More informationPowerPoint Presentation
논리회로기초요약 IT CookBook, 디지털논리회로 4-6 장, 한빛미디어 Setion 진수 진수표현법 기수가 인수, 사용. () = +. = 3 () () + + () +. () + + + () +. + () + - () +. + - () + -3 + -4 Setion 3 8 진수와 6 진수 8진수표현법 에서 7까지 8개의수로표현 67.36 (8) = 6
More information2
2 3 10 06 44 56 80 50 6 7 8 9 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 44 45 46 47 48 49 50 51 52 53 54 56 57 58 59 60 61 62 63 64 읽으면쉽게풀리는 퀴즈~ 65
More information고3-02_비문학_2_사회-해설.hwp
비문학 기출 제재별 문제 모음 (2007~2011학년도 학력평가) 정답 및 해설 사회 2 비문학 사회 01 사회 2011 학년도 10 월학력평가 정답과해설 사회 1 2012 학년도 11 월모의평가 ( 대전 ) 1. 이해한내용으로추론하는능력을파악하는문제이다. 1 7. 유사한사례를파악한다. 5 [ 오답풀이 ] 2. 이해한내용을바탕으로적용할수있는능력을파악하는문제이다.
More information실험 5
실험. OP Amp 의기초회로 Inverting Amplifier OP amp 를이용한아래와같은 inverting amplifier 회로를고려해본다. ( 그림 ) Inverting amplifier 위의회로에서 OP amp의 입력단자는 + 입력단자와동일한그라운드전압, 즉 0V를유지한다. 또한 OP amp 입력단자로흘러들어가는전류는 0 이므로, 저항에흐르는전류는다음과같다.
More information제 1 절 복습 \usepackage{ g r a p h i c x }... \ i n c l u d e g r a p h i c s [ width =0.9\ textwidth ] { b e a r. j p g } (a) includegraphics 사용의일반적인유형
그림배치 이주용 jlee@formal.korea.ac.kr 2011 년 9 월 28 일 제 1 절 복습 \usepackage{ g r a p h i c x }... \ i n c l u d e g r a p h i c s [ width =0.9\ textwidth ] { b e a r. j p g } (a) includegraphics 사용의일반적인유형 (b)
More information도약종합 강의목표 -토익 700점이상의점수를목표로합니다. -토익점수 500점정도의학생들이 6주동안의수업으로 점향상시킵니다. 강의대상다음과같은분들에게가장적합합니다. -현재토익점수 500점에서 600점대이신분들에게가장좋습니다. -정기토익을 2-3번본적이있으신분
도약종합 -토익 700점이상의점수를목표로합니다. -토익점수 500점정도의학생들이 6주동안의수업으로 100-200점향상시킵니다. -정기토익을 2-3번본적이있으신분. -수업도많이들어봤고, 문제도많이풀었지만문법정리가제대로되지않은분. 강의특징수업시간에토익과관련없는사적인잡담으로시간낭비하지않는수업입니다. LC : 파트별집중정리한문제풀이로유형을익혀나가는수업입니다. RC
More information연구노트
#2. 종이 질 - 일단은 OK. 하지만 만년필은 조금 비침. 종이질은 일단 합격점. 앞으로 종이질은 선택옵션으로 둘 수 있으리라 믿는다. 종이가 너무 두꺼우면, 뒤에 비치지 는 않지만, 무겁고 유연성이 떨어진다. 하지만 두꺼우면 고의적 망실의 위험도 적고 적당한 심리적 부담도 줄 것이 다. 이점은 호불호가 있을 것으로 생각되지만, 일단은 괜찮아 보인다. 필자의
More informationCR2006-41.hwp
연구책임자 가나다 순 머 리 말 2006년 12월 한국교육학술정보원 원장 - i - - ii - - iii - 평가 영역 1. 교육계획 2. 수업 3. 인적자원 4. 물적자원 5. 경영과 행정 6. 교육성과 평가 부문 부문 배점 비율(%) 점수(점) 영역 배점 1.1 교육목표 3 15 45점 1.2 교육과정 6 30 (9%) 2.1 수업설계 6 30 2.2
More information일반각과호도법 l 삼각함수와미분 1. 일반각 시초선 OX 로부터원점 O 를중심으로 만큼회전이동한위치에동경 OP 가있을때, XOP 의크기를나타내는각들을 ( 은정수 ) 로나타내고 OP 의일반각이라한다. 2. 라디안 rad 반지름과같은길이의호에대한중심각의 크기를 라디안이라한
일반각과호도법 l 1. 일반각 시초선 OX 로부터원점 O 를중심으로 만큼회전이동한위치에동경 OP 가있을때, XOP 의크기를나타내는각들을 ( 은정수 ) 로나타내고 OP 의일반각이라한다. 2. 라디안 rad 반지름과같은길이의호에대한중심각의 크기를 라디안이라한다. 3. 호도법과육십분법 라디안 라디안 4. 부채꼴의호의길이와넓이 반지를의길이가 인원에서중심각이 인 부채꼴의호의길이를
More information<B9ABC1A62D31>
08학년도 교육과정안내 P A R T 0 중국비즈니스 교육목적 대학의 교육목적 탁월한 실용전문인 양성 화합하는 민주시민 양성 연계전공 교육목적 학제적 연계 프로그램을 통하여 교과과정을 운영함으로써 종합적인 사고 능력과 실무능력을 구비한 유능한 인재를 양성 교육목표 대학의 교육목표 연계전공 교육목표 봉사하는 리더십 함양 건강한 육체와 정신함양 중국 사회, 문화
More information152*220
152*220 2011.2.16 5:53 PM ` 3 여는 글 교육주체들을 위한 교육 교양지 신경림 잠시 휴간했던 우리교육 을 비록 계간으로이지만 다시 내게 되었다는 소식을 들으니 우 선 반갑다. 하지만 월간으로 계속할 수 없다는 현실이 못내 아쉽다. 솔직히 나는 우리교 육 의 부지런한 독자는 못 되었다. 하지만 비록 어깨너머로 읽으면서도 이런 잡지는 우 리
More informationC O N T E N T S 1. FDI NEWS 2. GOVERNMENT POLICIES 3. ECONOMY & BUSINESS 4. FDI STATISTICS 5. FDI FOCUS
[FDI FOCUS] 4 차산업혁명에따른외국인투자유치정책의재편방향 ( 산업연구원 ) 2018 년 1 월 22 일 [ 제 140 호 ] C O N T E N T S 1. FDI NEWS 2. GOVERNMENT POLICIES 3. ECONOMY & BUSINESS 4. FDI STATISTICS 5. FDI FOCUS 1. FDI NEWS 2. GOVERNMENT
More informationMicrosoft PowerPoint - semantics
제 3 장시맨틱스 (Semantics) Reading Chap 13 숙대창병모 Sep. 2007 1 3.1 Operational Semantics 숙대창병모 Sep. 2007 2 시맨틱스의필요성 프로그램의미의정확한이해 소프트웨어의정확한명세 소프트웨어시스템에대한검증혹은추론 컴파일러혹은해석기작성의기초 숙대창병모 Sep. 2007 3 의미론의종류 Operational
More informationFrama-C/JESSIS 사용법 소개
Frama-C 프로그램검증시스템소개 박종현 @ POSTECH PL Frama-C? C 프로그램대상정적분석도구 플러그인구조 JESSIE Wp Aorai Frama-C 커널 2 ROSAEC 2011 동계워크샵 @ 통영 JESSIE? Frama-C 연역검증플러그인 프로그램분석 검증조건추출 증명 Hoare 논리에기초한프로그램검증도구 사용법 $ frama-c jessie
More informationMicrosoft PowerPoint - chap06-1Array.ppt
2010-1 학기프로그래밍입문 (1) chapter 06-1 참고자료 배열 박종혁 Tel: 970-6702 Email: jhpark1@snut.ac.kr 한빛미디어 출처 : 뇌를자극하는 C프로그래밍, 한빛미디어 -1- 배열의선언과사용 같은형태의자료형이많이필요할때배열을사용하면효과적이다. 배열의선언 배열의사용 배열과반복문 배열의초기화 유연성있게배열다루기 한빛미디어
More informationi - ii - iii - 1 - 연도 보험급여 총계 (A) 장해급여 유족급여 일시금연금일시금연금 연금계 (B) 연금비중 (B/A, %) 기타 급여 1) 1998 14,511 3,377 979 1,657 30 1,009 7.0 8,467 1999 12,742 2,318 1,120 1,539 38 1,158 9.1 7,727 2000 14,563 2,237 1,367
More information자연언어처리
제 7 장파싱 파싱의개요 파싱 (Parsing) 입력문장의구조를분석하는과정 문법 (grammar) 언어에서허용되는문장의구조를정의하는체계 파싱기법 (parsing techniques) 문장의구조를문법에따라분석하는과정 차트파싱 (Chart Parsing) 2 문장의구조와트리 문장 : John ate the apple. Tree Representation List
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 information1
2014 년도기술수준평가결과 ( 안 ) - 120 개국가전략기술 - ( 1 ) 2014 가. 10대기술분야 ( 2 ) 나. 120개국가전략기술분야 ( 3 ) 다. 미래성장동력산업 (13 개 ) 분야 4. ( 4 ) 2014 년도기술수준평가결과 ( 안 ) -120 개국가전략기술 - 목차 1. 평가개요 1 2. 평가단계별추진절차 2 3. 평가결과 3 4. 국가전략기술로본미래성장동력산업별기술수준
More information저작자표시 - 비영리 - 변경금지 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 비영리. 귀하는이저작물을영리목적으로이용할
저작자표시 - 비영리 - 변경금지 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 비영리. 귀하는이저작물을영리목적으로이용할수없습니다. 변경금지. 귀하는이저작물을개작, 변형또는가공할수없습니다. 귀하는, 이저작물의재이용이나배포의경우,
More information학습목표 함수프로시저, 서브프로시저의의미를안다. 매개변수전달방식을학습한다. 함수를이용한프로그래밍한다. 2
학습목표 함수프로시저, 서브프로시저의의미를안다. 매개변수전달방식을학습한다. 함수를이용한프로그래밍한다. 2 6.1 함수프로시저 6.2 서브프로시저 6.3 매개변수의전달방식 6.4 함수를이용한프로그래밍 3 프로시저 (Procedure) 프로시저 (Procedure) 란무엇인가? 논리적으로묶여있는하나의처리단위 내장프로시저 이벤트프로시저, 속성프로시저, 메서드, 비주얼베이직내장함수등
More informationC 언어 프로그래밊 과제 풀이
과제풀이 (1) 홀수 / 짝수판정 (1) /* 20094123 홍길동 20100324 */ /* even_or_odd.c */ /* 정수를입력받아홀수인지짝수인지판정하는프로그램 */ int number; printf(" 정수를입력하시오 => "); scanf("%d", &number); 확인 주석문 가필요한이유 printf 와 scanf 쌍
More information273-308 제4장
4 PROSECUTION SERVICE 274 276 277 278 279 280 281 282 283 284 285 286 273-308 제4장 2012.8.21 11:57 AM 페이지287 제3절 아세안 프로젝트 수행 마약퇴치 캠페인 - 2011. 10. 5. 라오스 비엔티엔 소재 라오플라자 호텔에서 LCDC 부위원장 등 양국 마약관계 관 30여명이 참석한
More informationMicrosoft Word - 4장_처짐각법.doc
동아대학교토목공학과구조역학 4. 처짐각법 변위법 (Slope Deflection ethod Displacement ethod) Objective of this chapter: 처짐각법의기본개념. What will be presented: 처짐각법을이용한다차부정정보해석 처짐각법을이용한다차부정정골조해석 Theoretical background 미국미네소타대학의
More information<4D F736F F F696E74202D20B8AEB4AABDBA20BFC0B7F920C3B3B8AEC7CFB1E22E BC8A3C8AF20B8F0B5E55D>
리눅스 오류처리하기 2007. 11. 28 안효창 라이브러리함수의오류번호얻기 errno 변수기능오류번호를저장한다. 기본형 extern int errno; 헤더파일 라이브러리함수호출에실패했을때함수예 정수값을반환하는함수 -1 반환 open 함수 포인터를반환하는함수 NULL 반환 fopen 함수 2 유닉스 / 리눅스 라이브러리함수의오류번호얻기 19-1
More informationTOPOLOGY-WEEK 6 & 7 KI-HEON YUN 1. Quotient space( 상공간 ) X 가위상공간이고 Y 가집합이며 f : X Y 가전사함수일때, X 의위상을사용하여 Y 에위상을정의할수있는방법은? Definition 1.1. X 가위상공간, f : X
TOPOLOGY-WEEK 6 & 7 KI-HEON YUN 1. Quotient space( 상공간 ) X 가위상공간이고 Y 가집합이며 f : X Y 가전사함수일때, X 의위상을사용하여 Y 에위상을정의할수있는방법은? Definition 1.1. X 가위상공간, f : X Y 가전사함수일때, T Y = {U Y f 1 (U) is open set in X} 로정의하면
More informationuntitled
철학사상 별책제 권제 호 토픽맵에기초한, 철학고전텍스트들의체계적분석연구와 디지털철학지식지도구축 아리스토텔레스 형이상학 전헌상 서울대학교철학사상연구소 편집위원 백종현 위원장 김남두박찬국이남인이태수정원재 김상현 주간 발간사 서울대학교철학사상연구소철학문헌정보센터의전임연구단은한국학술진흥재단의기초학문육성지원사업비를받아앞서 년간 철학텍스트들의내용분석에의거한디지털지식자원구축
More informationC O N T E N T S 1. FDI NEWS 2. GOVERNMENT POLICIES 3. ECONOMY & BUSINESS 4. FDI STATISTICS 5. FDI FOCUS
[FDI FOCUS] 2016 글로벌그린필드투자동향 (fdi Intelligence) 2017 년 6 월 19 일 [ 제 133 호 ] C O N T E N T S 1. FDI NEWS 2. GOVERNMENT POLICIES 3. ECONOMY & BUSINESS 4. FDI STATISTICS 5. FDI FOCUS 1. FDI NEWS 2. GOVERNMENT
More information쉽게 풀어쓴 C 프로그래밍
쉽게풀어쓴 C 언어 Express 제 6 장조건문 이번장에서학습할내용 조건문이란? if 문 if, else 문 중첩 if 문 switch 문 break 문 continue 문 goto 문 5 장까지는문장들이순차적으로실행된다고하였다. 하지만필요에따라서조건이만족되면문장의실행순서를변경할수있는기능이제공된다. 조건문 조건에따라서여러개의실행경로가운데하나를선택 문장이실행되는순서에영향을주는문장
More information