한곳에서 찾는 논리 자료

통합검색

연구와 학습, 시험과 도서를 한곳에서 찾습니다.

검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

세 연구자가 논문과 도표를 함께 검토하고 작은 갈색 안경 올빼미가 곁에서 책을 읽는 모습

관심 주제로 찾아보기

조건 초기화

검색 결과3건

검색 결과 제목

  1. 1변수 이름을 묶지 않고도 계산 규칙을 쓸 수 있을까?
  2. 2자기 자신을 입력으로 받는 규칙은 왜 위험할까?
  3. 3증명과 프로그램이 같은 구조라고 말할 수 있을까?
I는 입력을 전달, K는 첫 입력을 선택, S는 마지막 입력을 공유한다. 예시 결과는 별, 별, 9이다.

변수 이름을 묶지 않고도 계산 규칙을 쓸 수 있을까?

I는 입력을 전달, K는 첫 입력을 선택, S는 마지막 입력을 공유한다. 예시 결과는 별, 별, 9이다.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

변수 이름을 묶지 않고도 계산 규칙을 쓸 수 있을까?

결합논리는 입력을 전달·선택·공유하는 작은 연산자로 변수 묶기의 역할을 표현합니다. 괄호와 적용 순서가 계산의 핵심입니다.

Combinatory Logic

게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
입력형 A, 함수 A → B, 출력형 B의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

자기 자신을 입력으로 받는 규칙은 왜 위험할까?

입력형 A, 함수 A → B, 출력형 B의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

자기 자신을 입력으로 받는 규칙은 왜 위험할까?

Coquand의 SEP 항목은 단순 유형이론과 의존 유형이론이 자기적용의 역설을 막고 논리·수학·계산을 조직하는 방식을 설명합니다.

Type Theory

게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →

1–3 / 3편