應(yīng)用型本科院?！稊?shù)理邏輯》課程教學(xué)探討

葛春鵬

摘要：該文分析了《數(shù)理邏輯》課程的特點(diǎn)以及應(yīng)用型本科院校在本課程教學(xué)過(guò)程中存在的問(wèn)題，分析了學(xué)生對(duì)本課程缺少學(xué)習(xí)動(dòng)力的原因。提出以“激發(fā)興趣、理論為主、實(shí)踐為輔、理實(shí)結(jié)合”的教學(xué)模式。將本課程中的知識(shí)點(diǎn)與計(jì)算機(jī)專業(yè)其他專業(yè)課的知識(shí)點(diǎn)相結(jié)合，激發(fā)學(xué)生對(duì)本課程的學(xué)習(xí)興趣，繼而引出本課程的重要性，最大限度地引起學(xué)生的創(chuàng)造性和主觀能動(dòng)性。最后該文利用教育心理學(xué)的方法介紹了在本課程教學(xué)過(guò)程中的一些改革措施的探討，為應(yīng)用型本科院校計(jì)算機(jī)專業(yè)在理論課程教學(xué)方面提供一個(gè)可行的探討。

關(guān)鍵詞：數(shù)理邏輯；教育心理學(xué)；應(yīng)用型大學(xué)；教學(xué)模式；學(xué)習(xí)動(dòng)機(jī)

中圖分類號(hào)：G642 文獻(xiàn)標(biāo)識(shí)碼：A 文章編號(hào)：1009-3044（2018）03-0138-02

Abstract： This paper analyzes the characteristics of mathematical logic course and the problems existing in the teaching process of applied-oriented undergraduate universities. We analyzes the reasons why students lack learning motivation， and proposed a teaching method ‘Stimulate interest， theory based， practice supplemented， the combine theory and practice. In this paper， we combining the knowledge points in this course with the knowledge points of other specialized courses in computer science， and thus make the students' interest in learning this course. Furthermore， we explain then the importance of this course and drawn out to maximize the creativity and subjective initiative of students. Lastly， this paper introduces some reform measures in the course of teaching Based on educational psychology. This paper provides a feasible discussion on the teaching of theoretical courses for computer majors in application-oriented universities.

Key words： mathematical logic， educational psychology， application-oriented university， teaching method， learning motivation

數(shù)理邏輯是計(jì)算機(jī)專業(yè)本科生的一門(mén)重要的核心基礎(chǔ)課程，是計(jì)算機(jī)專業(yè)其他課程的基礎(chǔ)，也是理解計(jì)算機(jī)專業(yè)課程與其他課程區(qū)別的一個(gè)重要標(biāo)志[1]。然而數(shù)理邏輯課程所講述的知識(shí)點(diǎn)不是一個(gè)實(shí)際的針對(duì)某一個(gè)具體的應(yīng)用。本課程因?yàn)楦拍畛橄?，推理?fù)雜，方法靈活等特點(diǎn)，學(xué)生在實(shí)際的學(xué)習(xí)、教師在課程講授的過(guò)程中都存在一些問(wèn)題，使得學(xué)生，特別是應(yīng)用型本科院校的學(xué)生，不能夠很好地掌握本門(mén)課程所講授的知識(shí)點(diǎn)，從而影響了本科生后續(xù)的專業(yè)課學(xué)習(xí)。

1 數(shù)理邏輯課程面臨的問(wèn)題

《數(shù)理邏輯》課程是學(xué)生從高中進(jìn)入大學(xué)后第一年第一學(xué)期學(xué)習(xí)的課程，是計(jì)算機(jī)專業(yè)其他專業(yè)課程的先導(dǎo)課程，目前一些應(yīng)用型本科院校教師在講授、學(xué)生在學(xué)習(xí)的過(guò)程中主要存在以下一些問(wèn)題：

1） 大學(xué)生學(xué)習(xí)自主性不強(qiáng)：在進(jìn)入大學(xué)之前，學(xué)生在高中階段接受的都是被動(dòng)式教育，老師會(huì)將這門(mén)課的重點(diǎn)、難點(diǎn)明確地告訴學(xué)生。并且通過(guò)大量的試題分析來(lái)考查學(xué)生對(duì)知識(shí)點(diǎn)的掌握情況。然而進(jìn)入大學(xué)以后，隨著老師講授方式的改變，大學(xué)生的學(xué)習(xí)習(xí)慣還沒(méi)有能夠及時(shí)的改變，導(dǎo)致了對(duì)課程的學(xué)習(xí)不足。

2） 課程難度大：數(shù)理邏輯課程涉及的知識(shí)點(diǎn)較多，且比較抽象。課程內(nèi)容包含命題邏輯系統(tǒng)，謂詞邏輯系統(tǒng)，邏輯演算系統(tǒng)，邏輯系統(tǒng)的公理體系[2]。數(shù)理邏輯有著概念抽象、推理獨(dú)特、方法靈活等特點(diǎn)。學(xué)生在高中階段沒(méi)有系統(tǒng)的專門(mén)針對(duì)邏輯課程的學(xué)習(xí)，特別是邏輯系統(tǒng)的概念對(duì)學(xué)生來(lái)說(shuō)特別的陌生。使得學(xué)生在學(xué)習(xí)的過(guò)程中，往往由于對(duì)所學(xué)知識(shí)點(diǎn)不夠清楚，從而會(huì)導(dǎo)致因?yàn)殡y度大，而學(xué)生不想學(xué)的現(xiàn)象。

3） 課程重要性的認(rèn)知不足：一些計(jì)算機(jī)專業(yè)的學(xué)生，特別是應(yīng)用型本科院校的學(xué)生，往往認(rèn)為計(jì)算機(jī)專業(yè)就是學(xué)好某幾門(mén)程序設(shè)計(jì)語(yǔ)言、數(shù)據(jù)庫(kù)、數(shù)據(jù)結(jié)構(gòu)的一些應(yīng)用型比較明顯的課程。特別是學(xué)生學(xué)習(xí)了某個(gè)程序設(shè)計(jì)語(yǔ)言課程后，能夠利用所學(xué)習(xí)的程序設(shè)計(jì)語(yǔ)言設(shè)計(jì)一個(gè)功能軟件，學(xué)生因此帶來(lái)的成就感比較強(qiáng)，對(duì)這些課程產(chǎn)生了強(qiáng)大的認(rèn)可度和歸屬感。學(xué)生因此認(rèn)為學(xué)好某一門(mén)程序設(shè)計(jì)語(yǔ)言就能夠在畢業(yè)的時(shí)候找到一份不錯(cuò)的工作。學(xué)生的學(xué)習(xí)功利性比較明顯，對(duì)一些理論課程，比如數(shù)理邏輯、算法設(shè)計(jì)與分析，的重要性認(rèn)識(shí)不足，往往忽略對(duì)該課程的學(xué)習(xí)。

4） 學(xué)校課程設(shè)置偏差：現(xiàn)在很多本科院校、特別是應(yīng)用型本科院校以最后學(xué)生的就業(yè)率、就業(yè)單位作為學(xué)校課程設(shè)置的目標(biāo)。這些應(yīng)用型本科院校往往重視學(xué)生對(duì)于某一具體課程的實(shí)踐能力，而忽略了學(xué)生對(duì)于計(jì)算機(jī)專業(yè)基礎(chǔ)的學(xué)習(xí)。在一些本科院校往往對(duì)數(shù)理邏輯這門(mén)課程不夠重視，甚至有些院校將數(shù)理邏輯這門(mén)課程作為選修課來(lái)開(kāi)設(shè)。在這個(gè)過(guò)程中，學(xué)生往往因?yàn)檎n程難度比較大，從而不選擇這門(mén)課。在老師層面，往往因?yàn)檎n程的理論性太強(qiáng)，導(dǎo)致有些老師不愿意開(kāi)設(shè)這門(mén)課程，或者在課程講授的過(guò)程中只講授一些基本的知識(shí)，使得課程的知識(shí)點(diǎn)沒(méi)有一個(gè)連貫的體系。

2 課程教學(xué)改革措施

根據(jù)上述分析的原因，結(jié)合作者本人多年一線講授這門(mén)課程的經(jīng)歷，本文提出“激發(fā)興趣、理論為主、實(shí)踐為輔、理實(shí)結(jié)合”的數(shù)理邏輯課程教學(xué)模式的改革措施，主要包含下面幾個(gè)方面.

1） 激發(fā)學(xué)習(xí)動(dòng)機(jī)，明確目標(biāo)

根據(jù)教育心理學(xué)的基本理論，動(dòng)機(jī)是一個(gè)人進(jìn)行某種社會(huì)活動(dòng)最根本的源泉。學(xué)習(xí)動(dòng)機(jī)的激發(fā)是指在一定的教育情境下，利用一定的誘因，使已形成的學(xué)習(xí)需要由潛在的狀態(tài)變?yōu)榛顒?dòng)的狀態(tài)，形成學(xué)習(xí)的積極性[3]。

為了培養(yǎng)學(xué)生的學(xué)習(xí)動(dòng)機(jī)。在課程講授的第一節(jié)課，應(yīng)該讓學(xué)生充分了解這門(mén)課程的重要性，了解數(shù)理邏輯課程是學(xué)生進(jìn)一步學(xué)習(xí)程序設(shè)計(jì)語(yǔ)言、操作系統(tǒng)、數(shù)據(jù)結(jié)構(gòu)、數(shù)據(jù)庫(kù)的課程的基礎(chǔ)。同時(shí)，對(duì)于以后想要繼續(xù)深造的同學(xué)，特別是繼續(xù)讀碩士、讀博士的同學(xué)更加要學(xué)習(xí)好這門(mén)課程，數(shù)理邏輯課程的學(xué)習(xí)會(huì)為同學(xué)們以后從事計(jì)算機(jī)科學(xué)某一特定領(lǐng)域的研究打下堅(jiān)實(shí)的基礎(chǔ)。

積極培養(yǎng)學(xué)生的學(xué)習(xí)本課程興趣。數(shù)理邏輯課程起源于哲學(xué)，而哲學(xué)更是和我們的生活息息相關(guān)。教師在授課的過(guò)程中一定要積極激發(fā)學(xué)生的興趣，特別是前幾節(jié)課的過(guò)程中更應(yīng)該積極開(kāi)發(fā)學(xué)生的學(xué)習(xí)興趣。根據(jù)教育學(xué)的理論，興趣的關(guān)注度往往是從一個(gè)人接觸要一個(gè)新事物的開(kāi)始時(shí)間段比較高，而如果一個(gè)人對(duì)某件事物失去了興趣，重新激發(fā)興趣需要一個(gè)漫長(zhǎng)的過(guò)程[3]。因此教師在第一節(jié)課的時(shí)候可以以生活中的一些實(shí)例來(lái)激發(fā)學(xué)生的興趣。比如，在課程的概述部分，可以以著名的“理發(fā)師理發(fā)悖論”，來(lái)激發(fā)學(xué)生的思考，從而以問(wèn)題抓住學(xué)生的學(xué)習(xí)興趣。

2） 理論為主，實(shí)踐為輔，理實(shí)結(jié)合

理論為主，數(shù)理邏輯首先是一門(mén)理論性很強(qiáng)的課程，在課程的講授過(guò)程中，要對(duì)數(shù)理邏輯課程要有一個(gè)完整的認(rèn)識(shí)，在此基礎(chǔ)上衍生教學(xué)內(nèi)容。數(shù)理邏輯這門(mén)課程一共包含模型論、集合論、遞歸論、證明論等內(nèi)容。其中模型論主要講述數(shù)理邏輯這門(mén)課程研究的內(nèi)容，集合論講述如何研究這些內(nèi)容，遞歸論講述研究推理，證明論研究前提和結(jié)論之間的關(guān)系。數(shù)理邏輯課程的重點(diǎn)是研究命題之間的推理關(guān)系。數(shù)理邏輯首先包含兩個(gè)方面的含義：語(yǔ)法、語(yǔ)義。數(shù)理邏輯就是研究語(yǔ)法、語(yǔ)義以及兩者之間關(guān)系的一門(mén)學(xué)科。數(shù)理邏輯中的命題都是從若干的公理演變過(guò)來(lái)的，系統(tǒng)化的語(yǔ)法就是從公理演化出來(lái)的一些證明。語(yǔ)義是指命題的真假、連接詞的含義等。利用一些基本的邏輯蘊(yùn)含關(guān)系，推理出想要的邏輯結(jié)果。命題系統(tǒng)的真假性、完備性就是描述語(yǔ)法和語(yǔ)義之間的關(guān)系。在課程授課的同時(shí)要詳細(xì)描述數(shù)理邏輯的研究?jī)?nèi)容，研究?jī)?nèi)容之間的關(guān)系，讓學(xué)生對(duì)所學(xué)的課程有個(gè)完備的知識(shí)體系。

理實(shí)結(jié)合，雖然數(shù)理邏輯課程是以理論為主的，但是在課程結(jié)束時(shí)，可以鼓勵(lì)有能力的同學(xué)利用所學(xué)習(xí)的理論知識(shí)去完成一些課程設(shè)計(jì)。比如可以設(shè)計(jì)一些詞法分析器、語(yǔ)法分析器來(lái)驗(yàn)證所命題公式的真假。通過(guò)理論與實(shí)踐相結(jié)合，能夠讓學(xué)生牢固地掌握所學(xué)習(xí)的知識(shí)，同時(shí)又能夠在實(shí)踐中運(yùn)用所學(xué)習(xí)的知識(shí)

教學(xué)實(shí)踐表明，以理論為主，輔以實(shí)踐，理實(shí)結(jié)合的教學(xué)方法，能夠讓學(xué)生充分地理解數(shù)理邏輯課程所講授內(nèi)容，理解課程的含義。利用現(xiàn)實(shí)生活中的各種實(shí)例能夠幫助同學(xué)們理清命題邏輯推理之間的關(guān)系，從而達(dá)到事半功倍的教學(xué)效果。

3） 運(yùn)用多種教學(xué)方法

有效地利用網(wǎng)絡(luò)資源和網(wǎng)絡(luò)課堂，隨著互聯(lián)網(wǎng)的發(fā)展，網(wǎng)絡(luò)上的資源越來(lái)越多，數(shù)理邏輯的課程資料在網(wǎng)絡(luò)上也很多。每本教材所講授的方式和重點(diǎn)都不一樣，往往我們上課所選擇的教材不能夠覆蓋所有內(nèi)容。因此，教師在上課的同時(shí)，可以告訴同學(xué)們一些其他學(xué)校的網(wǎng)絡(luò)課堂內(nèi)容，以供同學(xué)們?cè)趯W(xué)習(xí)的同時(shí)進(jìn)行參考。比如，中國(guó)科學(xué)研究院陸鐘萬(wàn)老師的網(wǎng)絡(luò)課堂程[4]，http：//video.1kejian.com/university/ggkc/12313/等等。另外，現(xiàn)在很多學(xué)校也開(kāi)設(shè)了自己的網(wǎng)絡(luò)課堂，將老師上課的PPT、教案、視頻都上傳到學(xué)校的網(wǎng)絡(luò)課堂服務(wù)器中，以便學(xué)生在課后可以通過(guò)這些學(xué)習(xí)資料進(jìn)行自學(xué)。利用網(wǎng)絡(luò)資源學(xué)習(xí)數(shù)理邏輯課程已經(jīng)成為學(xué)習(xí)本課程的一個(gè)重要手段。

3 結(jié)束語(yǔ)

數(shù)理邏輯是本科生教學(xué)中的一門(mén)基礎(chǔ)性的計(jì)算機(jī)專業(yè)課程，該課程對(duì)于計(jì)算機(jī)專業(yè)的本科生相當(dāng)重要，是其他專業(yè)課程的一個(gè)先導(dǎo)、基礎(chǔ)。同時(shí)，數(shù)理邏輯這門(mén)課程是一門(mén)理論性很強(qiáng)的邏輯推理課程。如何更好地講授這門(mén)課程的知識(shí)點(diǎn)是一個(gè)值得探討的問(wèn)題。需要學(xué)生、教師共同努力，本文所介紹的“激發(fā)興趣、理論為主、實(shí)踐為輔、理實(shí)結(jié)合”的教學(xué)思路是本課程教學(xué)改革過(guò)程中的一個(gè)有意義的探索。

參考文獻(xiàn)：

[1] 汪芳庭.數(shù)理邏輯[M].中國(guó)科學(xué)技術(shù)大學(xué)出版社，2010.

[2] 邢滔滔.數(shù)理邏輯[M].北京大學(xué)出版社，2008.

[3] 譚頂良.高等教育心理學(xué)[M].南京：河海大學(xué)出版社，2006.

[4] 陸鐘萬(wàn).中科院數(shù)理邏輯網(wǎng)絡(luò)講堂.中國(guó)科學(xué)院.