小弟我本來上學期想上資工系的自動機,不過因為衝堂所以作罷剛剛突然想到可以看看這學期資管系有沒有相關的課,查了一下發現有蔡益坤老師的計算理論,不過看來我已經 ... ... <看更多>
「軟體開發方法ptt」的推薦目錄:
- 關於軟體開發方法ptt 在 [評價] 111-1 蔡益坤軟體規格與驗證- 看板NTUcourse 的評價
- 關於軟體開發方法ptt 在 [問題] 資管系蔡益坤計算理論上課方式與評價? - 看板NTUcourse 的評價
- 關於軟體開發方法ptt 在 Re: [問卦] 就問為什麼學校軟體工程不教這些? 的評價
- 關於軟體開發方法ptt 在 【轉錄】推甄資訊網路與多媒體研究所- ASES-Taiwan板 的評價
- 關於軟體開發方法ptt 在 談談敏捷開發的看法 的評價
- 關於軟體開發方法ptt 在 app開發費用PTT上到底有什麼貼文? - 品科技 的評價
- 關於軟體開發方法ptt 在 91 敏捷開發之路- PTT... | Facebook 的評價
- 關於軟體開發方法ptt 在 91 敏捷開發之路- PTT... | Facebook 的評價
- 關於軟體開發方法ptt 在 系統生命週期五階段ppt-在PTT/IG/網紅社群上服務品牌流行穿搭 的評價
- 關於軟體開發方法ptt 在 ptt|facebook|傳播人悄悄話|】職缺- 2023年7月熱門工作機會 的評價
- 關於軟體開發方法ptt 在 ptt|facebook|傳播人悄悄話|】職缺- 2023年7月熱門工作機會 的評價
- 關於軟體開發方法ptt 在 PTT不能登入怎麼辦?連絡信箱驗證快速完成,步驟懶人包一次看 的評價
- 關於軟體開發方法ptt 在 PTT Archives - 電腦王阿達 的評價
- 關於軟體開發方法ptt 在 「PTT創世神」杜奕瑾談社群「協同性行為」管制措施 - 奇摩汽車 的評價
- 關於軟體開發方法ptt 在 [轉貼] PTT -- 軟體人的心路歷程分享(補習電腦、學習寫程式 的評價
- 關於軟體開發方法ptt 在 潮網科技ptt 的評價
- 關於軟體開發方法ptt 在 專案管理軟體ptt的相關標籤 - 台灣好玩景點推薦 的評價
- 關於軟體開發方法ptt 在 PTTcrawler (PTT文章爬蟲)-软件开发平台及语言笔记大全(超详细) 的評價
- 關於軟體開發方法ptt 在 Java - PTT Client 軟體開發經驗(1) - 前置準備 - Min's capo 的評價
- 關於軟體開發方法ptt 在 [買起來書單] 那些最常在Stack Overflow 被提到的30 本工程師 ... 的評價
- 關於軟體開發方法ptt 在 關於在ptt 及求職天眼通上的惡意留言 - LEADERG 的評價
- 關於軟體開發方法ptt 在 Instantly share code, notes, and snippets. - gists · GitHub 的評價
- 關於軟體開發方法ptt 在 檔案副檔名PTT : MapPoint Map Template 是什麼? 如何開啟? 的評價
- 關於軟體開發方法ptt 在 房仲開發信ptt客戶開發信範例 - YouTube 的評價
- 關於軟體開發方法ptt 在 房仲開發信ptt客戶開發信範例 - YouTube 的評價
- 關於軟體開發方法ptt 在 DAY13 PTT 網路爬蟲實作練習一些問題 - Cupoy 的評價
- 關於軟體開發方法ptt 在 PTT Star 輕巧、快速且功能完整批踢踢瀏覽器,滑鼠也能進行操作 的評價
- 關於軟體開發方法ptt 在 [請益]軟體神話? - soft_job - PTT職涯區 的評價
- 關於軟體開發方法ptt 在 快更新!Ptt 要求全體使用者重新認證信箱 - INSIDE 的評價
- 關於軟體開發方法ptt 在 PTT 過載連不上?各種軟體快速登入技巧整理(SSH加密連線) 的評價
- 關於軟體開發方法ptt 在 同志交友APP 推薦:12 款Ptt、Dcard 大推LGBTQ+ 同志交友軟體 的評價
- 關於軟體開發方法ptt 在 同志交友APP 推薦:12 款Ptt、Dcard 大推LGBTQ+ 同志交友軟體 的評價
- 關於軟體開發方法ptt 在 [討論] 2周高速開發App的秘訣,CMoney從技術與 - PTT評價 的評價
- 關於軟體開發方法ptt 在 bbs怎麼用?bbs軟體與網址:新手教學懶人包 的評價
- 關於軟體開發方法ptt 在 你還在用傳統記帳方式?試試這5款PTT網友整理的記帳APP ... 的評價
- 關於軟體開發方法ptt 在 term.ptt.cc- PTT 網頁版終端機連線方法 - DeTools 工具死神 的評價
- 關於軟體開發方法ptt 在 [徵才] 德商高雄分部徵軟體工程師- 看板Tech_Job 的評價
- 關於軟體開發方法ptt 在 省裝PCMan 直接用Google Chrome、 Firefox 開PTT 吧! 的評價
- 關於軟體開發方法ptt 在 程式設計的格言-轉自PTT - 不平凡,就不是生活- 痞客邦 的評價
- 關於軟體開發方法ptt 在 《廣告雜誌Adm》 04月號/2023 第372期 - 第 25 頁 - Google 圖書結果 的評價
- 關於軟體開發方法ptt 在 十年一覺程設夢(轉自Ptt) - Harry Yao 's Blog 的評價
- 關於軟體開發方法ptt 在 選舉預測方法比較:社群大數據與民意調查實證研究 的評價
- 關於軟體開發方法ptt 在 Miu Ptt:鄉民必裝,真‧ PTT iPhone app 誕生 - T客邦 的評價
- 關於軟體開發方法ptt 在 [App] 鄉民必備!「Mo PTT」讓手機也能輕鬆連線PTT看八卦 的評價
- 關於軟體開發方法ptt 在 免裝軟體,在網頁上看遍PTT BBS 的文章(優仕網閱讀器) 的評價
- 關於軟體開發方法ptt 在 PTT 鄉民工程師現身分享:文組生轉職工程師攻略 - 報橘 的評價
軟體開發方法ptt 在 Re: [問卦] 就問為什麼學校軟體工程不教這些? 的推薦與評價
而大部分的學生是不理解軟體工程理論或程式語法的抽象概念以至於不適合在課堂上講授進階的開發方法及設計模式應用實踐。家長則是因為受到AI、大數據 ... ... <看更多>
軟體開發方法ptt 在 【轉錄】推甄資訊網路與多媒體研究所- ASES-Taiwan板 的推薦與評價
WEB批踢踢(PTT) ... 劉瑞桐in English 軟體開發方法Cyclone Rover 2.0 蔡益坤王柏堯(資管系副教授、助理教授) 20 96 2004.12 – 2005.1 孔令傑廖翊如計 ... ... <看更多>
軟體開發方法ptt 在 談談敏捷開發的看法 的推薦與評價
在PTT Soft_Job 看到這篇討論: 敏捷課程觀察心得我的看法跟這位 ... 用我個人的詞彙來說,就是『有節奏的軟體開發方法』 音樂沒有節奏,就不是音樂。 ... <看更多>
軟體開發方法ptt 在 app開發費用PTT上到底有什麼貼文? - 品科技 的推薦與評價
以下是一些方法來評估一家外包公司的技術能力: 1. 評估他們的作品集這是最直觀的方法。請詢問該公司已完成過的app作品,進行評估。 這能讓您了解他們的技術水平以及是否 ... ... <看更多>
軟體開發方法ptt 在 91 敏捷開發之路- PTT... | Facebook 的推薦與評價
PTT 上這影片:https://www.ptt.cc/bbs/Soft_Job/M.1586350224.A.EFA.html 讓我想到圖一這個#幫我做ㄍ海報雖然大部分工程師看到會很幹啦,我相信大家也理解站在#商業 ... ... <看更多>
軟體開發方法ptt 在 91 敏捷開發之路- PTT... | Facebook 的推薦與評價
PTT 上這影片:https://www.ptt.cc/bbs/Soft_Job/M.1586350224.A.EFA.html 讓我想到圖一這個#幫我做ㄍ海報雖然大部分工程師看到會很幹啦,我相信大家也理解站在#商業 ... ... <看更多>
軟體開發方法ptt 在 系統生命週期五階段ppt-在PTT/IG/網紅社群上服務品牌流行穿搭 的推薦與評價
現代的系統分析與設計的方法3/3. 應用軟體... 系統開發生命週期(system development life cycle, SDLC)則是用來發展、維護、更換資訊系統的傳統方法論。 ... <看更多>
軟體開發方法ptt 在 ptt|facebook|傳播人悄悄話|】職缺- 2023年7月熱門工作機會 的推薦與評價
想找更多的電腦軟體相關|爆料|ptt|facebook|傳播人悄悄話|相關職缺工作,就快上1111人力銀行 ... 開發適合合作的KOL、Youtuber、部落客、直播平台網紅、素人5. ... <看更多>
軟體開發方法ptt 在 ptt|facebook|傳播人悄悄話|】職缺- 2023年7月熱門工作機會 的推薦與評價
想找更多的電腦軟體相關|爆料|ptt|facebook|傳播人悄悄話|相關職缺工作,就快上1111人力銀行 ... 開發適合合作的KOL、Youtuber、部落客、直播平台網紅、素人5. ... <看更多>
軟體開發方法ptt 在 PTT不能登入怎麼辦?連絡信箱驗證快速完成,步驟懶人包一次看 的推薦與評價
PTT 宣布新的登入方式,造成不少鄉民一時之間無法連上PTT, ... 這類BBS 軟體的人來說,只要打開網頁瀏覽器並連上「term.ptt.cc」,接著再依以下步驟 ... ... <看更多>
軟體開發方法ptt 在 PTT Archives - 電腦王阿達 的推薦與評價
BePTT、JPTT 等手機版PTT 批踢踢突然無法登入?本篇教你怎麼補上聯絡信箱必須資訊, ... 艾爾登法環STEAM 版幀數太低跑不順?ptt 網友發現奇特解決方法. by 電腦王阿達. ... <看更多>
軟體開發方法ptt 在 「PTT創世神」杜奕瑾談社群「協同性行為」管制措施 - 奇摩汽車 的推薦與評價
杜奕瑾口中的「Open Source」指的是開放的原始碼,讓其他軟體開發者,乃至 ... 「臺灣人工智慧實驗室」已經開放偵測和分析協同性行為的方法,杜奕瑾期 ... ... <看更多>
軟體開發方法ptt 在 [轉貼] PTT -- 軟體人的心路歷程分享(補習電腦、學習寫程式 的推薦與評價
NET 1.x起,已出版15本ASP.NET (Web Form)書籍,也有遠距教學線上教程教學影片. 2012-12-12. [轉貼] PTT -- 軟體人的心路歷程分享(補習電腦、學習寫程式、出書、 ... ... <看更多>
軟體開發方法ptt 在 潮網科技ptt 的推薦與評價
潮網科技ptt PTT企業綽號列表– Deewi ... 職缺能力經歷要求熟悉基本軟體工程開發套件,包括版本控制,bug issue tracking。 ... 掛畫方法 ... ... <看更多>
軟體開發方法ptt 在 PTTcrawler (PTT文章爬蟲)-软件开发平台及语言笔记大全(超详细) 的推薦與評價
執行方法. $ python pttcrawler.py [版名] [抓取頁數]. 陽春版. # coding=UTF-8 import time from datetime import datetime import requests import time import sys ... ... <看更多>
軟體開發方法ptt 在 Java - PTT Client 軟體開發經驗(1) - 前置準備 - Min's capo 的推薦與評價
Java - PTT Client 軟體開發經驗(1) - 前置準備 ... 其實就是將PTT 回傳的資料一個蘿蔔一個坑的放入剛剛提到的24 * 80 陣列的方法. ... <看更多>
軟體開發方法ptt 在 [買起來書單] 那些最常在Stack Overflow 被提到的30 本工程師 ... 的推薦與評價
『如果你認為自己在物件導向程式設計中的投入沒有得到回報,讀了這本書你就會知道自己漏掉什麼。』 -Ward Cunningham 設計模式和敏捷軟體開發方法的先驅. ... <看更多>
軟體開發方法ptt 在 關於在ptt 及求職天眼通上的惡意留言 - LEADERG 的推薦與評價
妄想用網路惡意留言打垮立達軟體是不可能的,因為立達軟體會不斷地進步,不斷地推出新 ... 不斷地讓同仁有成就感,就好像是在雜草地裡種上莊稼,是除去雜草的最好方法。 ... <看更多>
軟體開發方法ptt 在 Instantly share code, notes, and snippets. - gists · GitHub 的推薦與評價
[環境] 嘴砲型的強者... https://www.ptt.cc/bbs/Soft_Job/M.1429199571. ... 如果要真的照嚴謹軟體開發流程,會拉長開發時間, ... 知道了這個方法又如何? ... <看更多>
軟體開發方法ptt 在 檔案副檔名PTT : MapPoint Map Template 是什麼? 如何開啟? 的推薦與評價
解決這個問題的最簡單的方法是找到並下載適當的軟體或應用程式。 ... 檔案說明, 檔案副檔名PTT是一種由Microsoft開發的MapPoint Map Template。 ... <看更多>
軟體開發方法ptt 在 房仲開發信ptt客戶開發信範例 - YouTube 的推薦與評價
房仲神器「小白機」非法別用!10個合法、快速找屋主的開發方法 ... 房仲開發神器#房仲開發軟體#房仲必備工具, 歡迎客服中心詢問服務☎LINE➜ ayy988 QQ ➜ 2966936357 ... ... <看更多>
軟體開發方法ptt 在 房仲開發信ptt客戶開發信範例 - YouTube 的推薦與評價
房仲神器「小白機」非法別用!10個合法、快速找屋主的開發方法 ... 房仲開發神器#房仲開發軟體#房仲必備工具, 歡迎客服中心詢問服務☎LINE➜ ayy988 QQ ➜ 2966936357 ... ... <看更多>
軟體開發方法ptt 在 DAY13 PTT 網路爬蟲實作練習一些問題 - Cupoy 的推薦與評價
這邊要替換的原因是因為原始字串包含空白跟換行,用比較暴力的方法來處理。 嗨,你好,我是維元,持續在不同的平台發表對#資料科學、 #網頁開發或#軟體 ... ... <看更多>
軟體開發方法ptt 在 PTT Star 輕巧、快速且功能完整批踢踢瀏覽器,滑鼠也能進行操作 的推薦與評價
完整功能和介紹可以查看PTT Star 開發者在EZsoft 版的文章。 ... 解壓縮時可能要先確認電腦有7-Zip 壓縮軟體或是其他支援7z 格式的解壓縮工具,接著從PTTStar 資料夾點 ... ... <看更多>
軟體開發方法ptt 在 [請益]軟體神話? - soft_job - PTT職涯區 的推薦與評價
在軟體開發品質與方法與輔助軟體導入與教育的推廣改革上.. 仍然成為空談..但少了軟體開發品質工程,這層保護傘的工程師.. 感覺就像是在一個沒有通過公安檢查的工作場所. ... <看更多>
軟體開發方法ptt 在 快更新!Ptt 要求全體使用者重新認證信箱 - INSIDE 的推薦與評價
Ptt 官方決定,要求所有使用者進行一次性更新,最好填入能長期持有的信箱 ... Lifecycle),Synology 從開發階段就考量軟體安全性,並配合競業少見的 ... ... <看更多>
軟體開發方法ptt 在 PTT 過載連不上?各種軟體快速登入技巧整理(SSH加密連線) 的推薦與評價
基本上操作方法及流程,一樣參照上面第2 點「2. SSH 連線」進行即可。 三、PttChrome. 1. 基本連線方式 「PttChrome」是Chrome 瀏覽器的 ... ... <看更多>
軟體開發方法ptt 在 同志交友APP 推薦:12 款Ptt、Dcard 大推LGBTQ+ 同志交友軟體 的推薦與評價
由台灣所開發的「Pikabu」柴犬交友App 也深受Dcard 網友推崇,App 裡各種可愛的柴犬圖案還以為是養成遊戲,配對方式非常特別,利用評分的配對機制為對方 ... ... <看更多>
軟體開發方法ptt 在 同志交友APP 推薦:12 款Ptt、Dcard 大推LGBTQ+ 同志交友軟體 的推薦與評價
由台灣所開發的「Pikabu」柴犬交友App 也深受Dcard 網友推崇,App 裡各種可愛的柴犬圖案還以為是養成遊戲,配對方式非常特別,利用評分的配對機制為對方 ... ... <看更多>
軟體開發方法ptt 在 [討論] 2周高速開發App的秘訣,CMoney從技術與 - PTT評價 的推薦與評價
CMoney行銷暨內容專案總監李湘婷指出,不像企業端需求是All-in-one功能的軟體,對一般民眾來說,每個人的投資方法都不同,一款App若提供過多用戶不需要的 ... ... <看更多>
軟體開發方法ptt 在 bbs怎麼用?bbs軟體與網址:新手教學懶人包 的推薦與評價
怎麼註冊PTT BBS · PTT操作方式 · BBS軟體KKMAN下載. 底下進入正文。 什麼是BBS? BBS的全文是Bulletin Board System ... ... <看更多>
軟體開發方法ptt 在 你還在用傳統記帳方式?試試這5款PTT網友整理的記帳APP ... 的推薦與評價
推Denis79911:如果使用ios的推薦moze!! 有lite可試用!!真的好用,介面又做的不錯,有問題開發者很快就會回覆; 推nana12momo: ... ... <看更多>
軟體開發方法ptt 在 term.ptt.cc- PTT 網頁版終端機連線方法 - DeTools 工具死神 的推薦與評價
批踢踢(PTT)是一個bbs 服務,以往都是要透過talnet 的方法去連線, ... APILayer- 收錄許多API 服務的網站,也可以提交並販賣自己開發的API 服務 ... ... <看更多>
軟體開發方法ptt 在 [徵才] 德商高雄分部徵軟體工程師- 看板Tech_Job 的推薦與評價
為將觸角延伸至亞洲市場,近期已在台灣設立軟體開發據點,也積極拓展亞洲 ... TypeScript開發人員來構建新功能,設計和實現有用的API方法,並不斷提高 ... ... <看更多>
軟體開發方法ptt 在 省裝PCMan 直接用Google Chrome、 Firefox 開PTT 吧! 的推薦與評價
方法 很簡單,安裝套件後,只要在網址列輸入「 telnet://ptt.cc/ ... 這是一款Chrome 上面的「應用程式」(參考:Google Chrome App 單機軟體化! ... <看更多>
軟體開發方法ptt 在 程式設計的格言-轉自PTT - 不平凡,就不是生活- 痞客邦 的推薦與評價
程式設計的格言-轉自PTT ... 我對軟體設計的方式導出的結論,有兩種方式。 ... 在排定開發行程時,總是視而不見一些連小學生都會的算數。 ... <看更多>
軟體開發方法ptt 在 《廣告雜誌Adm》 04月號/2023 第372期 - 第 25 頁 - Google 圖書結果 的推薦與評價
GPT - 3 內容產出偵測器( GPT - 3 Output Detector )此工具由加拿大 AI 內容流程軟體商「 DNG . AI 」開發,能夠有效辨識內容是出於 AI 或人類之手,使用者必須在指令框 ... ... <看更多>
相關內容
軟體開發方法ptt 在 十年一覺程設夢(轉自Ptt) - Harry Yao 's Blog 的推薦與評價
當時工作, 是用宏碁自行開發的ASIC, 搭配firmware 來處理中文顯示. 這份工作累積的經驗, ... 這套方法, 不僅讓這個軟體支援課逃出繁種無聊的工作, ... <看更多>
軟體開發方法ptt 在 選舉預測方法比較:社群大數據與民意調查實證研究 的推薦與評價
在學術論文部分,有高士堯(2016)以時間序列模型針對社群平台進行資料分析,除使用臺灣主流平台臉書及PTT看板外,亦蒐集三大線上新聞平台之資料,並利用情緒分析方法評估 ... ... <看更多>
相關內容
軟體開發方法ptt 在 Miu Ptt:鄉民必裝,真‧ PTT iPhone app 誕生 - T客邦 的推薦與評價
開發 者:Xingzhi Cheng. 必備鄉民隨身刀. 有時候人在外面也會想要爬個文,但iPhone上的BBS軟體介面實在 ... ... <看更多>
軟體開發方法ptt 在 [App] 鄉民必備!「Mo PTT」讓手機也能輕鬆連線PTT看八卦 的推薦與評價
辦公軟體全場最便宜4 折起! ... 圖:在「Mo PTT」中,預設會以適合手機螢幕大小的方式來呈現內容,我們可以透過「雙指內縮」的手勢,來切換為「整頁 ... ... <看更多>
軟體開發方法ptt 在 免裝軟體,在網頁上看遍PTT BBS 的文章(優仕網閱讀器) 的推薦與評價
很久之前介紹過「Gaaan」,它是個原生的網頁版BBS站,用一般網頁的模式實現了BBS的操作方式。也介紹過一個專門搜尋PTT BBS站文章的「YouSee! ... <看更多>
軟體開發方法ptt 在 PTT 鄉民工程師現身分享:文組生轉職工程師攻略 - 報橘 的推薦與評價
第二份工作大約45k,讓我從頭到尾完整參與一個專案開發, 「實作並熟悉」常見「工程師關鍵字」,然後靠現有的技能,轉換到更成熟的開發團隊。 接著我就 ... ... <看更多>
軟體開發方法ptt 在 [評價] 111-1 蔡益坤軟體規格與驗證- 看板NTUcourse 的推薦與評價
※ 本文是否可提供臺大同學轉作其他非營利用途?(須保留原作者 ID)
(是/否/其他條件):n
哪一學年度修課: 111-1
ψ 授課教師 (若為多人合授請寫開課教師,以方便收錄) 蔡益坤
λ 開課系所與授課對象 (是否為必修或通識課 / 內容是否與某些背景相關) 資管系 / 資管所選修
δ 課程大概內容
Propositional Logic, First Order Logic, Intuitionistic Logic
這部份會教各種邏輯表達式的操作方法、語意及形式上的證明。
假如我們可以透過亂湊符號 (x) 不需要智慧 (o) 的方法來證明一個邏輯表達式,那代表電腦也可以做到。
Coq
這是一個自動化的邏輯證明軟體。
不過,比起自動化的部份,課程比較著重在如何把手寫的證明送給 Coq 解決。
Hoare Logic
算是課程標題中「軟體規格」的開始。
這個邏輯系統負責描述一行程式必須在什麼情況下被執行,以及執行完之後會符合哪些性質。
Weakest Precondition, Weakest Liberal Precondition (Predicate Transformers)
這兩個符號負責描述一行程式正常執行所需的最寬鬆條件。
如果符合 wp 的話,程式會正常執行,而且一定會停下來。
符合 wlp 的話,程式有可能會卡住,但是假如他停下來,就一定會是符合期望的結果。
Frama-C
這個工具可以自動化驗證 C 程式的正確性,連遞迴、迴圈等等都有辦法證明。
不過,跟數論有關的部份會證得很辛苦,需要手動用 Coq 來輔助。
Owicki-Gries Method
這個系統負責證明平行化程式的正確性。
由於兩份平行的程式可能會互相影響,所以需要在 Hoare Logic 中加入額外的技巧來確保意外不會發生。
UNITY, Linear Temporal Logic
描述一個事件發生之後,另外一個事件一定會發生、某事件不會一直發生... 等等的行為。
Ω 私心推薦指數(以五分計,很主觀) ★★★★★
課程內容 ★★★★★
上課模式 ★★★☆
涼度 ★★★☆
甜度 ★★★★
總評 ★★★★☆
η 上課用書(影印講義或是指定教科書)
都是用教授自己做的投影片,不過有附大量的 reference。雖然我沒看^H^H^H^H^H
μ 上課方式(投影片、團體討論、老師教學風格)
不確定前幾年的上課狀況,今年只有 8 個人選。
雖然班很小,但還是講解居多,發問 / 討論的環節幾乎沒有。
下課的時候滿常有人去問問題的。
投影片比較像是講課內容的重點整理。如果沒有聽過課的話,直接看投影片可能會有點謎。
教授的講話語氣偏平淡,且講話內容很少會離題 / 偏題。板上有人問同教授計算理論的評價,底下 rrro 的說法很準。
上課節奏的話... 感覺這幾年都被線上課 3 倍速養壞了。現場聽課感覺中偏慢,恍神一下下還勉強能聽懂。
σ 評分方式(給分甜嗎?是紮實分?)
HW 20%
參與度 10%
Term Project 30%
期末考 40%
教授在學期末直接把所有人的成績細項都丟到課程網站上了,而且沒有碼學號。
8 個人裡面 1 個 A+, 1 個 A,可是因為樣本數很小,不確定甜度。
ρ 考題型式、作業方式
作業共 6 份,出了之後過一週 due,教授表示要花 6hr 左右。
寫完之後就解決期末考大部分的題目了 (x
作業的寫法也大部分放在投影片 / lecture notes 裡面,先複習過之後寫起來會很快。
有些需要 syntactically 證明的部份,可能會重複擦擦寫寫很久,手很酸。
課程內容全都公佈在教授維護的 wiki site 上,包含作業與歷年期末考題。
期末考跟歷年考題有很大部份重疊,寫完考古之後應該可以秒殺。其中一題教授還說「這題出很久了,我會一直出到 50% 學生答對為止」。
Term Project 是用 Frama-C 來證明一個演算法的正確性,期末後一週交。主題自選,可以 (and 建議) 先跟教授討論好。
個人覺得,找到適合的演算法比證明還難很多。有些演算法 (e.g. DFS) 看似簡單,但證明的難度非常非常高。
ω 其它(是否注重出席率?如果為外系選修,需先有什麼基礎較好嗎?老師個性?
加簽習慣?嚴禁遲到等…)
跟計算邏輯簡介對比的話,這堂課比較著重各種知識 / 工具的應用。
隔壁計邏簡的 proof tree 可能只要寫 5 層,這堂會有 10 層以上的題目。
如果想當學分小偷的話,滿推薦同時修的。這兩堂課重複的部份不少,而且會互相講到比較少 cover 的地方。
體感要付出 4 學分的努力,總共拿到 6 學分,賺不賺就看個人。
Ψ 總結
整體來說算是 loading 低,但是收穫頗多的課。
很意外這麼好玩的課只有不到 10 個人選。如果開在資工系的話,可能會比較多人有興趣 (?
BTW 課程網站是公開的,在 https://im.ntu.edu.tw/~tsay/dokuwiki/doku.php?id=courses:ssv2022:main
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.16.135 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/NTUcourse/M.1673454745.A.54A.html
※ 編輯: aoaaceai (140.112.16.135 臺灣), 01/12/2023 00:34:55
... <看更多>