» książki » Mathematics - Logic
 |
Nonclassical Logics and Information Processing: International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings
ISBN: 9783540557456 / Angielski / Miękka / 175 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume comprises the proceedings of the FirstAll-Berlin Workshop on Nonclassical Logics and InformationProcessing, held at the Free University of Berlin, November9-10, 1990.The scope of the ten papers in the volume is broad, coveringvarious different subfields of logic - particularlynonclassical logic - and its applications in artificialintelligence. The papers are grouped according to the fourmajor topics that emerged at the meeting: modal systems, logic programming, nonmonotonic logics, and proof theory.The classification is only a rough guide since the fourareas overlap considerably.
This volume comprises the proceedings of the FirstAll-Berlin Workshop on Nonclassical Logics and InformationProcessing, held at the Free University of...
|
cena:
140,86 |
 |
Stacs 86: 3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986
ISBN: 9783540160786 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
140,86 |
 |
Foundations of Equational Logic Programming
ISBN: 9783540515333 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Equations play a vital role in many fields. This book presents the foundations of equational logic programming. Generalizing logic programming by augmenting programs with a conditional equational theory, it defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting.
Equations play a vital role in many fields. This book presents the foundations of equational logic programming. Generalizing logic programming by augm...
|
cena:
140,86 |
 |
Ideal Spaces
ISBN: 9783540631606 / Angielski / Miękka / 150 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ideal spaces are a very general class of normed spaces of measurable functions, which includes e.g. Lebesgue and Orlicz spaces. Their most important application is in functional analysis in the theory of (usual and partial) integral and integro-differential equations. The book is a rather complete and self-contained introduction into the general theory of ideal spaces. Some emphasis is put on spaces of vector-valued functions and on the constructive viewpoint of the theory (without the axiom of choice). The reader should have basic knowledge in functional analysis and measure theory.
Ideal spaces are a very general class of normed spaces of measurable functions, which includes e.g. Lebesgue and Orlicz spaces. Their most important a...
|
cena:
140,86 |
 |
Deep Learning with Python: Learn Best Practices of Deep Learning Models with Pytorch
ISBN: 9781484253632 / Angielski / Miękka / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
140,86 |
 |
Formal Proofs in Maths: Book 1 First Order Algebra
ISBN: 9781514634448 / Angielski / Miękka / 122 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
141,61 |
 |
Mathematical Puzzles: Revised Edition
ISBN: 9781032708485 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
141,98 |
 |
Handbook of Epistemic Logic
ISBN: 9781848901582 / Angielski / Miękka / 676 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Epistemic logic and, more generally, logics of knowledge and belief, originated with philosophers such as Jaakko Hintikka and David Lewis in the early 1960s. Since then, such logics have played a significant role not only in philosophy, but also in computer science, artificial intelligence, and economics. This handbook reports significant progress in a field that, while more mature, continues to be very active. This book should make it easier for new researchers to enter the field, and give experts a chance to appreciate work in related areas.
The book starts with a gentle introduction... Epistemic logic and, more generally, logics of knowledge and belief, originated with philosophers such as Jaakko Hintikka and David Lewis in the early...
|
cena:
142,42 |
 |
Ifcolog Journal of Logics and their Applications. Special Issue Dedicated to the Memory of Grigory Mints. Volume 4, number 4
ISBN: 9781848902404 / Angielski / Miękka / 698 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The IfColog Journal of Logics and their Applications covers all areas of pure and applied logic, broadly construed. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of IfCoLoG (www.ifcolog.net). The IfColog Journal of Logics and their Applications covers all areas of pure and applied logic, broadly construed. This Journal is open access, an... |
cena:
142,42 |
 |
Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications: Volume 8, Issue 6, July 2021. Special Issue on Formal Argumentation: Volume 8, Issue 6, July 2021. : Volume 8, Issue 6
ISBN: 9781848903715 / Angielski / Miękka / 574 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
142,42 |
 |
Selected Topics from Contemporary Logics
ISBN: 9781848903500 / Angielski / Miękka / 858 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
142,42 |
 |
Logik: Grund- Und Aufbaukurs in Aussagen- Und Prädikatenlogik
ISBN: 9783110697148 / Niemiecki / Miękka / 447 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
142,54 |
 |
The Scientific Art of Logic
ISBN: 9781666749823 / Angielski / Miękka / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
142,58 |
 |
Design Patterns Für Mathematische Beweise: Ein Leitfaden Insbesondere Für Informatiker
ISBN: 9783662556511 / Niemiecki / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
142,92 |
 |
To Infinity and Beyond : A Cultural History of the Infinite
ISBN: 9780691025117 / Angielski / Miękka / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Eli Maor examines the role of infinity in mathematics and geometry and its cultural impact on the arts and sciences. He evokes the profound intellectual impact the infinite has exercised on the human mind--from the "horror infiniti" of the Greeks to the works of M. C. Escher; from the ornamental designs of the Moslems, to the sage Giordano Bruno, whose belief in an infinite universe led to his death at the hands of the Inquisition. But above all, the book describes the mathematician's fascination with infinity--a fascination mingled with puzzlement. "Maor explores the idea of infinity in... Eli Maor examines the role of infinity in mathematics and geometry and its cultural impact on the arts and sciences. He evokes the profound intelle... |
cena:
144,09 |
 |
Perspectives in Computation
ISBN: 9780226288550 / Angielski / Miękka / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computation is the process of applying a procedure or algorithm to the solution of a mathematical problem. Mathematicians and physicists have been occupied for many decades pondering which problems can be solved by which procedures, and, for those that can be solved, how this can most efficiently be done. In recent years, quantum mechanics has augmented our understanding of the process of computation and of its limitations.
"Perspectives in Computation" covers three broad topics: the computation process and its limitations, the search for computational efficiency, and the role of quantum... Computation is the process of applying a procedure or algorithm to the solution of a mathematical problem. Mathematicians and physicists have been occ...
|
cena:
144,35 |
 |
A Friendly Introduction to Mathematical Logic
ISBN: 9781942341079 / Angielski / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thinking. In this expansion of Leary's user-friendly 1st edition, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study. Updating the 1st Edition's treatment of languages, structures, and deductions, leading to rigorous proofs of Godel's First and Second Incompleteness...
At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thi...
|
cena:
144,59 |
 |
A Lambda Calculus Satellite
ISBN: 9781848904156 / Angielski / Miękka / 602 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
144,59 |
 |
Classification Theory. Second Edition with a new introduction
ISBN: 9781848904231 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
144,59 |
 |
The Many Sides of Logic
ISBN: 9781904987789 / Angielski / Miękka / 586 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The ``Many Sides of Logic is a volume containing a selection
of the papers delivered at three simultaneous events held between 11-17 May 2008 in Paraty, RJ, Brazil, continuing a tradition of three decades of Brazilian and Latin-American meetings and celebrating the 30th anniversary of an institution congenital with the mature interest for logic, epistemology and history of sciences in Brazil: CLE 30 - 30th Anniversary of the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (UNICAMP) XV EBL -15th Brazilian Logic Conference XIV SLALM - 14th... The ``Many Sides of Logic is a volume containing a selection
of the papers delivered at three simultaneous events held between 11-17 May 2008 ... |
cena:
144,59 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
