한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

읽기 난이도자료 유형조건 초기화

검색 결과241건

표시정렬

코너 안내증명과 프로그램이 같은 구조라고 말할 수 있을까?논리학 배우기

논리학 배우기논리학 배우기 · 코너 안내

A의 증거, 함수 A → B, B의 증거의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

코너 안내증명과 프로그램은 어떻게 같은 구조를 가질까?논리학 배우기

논리학 배우기논리학 배우기 · 코너 안내

논리곱은 값의 쌍, 논리합은 표시가 붙은 선택, 함의는 입력을 출력으로 바꾸는 함수와 대응한다는 세 줄 도식.

코너 안내‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?논리학 배우기

논리학 배우기논리학 배우기 · 코너 안내

명제 A, A가 증명 가능하다는 상자 A, 상자 A이면 A라는 반성 원리, 그리고 이를 다시 상자로 감싼 뢰프 조건을 층별로 보여 주는 도식.

코너 안내인공지능(AI)가 쓸 만한 정리를 찾으면 증명도 끝난 걸까?논리학 배우기

논리학 배우기논리학 배우기 · 코너 안내

최종 목표 '라벨이 있고 날짜가 있다'가 '라벨이 있다: 전제로 해결'과 '날짜가 있다: 근거 필요'라는 두 하위 목표로 분기한다.

코너 안내논리 기호의 뜻을 진리표 없이 규칙으로 정할 수 있을까?논리학 배우기

논리학 배우기논리학 배우기 · 코너 안내

A와 B를 함께 넣어 A 그리고 B를 만든 뒤 A와 B를 각각 꺼내는 조화된 규칙과, A만 넣고 B를 꺼내는 불조화 규칙을 대비한 도식.

216–220 / 241편