Logic For Computer Scientists

Logic for Computer Scientists (repost)  eBooks & eLearning

Posted by roxul at April 12, 2017
Logic for Computer Scientists (repost)

Uwe Schöning, "Logic for Computer Scientists"
2010 | ISBN-10: 0817645721 | 236 pages | PDF | 2 MB
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science) by Mauricio Ayala-Rincón
English | 2 Mar. 2017 | ISBN: 3319516515 | 150 Pages | EPUB | 0.1 MB
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science)

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science) by Mauricio Ayala-Rincón
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.

Logic for Computer Scientists (repost)  eBooks & eLearning

Posted by Veslefrikk at July 23, 2013
Logic for Computer Scientists (repost)

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

Special Topics in Mathematics for Computer Scientists  eBooks & eLearning

Posted by Underaglassmoon at Nov. 28, 2015
Special Topics in Mathematics for Computer Scientists

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures
Springer | Mathematics | November 19, 2015 | ISBN-10: 3319227491 | 719 pages | pdf | 8.7 mb

by Ernst-Erich Doberkat (Author)
Provides a systematic and accessible treatment of useful topics for theoretical computer scientists
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

Probability and Statistics for Computer Scientists, Second Edition (repost)  eBooks & eLearning

Posted by interes at Dec. 13, 2016
Probability and Statistics for Computer Scientists, Second Edition (repost)

Probability and Statistics for Computer Scientists, Second Edition by Michael Baron
English | 2013 | ISBN: 1439875901 | 473 pages | PDF | 15 MB
Communications Engineering: Essentials for Computer Scientists and Electrical Engineers

Richard Chia Tung Lee, Mao-Ching Chiu, "Communications Engineering: Essentials for Computer Scientists and Electrical Engineers"
2007 | ISBN-10: 0470822457 | 240 pages | PDF | 5 MB
Data Communications and Computer Networks: For Computer Scientists and Engineers (repost)

Michael Duck, Richard Read, "Data Communications and Computer Networks: For Computer Scientists and Engineers"
English | ISBN: 0130930474 | edition 2003 | PDF | 415 pages | 12,1 mb

Quantum Computing for Computer Scientists (Repost)  eBooks & eLearning

Posted by nebulae at Nov. 18, 2015
Quantum Computing for Computer Scientists (Repost)

Noson S. Yanofsky, Mirco A. Mannucci, "Quantum Computing for Computer Scientists"
English | ISBN: 0521879965 | 2008 | PDF | 368 pages | 3,2 MB

Basic Category Theory for Computer Scientists [Repost]  eBooks & eLearning

Posted by tanas.olesya at Nov. 16, 2015
Basic Category Theory for Computer Scientists [Repost]

Basic Category Theory for Computer Scientists by Benjamin C. Pierce
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.