The audience of this book includes computer science students who wish to gain a broad and accessible overview of formal methods and its applications to the computing ï¬Âeld. Thi…
Book by F.M. Dekking C. Kraaikamp H.P. Lopuhaa Ludolf Erwin Meester, 1 file
Probability and statistics are fascinating subjects on the interface between mathematics and applied sciences that help us understand and solve practical problems. We believe that…
Since the book combines techniques from many areas of linguistics, (theoretical) computational linguistics, (theoretical) computer science and mathematics, it may require some inte…
This textbook is designed to provide you with a basic reference for the topics within. That said, it cannot learn for you, nor can your instructor; ultimately, the responsibility f…
A Spiral Workbook for Discrete Mathematics covers the standard topics in a sophomore-level course in discrete mathematics: logic, sets, proof techniques, basic number theory, funct…
Book by Carl Edward Rasmussen Christopher K. I. Williams, 1 file
The goal of building systems that can adapt to their environments and learn from their experience has attracted researchers from many ï¬Âelds, including computer science, engine…
The analysis is the branch of mathematics that deals with inequalities and limits. The present course deals with the most basic concepts in analysis. The goal of the course is to a…
Foundations of Computation is a textbook for a one semester introductory course in theoretical computer science. It includes topics from discrete mathematics, automata theory, form…
The traditional high school and college mathematics sequence leading from algebra up through calculus could leave one with the impression that mathematics is all about algebraic ma…
This book may be different than other mathematics textbooks you have used since one of the main goals of this book is to help you to develop the ability to construct and write math…
While the publisher and the author have used their best efforts in preparing this book, they make no representations or warranties with respect to the accuracy or completeness of t…
This book illustrates mathematical techniques that a software engineer would need to develop a professional-quality 3D graphics engine. Particular attention is paid to the derivati…
Book by James M. Van Verth, Lars M. Bishop, 1 file
An interactive 3D application such as a game requires quite a large amount of code to do all of the many things asked of it. This includes representing the virtual world, animating…
The principal areas of math that you will encounter in programming, particularly for games, have to do with geometry and physics: geometry because you want to move things around on…
Book by Kaleem Siddiqi and Stephen M. Pizer, 1 file
The last half century has seen the development of many biological or physical theories that have explicitly or implicitly involved medial descriptions of objects and other spatial…