欢迎来到天天文库
浏览记录
ID:39814457
大小:1.40 MB
页数:449页
时间:2019-07-11
《The Haskell Road%0Ato%0ALogic, Math and Programming%0A外文》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、TheHaskellRoadtoLogic,MathandProgrammingKeesDoetsandJanvanEijckMarch4,2004ContentsPrefacev1GettingStarted11.1StartinguptheHaskellInterpreter.................21.2ImplementingaPrimeNumberTest................31.3HaskellTypeDeclarations.....................81.4Iden
2、tifiersinHaskell........................111.5PlayingtheHaskellGame.....................121.6HaskellTypes............................171.7ThePrimeFactorizationAlgorithm.................191.8ThemapandfilterFunctions...................201.9HaskellEquationsandEquati
3、onalReasoning...........241.10FurtherReading...........................262TalkingaboutMathematicalObjects272.1LogicalConnectivesandtheirMeanings..............282.2LogicalValidityandRelatedNotions................382.3MakingSymbolicFormExplicit..................5
4、02.4LambdaAbstraction.........................582.5DefinitionsandImplementations..................602.6AbstractFormulasandConcreteStructures............612.7LogicalHandlingoftheQuantifiers................642.8QuantifiersasProcedures......................682.9Furth
5、erReading...........................703TheUseofLogic:Proof713.1ProofStyle.............................723.2ProofRecipes............................753.3RulesfortheConnectives......................783.4RulesfortheQuantifiers......................90iiiCONTENTS3.5S
6、ummaryoftheProofRecipes...................963.6SomeStrategicGuidelines.....................993.7ReasoningandComputationwithPrimes..............1033.8FurtherReading...........................1114Sets,TypesandLists1134.1Let'sTalkAboutSets........................1
7、144.2Paradoxes,TypesandTypeClasses.................1214.3SpecialSets.............................1254.4AlgebraofSets...........................1274.5PairsandProducts..........................1364.6ListsandListOperations......................1394.7ListComprehens
8、ionandDatabaseQuery.............1454.8UsingListstoRepresentSets....................1494.9ADataTypeforSets........................1534.10FurtherReading.......................
此文档下载收益归作者所有