Abstract Algebra Algebra Algebraic Geometry Algebraic Topology Applied Mathematics Arithmetic Geometry Basic Algebra Basic Mathematics Calculus Category Theory Classical Analysis Combinatorics Commutative Algebra Complex Algebra Complex Analysis Differential Algebra Differential Analysis Differential Calculus Differential Equations Differential Geometry Differential Topology Discrete Mathematics Elliptic Curves Fourier Analysis Functional Analysis Fractals Fractional Calculus Geometric Algebra Geometry Geometric Topology Groups Theory Graph Theory Harmonic Analysis Higher Algebra History of Mathematics Homological Algebra Integral Calculus K-theory Lie Algebra Linear Algebra Mathematical Analysis Mathematical Series Modern Geometry Multivairable Calculus Number Theory Numerical Analysis Probability Theory Real Analysis Rings and Fileds Riemannian Geometry Theorems in Calculus Topology Trigonometry Set Theory Constants & Numerical Sequences
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
95Pages
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
479Pages
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
112Pages
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
151Pages
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
NAPages
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
89Pages
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
NAPages
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
96Pages
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
NAPages
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
153Pages
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
390Pages
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
NAPages
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
224Pages
This note covers the following topics: Preliminaries, Counting and Permutations, Advanced Counting, Polya Theory, Generating Functions and Its Applications.
Author(s): A. K. Lal
111Pages
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
NAPages
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
139Pages
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
NAPages
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
74Pages
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
154Pages
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
NAPages
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
NAPages
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
NAPages
This note covers the following topics: Factorials , Binomial Theorem, Sequence and Series, Mathematical Induction.
Author(s): University of Southern Queensland
42Pages
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
NAPages
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
NAPages
Currently this section contains no detailed description for the page, will update this page soon.
Author(s): NA
NAPages
Currently this section contains no detailed description for the page, will update this page soon.
Author(s): NA
NAPages
