한국논리학회, 2026년 여름 정기학술대회 개최
‘AI와 논리: 수학에서의 증명 자동화’ 주제로 8월 18일 고등과학원에서 열려 한국논리학회가 오는 8월 18일 **「AI와 논리: 수학에서의 증명 자동화」**를…
법의 형성
법이 불확정적인 개념이나 근본적으로 규범적인 개념, 혹은 재량적 판단을 허용하는 개념 등을 포함하고 있어 그것의 적용 법문의 가능한 의미…




![[기고문] 혹한기훈련 소감문](https://www.jheynetwork.co.kr/wp-content/uploads/2023/03/예비군-269x192.png)