Introduction to the theory of computation / Michael Sipser 著

更新 發佈閱讀 1 分鐘

電腦蓬勃發展不過是百年以內的事情,但是更早以前科學家是如何用紙筆模擬電腦運作,並且發展計算理論的呢?書中一步步引入不同的狀態機概念,以及證明他們能解決怎樣的問題,這些計算分析都讓我嘆為觀止,雖然我只是跟著習題練習,還不能夠將計算思維刻在骨子裡,但這些文字中散發出偉大的氣場,使我感受到自身的渺小。最重要的收穫是知道哪些問題電腦無法解,哪些問題電腦沒有辦法以有限的時間解出。

vocus|新世代的創作平台


留言
avatar-img
碩四生的所見所聞
0會員
13內容數
念研究所的這四年,我沒有急著往社會普遍認同的方向衝,而是刻意放慢腳步,跟隨內心去探索想要的生活,經營屬於自己的人生。那些少有人注意的風景,反而成了我珍惜的片刻。即便偶爾走錯了路,那又何嘗不是一段難得的人生體驗。
2025/09/19
鄉土文化對我有種魅力,倒不是背後層層歷史吸引我,而是小人物之間樸實互動總是讓我會心一笑。有時也讓我想像,如果我成長在台灣不同的地點,我會是個什麼樣的人。記得有一次到阿姨家借宿幾晚,隔天清晨離開時搭了早上唯一一班公車前往火車站,雖然覺得交通有些不便,但看到沿路上仍有學生上下車,於是讓我想像起當地學生的
Thumbnail
2025/09/19
鄉土文化對我有種魅力,倒不是背後層層歷史吸引我,而是小人物之間樸實互動總是讓我會心一笑。有時也讓我想像,如果我成長在台灣不同的地點,我會是個什麼樣的人。記得有一次到阿姨家借宿幾晚,隔天清晨離開時搭了早上唯一一班公車前往火車站,雖然覺得交通有些不便,但看到沿路上仍有學生上下車,於是讓我想像起當地學生的
Thumbnail
2025/09/18
上次閱讀是升高一的暑假,當時對以母校為背景的故事感到興趣。再次閱讀後,更多是感歎高中時光匆匆流去,雖然高中是我最懷念的日子,但是也覺得這些日子有些遺憾,除了缺乏與異性相處的經驗,也沒有深入探索學科,利用課餘時間專研課外的知識。正是如此,對這段青春抱有缺憾,才會更加珍惜吧!不過,如果只是為課業、感情的
Thumbnail
2025/09/18
上次閱讀是升高一的暑假,當時對以母校為背景的故事感到興趣。再次閱讀後,更多是感歎高中時光匆匆流去,雖然高中是我最懷念的日子,但是也覺得這些日子有些遺憾,除了缺乏與異性相處的經驗,也沒有深入探索學科,利用課餘時間專研課外的知識。正是如此,對這段青春抱有缺憾,才會更加珍惜吧!不過,如果只是為課業、感情的
Thumbnail
2025/09/17
碩一上剛踏進人機互動的領域,也修了指導教授的討論課,第一門課就提到Norman 這位知名學者,我馬上聯想到以前曾經閱讀此書,甚至在課程反思心得刻意提到這本,並且再次借來翻閱。不過,我在書中停留的概念仍舊基本抽象,加上版本稍微舊,一些書中例子並不適用現代。對此書感到興趣,或許是因為我喜歡觀察日常生活中
Thumbnail
2025/09/17
碩一上剛踏進人機互動的領域,也修了指導教授的討論課,第一門課就提到Norman 這位知名學者,我馬上聯想到以前曾經閱讀此書,甚至在課程反思心得刻意提到這本,並且再次借來翻閱。不過,我在書中停留的概念仍舊基本抽象,加上版本稍微舊,一些書中例子並不適用現代。對此書感到興趣,或許是因為我喜歡觀察日常生活中
Thumbnail
看更多
你可能也想看
Thumbnail
這本書的起源來自於疫情期間,作者以數學家的角度,在網路上發表文章,幫大眾解讀疫情的統計數字是什麼意思,我看完這本書以後不禁感嘆,如果我更早理解這些概念就好了。
Thumbnail
這本書的起源來自於疫情期間,作者以數學家的角度,在網路上發表文章,幫大眾解讀疫情的統計數字是什麼意思,我看完這本書以後不禁感嘆,如果我更早理解這些概念就好了。
Thumbnail
1.0 從函數到函算語法 1.2 函數概念小史 1.2.1 中譯的來源 1.2.2 一個速度問題 1.2.3 幾何的方法 1.2.4 微積分的記法 1.2.5 弦的振動 1.2.6 熱的傳導 1.2.7 十九世紀的尾聲 一 函數概念的發展不可能終結,踏入公元廿一世紀,數學
Thumbnail
1.0 從函數到函算語法 1.2 函數概念小史 1.2.1 中譯的來源 1.2.2 一個速度問題 1.2.3 幾何的方法 1.2.4 微積分的記法 1.2.5 弦的振動 1.2.6 熱的傳導 1.2.7 十九世紀的尾聲 一 函數概念的發展不可能終結,踏入公元廿一世紀,數學
Thumbnail
1.0 從函數到函算語法 1.2 函數概念小史 1.2.1 中譯的來源 1.2.2 一個速度問題 1.2.3 幾何的方法 1.2.4 微積分的記法 1.2.5 弦的振動 1.2.6 熱的傳導 1.2.7 十九世紀的尾聲 三 必須說一下波希米亞數學家/邏輯學家/哲學家/神學
Thumbnail
1.0 從函數到函算語法 1.2 函數概念小史 1.2.1 中譯的來源 1.2.2 一個速度問題 1.2.3 幾何的方法 1.2.4 微積分的記法 1.2.5 弦的振動 1.2.6 熱的傳導 1.2.7 十九世紀的尾聲 三 必須說一下波希米亞數學家/邏輯學家/哲學家/神學
Thumbnail
背景:從冷門配角到市場主線,算力與電力被重新定價   小P從2008進入股市,每一個時期的投資亮點都不同,記得2009蘋果手機剛上市,當時蘋果只要在媒體上提到哪一間供應鏈,隔天股價就有驚人的表現,當時光學鏡頭非常熱門,因為手機第一次搭上鏡頭可以拍照,也造就傳統相機廠的殞落,如今手機已經全面普及,題
Thumbnail
背景:從冷門配角到市場主線,算力與電力被重新定價   小P從2008進入股市,每一個時期的投資亮點都不同,記得2009蘋果手機剛上市,當時蘋果只要在媒體上提到哪一間供應鏈,隔天股價就有驚人的表現,當時光學鏡頭非常熱門,因為手機第一次搭上鏡頭可以拍照,也造就傳統相機廠的殞落,如今手機已經全面普及,題
Thumbnail
1.0 從函數到函算語法 1.2 函數概念小史 1.2.1 中譯的來源 1.2.2 一個速度問題 1.2.3 幾何的方法 1.2.4 微積分的記法 1.2.5 弦的振動 1.2.6 熱的傳導 一 偏微分方程始於公元十八世紀,在十九世紀茁長壯大。 隨著物理科學擴展越深 (理
Thumbnail
1.0 從函數到函算語法 1.2 函數概念小史 1.2.1 中譯的來源 1.2.2 一個速度問題 1.2.3 幾何的方法 1.2.4 微積分的記法 1.2.5 弦的振動 1.2.6 熱的傳導 一 偏微分方程始於公元十八世紀,在十九世紀茁長壯大。 隨著物理科學擴展越深 (理
Thumbnail
我想要一天分享一點「LLM從底層堆疊的技術」,並且每篇文章長度控制在三分鐘以內,讓大家不會壓力太大,但是又能夠每天成長一點。 如 AI說書 - 從0開始 - 78 所述,經過 AI說書 - 從0開始 - 74 到目前為止的實驗,應可以漸漸感受到 Transformer 模型如何從數學層面漸漸往
Thumbnail
我想要一天分享一點「LLM從底層堆疊的技術」,並且每篇文章長度控制在三分鐘以內,讓大家不會壓力太大,但是又能夠每天成長一點。 如 AI說書 - 從0開始 - 78 所述,經過 AI說書 - 從0開始 - 74 到目前為止的實驗,應可以漸漸感受到 Transformer 模型如何從數學層面漸漸往
Thumbnail
5 月將於臺北表演藝術中心映演的「2026 北藝嚴選」《海妲・蓋柏樂》,由臺灣劇團「晃晃跨幅町」製作,本文將以從舞台符號、聲音與表演調度切入,討論海妲・蓋柏樂在父權社會結構下的困境,並結合榮格心理學與馮.法蘭茲對「阿尼姆斯」與「永恆少年」原型的分析,理解女人何以走向精神性的操控、毀滅與死亡。
Thumbnail
5 月將於臺北表演藝術中心映演的「2026 北藝嚴選」《海妲・蓋柏樂》,由臺灣劇團「晃晃跨幅町」製作,本文將以從舞台符號、聲音與表演調度切入,討論海妲・蓋柏樂在父權社會結構下的困境,並結合榮格心理學與馮.法蘭茲對「阿尼姆斯」與「永恆少年」原型的分析,理解女人何以走向精神性的操控、毀滅與死亡。
Thumbnail
這是一場修復文化與重建精神的儀式,觀眾不需要完全看懂《遊林驚夢:巧遇Hagay》,但你能感受心與土地團聚的渴望,也不急著在此處釐清或定義什麼,但你的在場感受,就是一條線索,關於如何找著自己的路徑、自己的聲音。
Thumbnail
這是一場修復文化與重建精神的儀式,觀眾不需要完全看懂《遊林驚夢:巧遇Hagay》,但你能感受心與土地團聚的渴望,也不急著在此處釐清或定義什麼,但你的在場感受,就是一條線索,關於如何找著自己的路徑、自己的聲音。
Thumbnail
1.0 從函數到函算語法 1.2 函數概念小史 1.2.1 中譯的來源 1.2.2 一個速度問題 1.2.3 幾何的方法 1.2.4 微積分的記法 1.2.5 弦的振動 三 1755年,歐拉改變了主意,在《微分學原理》(Institutiones calculi differen
Thumbnail
1.0 從函數到函算語法 1.2 函數概念小史 1.2.1 中譯的來源 1.2.2 一個速度問題 1.2.3 幾何的方法 1.2.4 微積分的記法 1.2.5 弦的振動 三 1755年,歐拉改變了主意,在《微分學原理》(Institutiones calculi differen
Thumbnail
電腦只做一件事情: 運算。 我們所看到的任何酷酷的應用: 不論是網頁動畫、遊戲特效、甚至是 AI 說的話,全部都 是由電腦的運算結果組合而成的。 首先我們來梳理一下各個名詞之間的關聯: 1. 運算分成兩個部分: 運算子 (運算的名稱,如: 加法) 和運算元 (運算的對象,如: 8)。運算就是對資
Thumbnail
電腦只做一件事情: 運算。 我們所看到的任何酷酷的應用: 不論是網頁動畫、遊戲特效、甚至是 AI 說的話,全部都 是由電腦的運算結果組合而成的。 首先我們來梳理一下各個名詞之間的關聯: 1. 運算分成兩個部分: 運算子 (運算的名稱,如: 加法) 和運算元 (運算的對象,如: 8)。運算就是對資
Thumbnail
這一篇,是整理之前提到的,怎樣的程度,才是屬於「電腦繪圖」?
Thumbnail
這一篇,是整理之前提到的,怎樣的程度,才是屬於「電腦繪圖」?
Thumbnail
本文分析導演巴里・柯斯基(Barrie Kosky)如何運用極簡的舞臺配置,將布萊希特(Bertolt Brecht)的「疏離效果」轉化為視覺奇觀與黑色幽默,探討《三便士歌劇》在當代劇場中的新詮釋,並藉由舞臺、燈光、服裝、音樂等多方面,分析該作如何在保留批判核心的同時,觸及觀眾的觀看位置與人性幽微。
Thumbnail
本文分析導演巴里・柯斯基(Barrie Kosky)如何運用極簡的舞臺配置,將布萊希特(Bertolt Brecht)的「疏離效果」轉化為視覺奇觀與黑色幽默,探討《三便士歌劇》在當代劇場中的新詮釋,並藉由舞臺、燈光、服裝、音樂等多方面,分析該作如何在保留批判核心的同時,觸及觀眾的觀看位置與人性幽微。
追蹤感興趣的內容從 Google News 追蹤更多 vocus 的最新精選內容追蹤 Google News