计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2013年
2期
200-205
,共6页
值依赖%公理系统%依赖基%诱导背景
值依賴%公理繫統%依賴基%誘導揹景
치의뢰%공리계통%의뢰기%유도배경
形式化定义了值依赖的公理、公理系统及依赖基.严格证明了任何公理系统对任何背景都具有依赖基,给出了对任意一个公理系统求任意背景依赖基的方法,并证明了每个公理系统的依赖基不唯一.进而还提出了一种诱导背景,通过诱导背景可把这个证明过程及依赖基的计算过程形象地反映出来.
形式化定義瞭值依賴的公理、公理繫統及依賴基.嚴格證明瞭任何公理繫統對任何揹景都具有依賴基,給齣瞭對任意一箇公理繫統求任意揹景依賴基的方法,併證明瞭每箇公理繫統的依賴基不唯一.進而還提齣瞭一種誘導揹景,通過誘導揹景可把這箇證明過程及依賴基的計算過程形象地反映齣來.
형식화정의료치의뢰적공리、공리계통급의뢰기.엄격증명료임하공리계통대임하배경도구유의뢰기,급출료대임의일개공리계통구임의배경의뢰기적방법,병증명료매개공리계통적의뢰기불유일.진이환제출료일충유도배경,통과유도배경가파저개증명과정급의뢰기적계산과정형상지반영출래.