Trisakti Institute of Tourism Library
This open access book collects expert contributions on actuarial modelling and related topics, from machine learning to legal aspects, and reflects on possible insurance designs during an epidemic/pandemic. Starting by considering the impulse given by COVID-19 to the insurance industry and to actuarial research, the text covers compartment models, mortality changes during a pandemic, risk-shari…
This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics. The papers also explore how practitioners can implement Lorenzen’s systematical ideas in today’s debates on proof-theoretic semantics, dat…
Making up Numbers: A History of Invention in Mathematics offers a detailed but accessible account of a wide range of mathematical ideas. Starting with elementary concepts, it leads the reader towards aspects of current mathematical research. The book explains how conceptual hurdles in the development of numbers and number systems were overcome in the course of history, from Babylon to Classi…
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on …