명제(Propositions) 논리의 기본적인 구성요소 true or false 중 하나를 선언할 수 있는 문장 ex) * 지구는 행성이다.(T) * x+1=2(명제가 아님. x가 1일때 참인 명제임) * 몇시입니까? (명제가 아님) 명제 변수(Propositional Variables) 명제를 표현하는 변수 (ex. p, q, r, s) 진리값(truth value): True or False 논리(Logic) 수학적 표현의 의미를 구체화하여 추론 복합 명제(Compound Propositions) 하나 또는 여러 개의 명제를 조합하여 만든 새로운 명제 논리 연산자(logical operator)/접속사(connective)를 통해 조합 부정 (negation, NOT) ¬p 논리곱 (conjuncti..
Java Naming Conventions 자바 명명 방식은 개발자들이 변수명, 클래스명, 패키지명, 상수명 등 이름을 명명할 때 따라지기를 바라는 규칙이다. 절대 법처럼 완전히 규제되는 것이 아니라 지켰으면 좋겠다는 의미이기 때문에 java naming rule이 아니라 java naming convention으로 말해진다. 이러한 convention들은 여러 해외 개발사이트 및 선배 개발자분들이 편해서 두루두루 사용된 것이다. java naming convention을 사용하면 우리가 얻게 되는 이점에는 무엇이 있을까? 편하다. 이러한 명명방식을 사용하게 되면 여러 개발자들과 협업을 함에 있어서 편리하다. 누가봐도 이 변수는 이걸 뜻하는 구나 라고 다들 쉽게 알아차릴 수 있다. 명명 방식 Class ..
정말 오랜만에 포스팅을 한다... 직업관계상 이런저런 사정이 있었다. 백준 15740번을 보게 되면 자바에서 수의 범위에 따라서 수의 자료형을 다룰 수 있느냐 없느냐이다. 이 문제를 풂에 있어서 요점은 long형 보다 범위가 큰 경우의 숫자를 다루는 것이다. 이러한 경우에는 BigInteger library를 사용하여 문제를 풀면 되겠다. import java.util.Arrays; import java.util.Scanner; import java.math.BigInteger; public class Main { public static void main(String[] args) { // TODO Auto-generated method stub Scanner sc = new Scanner(System..
1 2 3 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 32 33 34 35 36 37 38 39 40 41 42 43 44 import java.io.BufferedReader; import java.io.IOException; import java.io.InputStreamReader; import java.util.Stack; public class Main { public static void main(String[] args) throws IOException { // TODO Auto-generated method stub Stack stack = new Stack(); BufferedReader b..
- Total
- Today
- Yesterday
- 안스 프로젝트 구조
- python list 팁
- printf문 연산자
- 다이나믹 프로그래밍
- C언어 printf문
- 배열 메모리
- printf 스택
- res 의미
- 필드 폭 지정
- 배열 주의사항
- CLion 한글 깨짐
- printf 계산 순서
- 앱 프로그래밍
- MinGW 한글
- C언어 한글
- 연산 순서
- 증감연산자 계산 순서
- 윈도우 복붙
- C언어 한글 깨짐
- 모바일 앱 설계
- 백준
- C언어 배열 선언
- 계산 순서
- 배열 메모리 할당
- c언어 공백 출력
- manifest 의미
- c언어 필드 폭지정
- MinGW 한글 깨짐
- CLion 한글
- 복붙하기
일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
1 | 2 | 3 | 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 |