主旨：

清華大學苗栗縣STEAM教育中心辦理「邏輯學思維初探（一） （二）」主題課程，歡迎老師及學生踴躍參與。

說明：

一、本次課程以「邏輯學思維初探 （一） （二）」為主題，由清華大學資訊工程學系王俊堯教授指導。

二、課程簡介：邏輯學是整個數學的基礎，因為它不僅支撐著數學理論之嚴謹性與一致性，也提供了一種形式化的方法來描述「推理」與「證明」的過程。在計算機科學領域中，邏輯學有著極為廣泛的應用，例如：程式語言的設

計、軟硬體的驗證及超大型積體電路的合成與最佳化。本課程重點在於介紹邏輯學中最基本且最重要之概念與方法，如語句邏輯與述詞邏輯；也一併介紹其推論規則與證明的技巧。

三、課程資訊如下：

(一)時間：115年1月28日（星期三）13時至16時、1月29日（星期四）9時至12時。

(二)地點：清華大學校本部台達館106教室（新竹市光復路二段101號）。

(三)費用：每人新臺幣2,500元，由苗栗縣政府全額補助。

(四)線上報名連結：https://forms.gle/6xfGAv7bVXvRxFBeA。

(五)報名期限：即日起至115年1月21日（星期三）止。

海報