Logical and Compositional Foundations of AI: Proof, Semantics, Composition, and Verifiable Machine Reasoning
by Guangyu Wang
$38.99List $39.98Save 2%Paperback
In stock, ships in 1-2 business days
Free standard shipping on orders over $40. ISBN 9798907070400
1
Details
- Format
- Paperback
- ISBN-13
- 9798907070400
- Publisher
- Bestai Press
- Published
- September 28, 2026
- Pages
- 198
- Weight
- 9.6 oz
- Subject
- Mathematics
More by Guangyu Wang
All books
Causal Inference and Causal Learning for AI: Interventions, Identification, Counterfactuals, and Causal Decisions
Guangyu Wang
$38.99
Operator and Spectral Theory for AI: Operators, Spectra, Resolvents, Semigroups, and Infinite-Dimensional Learning
Guangyu Wang
$38.99
Algebraic Statistics and Singular Models for AI: Polynomial Models, Identifiability, Singular Learning, and Latent Geometry
Guangyu Wang
$38.99
Computational Linear Algebra and Tensor Methods for AI: Stability, Randomization, Low-Rank Structure, and Scalable Tensor Computation
Guangyu Wang
$38.99
Bayesian Inference and Uncertainty Quantification for AI: Posterior Learning, Predictive Guarantees, Calibration, and Reliable Decisions
Guangyu Wang
$38.99
Discrete Structures and Combinatorics for AI: Graphs, Symmetry, Relaxation, and the Limits of Learned Algorithms
Guangyu Wang
$38.99
Sequential Decision Making for AI: Interaction, Learning, Memory, and Control
Guangyu Wang
$38.99
Safety of Embodied AI and Autonomous Systems: Control, Safe Learning, Verification, and Runtime Assurance
Guangyu Wang
$38.99
Resilience of AI Systems: Detection, Containment, Recovery, and Re-entry
Guangyu Wang
$38.99
Training-Time Optimization of AI: Data, Dynamics, Scaling, and Post-Training
Guangyu Wang
$52.99
Deployment-Time Optimization of AI: Robustness, Compression, Evaluation, Inference, and Adaptive Environments
Guangyu Wang
$52.99
Scalable Oversight of AI Systems: Verification, Discriminating Power, and Safety Assurance
Guangyu Wang
$38.99
Popular in Mathematics
Browse Mathematics
Introduction to Data Science: Statistics and Prediction Algorithms Through Case Studies
Rafael A. Irizarry
$87.99
An Introduction to Applied Bayesian Methods
Gilbert W. Fellingham
$87.99
Introduction to Computational Engineering with MATLAB(R)
Timothy Bower
$112.99
From Scaling and Perturbation to Stability
Youssef N. Raffoul
$163.99
Lecture Notes on Functional Analysis
Paolo Acquistapace
$163.99
An Introduction to Metascience and the Critical Appraisal of Research: From First Principles to Complex Concepts
Alex Byrnes
$74.99
Computational Probability with Python: Theory, Simulation, and Actuarial Applications
Guojun Gan
$163.99
Math Mammoth Kindergarten Worktext A
Maria Miller
$17.99
The slide rule: a practical manual
Charles N. Pickworth
$18.99
Analysis of Correlated Data with SAS and R
Mohamed M. Shoukri
$192.99
Advances in Statistical Modeling and Financial Machine Learning
Amir Ahmad Dar
$206.99
Statistical Methods and Applications Using Quantiles
Marco Geraci
$163.99