일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
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 |
- Connectives
- predicate symbols
- 원자 명제
- atomic sentence
- identity elimination
- fol
- identity introduction
- 개별 상수
- 논리학
- terms
- Validity
- first order logic
- negation
- reiteration
- transitivity of identity
- formal proof
- 1차 논리
- disjunction
- arguments
- conjunction
- substitution
- truth table
- functional symbol
- soundness
- individual constants
- Today
- Total
목록2024/11 (37)
컴공생의 공부LOG
자연수 수열의 합자연수 (Natural Number)N = { 0, 1, 2, 3, ... } 수학적 귀납, 인덕 (Mathematical Induction)(1)기초 Basis0은 자연수이다.(2)귀납 Inductionn이 자연수이면, n + 1도 자연수이다.(3)그 외에 다른 자연수는 없다. 자연수는 무한이 많이 있지만, 이 귀납 정의를 이용하면 아무리 큰 자연수라도 유한한 절차를 거쳐서 자연수임을 확인할 수 있다. 거듭제곱 최대공약수 곱셈
논리식Logical ExpressionBoolean Expression (True / False) 논리 연산자논리곱논리합논리역andornot and or not 진리표 (Truth Table)pqp and qp or qTrueTrueTrueTrueTrueFalseFalseTrueFalseTrueFalseTrueFalseFalseFalseFalsepnot pTrueFalseFalseTrue 연산자연산자우선순위결합 순서not가장 높음-and높음-or낮음- 비교 논리식비교 연산자같다다르다크다작다크거나 같다작거나 같다==!=>>= == != > >= 비교 기준수크기논리값True는 1로, False는 0으로 처리문자열ASCII 코드 / Unicode 값 Q1. 정수를 인수로 받아서 짝수이면 True..
변수변수(Variable)-프로그램 실행 중에 생기는 계산 값을 추후 계산과정에서 두고두고 사용하기 위해서 지어두는 이름 네임스페이스 (Namespace) 지정문(Assignment)- = ex) x = 3 + 4 Python동적 바인딩 Dynamic BindingC정적 바인딩 Static BindingJava 변수 이름 짓기아래 문자들의 조합소문자a-z대문자A-Z숫자0-9밑줄문자_ (언더바)예외 : 숫자로 시작할 수 없음1. 값의 특징을 잘 대변해주는 명사 또는 명사구를 고를 것2. 나름의 작명 규칙을 정하고 일관성을 유지할 것 3. 관습을 따를 것 (일반 변수는 소문자로 시작)*프로그램의 가독성, 파이썬 코딩 컨벤션 Python Coding Convention 원의 면적 구하기 표준 라이브러리mat..
문자열문자(Character)문자를 키보드에 입력하면, 문자를 자연수(0~127)로 인코딩하고, 그 자연수를 ASCII에 따라 문자로 디코딩한다ASCII(American Standard Code for Information Interchange)ASCII에 없는 문자는 Unicode를 사용하여 디코딩한다.문자는 ""나 ''로 표현할 수 있다 Q1. 임의의 키보드 문자를 몇 개 골라서 위와 같은 요령으로 ord를 사용하여 그 문자에 해당하는 아스키 코드값을 인터프리터로 확인하자. Q2. 0에서 127 사이의 코드값을 몇 개 골라서 위와 같은 요령으로 chr를 사용하여 그 아스키 코드값에 해당하는 문자를 인터프리터로 확인하자. Q3. 한글 문자 몇 개를 임의로 골라서 그 문자에 해당하는 유니코드 값을 인..