Formal Methods in Computer Science
Game Theory: A Modeling Approach
Fundamentals of Linear Algebra
July 01, 2019
This graduate level text on first-order logic highlights the importance of this area as well as the abundance of results and some applications. The best-known of textbooks originated in an earlier era, and despite frequent updating by their authors, they reflect a general view and...
Jiacun Wang, William Tepfenhart
July 01, 2019
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and...
Neil R. Nicholson
May 07, 2019
Mathematics is and can be creative. The author describes writing proofs as a creative process. He writes at length about the “intuitive” level of knowing a definition. The importance of definitions is reiterated multiple times in the book. The author’s urges students to work to define their...
Richard Alan Gillman, David Housman
April 29, 2019
This is an introductory game theory book that quickly moves readers through the fundamental ideas of game theory to enable them to engage in creative modeling projects based on game theoretic concepts. The book is linear, as the chapters are not independent. Readers should be able to build simple...
April 01, 2019
This text is meant to be a hands-on lab manual that can be used in class everyday to guide the exploration of the theory and applications of linear algebra. For the most part, labs can be used individually or in a sequence. Each lab consists of and explanation of material with integrated exercises....
James R. Kirkwood, Bessie H. Kirkwood
March 15, 2019
This is the second of a two-part set of books for the undergraduate linear algebra sequence. The text is for the more advanced course taught in most mathematics departments. This course is based around matrix theory and focused on the theory of linear algebra. In addition to the chapters found in...
December 28, 2018
Fundamentals of Linear Algebra is like no other book on the subject. By following a natural and unified approach to the subject it has, in less than 250 pages, achieved a more complete coverage of the subject than books with more than twice as many pages. For example, the textbooks in use in the...
December 13, 2018
Elementary Differential Equations, Second Edition is written with the knowledge that there has been a dramatic change in the past century in how solutions to differential equations are calculated. However, the way the topic has been taught in introductory courses has barely changed to reflect...
Hung T. Nguyen, Carol L. Walker, Elbert A. Walker
November 28, 2018
A First Course in Fuzzy Logic, Fourth Edition is an expanded version of the successful third edition. It provides a comprehensive introduction to the theory and applications of fuzzy logic. This popular text offers a firm mathematical basis for the calculus of fuzzy concepts necessary for...
Jonathan L. Gross, Jay Yellen, Mark Anderson
November 06, 2018
Graph Theory and Its Applications, Third Edition is the latest edition of the international, bestselling textbook for undergraduate courses in graph theory, yet it is expansive enough to be used for graduate courses as well. The textbook takes a comprehensive, accessible approach to graph...
Douglas Robert Stinson, Maura Paterson
September 11, 2018
Through three editions, Cryptography: Theory and Practice, has been embraced by instructors and students alike. It offers a comprehensive primer for the subject’s fundamentals while presenting the most current advances in cryptography. The authors offer comprehensive, in-depth treatment of the...
David Hecker, Stephen Andrilli
August 09, 2018
Linear Methods: A General Education Course is expressly written for non-mathematical students, particularly freshmen taking a required core mathematics course. Rather than covering a hodgepodge of different topics as is typical for a core mathematics course, this text encourages students to explore...