아니라 수학의 모든 분야들도 논리에 환원될 수 있다고 생가하였다. 그리고 화이트 행드와의 공저 『수학원론 (Principia Mathematical)』(1910~1913) 에서는 명제논리체계 (Propositional Logic System) 내에서 세분화 유형론 (ramified type theory) 을 사용하여 논리로부터 수학이 연역가능함으로 보이고자 하였다.
1. (10) Please construct a symbol table of your own program with “NAME, KIND, TYPE, ATTRIBUTES” to meet
following constraints: 1) two functions exist, 2) one of the function contains two inner scopes, where the scopes
are independent from each other, 3) three variables with same name in different scopes exist, 4) at least one
extern variable, const variable, float variable, int variable
- 2020년 정보처리기사 NCS기반 전면 개편!
- 정보처리기사 시험은 NCS 학습 모듈 중 정보통신 분야의 ‘정보기술’ 분류에 포함된 ‘정보기술개발’과 ‘정보기술운영’에 속한 125개의 학습 모듈을 기반으로 하고 있다.
- 1과목 소프트웨어 설계, 2과목 소프트웨어 개발, 3과목 데이터베이스 구축, 4과목