課 程 概 述
Course Description

課程編碼
Course Code
中文課程名稱
Course Name (Chinese)
英文課程名稱
Course Name (English)
總學分數
Credits
總時數
Hours
5905100 正規語言 Formal Languages 3.0 3
中文概述
Chinese Description
本課程將涵蓋電腦科學的理論基礎。其內容包含自動機理論,電腦語言學,以及計算形式等。電腦相關的基本數學也將涵蓋在課程範圍之中。包括集合論,基本關係及及操作,以及理論證明工具與技術。課程大綱:基礎理論介紹,有限狀態自動機 / 一般敘述語法,Regular 集合的基本性質,前後文無相關文法, Pushdown 自動機,杜林機(turning machines),Chomsky 層次結構,基本關係及操作,理論證明技術及工具。
英文概述
English Description
This course will look the theoretical foundation in computer science. Automata theory, languages, and computation formalism will be examined in details. Various fundamental computer-related mathematics will also be covered. They include, sets/subsets, basic relations and operations and tools/techniques for proving theorems. Course Outline: Introduction to Theoretical Foundations, Finite Automata / Regular Expression, Properties of Regular Sets, Context-Free Grammars, Pushdown Automata, Turing Machines, The Chomsky Hierarchy (tentative), Basic Relations and Operations, Tools/Techniques for Proving Theorems.

備註:

  1. 本資料係由本校各教學單位、教務處課務組、進修部教務組、進修學院教務組及計網中心所共同提供!
  2. 若您對課程有任何問題,請洽各開課系所。