The contents include: Mathematical Logic, Relations, Algebraic structures, Recurrence Relation, Graph Theory.
Author(s): Mrs. B Pravallika, Assistant Professor,Information Technology, Institute of Aeronautical Engineering
This book covers the following topics: Discrete Systems,Sets, Logic, Counting, Discrete Probability, Algorithms, Quantified Statements, Direct Proof, Proofs Involving Sets, Proving Non-Conditional Statements, Cardinality of Sets, Complexity of Algorithms.
Author(s): Richard Hammack
The aim of this note is to introduce fundamental concepts and techniques in set theory in preparation for its many applications in computer science. Topics covered includes: Mathematical argument, Sets and Logic, Relations and functions, Constructions on sets, Well-founded induction.
Author(s): Glynn Winskel
This note explains the following topics: Induction and Recursion, Steiner’s Problem, Boolean Algebra, Set Theory, Arithmetic, Principles of Counting, Graph Theory.
Author(s): Drew Armstrong
This note covers the following topics: Modeling in Mathematics, Ringing the Changes, RNA Secondary Structure, Football Pools, Mariner, Building Bicycles and Apportionment.
Author(s): Bill Cherowitzo
This lecture note describes the following topics: Sets and Notation, Induction, Proof Techniques, Divisibility, Prime Numbers, Modular Arithmetic, Relations and Functions, Mathematical Logic, Counting, Binomial Coefficients, The Inclusion-Exclusion Principle, The Pigeonhole Principle, Asymptotic Notation, Graphs, Trees, Planar Graphs.
Author(s): Vladlen Koltun
This note explains the following topics: positional and modular number systems, relations and their graphs, discrete functions, set theory, propositional and predicate logic, sequences, summations, mathematical induction and proofs by contradiction.
Author(s): William D Shoaff
This note covers the following topics: Logic, Asymptotic Notation, Convex Functions and Jensen’s Inequality, Basic Number Theory, Counting, Binomial coefficients, Graphs and Digraphs, Finite Probability Space, Finite Markov Chains.
Author(s): Laszlo Babai
This note covers the following topics: Boolean Logic, Sets, Predicate Logic, Sequences, Recursion, Mathematical Induction, Relations, Functions, Naming Systems, Number Systems, Proofs.
Author(s): William D Shoaff
This note covers the following topics: Sets, Functions and Relations, Proofs and Induction, Number Theory, Counting, Probability, Logic, Graphs, Finite Automata.
Author(s): Rafael Pass and Wei-Lung Dustin Tseng
This is a course note on discrete mathematics as used in Computer Science. Topics covered includes: Mathematical logic, Set theory, The real numbers, Induction and recursion, Summation notation, Asymptotic notation, Number theory, Relations, Graphs, Counting, Linear algebra, Finite fields.
Author(s): James Aspnes
This note explains the following topics: Arithmetic, Logic and Numbers, Boolean Functions and Computer Arithmetic, Number Theory and Cryptography, Sets, Equivalence and Order, Functions, Induction, Sequences and Series, Lists, Decisions and Graphs, Basic Counting and Listing, Decision Trees, Basic Concepts in Graph Theory.
Author(s): Edward A. Bender and S. Gill Williamson
This note covers the following topics: fundamentals of mathematical logic , fundamentals of mathematical proofs , fundamentals of set theory , relations and functions , introduction to the Analysis of Algorithms, Fundamentals of Counting and Probability Theory and Elements of Graph Theory.
Author(s): Marcel B. Finan, Arkansas Tech University
This note covers the following topics: Preliminaries, Counting and Permutations, Advanced Counting, Polya Theory, Generating Functions and Its Applications.
Author(s): A. K. Lal
The goal of this lecture note is to introduce students to ideas and techniques from discrete mathematics that are widely used in Computer Science. This note covers the following topics: Propositional logic, Induction, Strong induction, Structural induction, Proofs about algorithms, Algebraic algorithms, Number theory, RSA, Basics of counting, basic probability,Conditional probability, Linearity of expectation, variance.
Author(s): Mike Clancy, David Wagner
This note covers the following topics: induction, counting subsets, Pascal's triangle, Fibonacci numbers, combinatorial probability, integers divisors and primes, Graphs, Trees, Finding the optimum, Matchings in graphs, Graph coloring.
Author(s): L. Lovasz and K. Vesztergombi
This book consists of six units of study: Boolean Functions and Computer Arithmetic, Logic, Number Theory and Cryptography, Sets and Functions, Equivalence and Order, Induction, Sequences and Series. Each of this is divided into two sections. Each section contains a representative selection of problems. These vary from basic to more difficult, including proofs for study by mathematics students or honors students.
Author(s): Edward A. Bender and S. Gill Williamson
This note explains the following topics: Relations, Maps, Order relations, Recursion and Induction, Bounding some recurrences, Graphs, Lattices and Boolean Algebras.
Author(s): Hans Cuypers
This note covers the following topics: Logic, Proofs, Sets, Functions, Relations, Algorithms, Integers, Induction, Recurences, Counting, Probability, Graph Theory, Trees, Boolean Algebra, Automata, Grammars and Languages.
Author(s): Miguel A. Lerma
This note covers the following topics: Compound Statements, Sets and subsets, Partitions and counting, Probability theory, Vectors and matrices, Linear programming and the theory of games, Applications to behavioral science problems.
Author(s): John G. Kemeny, J. Laurie Snell, and Gerald L. Thompson
This note covers the following topics: Logic and Foundations, Proposition logic and quantifiers, Set Theory, Mathematical Induction, Recursive Definitions, Properties of Integers, Cardinality of Sets, Pigeonhole Principle, Combinatorial Arguments, Recurrence Relations.
Author(s): Dr. Gary MacGillivray
This note covers the following topics: Computation, Finite State Machines, Logic, SetsSet Theory, Three Theorems, Ordinals, Relations and Functions, Induction, Combinatorics, Algebra, Cellular Automata and FSRs.
Author(s): K. Sutner
This note covers the following topics: Factorials , Binomial Theorem, Sequence and Series, Mathematical Induction.
Author(s): University of Southern Queensland
This book explains the following topics: Arithmetic, The Greatest Common Divisor, Subresultants, Modular Techniques, Fundamental Theorem of Algebra, Roots of Polynomials, Sturm Theory, Gaussian Lattice Reduction, Lattice Reduction and Applications, Linear Systems, Elimination Theory, Groebner Bases, Bounds in Polynomial Ideal Theory and Continued Fractions.
Author(s): Chee Yap
This book explains the following topics: Computability, Initiation to Complexity Theory, The Turing Model: Basic Results, Introduction to the Class NP, Reducibilities, Complete Languages, Separation Results, Stochastic Choices, Quantum Complexity, Theory of Real Computation and Kolmogorov Complexity.
Author(s): Chee K. Yap
Currently this section contains no detailed description for the page, will update this page soon.
Author(s): NA
Currently this section contains no detailed description for the page, will update this page soon.
Author(s): NA