한양대

[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은 공개적으로 접근 가능하다..