γω演算与谓词演算融合于一阶数学理论中
MERGING γω-CALCULUS AND PREDICATE CALCULUS IN A FIRST-ORDER MATHEMATICAL THEORY作者机构：电子科技大学计算机系
出 版 物：《计算机学报》 (Chinese Journal of Computers)
年 卷 期：1990年第13卷第10期
页 面：763-771页
核心收录：
学科分类：01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学]
摘 要：本文提出一种一阶数学理论——(?)_(γω)理论,其中融合γω演算与谓词演算于一体。(?)_(γω)理论将成为泛函·方程·逻辑三种编程体裁融合成一体的程序设计语言的“简单、统一、精确的理论基础。文中还阐明了在(?)_(γω)理论的基础上如何演化出几种典型的有关语言。
维普期刊数据库
同方期刊数据库