Mathematics for Computer Science

Think Python

This book contains below topics, The way of the program, Variables, expressions, and statements, Functions, Conditionals and recursion, Iteration, Strings, Lists, dictionaries, and tuples, Files, Classes and objects, Classes and methods, Inheritance.

Author(s): Allen B. Downey, Green Tea Press

244 Pages

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

Logic for Computer Science Lecture Notes

This lecture note covers introduction, Informal Propositional Logic, The Formal Syntax of Propositional Logic,Functions Defined Recursively on PL, Semantics of Propositional Logic, Logical Connectives, Natural Deduction, Normal Forms and Resolution in Propositional Logic.

Author(s): Alexandru Ioan Cuza University

84 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