Mathematics for Computer Science

Introduction to Theoretical Computer Science

This note covers Mathematical background, Computation and representation, Finite computation, Uniform computation, Efficient algorithms, Randomized computation and advanced topics.

Author(s): Boaz Barak

656 Pages

General computer science Lecture notes

This pdf provides a comprhensive overview about general computer science, provides examples and various related topics. The core of the course delves into the representation and computation with a focus on discrete mathematics. The subsequent section on programming delves into Standard ML, recursion and imperative features and encoding of programs as strings. The course progresses to Boolean algebra and Propositional logic and machineoriented calculi like analytical tableaux and resolution.

Author(s): Michael Kohlhase

179 Pages

CS Unplugged

This PDF covers the following topics related to Computer Science, Data the raw materialRepresenting information, Putting Computers to WorkAlgorithms, Telling Computers What To DoRepresenting Procedures, Really hard problemsIntractability, Sharing secrets and fighting crimeCryptography, The human face of computingInteracting with computers.

Author(s): Tim Bell, Ian H. Witten, Mike Fellows

243 Pages

Mathematics for Computer Science

This PDF covers the following topics related to Computer Science,Intro to Proofs, Well Ordering Principle, Logical Formulas, Mathematical Data Types, Induction, Recursive Data Types, Infinite Sets, Number Theory, Directed Graphs and Partial Orders, Communication Networks, Simple Graphs, Planar Graphs, Sums and Asymptotics, Cardinality Rules, Generating Functions, Events and Probability Spaces, Conditional Probability, Random Variables, Deviation From the Mean, Random Walks.

Author(s): Eric Lehman, F. Thomson Leighton, Alberty R. Meyer

427 Pages