Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Mathematics Of Computing (G) > General (G.0)  
  1-10 of 71 Reviews about "General (G.0)": Date Reviewed
  Syllogistic logic and mathematical proof
Mancosu P., Mugnai M., Oxford University Press, Oxford, England, 2023. 240 pp.  Type: Book (0198876920)

Philosophical reflection on scientific methodology has long explored whether our reasoning, including mathematical reasoning, aligns with the structures analyzed by formal logic. This enduring inquiry, deeply rooted in Aristotle’s works (suc...

Apr 26 2024
  Visual complex analysis (25th anniversary ed.)
Needham T., Penrose R., OXFORD UNIVERISTY PRESS, Oxford, UK, 2023. 675 pp.  Type: Book (9780192868923)

Complex analysis has always enhanced the learning of mathematics. The application of complex numbers in other fields has also been widely studied, independent of theoretical studies in mathematics and related subjects. This book looks at the geome...

Apr 1 2024
   Simple type theory: a practical logic for expressing and reasoning about mathematical ideas
Farmer W., BIRKHAUSER, Basel, Switzerland, 2023. 312 pp.  Type: Book (3031211138)

What has evolved from the famous century-old (Bertrand) Russell paradox and Russell’s consequent theory of types needs, in my opinion, all the useful elaboration, clarification, explication, and explanation that it can get. Any nontrivial ex...

Feb 16 2024
  Advances in data science
Demir I., Lou Y., Wang X., Welker K., Springer International Publishing, Cham, Switzerland, 2021. 384 pp.  Type: Book (978-3-030798-90-1)

Advances in data science, published as volume 26 in Springer’s “Association for Women in Mathematics” series, summarizes the results from two related workshops--the first one held at the Institute for Computational an...

Feb 21 2023
  Block Walsh-Hadamard transform based binary layers in deep neural networks
Pan H., Badawi D., Cetin A. ACM Transactions on Embedded Computing Systems 1(1): 1-26, 2022.  Type: Article

Convolution is a mathematical operation that calculates the integral of the product of two functions or signals with one of the signals flipped. Modern deep neural networks consider convolution as the core operation; it is a technique for function...

Jan 17 2023
   A first journey through logic
Hils M., Loeser F., AMERICAN MATHEMATICAL SOCIETY, Providence, RI, 2019. 185 pp.  Type: Book (978-1-470452-72-8)

I have, for years and to largely underwhelmed ears, preached without portfolio the risk of treating connotation as denotation. So “first journey” in this book’s title indicated, to me, a not-especially-deep ...

Aug 24 2022
   Mathematical foundations of big data analytics
Shikhman V., Müller D., Springer International Publishing, New York, NY, 2021. 288 pp.  Type: Book (978-3-662625-20-0), Reviews: (2 of 2)

Data science--and big data analytics as its most recent subdiscipline--is a fashionable research area and teaching subject. Many open-access libraries and source codes provide the opportunity to play with the availabl...

Aug 19 2022
   On the foundations of computing
Primiero G., Oxford University Press, Oxford, UK, 2020. 320 pp.  Type: Book (978-0-198835-65-3)

This enterprising, enthusiastic, and energetic book undertakes to provide a foundational perspective on three phases of modern computing: theory, architecture, and scientific exploration. The author considers these to be exhaustive, an...

Aug 12 2021
  Logical methods: the art of thinking abstractly and mathematically
Antonsen R., Springer, New York, NY, 2021. 304 pp.  Type: Book (978-3-030637-76-7)

The book, dedicated to undergraduate students just starting their studies, promises a basic grounding in mathematics to be used in computer science (CS) and the related scientific subjects....

Jul 27 2021
  randUTV: a blocked randomized algorithm for computing a rank-revealing UTV factorization
Martinsson P., Quintana-Ortí G., Heavner N. ACM Transactions on Mathematical Software 45(1): 1-26, 2019.  Type: Article

Matrix singular value decomposition (SVD) has broad applications in both computational linear algebra and data analysis. Robust SVD algorithms and sophisticated software implementations have been available in the literature for decades...

Jul 12 2021
Display per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy