개선된 자동정리증명 기법에 기초한 유한체상의 디지털논리시스템 구성 Export

@article{citeulike:3035493, abstract = {본 논문에서는 개선된 자동정리증명 기법에 기초하여 유한체상의 디지털논리 시스템을 구성하는 방법을 제안하였다. 제안한 방법은 먼저 유한체상의 중요한 학적 성질을 논의하였고 자동정리증명기법의 개념과 기본 성질을 서술하였다. 그리고 개선된 자동정리증명기법을 적용하기 위해 몇 가지 정의를 하였으며 이를 근간으로 디지털논리 시스템의 Building Block을 제안하였다. 또한, 디지털논리 시스템을 구성하기 위한 중요한 관계를 정의하였으며 최종 유한체상의 디지털논리시스템을 개선된 자동정리 증명 기법에 의해 구성하였다.}, citeulike-article-id = {3035493}, citeulike-linkout-0 = {http://ref.daum.net/item/14488059}, journal = {한국해양정보통신학회논문지}, keywords = {daum-test}, number = {10}, pages = {1773--1778}, posted-at = {2008-07-22 23:46:18}, priority = {2}, publisher = {한국해양정보통신학회}, title = {개선된 자동정리증명 기법에 기초한 유한체상의 디지털논리시스템 구성}, url = {http://ref.daum.net/item/14488059}, volume = {10}, year = {2006} }

TY - JOUR ID - citeulike:3035493 L3 - citeulike-article-id:3035493 N2 - 본 논문에서는 개선된 자동정리증명 기법에 기초하여 유한체상의 디지털논리 시스템을 구성하는 방법을 제안하였다. 제안한 방법은 먼저 유한체상의 중요한 학적 성질을 논의하였고 자동정리증명기법의 개념과 기본 성질을 서술하였다. 그리고 개선된 자동정리증명기법을 적용하기 위해 몇 가지 정의를 하였으며 이를 근간으로 디지털논리 시스템의 Building Block을 제안하였다. 또한, 디지털논리 시스템을 구성하기 위한 중요한 관계를 정의하였으며 최종 유한체상의 디지털논리시스템을 개선된 자동정리 증명 기법에 의해 구성하였다. IS - 10 JF - 한국해양정보통신학회논문지 EP - 1778 TI - 개선된 자동정리증명 기법에 기초한 유한체상의 디지털논리시스템 구성 PB - 한국해양정보통신학회 VL - 10 SP - 1773 KW - daum-test PY - 2006/// UR - http://ref.daum.net/item/14488059 ER -