文章基本信息

标题：『ソフトウェアサイエンスの基本』シリーズ第2回帰納と再帰 —表示的意味論の第一歩—
本地全文：下载
作者：木下佳樹
期刊名称：コンピュータソフトウェア
印刷版ISSN：0289-6540
出版年度：2012
卷号：29
期号：1
页码：1_30-1_46
DOI：10.11309/jssst.29.1_30
出版社：Japan Society for Software Science and Technology
摘要：
ごく基本的な数学的リテラシーだけを前提として，集合の帰納的定義，函数の再帰的定義を説明する数学的構造を，会話形式で説明する．