한양대학교

[03] 프로그램 설계 방법론(식, 변수, 타입)

언어 : JAVA 환경 : eclipse 프로그램은 실행할 때 비로소 태어난다? 메모리에 올려지면서. static이 붙어있는 메서드는 실행하지 않아도 살아있다. 즉, 메모리에 올라가지 않아도 된다. public class Hello { public static void main(String[] args) { System.out.println("hello world"); } } 따라서 main함수는 늘 살아있다. java의 최소 단위는 1byte(8bit)이다. 기본 타입 : boolean : 1byte char : 2 byte byte : 1 byte(-127~127) short : 2 byte(-30,000~30,000) int : 4 byte(-21억~21억) long : 8 byte float : ..

[02] 이산수학(명제논리의 응용과 동치)

a : 학교에서 인터넷에 접속할 수 있다. c : 컴퓨터공학 전공자이다. f : 신입생이다. a --> (c ∨￢f) P : 16세 이상이다. q : 120cm 미만이다. r : 롤러코스터를 탈 수 있다. (￢p ∧ q) --> ￢r 수업 시간에는 항상 긍정문만을 사용할것을 약속한다. p : 시스템 전달 메시지가 버퍼에 저장되어 있다. q : 시스템 전달 메시지가 재전송 되었다. 1. p ∨ q 2. ￢p 3. p --> q 4. ￢q sol. 2번으로 인해 p==false 1번에 p가 false이므로 q는 true 그러나 4번이 참이려면 q는 false이어야 하므로 위는 일관되지 않다. 드모르간 법칙: ￢(p ∨ q)와 ￢p ∧ ￢q가 논리적 동치이다. ￢p ∨ q와 p --> q도 논리적 동치이다. ..

[01] 이산수학(이산수학이란)

은교수님 : 찾아뵈려면 이메일드리기 한 단원이 끝나면 lms로 연습문제 제공 이산수학 개요 이산 : 좌표평면에 그렸을 때 띄엄띄엄 연속 : 좌표평면에 그렸을 때 선으로 표현 컴퓨터는 모든 숫자를 이산적으로 처리하기 때문에 이 교과목을 배운다. 조건문, 반복문, 함수 등에 필요한 논리적 사고력을 함양할 수 있다. 다익스트라 알고리즘 : 가장 빠른 최적의 경로를 찾는 알고리즘 정수론, 알고리즘이 제일 어렵다. 명제란: 참 또는 거짓을 나타내는 선언적 문장 어떤 사고를 나타내는 문장 중에서 참이나 거짓을 객관적이고 명확하게 구분할 수 있는 문장이나 수식 명제 논리: 명제를 다루는 논리 명제 변수:명제를 하나의 문자로 표현한 것 단순명제 : 더 이상 단순한 며제로 나누어질 수 없는 명제복합명제 : 기존 명제들과..