面向计算机科学的数理逻辑系统建模与推理英文原版第二版教学设计.pdf

TeachingDesignofModelingandReasoningin

MathematicalLogicforComputerScience

Introduction

MathematicalLogicisafundamentalbranchofmathematicsthat

studiesreasoningandinference.Itprovidesasystematicapproachto

reasoningandproblem-solvingthatcanbeappliedtovariousfields,

includingcomputerscience.Inthisteachingdesign,wewillbeusing

thesecondeditionoftheEnglishoriginaltextentitledModelingand

ReasoningwithMathematicalLogic:AnIntroductionforComputer

Scientists.

Themofthisteachingdesignistointroducestudentstothebasics

ofmathematicallogicanditsapplicationstocomputerscience.Wewill

covertopicssuchaspropositionallogic,predicatelogic,settheory,

andproofs.Inaddition,wewilluseexamplesandexercisesthatare

relevanttocomputerscience,suchasprogramminglanguagesemantics,

databases,andartificialintelligence.

CourseObjectives

Uponcompletionofthiscourse,studentsshouldbeableto:

1.theprinciplesofmathematicallogicanditsapplicationsin

computerscience.2.andreasonaboutvariousproblemsusing

propositionalandpredicatelogic.3.thebasicsofsettheoryandits

useinmodelingproblems.4.simpletheoremsusingmathematicalreasoning.

1

5.theprinciplesofmathematicallogicinprogramminglanguagesemantics,

databasedesign,andartificialintelligence.

CourseOutline

Chapter1:IntroductiontoMathematicalLogic

Inthischapter,wewillprovideabriefintroductionto

mathematicallogicanditshistory.Wewillalsointroducethesyntax

andsemanticsofpropositionallogic,includingtruthtablesandlogical

equivalence.

Chapter2:ReasoningwithPropositionalLogic

Inchapter2,wewillcoverthebasicsofreasoningwith

propositionallogic,includingdeductions,proofs,andtheresolution

method.Wewillals