
Introduction to Finite Mathematics
Author:
John G. Kemeny, J. Laurie Snell, and Gerald L. Thompson
Language:
Contents: Compound Statements; Sets and counting problems; Probability theory; Vectors and matrices; Computer programming; Statistics; Linear programming and the theory of games; Applications to the . . . . . 
Computability and randomness
Author:
André Nies
Language:
 Contents: The complexity of sets; The descriptive complexity of strings; MartinLof randomness and its variants; Diagonally noncomputable functions; Lowness Properties and Ktriviality; Some advanced . . . . . 

A Short Course in Discrete Mathematics
Author:
Edward A. Bender & S. Gill Williamson
Language:
This textbook was used to teach twoquarter course sequence in discrete mathematics that includes Boolean arithmetic, combinatorics, elementary logic, induction, graph theory and finite probability in . . . . . 
Discrete Mathematics for Computer Science
Author:
Jean Gallier
Language:
Contents: Mathematical Reasoning, Proof Principles and Logic; Relations, Functions, Partial Functions; Some Counting Problems; Binomial Coefficients; Partial Orders and Equivalence Relations; Graphs . . . . . 
Discrete Mathematics
Author:
WWL Chen
Language:
Contents: LOGIC AND SETS; RELATIONS AND FUNCTIONS; THE NATURAL NUMBERS; DIVISION AND FACTORIZATION; LANGUAGES; FINITE STATE MACHINES; FINITE STATE AUTOMATA; TURING MACHINES; GROUPS AND MODULO ARITHMET . . . . . 
Computable integrability
Author:
Alexey Shabat and Elena Kartashova
Language:
Already in 19th century Euler and Lagrange established a mathematically satisfactory foundation of Newtonian mechanics. Hamilton developed analogous formulation of optics. Jacobi imported Hamilton’s i . . . . . 
Exploring RANDOMNESS
Author:
G J Chaitin, IBM Research
Language:
 This essential companion volume to CHAITIN's highly successful books The Unknowable and The Limits of Mathematics, also published by Springer, presents the technical core of his theory of programsize . . . . . 

Notes on Discrete Mathematics
Author:
Miguel A. Lerma
Language:
Contents: Logic, Proofs; Sets, Functions, Relations; Algorithms, Integers; Induction, Recurences; Counting; Probability; Graph Theory; Trees; Boolean Algebras; Automata, Grammars and Languages. 
Discrete Mathematics
Author:
László Lovász and Kati Vesztergombi
Language:
Contents: introduction; counting subsets; Pascal's triangle; Fibonacci numbers; Combinatorial Probability; Integers, divisors and primes; graphs; trees; finding the optimum; matching in graphs; grpahs . . . . . 
The Geometry and Topology of Groups
Author:
Brent Everitt
Language:
Contents:
1. Clockwork topology.
2. From 2complexes to groups.
3. From 2complexes to groups: more advanced features.
4. Presentations.
5. Fundamental groups of graphs.
6. Coverings and s . . . . . 
Discrete Mathematics 50% developed
Author:
Language:
Contents: Introductory discrete mathematics; Upperlevel discrete mathematics; Abstract algebra; 