Author : Anonim
Publisher : Unknown
Page : 960 pages
File Size : 44,9 Mb
Release : 1992
Category : Mathematics
ISBN : UCSD:31822015772411
Soviet Mathematics - Doklady
Anonim
Soviet Mathematics Doklady
Soviet Mathematics Doklady Book in PDF, ePub and Kindle version is available to download in english. Read online anytime anywhere directly from your device. Click on the download button below to get a free pdf file of Soviet Mathematics Doklady book. This book definitely worth reading, it is an incredibly well-written.
Handbook of Modal Logic
Patrick Blackburn,Johan F.A.K. van Benthem,Frank Wolter
Author : Patrick Blackburn,Johan F.A.K. van Benthem,Frank Wolter
Publisher : Elsevier
Page : 1260 pages
File Size : 43,9 Mb
Release : 2006-11-03
Category : Mathematics
ISBN : 0080466664
Handbook of Modal Logic by Patrick Blackburn,Johan F.A.K. van Benthem,Frank Wolter Pdf
The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for beginners approaching the subject for the first time, and advanced articles, which will help those already familiar with the field to deepen their expertise. Please visit: http://people.uleth.ca/~woods/RedSeriesPromo_WP/PubSLPR.html - Compact modal logic reference - Computational approaches fully discussed - Contemporary applications of modal logic covered in depth
Doklady
Anonim
Author : Anonim
Publisher : Unknown
Page : 338 pages
File Size : 49,7 Mb
Release : 2008
Category : Mathematics
ISBN : UOM:39015085195934
Doklady by Anonim Pdf
Soviet Mathematics
Anonim
Author : Anonim
Publisher : Unknown
Page : 878 pages
File Size : 43,6 Mb
Release : 1978
Category : Mathematics
ISBN : CORNELL:31924000976641
Soviet Mathematics by Anonim Pdf
The Situation in Soviet Mathematics
Anonim
Author : Anonim
Publisher : Unknown
Page : 38 pages
File Size : 53,7 Mb
Release : 1978
Category : Mathematics
ISBN : CORNELL:31924001415912
The Situation in Soviet Mathematics by Anonim Pdf
Selected Papers of E. B. Dynkin with Commentary
Evgeniĭ Borisovich Dynkin,Gary M. Seitz
Author : Evgeniĭ Borisovich Dynkin,Gary M. Seitz
Publisher : American Mathematical Soc.
Page : 834 pages
File Size : 55,8 Mb
Release : 2000
Category : Lie algebras
ISBN : 0821810650
Selected Papers of E. B. Dynkin with Commentary by Evgeniĭ Borisovich Dynkin,Gary M. Seitz Pdf
Eugene Dynkin is a rare example of a contemporary mathematician who has achieved outstanding results in two quite different areas of research: algebra and probability. In both areas, his ideas constitute an essential part of modern mathematical knowledge and form a basis for further development. Although his last work in algebra was published in 1955, his contributions continue to influence current research in algebra and in the physics of elementary particles. His work in probability is part of both the historical and the modern development of the topic. This volume presents Dynkin's scientific contributions in both areas. Included are Commentary by recognized experts in the corresponding fields who describe the time, place, role, and impact of Dynkin's research and achievements. Biographical notes and the recollections of his students are also featured.This book is jointly published by the AMS and the International Press.
Providing U.S. Scientists with Soviet Scientific Information
Boris Ivanovitch Gorokhoff
Author : Boris Ivanovitch Gorokhoff
Publisher : Unknown
Page : 52 pages
File Size : 50,6 Mb
Release : 1962
Category : Communication in science
ISBN : IND:30000124255419
Providing U.S. Scientists with Soviet Scientific Information by Boris Ivanovitch Gorokhoff Pdf
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
Alex Citkin,Ioannis M. Vandoulakis
Author : Alex Citkin,Ioannis M. Vandoulakis
Publisher : Springer Nature
Page : 319 pages
File Size : 53,5 Mb
Release : 2022-11-08
Category : Mathematics
ISBN : 9783031068430
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics by Alex Citkin,Ioannis M. Vandoulakis Pdf
This book is dedicated to V.A. Yankov’s seminal contributions to the theory of propositional logics. His papers, published in the 1960s, are highly cited even today. The Yankov characteristic formulas have become a very useful tool in propositional, modal and algebraic logic. The papers contributed to this book provide the new results on different generalizations and applications of characteristic formulas in propositional, modal and algebraic logics. In particular, an exposition of Yankov’s results and their applications in algebraic logic, the theory of admissible rules and refutation systems is included in the book. In addition, the reader can find the studies on splitting and join-splitting in intermediate propositional logics that are based on Yankov-type formulas which are closely related to canonical formulas, and the study of properties of predicate extensions of non-classical propositional logics. The book also contains an exposition of Yankov’s revolutionary approach to constructive proof theory. The editors also include Yankov’s contributions to history and philosophy of mathematics and foundations of mathematics, as well as an examination of his original interpretation of history of Greek philosophy and mathematics.
Mass Transportation Problems
Svetlozar T. Rachev,Ludger Rüschendorf
Author : Svetlozar T. Rachev,Ludger Rüschendorf
Publisher : Springer Science & Business Media
Page : 450 pages
File Size : 54,7 Mb
Release : 2006-05-09
Category : Mathematics
ISBN : 9780387227566
Mass Transportation Problems by Svetlozar T. Rachev,Ludger Rüschendorf Pdf
The first comprehensive account of the theory of mass transportation problems and its applications. In Volume I, the authors systematically develop the theory with emphasis on the Monge-Kantorovich mass transportation and the Kantorovich-Rubinstein mass transshipment problems. They then discuss a variety of different approaches towards solving these problems and exploit the rich interrelations to several mathematical sciences - from functional analysis to probability theory and mathematical economics. The second volume is devoted to applications of the above problems to topics in applied probability, theory of moments and distributions with given marginals, queuing theory, risk theory of probability metrics and its applications to various fields, among them general limit theorems for Gaussian and non-Gaussian limiting laws, stochastic differential equations and algorithms, and rounding problems. Useful to graduates and researchers in theoretical and applied probability, operations research, computer science, and mathematical economics, the prerequisites for this book are graduate level probability theory and real and functional analysis.
Russian Contributions to Game Theory and Equilibrium Theory
Theo S. H. Driessen,Gerard van der Laan,Valeri A. Vasil'ev,Elena Yanovskaya
Author : Theo S. H. Driessen,Gerard van der Laan,Valeri A. Vasil'ev,Elena Yanovskaya
Publisher : Springer Science & Business Media
Page : 252 pages
File Size : 54,7 Mb
Release : 2006-05-21
Category : Business & Economics
ISBN : 9783540320616
Russian Contributions to Game Theory and Equilibrium Theory by Theo S. H. Driessen,Gerard van der Laan,Valeri A. Vasil'ev,Elena Yanovskaya Pdf
The purpose of this book is to report to the international readership on the sophisticated research by Russian game theorists during the two decades 1968 - 1988. The book includes a collection of contributions in game theory and the related field of equilibrium theory which never had been published in English before. A short historical survey on the development of game theory in the USSR before 1990 is given in the introduction.
Nearly Projective Boolean Algebras
Lutz Heindorf,Leonid B. Shapiro
Author : Lutz Heindorf,Leonid B. Shapiro
Publisher : Springer
Page : 210 pages
File Size : 46,9 Mb
Release : 2006-11-14
Category : Mathematics
ISBN : 9783540491019
Nearly Projective Boolean Algebras by Lutz Heindorf,Leonid B. Shapiro Pdf
The book is a fairly complete and up-to-date survey of projectivity and its generalizations in the class of Boolean algebras. Although algebra adds its own methods and questions, many of the results presented were first proved by topologists in the more general setting of (not necessarily zero-dimensional) compact spaces. An appendix demonstrates the application of advanced set-theoretic methods to the field. The intended readers are Boolean and universal algebraists. The book will also be useful for general topologists wanting to learn about kappa-metrizable spaces and related classes. The text is practically self-contained but assumes experience with the basic concepts and techniques of Boolean algebras.
Automata, Languages and Programming
Andrzej Lingas,Rolf Karlsson
Author : Andrzej Lingas,Rolf Karlsson
Publisher : Springer Science & Business Media
Page : 716 pages
File Size : 43,9 Mb
Release : 1993-06-23
Category : Computers
ISBN : 3540569391
Automata, Languages and Programming by Andrzej Lingas,Rolf Karlsson Pdf
The International Colloquium on Automata, Languages and Programming (ICALP) is an annual conference series sponsored by the European Association for Theoretical Computer Science (EATCS). It is intended to cover all important areas of theoretical computer science, such as: computability, automata,formal languages, term rewriting, analysis of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logicprogramming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, and theory of robotics. This volume contains the proceedings of ICALP 93, held at LundUniversity, Sweden, in July 1993. It includes five invited papers and 51 contributed papers selected from 151 submissions.
Boolean Functions
Yves Crama,Peter L. Hammer
Author : Yves Crama,Peter L. Hammer
Publisher : Cambridge University Press
Page : 711 pages
File Size : 44,9 Mb
Release : 2011-05-16
Category : Mathematics
ISBN : 9781139498630
Boolean Functions by Yves Crama,Peter L. Hammer Pdf
Written by prominent experts in the field, this monograph provides the first comprehensive, unified presentation of the structural, algorithmic and applied aspects of the theory of Boolean functions. The book focuses on algebraic representations of Boolean functions, especially disjunctive and conjunctive normal form representations. This framework looks at the fundamental elements of the theory (Boolean equations and satisfiability problems, prime implicants and associated short representations, dualization), an in-depth study of special classes of Boolean functions (quadratic, Horn, shellable, regular, threshold, read-once functions and their characterization by functional equations) and two fruitful generalizations of the concept of Boolean functions (partially defined functions and pseudo-Boolean functions). Several topics are presented here in book form for the first time. Because of the depth and breadth and its emphasis on algorithms and applications, this monograph will have special appeal for researchers and graduate students in discrete mathematics, operations research, computer science, engineering and economics.
Hearings, Reports, Public Laws
United States. Congress. House. Committee on Education and Labor
Author : United States. Congress. House. Committee on Education and Labor
Publisher : Unknown
Page : 2970 pages
File Size : 44,9 Mb
Release : 1967
Category : Educational law and legislation
ISBN : UCAL:B4437656