{{ $t('FEZ002') }}教學組|
一、 本次課程以「邏輯學思維初探 (一) (二)」為主題,由本校資訊工程學系王俊堯教授指導。
二、 課程簡介:邏輯學是整個數學的基礎,因為它不僅支撐著數學理論之嚴謹性與一致性,也提供了一種形式化的方法來描述「推理」與「證明」的過程。在計算機科學領域中,邏輯學有著極為廣泛的應用,例如:程式語言的設計、軟硬體的驗證及超大型積體電路的合成與最佳化。本課程重點在於介紹邏輯學中最基本且最重要之概念與方法,如語句邏輯與述詞邏輯;也一併介紹其推論規則與證明的技巧。
三、 課程資訊如下:
(一) 時間:115年1月28日(星期三)13時至16時、1月29日(星期四)9時至12時。
(二) 地點:本校校本部台達館106教室(新竹市光復路二段101號)。
(三) 費用:每人新臺幣2,500元,由苗栗縣政府全額補助。
(四) 線上報名連結:https://forms.gle/6xfGAv7bVXvRxFBeA。
(五) 報名期限:即日起至115年1月21日(星期三)止。
{{ $t('FEZ012') }}
{{ $t('FEZ013') }}
{{ $t('FEZ003') }}2025-12-11
{{ $t('FEZ014') }}2026-01-21|
{{ $t('FEZ004') }}2025-12-11|
{{ $t('FEZ005') }}3|