통합검색

같은 학생 번호라면, 이름도 항상 같아야 할까요?

학생 번호가 같은 두 기록에서 이름도 같은지 비교해 봅니다. 수강 신청표를 예로 들어, 어떤 정보가 다른 정보를 하나로 정해 주는 관계를 설명합니다. 이어서 값의 조합을 통해 독립과 조건부 독립을 살펴봅니다.

Pietro Galliani · Jouko Väänänen, On Dependence Logic (2014)

근거가 붙은 주장에 반례가 있는지, 어디까지 확인하면 될까요?

“이 자료가 이 주장의 근거다”라는 문장도 논리적으로 검사할 수 있을까요? 토마스 슈투더의 연구는 반례를 찾는 데 필요한 모형의 크기에 상한을 두는 조건을 다룹니다. 반례 하나를 찾는 일과 가능한 경우를 모두 확인하는 일을 구분해 읽습니다.

Thomas Studer, Justification logic enjoys the strong finite model property (2015)

AI가 제이슨 포인터의 ~0과 ~1을 아무 순서로 풀어도 될까?

슬래시와 물결표가 든 객체 키를 가리키는 토큰을 바꾸어, 치환 순서 하나가 다른 자료를 선택하는 과정을 확인합니다.

AI가 열 자리 시간값을 초인지 밀리초인지 짐작해도 될까?

같은 숫자를 초와 밀리초로 각각 해석해 날짜가 얼마나 달라지는지 확인하고, 자릿수 추정과 명시된 단위 계약을 구분합니다.

AI가 에이치티티피 바이트 범위 0-99를 아흔아홉 바이트로 세어도 될까?

시작·끝 위치와 파일 크기를 바꾸어 양쪽 끝을 포함하는 에이치티티피(HTTP) 바이트 범위의 실제 전송량과 경계 오류를 계산합니다.