【词语名称】太平引(taipingyin)
【词语拼音】tai ping yin
【词语读音】tài píng yǐn
【词语简拼】TPY
【基本释义】
琴曲名。亦名“广陵散”。
【详细解释】
(一)、琴曲名。亦名“广陵散”。
《世说新语·雅量》“《广陵散》於今絶矣” 刘孝标 注引《文士传》:“﹝ 嵇康 ﹞临死,而兄弟亲族咸与共别, 康 颜色不变,问其兄曰:‘向以琴来不邪?’兄曰:‘以来。’ 康 取调之,为《太平引》,曲成,叹曰:‘《太平引》於今絶也!’”
【网络释义】
《数理逻辑》是2006年人民邮电出版社出版的图书,作者是恩德滕。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。