【数学计算逻辑】陆汝钤湖南教育.pdf

【数学计算逻辑】陆汝钤湖南教育.pdf

数学天元基金 本丛书得到国家自然科学基金委员会 数学天元基金的资助《走向数学》丛书编委会 顾问:王元丁石孙陆汝铃,江苏苏州人,1935 年生。1959年毕业于前民主德国 耶拿大学数学系。同年起在中国 科学院数学研究所工作,从事多 复变数函数论的研究。1972年起 转入计算机科学领城,1983年叠 升为研究员,次年起任博士生导 师,发表科研论文近60篇。出版 的著作有《人工智能》,《软件 移植一—原理和技术》,《计算 机语言的形式语义》等。