에리카

[07] 이산수학(함수)

주제 : 함수 함수 : 한 집합의 각 원소를 다른(또는 같은) 집합의 특정 원소와 관련 짓는 것 함수는 때때로 사상 또는 변환이라고도 한다. 단사 함수 : 일대일 함수 단사 함수 보장 조건 : 전사 함수 : 정의역 A, 공역 B가 있을 때, B에 속한 모든 원소 b에 대하여 f(a) = b인 A에 속한 a가 존재할 경우 f를 전사 함수라고 한다. 전단사 함수 : 단사 함수이고 동시에 전사 함수인 함수(일대일 대응 관계) 역함수 : f가 A로부터 B로의 전단사 함수라고 하자. f의 역함수는 B의 원소 b에 A의 원소 a를 다른 것과 중복되지 않게 대응시키는 함수이다. 역함수를 만들 수 있는 전단사 함수는 가역함수, 전단사 함수가 아닌 경우 비가역 함수이다. 함수의 합성 : g가 집합 A로부터 집합 B로의 ..

[06] 이산수학(집합)

주제 : 집합 집합의 표현법 : 원소나열법 : 집합의 원소를 모두 나열하는 것 조건 제시법 : 집합의 원소들의 공통적인 특성을 기술하는 것 집합의 구간 : 닫힌구간, 열린 구간 두 집합이 같은 원소를 갖고 있다면 그 두 집합은 같다고 표현한다. 특수한 집합 : 공집합 : 원소를 갖지 않는 특수한 집합 단일 원소 집합 : 단 하나의 원소만 갖는 집합{공집합} 벤 다이어그램 : 집합 간의 관계를 나타내는 데 종종 사용한다 부분집합 : 임의의 집합 S에 대해 포함되는 원소들의 집합 진부분집합 : 공집합과 자기 자신을 제외한 부분집합 멱집합 : 임의의 집합 S가 주어졌을 때, 집합 S의 멱집합은 집합 S의 모든 부분집합의 집합이다. 데카르트곱 : 집합은 원소의 순서를 무시하지만, 여기서는 순서를 고려한다고 가정..

[07] 프로그램 설계 방법론

주제 : 생성 메서드와 필드 변수 변수의 유효범위는 다음 코드를 통해 알 수 있다. import java.awt.Graphics; public class Scope { private double d = 3.14; public Scope() { System.out.println(s); System.out.println(d); int d = 2; System.out.println(d); System.out.println(s); } private String s = "X" + d; public void printComponent(Graphics g) { System.out.println(d + " " + s); } public static void main(String[] args) { new Scope();..

[06] 프로그램 설계 방법론(생성자와 필드 변수)

주제 : 생성 메서드와 필드 변수 생성 메서드(constructor method) : 객체가 태어나면서 저절로 한번 실행하는 메서드를 뜻한다. 생성 메서드를 만들 때는 클래스 이름과 동일하게 만든다. public class ClassName { public ClassName( par_1, …, par_n) { // 몸체 코드 블록 } } 실습 : 아날로그 시계를 만들어보자 import javax.swing.*; public class ClockWriter extends JPanel{ public ClockWriter() { JFrame frame = new JFrame(); frame.setTitle("Clock"); frame.setSize(300, 400); frame.setVisible(true);..

[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..