摘 要：離散數(shù)學(xué)是計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)的一門重要的專業(yè)基礎(chǔ)課程，而數(shù)理邏輯是其最復(fù)雜內(nèi)容之一，而進(jìn)行邏輯推理首先要進(jìn)行命題符號化，如何進(jìn)行準(zhǔn)確的命題符號化正是本文要討論的問題。

關(guān)鍵詞：數(shù)理邏輯；命題符號化；教學(xué)方法

中圖分類號：G64 文獻(xiàn)標(biāo)識(shí)碼：A

文章編號：1672-5913(2007)17－0038－03

引言

離散數(shù)學(xué)是計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)的一門重要的專業(yè)基礎(chǔ)課程，它在計(jì)算機(jī)科學(xué)中有著廣泛的應(yīng)用。離散數(shù)學(xué)教學(xué)除了教給學(xué)生離散數(shù)學(xué)知識(shí)以外，更重要的是通過嚴(yán)格的訓(xùn)練，逐步實(shí)現(xiàn)學(xué)生思維方式的數(shù)學(xué)化。因此，對于計(jì)算機(jī)專業(yè)的學(xué)生來說，學(xué)好離散數(shù)學(xué)這門課是非常重要的。

注：“本文中所涉及到的圖表、注解、公式等內(nèi)容請以PDF格式閱讀原文