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

博观而约取，厚积而薄发。——苏轼

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

Inthischap