Sò͘-Lí Su-Lí: Sò͘-ha̍k ê hun-chi
Sò͘-lí su-lí (Hàn-jī: 數理思理; Eng-gí: Mathematical logic) sī sò͘-ha̍k ê chi̍t ê hun-chi.
Kā sò͘-ha̍k siōng ê chèng-bêng kap kè-sǹg chìn-hêng hû-hō-hòa í-āu, tō sán-seng hêng-sek hē-thóng, che tō sī sò͘-lí lô-chek leh gián-kiù ê tùi-siōng, mā sī kui-ê sò͘-ha̍k ki-chhó͘ siong-tong iàu-kín ê sêng-hūn.
Gián-kiù lōe-iông
Sò͘-lí lô-chek ê hun-chi pau-hâm:
- Kong-lí-hòa chi̍p-ha̍p-lūn
- Bô͘-hêng-lūn
- Chèng-bêng-lūn hām sò͘-ha̍k kò͘-sêng chú-gī
- recursion theory
Koh khòaⁿ
This article uses material from the Wikipedia Bân-lâm-gú article Sò͘-lí su-lí, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Nā bô lēng-gōa kóng, chiàu CC BY-SA 4.0 thang īng. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Bân-lâm-gú (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.