柯裏-霍華德同構給齣瞭“證明”和“程序”的等價性,這一結果與證明論有關,直覺主義邏輯和綫性邏輯在此起瞭很大作用。λ演算和組閤子邏輯這樣的演算現在屬於理想程序語言。
評分值得典藏
評分質量非常好,價格也實惠
評分質量非常好,價格也實惠
評分質量非常好,價格也實惠
評分目次:預備知識;數學邏輯基礎;一階邏輯;一階邏輯(連續的);布爾代數;模理論;遞歸理論(連續的);直覺一階邏輯;公理集閤論;非標準分析;一般索引;符號索引。
評分有效的一階公式的集閤是無限不可數(Uncountable Infinite)的。這一集閤是“遞歸枚舉的”,即不存在一圖靈機(從而不存在任何現有計算機和算法)可以對某個非一階公式的輸入告訴你“這個輸入一定不是一階公式”——它可能一直運算下去。
評分沒說明是英文版的
評分連非標準分析都介紹瞭,內容全不全?不僅內容全麵,而且講解易於理解。
本站所有內容均為互聯網搜尋引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 book.qciss.net All Rights Reserved. 圖書大百科 版權所有