跳到主要內容

書籍推薦: 笛卡兒 拜拜

書籍推薦: 笛卡兒 拜拜

適合閱讀: 程式開發人員


這本《笛卡兒,拜拜!》裡,德福林花了開頭三分之一的篇幅綜觀了邏輯的發展歷史。這部分是一般邏輯教科書裡不會著墨的題材,而德福林把它表達得十分容易理解,尤其一些令人感覺困擾的邏輯基本概念,例如條件句與實質蘊涵的來歷,都有極具啟發性的交代。在學校裡上邏輯、理則學或任何思想方法課程的學生,都應看看本書提供的歷史背景,一定會讓你體會到那些看似枯燥無味的邏輯規律的深刻意義,以及它們存在的理由。

  本書中間的三分之一,德福林介紹了喬姆斯基的笛卡兒式語言學,也就是把數理邏輯手法搬到語言學的革命性成就。以及在這種氛圍與進路下,人工智能研究的一些成果與遭遇的障礙。本書對語言學的學生,會有增加瞭解喬姆斯基理論背景與來歷的功效。至於研究人工智能的學生,也會從這類檢討中發現有些構想無法完全落實的根源,恐怕不是純粹技術的問題,而是涉及深刻的方法論的立場。

  德福林在本書的最後三分之一,逐漸導入了脈絡對於理解人類心智活動的重要性,他介紹了與喬姆斯基語言學旨趣相異的社會語言學,強調了溝通所應扮演的角色。他也用了一些篇幅介紹「情境邏輯」的最基本觀點,普通這種程度的書籍裡幾乎不會包含這麼前沿的內容。

  在最後一章裡,作者總結檢討了笛卡兒理性方法的限制,而終於說出了「笛卡兒,拜拜!」。這種新的領悟是在一個高的、綜觀全局的層次,並不是說在每一個細節上,暫時脫離脈絡的作法都要揚棄。事實上在適當的範圍,在一定的侷限裡,傳統的邏輯仍然是可靠有效的工具,我們切莫在倒洗澡水時,把盆裡的嬰兒一起倒掉了


引言: 數學研究推動中心

留言

這個網誌中的熱門文章

Window CE BootLoader for x86 ( MS-DOS )

CEPC X86採用了幾種開機方式,其中一種運用MS-DOS當成Booting OS 利用 Windows CE Platform builder所提供的 Image disk 製作一片 1.44M的開機片,內有提供 LoadCepc.exe命令作為 CE Boot Loader 不過首先得先將磁片的開機檔案移植到嵌入式設備的CF / FLASH / DISK 上 以下提供傳統的MS-DOS開機系統製作方式供學員參考 : 使用MS-DOS開機片開機後, 透過 Fdisk.exe與 Format.com 工具製作 Windows CE Boot Loader 過程如下 圖一: MS-DOS開機 圖2: 開機後,載入 Fdisk執行 Partition切割工作 圖3: 選擇第一項,建立 Partition 圖4: 選擇第一項,建立 DOS Partition 圖5: 詢問是否全部切割成單一PARTITION,若CF過大可回答 N 自行切割大小 圖6: 輸入欲切割的Partition大小 圖7:切割後,按一下鍵盤的 esc鍵回到檢視畫面,就可看到所切割的Partition大小 圖8: esc回到主選單後,在選擇 [2] 設定啟動磁區 圖9: 選擇欲啟動作業系統的Partition 圖10: 選擇後應該會看到 Partition清單上的 Status欄位出現 A 字元 圖11: 切割後 重新啟動系統 圖12: 格式化所切割的新磁區 圖13: 格式化完成後 便可將 Platform Builder所製作的 Windows CE Bootloader磁片內容複製到C:內 重新開機後,進入c:> 輸入 C:>Loadcepc /L:800x600x16 nk.bin 便可載入nk.bin到記憶體 並且以800x600的解析度執行 windows ce 作業系統

WES 7 Image 維護與更新--基本概念介紹

在佈署完成的WES-7設備上,日常運作主要的工作就是維持設備的正常運作以及WES-7 Image的更新作業 更新WES-7 Image通常有兩種方式 : 1. Online Image Maintenance 2. Offline Image Maintenance 如下圖所示 圖片來源: Microsoft 對於更新維護作業來說,採用方法1當然是最輕鬆的作法,但是可能面臨到device 使否是在connected的狀態之下而有所關聯,在不具備connected的device狀態下就只能採用第二種作法 office maintenance了 因此也較為複雜 在採用office image maintenance的時候首先就必須要知道目前的 image包含了那些套件 因此會牽涉到 Image的掛載與Image內的Package list的議題,通常我們會使用ImageX工具與Package Scanner工具去獲取Image的package info. ImageX : 用於掛載與擷取WES-7 Device的Image pkgscn : 用於取得Image的套件資訊以及搜尋更新套件(含移除過舊元件功能) 當然另外一個重點就是我們如何取得微軟最新的 WES-7 Packages ? 現在已經可以透過微軟最新的 WEDU ( Windows Embedded Developer Update )來主動更新 Developer的Package資訊了,可參考另一篇 WEDU介紹

Automatic Building Process: 建置 Windows CE 6.0 Images

對於常常需要改變各種 Windows CE Image設定並且需要重新編譯Image的人來說,透過Visual Studio的GUI操作介面來說變成是一種負擔,互動式介面造成必須等候每一步驟的完成後才能繼續進行下一步 因此自動化編譯的需求便是這種情形下最適當不過的一種操作方式 自動化編譯是透過命令模式(command Prompt)來完成,但是命令模式並非一般的Command Prompt,必須要 事先將所有的Windows CE Environment Variables 設定完成後才能進行編譯,因此可以透過下列方式將編譯所需的環境變數轉換成一個批次檔後便可以進行自動化編譯的任務 1.使用 PBXMLUtils.exe 將Windows CE環境變數提取轉存 批次設定檔 首先,先在Visual Studio 2005工具內開啟Windows CE外掛的build選單下的Open Build Release Windows 在此命令模式下執行: c:>"c:\program files\Microsoft Platform Builder\6.00\cepb\IdeVS\Pbxmlutils.exe" /getbuildenv > SetupCEEvn.bat 便可將 Windows CE Building Command Prompt內的環境變數轉存到 SetupCEEnv.bat 批次檔內 2. 測試自動化編譯程序 首先,開啟一般的Windows Command Prompt命令模式,並執行 SetupCEEnv.bat批次檔後,再使用 set命令檢視Win CE Building Environment Variables是否設定成功 接下來便可以使用 blddemo -q 測試編譯 Windows CE 6.0 Image了