The Haskell Road%0Ato%0ALogic, Math and Programming%0A外文

The Haskell Road%0Ato%0ALogic, Math and Programming%0A外文

ID:39814457

大小:1.40 MB

页数:449页

时间:2019-07-11

The Haskell Road%0Ato%0ALogic, Math and Programming%0A外文_第1页
The Haskell Road%0Ato%0ALogic, Math and Programming%0A外文_第2页
The Haskell Road%0Ato%0ALogic, Math and Programming%0A外文_第3页
The Haskell Road%0Ato%0ALogic, Math and Programming%0A外文_第4页
The Haskell Road%0Ato%0ALogic, Math and Programming%0A外文_第5页
资源描述:

《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.......................

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。