» książki » Mathematics - Logic
topmenu
 |
Laws and Explanations; Theories and Modal Possibilities
ISBN: 9783030188450 / Angielski / Twarda / 185 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
342,14 |
 |
Developments in Language Theory: 25th International Conference, Dlt 2021, Porto, Portugal, August 16-20, 2021, Proceedings
ISBN: 9783030815073 / Angielski / Miękka / 381 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
342,14 |
 |
Artificial General Intelligence: 14th International Conference, Agi 2021, Palo Alto, Ca, Usa, October 15-18, 2021, Proceedings
ISBN: 9783030937577 / Angielski / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 14th International Conference on Artificial General Intelligence, AGI 2021, held as a hybrid event in San Francisco, CA, USA, in October 2021.
The 36 full papers presented in this book were carefully reviewed and selected from 50 submissions. The papers cover topics from foundations of AGI, to AGI approaches and AGI ethics, to the roles of systems biology, goal generation, and learning systems, and so much more. This book constitutes the refereed proceedings of the 14th International Conference on Artificial General Intelligence, AGI 2021, held as a hybrid eve...
|
cena:
342,14 |
 |
Continuous Lattices and Their Applications
ISBN: 9780824773311 / Angielski / Miękka / 369 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
342,79 |
 |
Finite Automata
ISBN: 9780367394998 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
342,79 |
 |
Logic with a Probability Semantics: Including Solutions to Some Philosophical Problems
ISBN: 9781611460100 / Angielski / Twarda / 126 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The present study is an extension of the topic introduced in Dr. Hailperin's Sentential Probability Logic, where the usual true-false semantics for logic is replaced with one based more on probability, and where values ranging from 0 to 1 are subject to probability axioms. Moreover, as the word "sentential" in the title of that work indicates, the language there under consideration was limited to sentences constructed from atomic (not inner logical components) sentences, by use of sentential connectives ("no," "and," "or," etc.) but not including quantifiers ("for all," "there is"). An...
The present study is an extension of the topic introduced in Dr. Hailperin's Sentential Probability Logic, where the usual true-false semantics for lo...
|
cena:
342,85 |
 |
E-Recursion, Forcing and C*-Algebras
ISBN: 9789814602631 / Angielski / Twarda / 228 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
342,85 |
 |
Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Technology
ISBN: 9789811268533 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or supercomputers would not be possible without appropriate temporal calculi. In the age of digitalization and High-Tech applications, people are often not aware that temporal logic is deeply rooted in the philosophy of modalities. A deep understanding of these roots opens avenues to the modern calculi of temporal logic which have emerged by extension of modal logic with temporal operators. Computationally, temporal...
Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of...
|
cena:
342,85 |
 |
Mathematical Foundations of Information Sciences
ISBN: 9789811288883 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
342,85 |
 |
Surveys in Set Theory
ISBN: 9780521277334 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book comprises five expository articles and two research papers on topics of current interest in set theory and the foundations of mathematics. Articles by Baumgartner and Devlin introduce the reader to proper forcing. This is a development by Saharon Shelah of Cohen's method which has led to solutions of problems that resisted attack by forcing methods as originally developed in the 1960s. The article by Guaspari is an introduction to descriptive set theory, a subject that has developed dramatically in the last few years. Articles by Kanamori and Stanley discuss one of the most...
This book comprises five expository articles and two research papers on topics of current interest in set theory and the foundations of mathematics. A...
|
cena:
343,93 |
 |
The Core Model
ISBN: 9780521285308 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The core model, K, is a generalization of Godel's constructible universe of set theory; K is used to produce 'fine structural' results of a less restrictive kind. This book aims to introduce the core model to those with a basic knowledge of axiomatic set theory. The covering lemma for K is the main technical result but other applications are also considered. The author gives a full exposition of general fine structure and of iterated ultrapowers and concludes the work with a short section on the difficulties encountered in constructing more general core models using 'extenders'."
The core model, K, is a generalization of Godel's constructible universe of set theory; K is used to produce 'fine structural' results of a less restr...
|
cena:
343,93 |
 |
Fuzzy Sets, Fuzzy Logic and Their Applications
ISBN: 9783039285204 / Angielski / Miękka / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
344,89 |
 |
The Mathematical Olympiad Handbook: An Introduction to Problem Solving Based on the First 32 British Mathematical Olympiads 1965-1996
ISBN: 9780198501053 / Angielski / Miękka / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Begun in Hungary in the nineteenth century, Mathematical Olympiads are now held for high school students throughout the world. They feature problems which, though they require only high school mathematics, seem very difficult because they are unpredictable and have no obvious starting point. This book introduces readers to these delightful and challenging problems and aims to convince them that Olympiads are not just for a select minority. The book contains problems from the British Mathematical Olympiad (BMO) competitions between 1965 and 1996. It includes hints and solutions for each...
Begun in Hungary in the nineteenth century, Mathematical Olympiads are now held for high school students throughout the world. They feature problems w...
|
cena:
345,02 |
 |
The Double Mellin-Barnes Type Integrals and Their Application to Convolution Theory
ISBN: 9789810206901 / Angielski / Twarda / 308 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents new results in the theory of the double Mellin-Barnes integrals popularly known as the general H-function of two variables. A general integral convolution is constructed by the authors and it contains Laplace convolution as a particular case and possesses a facorization property for one-dimensional H-transform. Many examples of convolutions for classical integral transforms are obtained and they can be applied for the evaluation of series and integrals.
This book presents new results in the theory of the double Mellin-Barnes integrals popularly known as the general H-function of two variables. A gener...
|
cena:
347,74 |
 |
Computational Analysis of One-Dimensional Cellular Automata
ISBN: 9789810222215 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Cellular automata provide an interesting avenue into the study of complex systems in general, as well as having an intrinsic interest of their own. Because of their mathematical simplicity and representational robustness they have been used to model economic, political, biological, ecological, chemical, and physical systems. Almost any system which can be treated in terms of a discrete representation space in which the dynamics is based on local interaction rules can be modelled by a cellular automata. The aim of this book is to give an introduction to the analysis of cellular automata (CA)...
Cellular automata provide an interesting avenue into the study of complex systems in general, as well as having an intrinsic interest of their own. Be...
|
cena:
347,74 |
 |
Descriptive Complexity and Finite Models
ISBN: 9780821805176 / Angielski / Twarda / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. From the Preface: We hope that this small volume will suggest directions of synergy and contact for future researchers to build upon, creating connections and making discoveries that will help explain some of the many mysteries of computation. Finite model theory can be succinctly described as the study of logics on finite structures. It is an area of research existing between mathematical logic and computer science. This area has been developing through continuous interaction with computational complexity, database theory, and combinatorics. The volume presents articles by leading...
From the Preface: We hope that this small volume will suggest directions of synergy and contact for future researchers to build upon, creating connect...
|
cena:
347,74 |
 |
Introduction to Mathematical Logic (Extended Edition)
ISBN: 9789814719957 / Angielski / Twarda / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.Starting with the basics of set theory, induction and computability, it covers propositional and first order logic — their syntax, reasoning systems and semantics. Soundness and completeness results for Hilbert's and Gentzen's systems are presented, along with simple decidability arguments. The general applicability of various concepts and techniques is demonstrated by...
This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background an...
|
cena:
347,74 |
 |
Computational Complexity: A Conceptual Perspective
ISBN: 9780521884730 / Angielski / Twarda / 632 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book offers a comprehensive perspective to modern topics in complexity theory, which is a central field of the theoretical foundations of computer science. It addresses the looming question of what can be achieved within a limited amount of time with or without other limited natural computational resources. Can be used as an introduction for advanced undergraduate and graduate students as either a textbook or for self-study, or to experts, since it provides expositions of the various sub-areas of complexity theory such as hardness amplification, pseudorandomness and probabilistic proof...
This book offers a comprehensive perspective to modern topics in complexity theory, which is a central field of the theoretical foundations of compute...
|
cena:
349,66 |
 |
Tame Topology and O-Minimal Structures
ISBN: 9780521598385 / Angielski / Miękka / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Following their introduction in the early 1980s, o-minimal structures have provided an elegant and surprisingly efficient generalization of semialgebraic and subanalytic geometry. This book gives a self-contained treatment of the theory of o-minimal structures from a geometric and topological viewpoint, assuming only rudimentary algebra and analysis. It starts with an introduction and overview of the subject. Later chapters cover the monotonicity theorem, cell decomposition, and the Euler characteristic in the o-minimal setting and show how these notions are easier to handle than in ordinary...
Following their introduction in the early 1980s, o-minimal structures have provided an elegant and surprisingly efficient generalization of semialgebr...
|
cena:
349,66 |
 |
Algebraic Approaches to Program Semantics
ISBN: 9781461293774 / Angielski / Miękka / 353 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the 1930s, mathematical logicians studied the notion of "effective comput- ability" using such notions as recursive functions, A-calculus, and Turing machines. The 1940s saw the construction of the first electronic computers, and the next 20 years saw the evolution of higher-level programming languages in which programs could be written in a convenient fashion independent (thanks to compilers and interpreters) of the architecture of any specific machine. The development of such languages led in turn to the general analysis of questions of syntax, structuring strings of symbols which could...
In the 1930s, mathematical logicians studied the notion of "effective comput- ability" using such notions as recursive functions, A-calculus, and Turi...
|
cena:
350,20 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
