a Logical Introduction to Proof

A Logical Introduction to Proof (repost)  eBooks & eLearning

Posted by interes at April 23, 2014
A Logical Introduction to Proof (repost)

A Logical Introduction to Proof by Daniel W. Cunningham
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.

A Logical Introduction to Proof (repost)  eBooks & eLearning

Posted by arundhati at Oct. 6, 2013
A Logical Introduction to Proof (repost)

Daniel W. Cunningham, "A Logical Introduction to Proof"
2013 | ISBN: 1461436303 | 371 pages | PDF | 4,1 MB
Mirror for Humanity: A Concise Introduction to Cultural Anthropology, 7th edition (repost)

Mirror for Humanity: A Concise Introduction to Cultural Anthropology, 7th edition by Conrad Phillip Kottak
English | 2009 | ISBN: 0073531049 | 384 pages | PDF | 7,5 MB

Maven Quick Start A Fast Introduction to Maven by Example  eBooks & eLearning

Posted by naag at Feb. 25, 2017
Maven Quick Start A Fast Introduction to Maven by Example

Maven Quick Start A Fast Introduction to Maven by Example
MP4 | Video: AVC 1280x720 | Audio: AAC 44KHz 2ch | Duration: 3 Hours | Lec: 78 | 701 MB
Genre: eLearning | Language: English

A software engineer's starter guide to Apache Maven using step-by-step tutorials.

A Concise Introduction to Pure Mathematics, Fourth Edition  eBooks & eLearning

Posted by ksveta6 at Feb. 22, 2017
A Concise Introduction to Pure Mathematics, Fourth Edition

A Concise Introduction to Pure Mathematics, Fourth Edition by Martin Liebeck
2015 | ISBN: 149872292X | English | 317 pages | PDF | 2 MB

A Gentle Introduction to Stata, Fourth Edition (repost)  eBooks & eLearning

Posted by interes at Feb. 19, 2017
A Gentle Introduction to Stata, Fourth Edition (repost)

A Gentle Introduction to Stata, Fourth Edition by Alan C. Acock
English | 2014 | ISBN: 1597181420 | 500 pages | PDF | 6,4 MB
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press)

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press) by Adam Chlipala
English | Dec. 6, 2013 | ISBN: 0262026651 | 369 Pages | PDF | 4 MB

The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, emphasizing techniques that will help users to build, understand, and maintain large Coq developments and minimize the cost of code change over time.

A Brief Introduction to the Philosophy of Mind (Broadview Guides to Philosophy)  eBooks & eLearning

Posted by Nice_smile) at Feb. 15, 2017
A Brief Introduction to the Philosophy of Mind (Broadview Guides to Philosophy)

A Brief Introduction to the Philosophy of Mind (Broadview Guides to Philosophy) by Neil Campbell
English | 2005 | ISBN: 1551116170 | 224 Pages | PDF | 1.36 MB
Insight Through Computing: A MATLAB Introduction to Computational Science and Engineering(Repost)

Insight Through Computing: A MATLAB Introduction to Computational Science and Engineering by Charles F. Van Loan
English | 2010 | ISBN: 0898716918 | 452 Pages | PDF | 6.50 MB

Measure and Integration: A Concise Introduction to Real Analysis [Repost]  eBooks & eLearning

Posted by ChrisRedfield at Feb. 14, 2017
Measure and Integration: A Concise Introduction to Real Analysis [Repost]

Leonard F. Richardson - Measure and Integration: A Concise Introduction to Real Analysis
Published: 2009-07-07 | ISBN: 047025954X | PDF | 237 pages | 2.99 MB