한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과263건

검색 결과 제목

  1. 246그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?
  2. 247자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?
  3. 248인공지능(AI)가 보조선을 잘 찾으면 기하 증명도 끝난 걸까?
  4. 249단어를 낯설게 바꾸면 인공지능(AI)의 논리 퍼즐 실력도 유지될까?
  5. 250parseInt가 12를 돌려주면 입력 전체가 올바른 정수일까?

246–250 / 263편