● 最新潮的程式寫作 - Functional Programming
是指軟體工程中的典型程式設計風格之一。不同的程式語言會提倡不同的程式設計方式，而不同的程式設計風格也會有各自的優缺點。Functional programming 的價值觀為將所有的計算都視為數學函式的求值。有參照透明及方便平行計算等特徵。

● ​類比圖靈機的基礎運算 - Lambda Calculus
Lambda calculus 由數學家阿隆佐·邱奇（Alonzo Church）在20世紀30年代首次發表的形式系統。是可比擬最根本程式語言的計算模型。概念上可表達為“清晰地定義什麼是一個可計算函式，而任何可計算函式都可以這種形式表達和求值”。能夠類比圖靈機的計算過程。強調規則運算而非具體的機器。是停機問題證明的先驅。

● ​程式永遠的陷阱 - 停機問題
停機問題問的是“任意程式是否能在有限的時間內結束執行”。是最早的判定性問題。與此相關的圖靈於1936年通過圖靈機的概念，證明了停機問題的不可判定性。與此相關的其他觀念包含理髮師悖論等自我指涉問題。我們課程中，會提供大家判定方法，從根本解決這種自我參照的難題。

更多詳細課程說明與圖片 請看超知識網頁
→ https://bit.ly/3kmp0lH

超知識計算機科學教學團隊

10/9 - 10/10
2天內開發自己的程式語言

2021/10/09   (六)  09:00 - 12:00    第1堂
2021/10/09   (六)  13:00 - 16:00    第2堂
2021/10/10   (日)  09:00 - 12:00    第3堂
2021/10/10   (日)  13:00 - 16:00    第4堂

​全程線上直播進行

課程當天會在課程Line群組發送會議連結
獨有會議平台｜學員參與線上課程｜全程維持螢幕分享
完成上課專案｜講師隨時解答輔導

​紙本講義寄送到府，搭配上課更有感覺

原價 6000 NTD

10/5 前報名享早鳥優惠 3840 NTD

​請於下方填寫您的基本資料，繳費方式採取銀行轉帳匯款，報名金額請全額繳費至指定帳戶

匯款金額：新台幣 3840 元
匯款銀行：中國信託 公館分行 (822)
匯款帳戶：1855 4027 5773

​轉帳繳款完成後，請填寫您的匯款帳號末5碼至以下欄位，並且送出此表單，即完成報名。
如果採取電子行動匯款，請於文字說明註記您的姓名

待我們確認款項收到後，您將會收到一封確認信件，可能需要1~2個工作天，屆時會有更詳細開課通知與確認。​