作業系統

作業系統(英語:Operating System,縮寫:OS)為是電腦系統的核心與基石,是一組主管並控制電腦操作和執行硬體軟體資源提供使用者服務的相互關聯系統軟體程序process)。


計算機科學〗【main

大型電腦作業系統

大型電腦mainframe)是從 IBM System/360開始的一系列電腦及與其相容或同等級的電腦,又稱:大型主機、主機伺服器…等,主要用於大量數據和關鍵專案的計算,如:銀行金融交易及資料處理、人口普查企業資源規劃…等。

IBM OS/2BeOSXTS-400以及電子商務.com)啟蒙後 Commodore 國際 AmigaOS 艾康電腦Acorn Computers)的 RISC OS,進而根據 Apache授權條款授權的 AndroidLinux kernel),微軟Microsoft)的 Windows CEWindows NT Windows XP Embedded

現代的大型主機一般也可執行 Novell Unix,如:SolarisIBM AIXHP-UXMINIX等,或 Unix變種,如:Linux自由的類Unix系統。現代大型電腦並非主要通過每秒運算次數MIPS來衡量效能,而是以可靠性、安全性、向下相容性和極其高效的 I/O效能。大型電腦通常強調大規模的資料輸入輸出,著重強調資料的吞吐量。


top】【main

個人電腦作業系統

個人電腦,如:Desktop computerLaptop computerNotebook平板電腦SmartphoneUltrabook等。


top】【main

行動作業系統


top】【main

智慧型手機作業系統


top】【main

繪圖專屬作業系統

    • Clip Studio Paint是由日本 CELSYS公司為插畫、漫畫、動畫製作的繪圖軟體,開始發售於 20125月。Clip Studio Paint整合 ComicStudio IllustStudioComicStudio IllustStudio已於 2015 6 30日停產),也提供 3D模型素材在素材庫裡有提供 3D模型可以進行任意姿勢調整與視角轉動,適用於漫畫原稿、插畫、動畫繪製,支持 WindowsmacOSiOS iPadOS作業系統。在中國大陸的簡體中文版,由廈門聯合優創網絡科技UNICORN)有限公司提供。
    • ColorOS是中國智慧型手機廠商 OPPO開發的一款基於 AOSP深度客製化的 Android裝置韌體,目前搭載在 OPPO旗下,涵蓋:一加OnePlus)的智慧型手機與智慧型裝置上預裝使用。2013 9 23日,ColorOS 1.0北京奧體中心·OPPO N1發表會中正式登場。ColorOS在中國版本中 RealmeOPPO的手機製造商)預設去除了 Google服務框架,致使部分使用者無法正常使用 Google服務。

top】【main

非洲北部

廣義上的北非:蘇丹(不包括南蘇丹),與主權歸屬爭議的西撒哈拉
  1. 馬格里布
  2. 撒拉威阿拉伯民主共和國
  3. 蘇丹
  4. 埃及
  5. 利比亞
  6. 休達
  7. 麥里亞
  8. 西撒哈拉

非洲北部通常指撒哈拉沙漠以北,涵蓋蘇丹·熱帶草原以北的非洲廣大區域;也是指非洲大陸北部地區。非洲北部擁有:撒拉威阿拉伯民主共和國蘇丹阿爾及利亞埃及利比亞摩洛哥突尼西亞休達麥里亞西撒哈拉


旅遊〗【main

馬格里布

馬格里布是指北非西部、撒哈拉沙漠以南的黑非洲地區自古以來的貿易往來,具有獨特的文化特質;也是摩洛哥阿爾及利亞突尼西亞三國的代稱。

阿爾及利亞

阿爾及利亞全稱:阿爾及利亞人民民主共和國,北臨地中海,東鄰利比亞突尼西亞,東南和南部分別與尼日馬里茅利塔尼亞接壤,西部和摩洛哥相連。阿爾及利亞的陸地面積居非洲國家之首,亦是地中海國家和阿拉伯國家之冠,國土面積位列世界第  10位是北非·馬格里布地區的一個半總統制共和國,首都及最大城市為阿爾及爾


top】【main

摩洛哥

摩洛哥(Kingdom of Morocco)是北非西端馬格里布的一個君主立憲制國家。其東部與阿爾及利亞接壤,南部其實際管轄的西撒哈拉地區與茅利塔尼亞緊鄰,西部濱臨大西洋,並向北隔直布羅陀海峽地中海葡萄牙西班牙相望。首都為拉巴特,最大城市卡薩布蘭卡。摩洛哥現為阿拉伯國家聯盟非洲聯盟地中海聯盟成員國,是非洲第五大經濟體。


top】【main

突尼西亞

突尼西亞(Republic of Tunisia)是位於北非的國家,首都及最大城市為突尼斯市。此外,突尼西亞隸屬於馬格里布地區,東部和北部緊鄰地中海。突尼西亞有兩個鄰國,分別為西方的阿爾及利亞(公共國界線長 965公里)與東南方的利比亞(公共國界線長 460公里),北方不遠處即為義大利。突尼西亞因其坐落於國家北方的首都突尼斯市而得名。


top】【main

撒拉威阿拉伯民主共和國

撒拉威阿拉伯民主共和國(西班牙語:República Árabe Saharaui Democrática,SADR)位於北非西撒哈拉地區,是一個有限承認的·阿拉伯國家,簡稱:西撒國。


top】【main

蘇丹

蘇丹(英語:Republic of the Sudan)位於非洲東北部,紅海沿岸,撒哈拉沙漠東端,簡稱:蘇丹;南蘇丹獨立後也被稱:北蘇丹。蘇丹國名源於阿拉伯語「Bilād as-Sūdān」,字面意思:「黑人的土地」。


top】【main

埃及

§ 埃及旅遊必做的 10件事
https://youtu.be/nNKrKeq9ano (2023/05/12)

埃及Egypt)全稱:埃及阿拉伯共和國Arab Republic of Egypt)位於北非的國家之一,世界文明古國之一,是存在於當地的古埃及,與兩河流域文明有一定程度的交流,不過在古希臘古羅馬人的統治下,古埃及文明在西元前逐漸沒落,後來被阿拉伯文化所取代。
)古埃及文明,如:金字塔亞歷山大燈塔獅身人面像、阿蒙神廟、製造木乃伊、創造象形文字聖書體)、莎草紙數學知識、幾何學太陽曆作為曆法等。
§ 古埃及歷史
https://youtu.be/-wLf11wI6wk (2022/01/19)


top】【main

古埃及

利比亞

利比亞State of Libya)位於北非的國家與埃及蘇丹共和國查德尼日阿爾及利亞突尼西亞相鄰。面積 1’760’000平方公里。利比亞地區曾先後屬於羅馬帝國阿拉伯帝國鄂圖曼土耳其2013年,內戰後組建的利比亞國民議會又改國號為「利比亞國」,首都:阿爾及爾


top】【main

休達

休達(西班牙語:Ceuta|音譯:塞卜泰),是西班牙兩個海外自治市之一(另外一個是麥里亞/ 梅利利亞),位於非洲·馬格里布的最北部,直布羅陀海峽附近的地中海沿岸,與摩洛哥接壤。面積約 18.5km²。


top】【main

麥里亞

麥里亞(西班牙語:Melilla|梅利利亞)是西班牙兩個自治市之一(另外一個是休達),為西班牙位於北非的海外屬地,它位於地中海沿岸和馬格里布的最北部。


top】【main

西撒哈拉

西撒哈拉(西班牙語:Sahara Occidenta)位於非洲西北部,地處撒哈拉沙漠西部,濱臨大西洋,與茅利塔尼亞伊斯蘭共和國阿爾及利亞民主人民共和國相鄰。西撒哈拉是一個具爭議地區,當地獨立武裝組織「西撒人陣」活動在沙牆(摩洛哥牆)東部大約四分之一的荒蕪地區,其餘大部分均為摩洛哥王國所統治。


top】【main

源起

警告(warning):我也認同,人類應當深思熟慮且在良好條件下選擇靜止狀態(供需平衡),而不是等到靜止狀態處在更差條件下強加於不情願的人類頭上。
「我為了子孫後代的利益而真誠地希望,我們的子孫最好能早一些滿足於靜止狀態(不強求的天性),而不要最後被逼得不得不滿足於靜止狀態。」
許多人也承認經濟成長與良好生活情境,不一定得相提並論。
1930年,英國經濟學家約翰·梅納德·凱因斯(1883/06/05~1946/04/21|John Maynard Keynes)在一篇名為「我們孫輩的經濟前景」(Economic Possibilities for Our Grandchildren)的論文中主張,生產力在 100年內就會獲得足以確保所有人生活所需。這時(2030年),人們就該能停止賣力工作,開始多思考要過什麼樣的生活。


人工生命中國神話main

大歷史

§
大歷史 原文作者:David Christian 譯者:拾已安王若馨 
https://readmoo.com/book/210096175000101 (2018/09/06 讀墨mooInk

大歷史Big History)是一個新興學術領域,探索從宇宙大爆炸到現代的歷史。大歷史這本書透過科學人文等多種跨學科方法來檢視源遠的時間框架,並在更大的星系背景之下探討人類存在的意義。大歷史整合宇宙地球生命·認知人類·融入探索,使用生活經驗、證據來研究因果關係。「大歷史」被講授於大學 和中學經常使用基於網路的互動式專題來介紹。
澳大利亞·麥考瑞大學歷史學家·大衛·克里斯欽1946/06/30~|David Gilbert Christian)創造了「大的歷史」這個詞,也是由一個「學者的不尋常聯盟」所成就。早期的一個「大歷史」例子,是出現於約翰·甘迺迪1917/05/291963/11/22John Fitzgerald Kennedy)在萊斯大學的著名演講,他將 50’000年的人類歷史濃縮為半個世紀來講解。某一些歷史學家表示對「科學歷史」表示懷疑,認為「大歷史」之宣稱並不具獨創性。


top】【main

起源的故事


§ 起源的故事 原文作者:David Christian 譯者:蔡耀緯
https://readmoo.com/book/210110761000101 (2019/05/30 讀墨mooInk

起源的故事這本書將以壓縮時間軸的方式,跨越自然生態人文學科的藩籬,引導讀者走過 13’800’000’000年前始於地球形成之初的「冥古宙」。進而聚焦於大事件,如:原始太陽星雲的部份物質構成起始地球地質誕生人類出現、農業興起以至文明發展,每單一階段的一切事件、物種的關聯性,卻清晰的連貫「起源的故事」,為人類提供巨密無遺的知識骨架。

起源的故事(Origin Story)獲選比爾·蓋茲 2018年夏季書單,這本書或許告訴我們:「人類從何處而來?又該往何處去?」
比爾·蓋茲1955/10/28~|Bill Gates,全稱:William Henry Gates III )每年夏季、冬季都有閱讀書單推薦。(參考: gatesnote consolidated by bobofisho蔡神鑫名人推薦書單)。


top】【main

中國的靈魂


§ 中國的靈魂:後毛澤東時代的宗教復興
原文作者:張彥(Ian Johnson) 譯者:廖彥博、廖珮杏 
https://opinion.cw.com.tw/blog/profile/390/article/7804 (2019/Feb|博客來·電子書) 

張彥出生於加拿大傳統基督教家庭,對不同的宗教信仰和文化傳統持開放和包容態度,更有一種記者特有的好奇心及質疑與批判的維度,所以讀張彥的《中國的靈魂》書絕非為某一宗教代言的傳教式著作。比起宗教教義和禮儀來,張彥更關注不同宗教的信仰者的日常生活,他們如何在中國新極權體制下實踐其宗教信仰,他們的抗爭、規避與妥協,他們的堅韌、困惑與圓融,用小說家哈金的話來說:「《中國的靈魂》是一本豐富、翔實、及時的作品,它探討了中國人生活當中非常重要的一面。張彥的文筆舉重若輕,對人物與事件都有深刻的觀察與豐富的個人體悟。每一篇章都是張彥對中國長達二十多年的關注以及嚴謹研究的結晶。本書也有著強烈的個人色彩,字裡行間吐露著他豐沛的情感。這是一本非凡的傑作。」在這個意義上,這本書比任何一本宗教研究著作更動人心弦並發人深省。


top】【main

女媧的指紋

§ 女媧造人源自於蘇美爾人傳說!
https://youtu.be/1Xr4LrgmtEA (2021/11/19)

)參閱:全新世梅加拉亞期(4’200~4’000年前持續了 200年的乾旱事件|4.2千年事件)!

女媧的指紋一書從考古學神話傳說兩個角度,結合北京猿人山頂洞人晚期智人的考古學證據;論自人類誕生至青銅器時代之前,中國境內各類史前遺址,以及三皇五帝女媧伏羲的傳說,綜合介紹了中國的史前文化。
馬兆鋒筆名:青楊,歷史學碩士,歷史研究專家,資深編輯,期刊主編,書刊職業策劃人。二十世紀七○年代生於齊魯大地,受家庭環境影響,痴迷文學與歷史,對歷史和考古有著深入的研究。數年來,共出版《復活的帝國》、《絕版帝國》、《夢回大唐》等數十本各類圖書,總計數百萬字。


top】【main

上古神話演義

請閱讀:中國哲學書電子化計劃·上古神話演義
§ 參考:中國神話
https://youtu.be/FfEOikcSmAo (2019/06/26)

「昔者初民,見天地萬物,變異不常,其諸現象,又出於人力所能以上,則自造眾說以解釋之」,今謂之「神話」。「演義」是歷史小說體裁的一種,遵照歷史事件和人物進行鋪展描述的書寫體,加以適當虛構,故事主線順應歷史發展方向,同時反映了歷史時期的社會情境。能給予讀者一定的教育和啟迪。
「上古神話演義」描述民族的起源,總是沾染著濃濃的神話色彩,於是有盤古開天闢地、女媧摶土為人等諸多傳說,顯示出遠古先民豐富的想像力及純樸的生活態度。描述了鯀禹治水的艱辛、夸父逐日的壯舉,更有共工怒觸不周山黃帝大戰蚩尤等,上古著名戰役,以及唐堯虞舜夏禹的興亡歷程。除此之外,書中還有鳳凰神龜麒麟等,吉祥獸的記載;而關於四方風俗、山川地理的描繪也十分精彩。「上古神話演義」的內容兼具秦(前 221~前 207)·古籍山海經》的包羅萬象與(1636~1911)·李汝珍的《鏡花緣》的探秘尋蹤,不但讓讀者從中得窺上古神話的完整面貌,也能藉此在「國文史地」方面得到許多啟發與印證。
鍾毓龍18801970年)浙江杭州人,清光緒二十九年(1903年)舉人舉人,字:郁雲,晚號:庸翁,前杭州政協副主席,善長於杭州人文歷史掌故,著有《說杭州》遺稿。
)國文史地:通常是指義務教育所傳授的國語英文歷史地理等普通學科。


top】【main

災害管理

災害管理(英文:Disaster Management),是涉及多部門的運籌帷幄,涵蓋:規劃(plan)、實施(do)、預警(early warning)、撤離evocuation)、救助(rescue等措施,以減少或降低天然災害或人為災害對於社會所造成的影響及衝擊,又稱:應變管理(Emergency Management)。
災害管理可分成減災mitigation)、災前的整備(prepared-ness),災時的應變response),以及災後的復原(recovery)四階段。

  1. 減災mitigation)為災害管理政策實施階段中最基本的一環。減災能夠針對未來災害的衝擊,無論是發生的頻率、規模都能有效的降低災害所造成的財務損失、人員傷亡。減災措施通常在無災害發生時實施。減災措施可分為結構性減災措施及非結構性減災措施,如:宣導防災觀念、學習防救災知識、確保社區環境的安全、加強建築物結構、建置防救災資料庫、規劃防救災組織等;
  2. 整備(prepared-ness)為災害管理政策實施階段中的一環。整備於災害即將可能發生之前,預先作好準備,以大幅度降低災害的衝擊。整備階段必須依緊急應變計畫(災害管理的規劃),如:整備救災與資通器材、儲備民生物資、進行應變技能的演練、巡視易發生災害地點、聯繫防救災組織成員等;
  3. 應變(response)為災害管理政策實施階段中的一環。當災害發生時,必須立即有效地做出應變行動,將災害所造成的損失減至最小。如:災害預警、勸導疏散、緊急避難、收容與管理、搜尋與救援、醫療救護與照顧、災情蒐集與通報、緊急輸送、救災物資分配、廢棄物處理與環境清理等;
  4. 復原(recovery)為災害管理政策實施階段中的一環,為一種短期也是長期的工作。短期間必須災民安置、生活復原、心理復健、公共設施與維生系統的回復等。更有些長期的工作,如:住宅重建、產業復原與振興(或重建)都市基礎設施(建物、道路、橋樑)等。

 參考:內政部消防署災害管理
main

避難包

§ 避難包
https://youtu.be/_TrR7Z7-B8c (2022/03/10)
•)提醒:緊急避難包應每 6個月檢查 1次,確保無過期或損壞情形。

避難包的內容物品必須能維持 3天生命的基本需求,萬一遇上道路橋梁通訊都中斷、人受困災區、救援物資無法在第一時間送達的情形下,人們才有能力先行自助。
因應全民國防消防署建議緊急避難包應放置於撤離動線方便之處,必備內容物:

① 背包、粗棉手套、哨子、手電筒、備份鑰匙、收音機、行動電話;
② 簡易求生工具,如:小刀、開罐器、鋼製杯碗等;
③ 個人所需適量飲食,如:水、罐頭或易保存食物;
④ 保暖用品,如:毛毯及禦寒衣物;
⑤ 重要證件影本,如:身分證、戶口名簿、健保卡;
⑥ 個人醫療用品,如:慢性病用藥、急救用藥、處方影本;
  其它,如:清潔用品、零錢與小面額現金、行動電源、輕便雨衣、嬰幼兒尿布奶粉奶瓶、成人或女性生理用品、寵物乾糧。


top】【main

日常攜帶物

日常攜帶物every day carry,簡稱:EDC)主要是一個人為了應對日常需求而攜帶的一些小物品。這些日常攜帶品也可能應付緊急情況使用。常見的 EDC通常因活動環境的不同,日常攜帶品會有所差異,如:單獨活動安全、易生災害的地區、職業性(倉儲人員、醫護人員)、團隊支援、野外活動等。
§ 緊急應變隨身小物(日常攜帶物)
https://youtu.be/WnF41QKCjfU 2020/03/11


top】【main

地震

地震地殼運動引起地殼岩層斷裂、錯動而引發的震動;也可能是火山活動或隕石撞擊引起的震動;或人為活動所造成的震動,如:地下核試驗。


top】【main

地震防災須知

根據內政部·消防署提醒:日常家中應隨時準備好緊急避難包,當地震發生後,若建築物嚴重受損,需立即隨行攜帶「避難包」緊急撤離建築物,前往避難場所。

  1. 平時備妥「緊急避難包」,放置於隨手可拿到的地方。
  2. 地震時務必保持冷靜,確保自身安全,尤其注意上方掉落物。
  3. 地震劇烈搖晃時,先躲在堅固桌子下方或主要柱子旁。
  4. 地震時不要躲在燈具下方、櫥櫃或冰箱旁邊。
  5. 使用中的火源請立即關閉。
  6. 切勿搭乘電梯。
  7. 立即跑到空曠處,並遠離招牌、樹木、建築物、電線桿。
  8. 開車時遇到地震,不可緊急剎車或變換車道,而要減速停靠路邊。
  9. 在公共場所遇到地震,務必保持冷靜,聽從廣播引導,不可驚慌推擠。
  10. 如在大型體育館、演講廳或戲院中,先暫時躲在座位下,等搖晃停止時再離開。
  11. 地震之後,檢查瓦斯、水、電等開關,如有瓦斯洩漏,應輕輕打開窗戶,立即離開建築物並通報瓦斯公司。
  12. 隨時收聽電視台或電台正確震災訊息,不要聽信謠言。

參考:高雄市左營區的防災宣導
top】【main

地震後的撤離措施

撤離(evocuation|疏散)措施:

  1. 地震之後,檢查瓦斯、水、電等開關,如有瓦斯洩漏,應輕輕打開窗戶,立即離開。
  2. 隨時收聽電視台或電台之正確震災災情消息,不要聽信謠言。
  3. 保護自己免於再受傷,例如穿上長褲、長袖襯衫、堅固的鞋子、工作手套,這樣才不會被破掉的東西割傷。
  4. 應小心家具位移,避免傾倒造成財物損失與二次受傷。
  5. 打開門窗,以免變形不易逃生。
  6. 檢查玻璃是否破損,並且避開玻璃碎片。
  7. 關閉電源並檢查逃生出口及動線;切勿搭乘電梯,要利用樓梯逃生。
  8. 到空曠處,並遠離招牌、樹木、建築物、電線桿。
  9. 切勿靠近已有損害的建築物,以免危險。
  10. 應遠離懸崖峭壁,小心落石、山崩。

遇到地震有哪些注意事項呢?(內政部消防署
top】【main

火災

火災(英語:conflagrationfire as a disaster)是火苗(母火)缺乏應有的控制而引發,擴散燃燒範圍所造成的災害,如:走火縱火等。也可能是物體自然造成的災害,如:靜電或雷擊引起的森林之火、化學易燃物(易爆物)等。


top】【main

防火

防火(英語:Fire protection)是減低潛在火災形成機會的研究與實踐行為的被動消防。涵蓋:研究的特性、控制和調查火勢、分隔煙霧與火源或其它相關緊急措施。 防火同時也包括研究、發展、製造、測試和應用防火系統


top】【main

人工智慧內容檢測

人工智能調校

人工智慧內容檢測AI Content Detection )目的在確定隨機生成(procedural generation)的內容,如:文章、圖像、音頻或視頻,是否是使用人工智慧。人工智慧內容檢測的軟體,如:GPTZeroTurnitin…等,發現所有檢測軟體只有 5個準確率超過 70%,且都低於 80%。人工檢測是傳統檢測是否有抄襲的方法,相當的耗時間;隨著電腦與網際網路的普遍使用,影響抄襲他人作品的難度越來越低。

人工智慧內容檢測也可以稱為:抄襲檢測plagiarism detection|文章相似度檢測)如:反剽竊軟體(anti-plagiarism software)、剽竊檢測軟體(plagiarism detection software)或文字匹配軟體(text-matching software,縮寫:TMS)。
人工智慧內容檢測能夠藉由一份文件中找到與其它已存在文件內容相符的「特定片段」進行比對;若相符的特定片段越多,抄襲的可能性也就越高。
如:文章指紋識別、字串匹配比較、詞袋分析引文分析、性能比較性評估,如:Stylometry可以識別 變相抄襲、文字改寫式的抄襲、作者歸屬確認等。

參考:

  • 針對偵測寫作風格、詞袋重複性、句法、語法與語意一致性的工具:AI內容檢測工具AI content detection tools Turnitin 英文 AI寫作檢測、AI 生成內容偵測器…等;
  • 程式碼抄襲也經常出現在程式寫作相關的作業上,是否能以「人工智慧內容檢測」有待商榷。

top】【main

人工智能調校

人工智能調校AI alignment)為引導人工智能(裝置與系統)的行為符合設計者的利益和預期目標。一個未完善調校(對齊)的系統可能會在「某不預期時刻」發生故障,或是產生有害後果。如:評分偏好推薦系統語言模型機器人自動駕駛汽車等。


top】【main

數據處理

數據處理Data Processing,縮寫:DP)是將「收集和操作的數據項目產生有意義的輸出。」,也可以是儲存於資料庫進行管制與處理。

數據處理可能涉及的過程:

  1. 驗證Authentication確保提供的數據是相關、正確,並且輸入的數據與數據來源一致。
  2. 排序Sorting algorithm依某類順序作數據存儲,以不同的集合方式排列於數據庫
  3. 匯總Kintone從具體數據庫中,依需求提取要點數據。
  4. 聚合Polymerization資料庫的多塊數據凝聚、整合。
  5. 分析Analysis針對數據的收集、屬性、組織、解釋和表達。
  6. 分類Taxonomy將數據按數據的特徵付以識別碼identifier)成為各種類別。
  7. 報告Reports列出期待數據(訊息)、摘要數據或演算結果的輸出

智能〗【main

四大支柱理論

數學基礎的四大支柱:證明論模型論公理化集合論遞歸論


top】【main

證明論

證明論(mathematical proof thery)根據邏輯系統的公理推理規則構造,透過數學運算證明來簡化分析,採用歸納式的定義來表達資料結構


top】【main

模型論

模型論(model theory)以數學集合論的論述角度,對數學概念表現(representation)的研究,也是對於數學系統基礎的「模型」的研究。當這些被研究對象之間的 運算或者關係乃至於一組公理被定義時,試圖相應證明,或該如何證明…等。


top】【main

公理化集合論

公理化集合論(Zermelo-Fraenkel Set Theory)是集合論透過建立一階邏輯的嚴謹重整,以解決樸素集合論中出現的悖論
集合論的公理(ZFC)是一套不涵蓋具爭議性的選擇公理(如:「ZF」Zermelo-Fraenkel集合論)。


top】【main

遞歸論

遞歸論起源於可計算函數圖靈度的研究。它的領域延伸至一般性的可計算性和可定義性的研究,又稱:可計算性理論(computability theory)。計算機科學家研究次遞歸層次、可行的計算和公用於可計算性理論研究的形式語言。


top】【main

演算法的先驅

演算法(英語:algorithm),在數學算學)和電腦科學之中,指一個被定義好的、電腦可施行其指示的有限步驟或次序,常用於計算資料處理自動推理。簡言之,演算法是有效方法的一種,擁有一系列定義清晰的指令,並可於有限的時間及空間內清楚的表述出來


top】【main