非奇異矩陣提示您:看後求收藏(快眼看書www.kyks.tw),接著再看更方便。

【寫在8月25日20:53,釋出後發現上下標給我全濾了?,我調整一下,過會兒再看】

硬核程度:☆☆☆☆☆

涉及領域:計算理論

大標題:三種函式外加三種操作怎樣解決所有可計算問題?為什麼偏遞迴函式可以製造無限迴圈?

可能是全網最不報菜名、最不裝比的解釋。

以下開始:

首先,什麼是可計算?

可計算就是指,有一個演算法,我們把它交付給計算機後,計算機可以像執行一個函式一樣,接受我們給它的輸入,然後返回輸出,這個輸出就是我們想要的答案。

為了方便描述,先行約定一下數學符號。

假設我們有一個乘法器,叫做mult,它可以接受一對整數作為輸入,把它們相乘後輸出一個整數。

比如,輸入3,4輸出12

輸入6,2輸出12

輸入0,6輸出0

這時,我們把這些輸入數對叫做domain,輸出的一個數叫做codomain。如果我們用Z來代表全體整數集,那麼這個平平無奇的乘法器就可以用數學符號表示為:

mult:Z^2→Z

中間的這個→表示這個mult是一個total function,也許可以稱作“全函式”吧,意思是每一個domain裡的輸入,都能對應一個codomain裡的輸出。

與全函式相對應的是,是“偏函式”。對於偏函式,對於有些輸入,它並不能給出輸出。比如一個除法器,當我們給它6,0時,它輸出不了任何東西。這個除法器可以表示為:

div:Z^2—Z

這裡的單橫線代表這是一個偏函式(其實應該用半箭頭表示,但在這裡打不出來)

好了,定義好符號之後,就可以清爽地描述我們的三種基本函式:後繼函式、零函式、投影函式。

後繼函式:succ:N→N,succx=x+1,N代表自然數集。我們給它2,它輸出3;給它3它輸出4。總之就是往上+1.

零函式:zero:Nn→N,zero=0。不管給它什麼,它都輸出0.

投影函式:projn:Nn→N,projinx1,...,xn=xi。它接受長度為n的輸入,輸出第i個自然數。比如,proj221,3=3。

好了,蓋大樓的磚塊一共就這麼

歷史軍事推薦閱讀 More+
狂龍出山:開局斬殺八十八血將

狂龍出山:開局斬殺八十八血將

佚名
狂龍出山:開局斬殺八十八血將小說簡介: 我,是這個世界最恐怖的存在,為了限制我,國家用四根隕鐵鏈困住我。 但是,在見過我老婆的慘狀後我繃不住了。 因為我,老婆在懷孕時四處撿垃圾,現在他們還要我去虐殺我的老婆! 他們自詡正義,卻做盡殘忍之事, 是可忍孰不可忍,想要欺負我的老婆,我可不會讓他們如意。 且看我開局斬殺八十八血將,為我的老婆復仇。
歷史 完結 5620萬字
重生末世,我上交系統帶全家躺贏

重生末世,我上交系統帶全家躺贏

顧雲嵐
【末世+系統+上報+愛國+全球性+異能】 回到末世來襲前的你會怎麼選擇?是告知國家,還是偏安一隅? 再次睜眼,宋向晚發現自己不僅重生了,還回到末世來臨前半個月。 當即上報國家,不曾想意外繫結末世系統,既如此,那就一起上報吧! 前世被稱為“死亡禁區”的海城,其背後到底隱藏著怎樣的秘密? 而蜀地的異動,又是否與末世來臨相關? “若有一日,國將不國,家又如何是家?” “宿主,你當時就不害怕上面不信你嗎
歷史 連載 41萬字