분류 전체보기

[01] 초급 중국어

성모 : 성모는 단독으로 소리가 될 수 없으며 운모와 결합하여 소리를 완성한다. 중국어는 o,e,i를 붙여 기본 소리를 낸다. 운모 : 주의 : ian, uan 사이에 a는 에로 소리난다. 두 단어가 3성이면 2성 + 3성으로 읽는다. 두 단어가 4성이면 3성 + 4성으로 읽는다. 부정할 때 서술어 앞에 不을 붙이고 뿌라고 읽는다. 숙제 : 28p~29p.

[02] 시스템 프로그래밍 기초(선언과 정의)

declaration : 선언, 기계어로 번역되지 않는다. 즉, 컴파일러에게 정보만 준다.(실행 코드의 크기가 변하지 않는다) definition : 정의, 기계어로 반영된다. 즉, 실행코드에 반영된다. ex1) int x; // int라는 keyword는 정수형 변수를 선언할 때 사용된다고 선언되어 있다. int x = 10; // x에 정수 10을 넣는다는 정의를 한다. ex2) main은 ANSI에 따르면 return값이 int, 정수이다. int add(int a, int b){ return a+b; } int main(void){ int a,b; int c; c=add(a,b); } 함수는 definition이다. 기능을 정의하기 때문. int main(void){ int a,b; int c; ..

[05] 이산수학(증명)

주제 : 증명 가설(conjecture) : 어떤 부분적 증거나 휴리스틱한 논증, 또는 전문가의 직관에 근거하여 참이라고 주장되는 문장 증명(proof) : 어떤 정리가 참이라는 것을 입증하는 유효한 논증 정리(theorem, facts, results) : 그것이 참임을 보일 수 있는 하나의 진술 주장(propositions) : 상대적으로 덜 중요한 정리 보조정리(lemma) : 증명하는데 도움이 되는 약간 덜 중요한 정리. 개별적 증명 필요 따름정리(corollary) : 증명된 정리로부터 직접적으로 귀결될 수 있는 정리 가설이 증명되면 그 가설을 정리라고 한다. 정리 증명 방법 : 대상 영역의 일반적 원소를 선택 이 원소가 문제의 성지을 갖는지 확인 전칭 일반화를 적용하여 모든 원소에 대해 성립함..

[04] 이산수학(추론)

주제 : 추론 증명 : 수학적 진술의 참을 입증하는 유효(valid)한 논증 유효하다 : 전제가 참이고(and) 결론이 참일 때 유효하다고 한다. 추론 규칙 : 수학적 진술의 참을 입증하는 도구 항진명제 : 항상 참인 명제 추론 규칙 : 긍정 논법 부정 논법 가설적 삼단논법 논리합 삼단논법 가산 논법 단순화 논법 논리곱 논법 융해법 페이지 9 연습_어려움 증명의 오류: 결론 단언의 오류 : 결론을 먼저 꺼내는 것 가정 부정의 오류 : 결론을 부정하는 것 한정 기호 사용 전칭 예시화 : 정의역에 속하는 임의의 원소 c에 대하여 P(c)가 참이라 하는 것 전칭 일반화 : 특정 요소 c에 대해 P(c)가 참이라면 ∃xP(x)가 참이라 하는 것

[05] 프로그램 설계 방법론(클래스와 메소드)

언어 : JAVA 주제 : [04] 내용 실습 실습 1. 크리스마스까지 몇 달 며칠 남았을까? 설계도 - 클래스 다이어그램 기간을 나타내는 Period 클래스와 LocalDate를 사용한다. Model : Period countdownXmas() ViewOut : void showCountdownXmas(Period p) Controller : void control(Model m, View v) Calendar(Starter) : static void main(String [] args) MVC 아키텍처를 사용하지 않았을 때의 코드는 다음과 같다. import java.time.LocalDate; import java.time.Period; public class Calendar { public sta..

MVC 아키텍처란

언어 : JAVA 수업 주제 : Class 및 객체지향의 개념 MVC 아키텍처란 Class란 Class란 메서드(함수)와 필드(변수)의 집합체이다. 또한 Class는 프로그램을 개발할 때 기능 단위로 분리하여 작성한다. 자동차가 프로그램이라면 바퀴, 엔진, 차체 등이 프로그램을 이루는 구성요소, 즉 Class라고 할 수 있다. Class를 사용할 때, 유지보수가 수월해지고 해당 기능의 코드에 대한 접근성이 좋아진다는 장점이 있다. Class 이름 중 첫 문자는 대문자로(전 세계의 암묵적 기준) 쓴다. 예를 들어, MyClassName이라는 Class를 만든다면 다음과 같다. 패키지는 default이다. public class MyClassName { } 클래스 앞의 public은 공개적으로 접근 가능하다..

[01] 시스템 프로그래밍 기초(C언어란, 자료형)

사용하는 책 : a book on c 단어를 바탕으로 문장이 이루어진다. 이것이 프로그래밍. C언어를 다루기 위해서 스테이트먼트(statement)를 만들 줄 알아야 된다. 표현(expression)을 이용해서 스테이트먼트를 만들고 이것이 컴퓨터에게 명령이 된다. 세미콜론(;)을 기준으로 스테이트먼트를 만든다. 표현을 사용하기 위해서는 word를 알아야 되는데 핵심적인 word를 keyword라고 한다. (p.77) ANSI : 수많은 C 컴파일러가 있는데, 통일시키기 위한 규정 ANSI를 잘 지킨 컴파일러의 대표적인 예시는 gcc이다. 이름을 만드는 이유는 대상을 특정하기 위해서, 구분하기 위해서이다. 메모리의 특정 주소를 쉽게 구분하기 위해 "변수명"을 지정한다. 이것을 Identifier라고 한다...

[03] 이산수학(술어와 한정기호)

명제 논리의 한계 : 주어와 술어를 구분하지 않고, 문장 전체를 하나의 명제로 다루는 것 전칭 한정기호(∀) : 어떤 변수가 취할 수 있는 값 중, 특정 영역에 속하는 모든 값에 대하여 참 존재 한정기호(∃) : 어떤 특정한 조건을 만족하는 원소가 존재한다. 유일 한정기호(∃!) : 전칭 한정기호와 존재 한정기호를 이용하여 만들 수 있음 유한정의역 : 한정기호의 정의역이 유한하면, 모든 원소들을 나열할 수 있다. 즉, 한정된 문장을 명제 논리로 표현할 수 있다. 구속 변수 : 변수 x에 한정기호가 적용되면, 이 변수를 구속변수라고 한다. 반대로, 한정기호가 적용되지 않거나, 값이 할당되어 있지 않으면 자유 변수라고 한다. 한정기호에 대한 드 모르간 법칙 : ￢∀xP(x) ≡ ∃x￢P(x), ￢∃xQ(x)..