한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과1573건

검색 결과 제목

  1. 416정의가 서로를 가리키면 기준이 생기지 않는다
  2. 417인공지능(AI)에게 원칙을 주면 안전한 답이 자동으로 보장될까?
  3. 418“잘했어”라는 말만으로 다음 풀이가 좋아질까?
  4. 419프로그램의 작은 부분만 증명하고도 전체를 믿을 수 있을까?
  5. 420둘 다 ‘완료 12건’인데, 완료의 뜻이 다르면 합의할 수 있을까?
그림 학습정의가 서로를 가리키면 기준이 생기지 않는다논리학 배우기
인간의 사고와 추론논리학 배우기 · 그림 학습 · 일반

정의가 서로를 가리키면 기준이 생기지 않는다

두 용어가 서로를 이용해 정의될 때 말이 이어지는 듯 보여도 실제 판정 기준은 생기지 않습니다. 순환 정의를 한 상자로 묶고 외부 기준이 필요한 지점을 읽는 창작 자료입니다.

초안에서 원칙 비판과 수정으로 이어지는 지도학습 단계, 응답 비교에서 선호모형과 강화학습으로 이어지는 단계를 나눈 절차도.

인공지능(AI)에게 원칙을 주면 안전한 답이 자동으로 보장될까?

초안에서 원칙 비판과 수정으로 이어지는 지도학습 단계, 응답 비교에서 선호모형과 강화학습으로 이어지는 단계를 나눈 절차도.
인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

인공지능(AI)에게 원칙을 주면 안전한 답이 자동으로 보장될까?

Constitutional AI 공개본의 비판·수정과 AI 피드백 강화학습 절차를 구분하고, 원칙 선택과 평가의 남은 한계를 살핍니다.

Constitutional AI: Harmlessness from AI Feedback

게시 2026-09-23 · 약 10분해외 논리학 연구 해설 읽기 →
전체 힙 안에 P가 소유한 x 셀, Q가 소유한 y 셀, 명령이 건드리지 않는 z 프레임을 서로 분리해 놓은 도식.

프로그램의 작은 부분만 증명하고도 전체를 믿을 수 있을까?

전체 힙 안에 P가 소유한 x 셀, Q가 소유한 y 셀, 명령이 건드리지 않는 z 프레임을 서로 분리해 놓은 도식.
논리의 기초와 역사해외 학술 연구 · 연구 해설 · 일반

프로그램의 작은 부분만 증명하고도 전체를 믿을 수 있을까?

Reynolds의 분리논리 해설을 따라 분리곱과 프레임 규칙이 서로 겹치지 않는 힙 영역에 대한 국소 추론을 어떻게 가능하게 하는지 살핍니다.

Separation Logic: A Logic for Shared Mutable Data Structures

게시 2026-09-23 · 약 10분해외 논리학 연구 해설 읽기 →
대화United Nations National Quality Assurance Frameworks Manual for Official Statistics논리학 배우기
인간의 사고와 추론논리학 배우기 · 대화 · 일반

둘 다 ‘완료 12건’인데, 완료의 뜻이 다르면 합의할 수 있을까?

두 팀의 완료 정의·기간·기록 상태와 질문을 바꾸어 비교 가능 여부, 확인된 사실, 잠정 회의문과 다음 확인 질문을 갱신합니다.

United Nations National Quality Assurance Frameworks Manual for Official Statistics

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

416–420 / 1573편