0
1
870
2
歷史 萊布尼茨曾有過以下兩個想法: 創(chuàng)造一門‘形式語言’,來描述所有可能的問題 找到一種方法,可以解決所有該形式語言描述的問題 第二個問題被稱為Entscheidungspr...
HelloVass 編,79 篇文章,72 人關(guān)注