非奇異矩陣提示您:看後求收藏(快眼看書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+
末世:我囤積了千萬物資

末世:我囤積了千萬物資

木訥
末世重生囤物資不聖母無系統末世來臨,地球氣溫驟降,文明社會失去了秩序。行將餓死之人,還能算做人嗎?曾經高高在上的女神彬彬有禮的律師甚至一呼百擁的當紅明星,為了一口吃的,可以不擇手段!上一世,林振被女神欺騙,獻上了自己所有物資,他沒想到,對方不但要用他的物資,還要吸他的血吃他的肉!重生回到末世前三個月,他開始瘋狂借錢,囤積物資,打造安全屋!開局套現了三十多張信用卡,微信一鍵群發借錢文案,反正憑本事
歷史 連載 13萬字