연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
주세페 피아노의 《Arithmetices principia, nova methodo exposita》(1889)를 따라, 논리 기호와 산술의 아홉 공리, 후속자·귀납에서 덧셈·곱셈·유리수로 이어지는 형식화를 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Giuseppe Peano, Arithmetices principia, nova methodo exposita (1889)
앨런 튜링의 「On Computable Numbers, with an Application to the Entscheidungsproblem」(1936)을 따라, 유한한 상태표와 테이프에서 보편 기계, circle-free 판정의 한계와 결정 문제로의 환원까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
A. M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem (1936)
존 매카시의 「Programs with Common Sense」(1959)을 따라, 사실·규칙·목표를 선언문으로 주고 즉각 추론의 결론을 행동으로 잇는 구상과 관련 전제 선택·시간·맥락의 한계를 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
John McCarthy, Programs with Common Sense (1959)
평가셋 크기가 다르면 두 백분율의 단순 평균과 전체 문항 정확도가 달라집니다. 정답 수·문항 수·통합 규칙을 바꾸며 차이를 확인합니다.
화면의 문자 하나가 여러 코드포인트와 UTF-16 단위로 이루어질 수 있습니다. 예시와 단위를 바꾸며 문자 수의 의미를 분리합니다.
141–145 / 2429편
