亚洲欧美第一页_禁久久精品乱码_粉嫩av一区二区三区免费野_久草精品视频

Goedel語言是一種說明性邏輯程序設計語言。該語言基于一階邏輯

Goedel語言是一種說明性邏輯程序設計語言。該語言基于一階邏輯，引入了一個多態多類的類型系統和多種新的語言成分，支持抽象數據類型和模塊化程序設計等技術，語言本身也具有很強的說明性語義。詳細介紹了Goedel語言的類型系統及其構造，對在邏輯程序設計語言中引入類型系統的作用進行了一些深入的分析和討論。[

標簽： Goedel 語言 邏輯 程序設計語言

上傳時間： 2014-11-26

上傳用戶：BIBI