20150922094110_計算機(jī)科學(xué)導(dǎo)論-2015課程教學(xué)大綱doc

1、14上海交通大學(xué)上海交通大學(xué)致遠(yuǎn)學(xué)院致遠(yuǎn)學(xué)院2015年秋季學(xué)期年秋季學(xué)期《計算機(jī)科學(xué)導(dǎo)論》課程教學(xué)說明課程教學(xué)說明一.課程基本信息課程基本信息1開課學(xué)院（系）：致遠(yuǎn)學(xué)院2課程名稱：《計算機(jī)科學(xué)導(dǎo)論》(IntroductiontoComputerScience)3學(xué)時學(xué)分：48學(xué)時3學(xué)分4先修課程：無5上課時間：第1周第16周；星期二第6節(jié)第8節(jié)6上課地點：上院200室7任課教師：高曉沨（.）8辦公室及電話：電信群樓3號樓328室（342

2、07407）9助教：朱旭東（nongeek.zv@）和吳雙（steinsgate@sjtu.）10.Officehour：周五下午14:0016:00，電信群樓3328室二.課程主要內(nèi)容（中英文）課程主要內(nèi)容（中英文）第一章第一章計算機(jī)科學(xué)概論（計算機(jī)科學(xué)概論（OverviewofComputerScience）主要內(nèi)容：概述計算機(jī)科學(xué)發(fā)展歷史，了解現(xiàn)代計算機(jī)的發(fā)展和應(yīng)用領(lǐng)域，掌握計算機(jī)的特點，介紹計算機(jī)科學(xué)主要學(xué)科與課程內(nèi)容。重點與難

3、點：突出介紹計算機(jī)科學(xué)的起源與發(fā)展，強(qiáng)調(diào)計算機(jī)科學(xué)對技術(shù)的影響，闡述課程主要目標(biāo)。第二章第二章集合論，函數(shù)，關(guān)系（集合論，函數(shù)，關(guān)系（SetFunctionRelation）主要內(nèi)容：熟悉集合，函數(shù)，關(guān)系等基本概念及基本定理，并了解它們在計算機(jī)科學(xué)中的作用。重點與難點：集合悖論，關(guān)系演算，函數(shù)中的五個公理。第三章第三章基數(shù)基數(shù)勢（勢（Cardinality）主要內(nèi)容：學(xué)習(xí)基數(shù)及其中的基本概念，掌握與之相關(guān)的重要原理，并了解它們在計算機(jī)科

4、學(xué)中的作用。重點與難點：自然數(shù)，等勢，有限集無限集，鴿巢原理等。第四章第四章證明（證明（Proof）主要內(nèi)容：了解基本證明技巧，包括一般論述法、逆推法、反證法、數(shù)學(xué)歸納法等。重點與難點：理解皮亞諾公理與數(shù)學(xué)歸納法適用范圍，學(xué)會一般證明方法。第五章第五章邏輯（邏輯（Logic）34重點與難點：理解可計算的抽象意義、計算模型與可計算的問題三.課程教學(xué)進(jìn)度安排（擬定）課程教學(xué)進(jìn)度安排（擬定）Week教學(xué)內(nèi)容教學(xué)內(nèi)容作業(yè)作業(yè)課程實驗課程實驗1F

5、undamentalsSyllabusganizationIntroductiontoComputerScienceLab012SetFunctionRelationGradingPolicySetFunctionRelationetc.Lab02FixGroup3NationalHoliday.4CardinalityDefinitionHaltingproblemetcLab035ProofProofbyConstructionCo

6、ntrapositiveCasesInductionLab046Logic(1)EpistemiclogicMuddychildrenproblemPropositionallogicLab057Logic(2)FirstderLogicBooleanAlgebraCalculations.Lab068PseudoCodeProgrammingLanguageIfWhileFCaseLab089GraphGraphrepresentat

7、ionGraphcolingGraphisomphismetcLab0910PathEulerPathHamiltonianPathSimpleGraphLab1011TreeTreeBFSDFSSpanningTreeKruskalPrimetc.Lab1112DataStructureLinearListStackQueueArrayetc.Lab1213Algithms(1)GreedyAlgithmDynamicAlgithmD

8、ivideConquerLab1314Algithms(2)HeuristicAlgithmLocalSearchOptimizationetc.Lab1415ComputationalComplexityPNPReductionTimeComplexitySpaceComplexityetc.Lab15ProjectDemo四.課程考核方式及說明課程考核方式及說明課程內(nèi)容課程內(nèi)容百分比百分比期中考試25%期末考試25%課后作業(yè)30%課