Posted by **hill0** at Feb. 7, 2017

English | 2 Mar. 2017 | ISBN: 3319516515 | 150 Pages | PDF | 1.88 MB

This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.

Posted by **Veslefrikk** at July 23, 2013

Birkhäuser Boston | 2008 | ISBN: 0817647627, 0817634533, 3764334533 | 166 pages | PDF | 10,1 MB

Posted by **Underaglassmoon** at Nov. 28, 2015

Springer | Mathematics | November 19, 2015 | ISBN-10: 3319227491 | 719 pages | pdf | 8.7 mb

by Ernst-Erich Doberkat (Author)

Displays the mathematical techniques with carefully constructed and rigorous approaches

Includes a variety of examples from diverse fields of mathematics and computer science

Features case studies to provide methods for research problems

Classroom tested exposition of the content

Posted by **interes** at Dec. 13, 2016

English | 2013 | ISBN: 1439875901 | 473 pages | PDF | 15 MB

Posted by **arundhati** at April 8, 2016

2007 | ISBN-10: 0470822457 | 240 pages | PDF | 5 MB

Posted by **libr** at Dec. 11, 2015

English | ISBN: 0130930474 | edition 2003 | PDF | 415 pages | 12,1 mb

Posted by **nebulae** at Nov. 18, 2015

English | ISBN: 0521879965 | 2008 | PDF | 368 pages | 3,2 MB

Posted by **tanas.olesya** at Nov. 16, 2015

English | 30 Sept. 1991 | ISBN: 0262660717 | 110 Pages | PDF | 8 MB

Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse.

Posted by **interes** at Nov. 16, 2015

English | ISBN: 1848213018 | 2011 | PDF | 544 pages | 5,1 MB

Posted by **tanas.olesya** at April 11, 2015

English | Feb 2003 | ISBN: 1852333197, 013564139X | 309 Pages | PDF/DJVU | 62/2 MB

This is a mathematics textbook with theorems and proofs. The choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates.