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 **arundhati** at Dec. 8, 2016

2016 | ISBN-10: 1498712185 | 308 pages | EPUB | 2 MB

Posted by **roxul** at Dec. 2, 2016

English | 2009 | ISBN: 1439800405 | 670 pages | PDF | 6 MB

Posted by **ksveta6** at Nov. 30, 2016

2016 | ISBN: 3319429353 | English | 323 pages | PDF | 10 MB

Posted by **MoneyRich** at Nov. 30, 2016

English | 2000 | ISBN: 0130107050 | ASIN: B007BNIXL2 | 241 Pages | PDF | 7 MB

This book covers the central topics of first-order mathematical logic in a way that can reasonably be completed in a single semester. FVom the core ideas of languages, structures, and deductions we move on to prove the Soundness and Completeness Theorems, the Compactness Theorem, and Godel's First and Second Incompleteness Theorems. There is an introduction to some topics in model theory along the way, but I have tried to keep the text tightly focused.

Posted by **tanas.olesya** at Nov. 12, 2016

English | 18 Jan. 2008 | ISBN: 0495503835 | 718 Pages | PDF | 9 MB

Tens of thousands of students have learned to be more discerning at constructing and evaluating arguments with the help of Patrick J. Hurley. Hurley's lucid, friendly, yet thorough presentation has made A CONCISE INTRODUCTION TO LOGIC the most widely used logic text in North America.

Posted by **AlenMiler** at Sept. 1, 2016

English | 25 Aug 2016 | ASIN: B01L1R0IIE | 243 Pages | PDF (True) | 21.56 MB

Scilab is open source software distributed under CeCILL license. Scilab is widely used in Engineering, Sciences and mathematics as a free tool. Scilab includes hundreds of mathematical functions.

Posted by **interes** at Dec. 28, 2014

English | 2014 | ISBN: 1292040246 | 365 pages | PDF | 6,3 MB

Posted by **AlenMiler** at Oct. 11, 2014

Springer; 2nd edition | August 1, 1998 | English | ISBN: 038797329X | 394 pages | DJVU | 5 MB

This well-developed, accessible text details the historical development of the subject throughout. It also provides wide-ranging coverage of significant results with comparatively elementary proofs, some of them new. This second edition contains two new chapters that provide a complete proof of the Mordel-Weil theorem for elliptic curves over the rational numbers and an overview of recent progress on the arithmetic of elliptic curves.