A Mathematical Foundation for Computer Science,Preliminary Edition

mathematical foundation computer scienceA Mathematical Foundation for Computer Science,Preliminary Edition
by:David Mix Barrington
Release Finelybook 出版日期:2019
ISBN-13 书号:9781792405648
pages 页数:364
Language 语言:English
pages 页数:PDF
Size:223 Mb

Book Description
Undergraduate computer science students need to learn and use the mathematical method of abstraction,definition,and proof,perhaps even earlier than do mathematics students. They deal constantly with formally defined systems beyond those studied in mathematics courses,and must be able reason about them formally in order to write and understand programs.
A Mathematical Foundation for Computer Science introduces the mathematical method using examples from computer science,often illustrated by:Java-like code. It begins with propositional and predicate logic,introduces number theory,and deals thoroughly with mathematical induction as it relates to recursive definition and recursive algorithms. Later chapters cover combinatorics,probability,graphs and searching,finite-state machines,and a brief introduction to formal language theory.
Each chapter is divided into narrative sections,each with Exercises and Problems,and Excursion sections suitable for active learning exercises.
This preliminary edition includes the first four chapters,used as the textbook for the first half of a UMass course,COMPSCI 250. ​


下载地址:

A Mathematical Foundation for Computer Science,Preliminary Edition 9781792405648.pdf

觉得文章有用就打赏一下
未经允许不得转载:finelybook » A Mathematical Foundation for Computer Science,Preliminary Edition

评论 抢沙发

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址

觉得文章有用就打赏一下

非常感谢你的打赏,我们将继续给力更多优质内容,让我们一起创建更加美好的网络世界!

支付宝扫一扫打赏

微信扫一扫打赏