Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Thinking about Contradictions
This volume examines the entire logical and philosophical production of Nicolai A. Vasil’ev, studying his life and activities as a historian and man of letters. Readers will gain a comprehensive understanding of this influential Russian logician, philosopher, psychologist, and poet. The author frames Vasil’ev’s work within its historical and cultural context. He takes into consideration both the situation of logic in Russia and the state of logic in Western Europe, from the end of the 19th century to the beginning of the 20th. Following this, the book considers the attempts to develop non-Aristotelian logics or ideas that present affinities with imaginary logic. It then looks at the contribution of traditional logic in elaborating non-classical ideas. This logic allows the author to deal with incomplete objects just as imaginary logic does with contradictory ones. Both logics are objects of interesting analysis by modern researchers. This volume will appeal to graduate students and scholars interested not only in Vasil’ev’s work, but also in the history of non-classical logics.
The Logical Legacy of Nikolai Vasiliev and Modern Logic
This volume offers a wide range of both reconstructions of Nikolai Vasiliev’s original logical ideas and their implementations in the modern logic and philosophy. A collection of works put together through the international workshop "Nikolai Vasiliev’s Logical Legacy and the Modern Logic," this book also covers foundations of logic in the light of Vasiliev’s contradictory ontology. Chapters range from a look at the Heuristic and Conceptual Background of Vasiliev's Imaginary Logic to Generalized Vasiliev-style Propositions. It includes works which cover Imaginary and Non-Aristotelian Logics, Inconsistent Set Theory and the Expansion of Mathematical Thinking, Plurivalent Logic, and the I...
Information Technology for Management: Business and Social Issues
This book constitutes revised selected and extended papers presented at track 4 on "Advances in Information Systems and Technologies" of the Conference on Computer Science and Intelligence Systems, FedCSIS 2021, which was held online during September 2–5, 2021. The FedCSIS Track 4 included AIST 2021, DSH 2021, ISM 2021, and KAM 2021. For this track, a total of 30 submissions was received from which a 7 full papers and 1 short papers were accepted for publication in this volume. The papers were organized in topical sections named as follows: Approaches to improving management systems; solutions to social issues; methods for supporting business and society.
Intelligent Decision Technologies 2017
The volume presents a collection of peer-reviewed articles from the 9th KES International Conference on Intelligent Decision Technologies (KES-IDT-17), held in Vilamoura, Algarve, Portugal on 21–23 June 2017. The conference addressed critical areas of computer science, as well as promoting knowledge transfer and the generation of new ideas in the field of intelligent decision making, project management and data analysis. The range of topics addressed includes methods of classification, prediction, data analysis, decision support, modeling, social media and many more in such diverse areas as finance, linguistics, management and transportation.
Formal Methods in Manufacturing Systems: Recent Advances
Evolving technologies in mass production have led to the development of advanced techniques in the field of manufacturing. These technologies can quickly and effectively respond to various market changes, necessitating processes that focus on small batches of multiple products rather than large, single-product lines. Formal Methods in Manufacturing Systems: Recent Advances explores this shifting paradigm through an investigation of contemporary manufacturing techniques and formal methodologies that strive to solve a variety of issues arising from a market environment that increasingly favors flexible systems over traditional ones. This book will be of particular use to industrial engineers and students of the field who require a detailed understanding of current trends and developments in manufacturing tools. This book is part of the Advances in Civil and Industrial Engineering series collection.
Security in Computing and Communications
This book constitutes the refereed proceedings of the 4th International Symposium on Security in Computing and Communications, SSCC 2016, held in Jaipur, India, in September 2016. The 23 revised full papers presented together with 16 short papers and an invited paper were carefully reviewed and selected from 136 submissions. The papers are organized in topical sections on cryptosystems, algorithms, primitives; security and privacy in networked systems; system and network security; steganography, visual cryptography, image forensics; applications security.
Intelligent Decision Technologies
This book contains selected papers from the KES-IDT-2021 conference, being held as a virtual conference in June 14–16, 2021. The KES-IDT is an interdisciplinary conference with opportunities for the presentation of new research results and discussion about them under the common title "Intelligent Decision Technologies". The conference has been creating for years a platform for knowledge transfer and the generation of new ideas in the field of intelligent decision making. The range of topics discussed during the conference covered methods of classification, prediction, data analysis, big data, decision support, knowledge engineering, modeling, social networks and many more in areas such as ...
