• 제목/요약/키워드: Automatic Theorem Proving Techniques

검색결과 1건 처리시간 0.014초

개선된 자동정리증명 기법에 기초한 유한체상의 디지털논리시스템 구성 (Construction of the Digital Logic Systems based on the Improved Automatic Theorem Proving Techniques over Finite Fields)

  • 박춘명
    • 한국정보통신학회논문지
    • /
    • 제10권10호
    • /
    • pp.1773-1778
    • /
    • 2006

  • 본 논문에서는 개선된 자동정리증명 기법에 기초하여 유한체상의 디지털논리 시스템을 구성하는 방법을 제안하였다. 제안한 방법은 먼저 유한체상의 중요한 학적 성질을 논의하였고 자동정리증명기법의 개념과 기본 성질을 서술하였다. 그리고 개선된 자동정리증명기법을 적용하기 위해 몇 가지 정의를 하였으며 이를 근간으로 디지털논리 시스템의 Building Block을 제안하였다. 또한, 디지털논리 시스템을 구성하기 위한 중요한 관계를 정의하였으며 최종 유한체상의 디지털논리시스템을 개선된 자동정리 증명 기법에 의해 구성하였다.

  • PDF KSCI