| 일 | 월 | 화 | 수 | 목 | 금 | 토 |
|---|---|---|---|---|---|---|
| 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 |
- 백준 2475
- truth table
- reiteration
- individual constants
- 논리학
- 백준 10430
- 1차 논리
- soundness
- 백준 25314
- identity introduction
- 백준 11654
- 백준 11382
- 백준 2743
- identity elimination
- Validity
- atomic sentence
- fol
- predicate symbols
- negation
- 백준 27866
- 백준 18108
- transitivity of identity
- first order logic
- functional symbol
- 백준 10926
- 백준 25083
- 원자 명제
- 개별 상수
- 백준 2558
- formal proof
- Today
- Total
목록전체 글 (42)
컴공생의 공부LOG
#c48151
[#10926 - ??!] 문자열을 입력받고, 문자열을 조작하는 아주 간단한 문제이다. https://www.acmicpc.net/problem/10926 26.02.20id = input()print(id + "??!") python의 문자열 비슷한 수준의 문제[#11654 - 아스키 코드] 26.02.20n = input()print(ord(n)) ord 함수 chr 함수 [#2743 - 단어 길이 재기] 26.02.20alp = input()print(len(alp)) len 함수 [#25314 - 코딩은 체육과목 입니다] 26.02.20n = int(input())mok = n // 4print(("long " * mok) + "int") [#27866 - 문자와 문자열] 26.02.20s =..
[#1000 - A+B] 사용자로부터 정수를 입력 받아, 문제를 해결하는 아주 간단한 알고리즘 문제이다. https://www.acmicpc.net/problem/1000 26.02.20 a, b = map(int, input().split())print(a + b) input 함수 - 한 줄의 문자열을 입력받는 함수사용자의 입력 값 처리입력은 엔터 전까지 모두 받단독으로 사용시 항상 문자열 형식으로 반환형식 변환을 위해서는 앞에 int(), float() 등을 사용 split 함수 - 문자열을 나누어 주는 함수기본형 split()은 공백을 기준으로 구분괄호 안에 특정 문자 등을 넣으면, 해당 문자 기준으로 나뉨 map 함수 - 리스트의 요소를 지정된 함수로 처리하는 함수여러 개의 데이터를 한 번에..
[#2557 - Hello World] 아마 코딩을 배우거나 알고리즘 문제를 처음 접한다면, 가장 먼저 보게 될 문장 Hello World 이걸 출력하는 문제이다. https://rightbellboy.tistory.com/214 26.02.20print('Hello World!')# print("Hello World!") print 함수 - 기본 출력 함수괄호 내에 큰 따옴표("")나 작은 따옴표 둘 중 아무거나 사용 가능문자열 내에 있는 특수 문자 앞에 \를 붙이면, 기호가 아닌 문자로 인식 (특수문자 출력 가능)줄바꿈은 \n 사용 (new line을 의미)두 값 출력시 ,로 구분하면 공백을 사이에 두고 출력구분자로 쓸 값을 sep를 사용해 직접 설정할 수 있음end 값에 기본적으로 \n 들어있..