基于"數(shù)理邏輯"課程的教學(xué)特點(diǎn),利用現(xiàn)代教育技術(shù)的教學(xué)手段,解決按照傳統(tǒng)的教學(xué)方式講授"數(shù)理邏輯"課程中兩個比較突出的問題。從而提高學(xué)生們學(xué)習(xí)"數(shù)理邏輯"課程的興趣,提高學(xué)生們獨(dú)立思考、抽象思維和動手解決問題的能力,提高該課程的教學(xué)質(zhì)量。 

【文章來源】：中國大學(xué)教學(xué). 2018,(12)北大核心CSSCI

【文章頁數(shù)】：5 頁

【文章目錄】：
一、要解決的教學(xué)問題及目的
二、實(shí)驗(yàn)室的建設(shè)與發(fā)展
三、解決教學(xué)問題的方法
四、邏輯學(xué)習(xí)軟件LPL的應(yīng)用
    1. 用Boole解釋的后承關(guān)系
    2. 用Fitch展示的形式證明
    3. 用Tarski’s World構(gòu)造的反例



本文編號：3291290