【问题标题】:Inductively Defining Sets of Strings归纳定义字符串集 【发布时间】:2014-03-20 02:06:45 【问题描述】: CS 学生在逻辑课上苦苦挣扎。这个问题让我一头雾水 归纳定义字符串集 找到以下字符串集的归纳定义: S = {apbcr | p 是自然数,r 是大于 0 的自然数} *p 和 r 是上标* 【问题讨论】: 标签: string set logic discrete-mathematics induction 【解决方案1】: 我建议以下定义: 【讨论】: