통합 논리 계산실
논리 체계 선택
논리식·증명·관계도 자유 작성
한국어 · English · Français한국어·영어·독일어·프랑스어·스페인어·이탈리아어·포르투갈어·네덜란드어·일본어·중국어
L1~L12 · 직접 분석·의미 검증·출력 복원분해·복수 태깅·기호 공유·실행 계획
37~46단계 · v3.0 RC실행·증거·인증서·최소 반례
47~60단계 · v3.2 알파다중 작업·외부 비교·설명 품질·RC 검증
61~66단계 · v3.2 RCTPTP·QMLTP·독립 증명 검사·모호성 병렬 실행
67~70단계 · v4.0 외부 검증 알파실행 시각화·영속 캐시·작업 큐·shard 배치
71~73단계 · v4.1 운영 확장 알파감사·사람 검토·조정·RC 동결
74~80단계 · 사람 검토 운영·RC 동결문장 분석·형식화 후보·의미 분기·엔진 연결
25~29 + 58~59단계 · 의미 확인 강화형식화·증명·오류 진단·맞춤 재훈련
학습 엔진 1~22단계 · 대규모 운영·공개 베타·RC진리값·반례·진리표·자연연역
완전 의미론 판정양화사·동일성·유한 반모형
부분 증명 + 제한 반모형K·T·S4·S5 타블로·크립키 모형
부분 증명 + 제한 반모형LTLf X·F·G·U·진행 오토마톤
오토마톤 판정 + 반례 시간흐름O 의무·P 허용·F 금지
30단계 · D 직렬 프레임참·미정·거짓의 3값 의미론
32단계 · 첫 확장 플러그인0~1 연속 진리도
33단계 · Zadeh + KD사건 확률·조건부확률
34단계 · 명시 확률모형고전·K3·퍼지·확률 비교
35단계 · 비교·안전 변환학습 엔진 1~22단계 · 3차 RC
논리학 훈련실
풀고, 진단받고, 다시 풀면서 다음 문제가 달라집니다.
명제논리와 술어논리의 한국어 형식화부터 단계별 증명까지 한 흐름으로 연결합니다. 오답 유형과 힌트 사용 기록을 바탕으로 반복 오류와 독립 수행 안정성을 진단하고, 선수개념 보완부터 전이·상향 문제까지 다음 학습 경로를 구성합니다. 검수 가능한 새 문제 후보를 만들고, 일별 기록을 장기 성장 흐름으로 이어서 확인합니다. 로그인하면 학습 기록을 계정에 이어 저장하고 학급 과제와 진행 상황을 연결합니다. 운영자는 실제 풀이 표본으로 문항 품질과 접근제어를 점검합니다. 17~18단계에서는 실제 학습효과와 문항 보정 근거를 확인합니다. 19단계는 망각·도움 의존·선수개념·반복 오류·전이 가능성을 함께 계산하고, 20단계는 교사가 지원할 순서를 보여줍니다. 21단계는 1,000명 규모 학급에서도 조회·저장 요청을 고정 크기 페이지와 배치로 분할하고, 22단계는 로그인 기반 직접 링크 공개 베타와 피드백·차단 이슈·RC 게이트를 운영합니다.
