Search
for Topics
All Reviews
Browse All Reviews
>
Mathematics Of Computing (G)
> General (G.0)
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
110 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 centuryold (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 (9783030798901)
Advances in data science
, published as volume 26 in Springer’s “Association for Women in Mathematics” series, summarizes the results from two related workshopsthe first one held at the Institute for Computational an...
Feb 21 2023
Block WalshHadamard transform based binary layers in deep neural networks
Pan H., Badawi D., Cetin A. ACM Transactions on Embedded Computing Systems 1(1): 126, 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 (9781470452728)
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 notespeciallydeep ...
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 (9783662625200), Reviews: (2 of 2)
Data scienceand big data analytics as its most recent subdisciplineis a fashionable research area and teaching subject. Many openaccess 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 (9780198835653)
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 (9783030637767)
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 rankrevealing UTV factorization
Martinsson P., QuintanaOrtí G., Heavner N. ACM Transactions on Mathematical Software 45(1): 126, 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
5
10
15
25
50
100
per page
Reproduction in whole or in part without permission is prohibited. Copyright 19992024 ThinkLoud
^{®}
Terms of Use

Privacy Policy