Posted by **interes** at April 23, 2014

English | 2013 | ISBN: 1461436303 | 371 pages | PDF | 4,3 MB

A Logical Introduction to Proof is a unique textbook that uses a logic-first approach to train and guide undergraduates through a transition or “bridge” course between calculus and advanced mathematics courses. The author’s approach prepares the student for the rigors required in future mathematics courses and is appropriate for majors in mathematics, computer science, engineering, as well as other applied mathematical sciences.

Posted by **arundhati** at Oct. 6, 2013

2013 | ISBN: 1461436303 | 371 pages | PDF | 4,1 MB

Posted by **interes** at April 20, 2017

English | 2014 | ISBN: 145229027X | 408 pages | EPUB | 2 MB

Posted by **libr** at April 8, 2017

English | 2012 | ISBN: 0321816196 , 0321816196 | 432 pages | PDF | 20,6 MB

Posted by **thingska** at April 7, 2017

English | 2006 | ISBN: 1845110099, 9781845110093 | 300 Pages | PDF | 4.19 MB

Posted by **arundhati** at April 7, 2017

2008 | ISBN-10: 3764387238 | 202 pages | PDF | 1 MB

Posted by **thingska** at March 25, 2017

English | 2013 | ISBN: 1842278118 | 456 Pages | EPUB | 1.09 MB

Posted by **Sangviniy** at March 23, 2017

English | Oct. 14, 1994 | ISBN: 0387943323 | 148 Pages | PDF | 2.26 MB

The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting various examples, the author explores the limitations of effective computation via basic recursion theory. Self-reference and other methods are introduced as fundamental and basic tools for constructing and manipulating algorithms.

Posted by **naag** at March 22, 2017

2017 | English | ASIN: B06XS4D6F5 | 102 pages | PDF + EPUB (conv) | 0.5 Mb

Easy Linux For Beginners

Posted by **naag** at March 20, 2017

English | 5 Apr. 2017 | ISBN: 1484226372 | 288 Pages | EPUB | 2.61 MB

Learn the basics of test driven development (TDD) using Ruby. You will carry out problem domain analysis, solution domain analysis, designing test cases, and writing tests first. These fundamental concepts will give you a solid TDD foundation to build upon. Test Driven Development in Ruby is written by a developer for developers.