Mathematical Logic and Its Applications 2020

by Vassily Lyubetsky, Vladimir Kanovei

DescriptionTable of ContentsDetailsHashtagsReport an issue

Book Description

The issue "Mathematical Logic and Its Applications 2020" contains articles related to the following three directions:

I. Descriptive Set Theory (3 articles). Solutions for long-standing problems, including those of A. Tarski and H. Friedman, are presented.

II. Exact combinatorial optimization algorithms, in which the complexity relative to the source data is characterized by a low, or even first degree, polynomial (1 article).

III. Applications of mathematical logic and the theory of algorithms (2 articles). The first article deals with the Jacobian and M. Kontsevich's conjectures, and algorithmic undecidability; for these purposes, non-standard analysis is used. The second article provides a quantitative description of the balance and adaptive resource of a human.

This open book is licensed under a Creative Commons License (CC BY-NC-ND). You can download Mathematical Logic and Its Applications 2020 ebook for free in PDF format (9.7 MB).

Table of Contents

Chapter 1
Models of Set Theory in which NonconstructibleReals First Appear at a Given Projective Level
Chapter 2
On the Δ 1 n Problem of Harvey Friedman
Chapter 3
On the 'Definability of Definable'Problem of Alfred Tarski
Chapter 4
Linear Time Additively Exact Algorithm for Transformation of Chain-Cycle Graphs for Arbitrary Costs of Deletions and Insertions
Chapter 5
Nonstandard Analysis, Deformation Quantization and Some Logical Aspects of (Non) Commutative Algebraic Geometry
Chapter 6
Physiological Balance of the Body: Theory, Algorithms, and Results

Book Details

Subject
Mathematics
Publisher
MDPI
Published
2021
Pages
198
Edition
1
Language
English
ISBN13
9783036507781
ISBN10
3036507787
ISBN13 Digital
9783036507798
ISBN10 Digital
3036507795
PDF Size
9.7 MB
License
CC BY-NC-ND

Book Hashtags

Related Books

Philosophical and Mathematical Logic
This book was written to serve as an introduction to logic, with in each chapter – if applicable – special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to classical logic, but to philosophical (modal, epistemic, deontic...
The Everyday Life of an Algorithm
This book begins with an algorithm - a set of IF...THEN rules used in the development of a new, ethical, video surveillance architecture for transport hubs. Readers are invited to follow the algorithm over three years, charting its everyday life. Questions of ethics, transparency, accountability and market value must be grasped by the algorithm in ...
Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on ...
Essentials of Business Analytics
This comprehensive edited volume is the first of its kind, designed to serve as a textbook for long-duration business analytics programs. It can also be used as a guide to the field by practitioners. The book has contributions from experts in top universities and industry. The editors have taken extreme care to ensure continuity across the chapters...
Business Math
Business Mathematics was written to meet the needs of a twenty-first century student. It takes a systematic approach to helping students learn how to think and centers on a structured process termed the PUPP Model (Plan, Understand, Perform, and Present). This process is found throughout the text and in every guided example to help students develop...
Tools and Algorithms for the Construction and Analysis of Systems
The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The tot...