阿德萊德大學(xué)邏輯學(xué)導(dǎo)論的考試知識(shí)點(diǎn)有總結(jié)嗎？我們快考試了

老師，我們邏輯學(xué)導(dǎo)論這門(mén)課快考試了，我還沒(méi)開(kāi)始復(fù)習(xí)，我感覺(jué)這門(mén)課的知識(shí)點(diǎn)又多又雜，不太好拿捏，老師能不能幫忙總結(jié)一下知識(shí)點(diǎn)？我還有挺多問(wèn)題想問(wèn)的，老師都能解答嗎？

最佳答案

課程顧問(wèn)-小管家 2023-04-27 12:10:57
立即咨詢

　　阿德萊德大學(xué)邏輯學(xué)導(dǎo)論這門(mén)課介紹了形式邏輯的基礎(chǔ)知識(shí)，考試側(cè)重于符號(hào)語(yǔ)言和邏輯，以及演繹推理的精確模型。考試涵蓋的知識(shí)點(diǎn)如下：
　　1、集合和函數(shù)
　　2、命題演算及其語(yǔ)義
　　3、狀態(tài)描述、析取范式和表達(dá)完整性
　　4、SC替換
　　5、反例測(cè)試有效性
　　6、緊性定理
　　7、SC推導(dǎo)、SC完整性、SC翻譯
　　8、等價(jià)物替換
　　9、一元謂詞演算及其推導(dǎo)和完整性
　　10、謂詞演算及其推導(dǎo)
　　因?yàn)檎n程的重點(diǎn)是現(xiàn)代符號(hào)邏輯，所以同學(xué)應(yīng)該著重復(fù)習(xí)以下內(nèi)容：
　　1、用符號(hào)表示語(yǔ)句和參數(shù)的結(jié)構(gòu)。
　　2、使用真值表和自然演繹評(píng)估有效性。
　　3、應(yīng)用特定方法解釋和評(píng)估現(xiàn)實(shí)世界。
　　4、使用符號(hào)邏輯方法進(jìn)行測(cè)試。
　　5、闡述邏輯結(jié)構(gòu)觀點(diǎn)。
　　邏輯學(xué)導(dǎo)論這門(mén)課的考試還涉及到很多細(xì)節(jié)性的內(nèi)容，如果同學(xué)想進(jìn)一步了解考試相關(guān)情況，可以和我們的澳洲課程輔導(dǎo)老師深入溝通，老師會(huì)為同學(xué)逐一介紹。