» książki » Mathematics - Logic
topmenu
 |
Foundations of Inductive Logic Programming
ISBN: 9783540629276 / Angielski / Miękka / 410 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Inductive Logic Programming is a young and rapidly growing field combining machine learning and logic programming. This self-contained tutorial is the first theoretical introduction to ILP; it provides the reader with a rigorous and sufficiently broad basis for future research in the area.
In the first part, a thorough treatment of first-order logic, resolution-based theorem proving, and logic programming is given. The second part introduces the main concepts of ILP and systematically develops the most important results on model inference, inverse resolution, unfolding, refinement... Inductive Logic Programming is a young and rapidly growing field combining machine learning and logic programming. This self-contained tutorial is the...
|
cena:
301,89 |
 |
Comprehensive Mathematics for Computer Scientists 2: Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
ISBN: 9783540208617 / Angielski / Miękka / 355 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two-volume textbook Comprehensive Mathematics for the Working Computer Scientist, of which this is the second volume, is a self-contained comprehensive presentation of mathematics including sets, numbers, graphs, algebra, logic, grammars, machines, linear geometry, calculus, ODEs, and special themes such as neural networks, Fourier theory, wavelets, numerical issues, statistics, categories, and manifolds. The concept framework is streamlined but defining and proving virtually everything. The style implicitly follows the spirit of recent topos-oriented theoretical computer science.... The two-volume textbook Comprehensive Mathematics for the Working Computer Scientist, of which this is the second volume, is a self-contained compr... |
cena:
301,89 |
 |
Mathematics of Discrete Structures for Computer Science
ISBN: 9783642298394 / Angielski / Twarda / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital circuit, a computer program or a new programming language, you need mathematics to be able to reason about the design -- its correctness, robustness and dependability. This book covers the foundational mathematics necessary for courses in computer science. The common approach to presenting mathematical concepts and operators is to define them in terms of properties they satisfy, and then based on...
Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical sys...
|
cena:
301,89 |
 |
Hypergeometric Summation: An Algorithmic Approach to Summation and Special Function Identities
ISBN: 9781447164630 / Angielski / Miękka / 279 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modern algorithmic techniques for summation, most of which were introduced in the 1990s, are developed here and carefully implemented in the computer algebra system Maple . The algorithms of Fasenmyer, Gosper, Zeilberger, Petkov ek and van Hoeij for hypergeometric summation and recurrence equations, efficient multivariate summation as well as q-analogues of the above algorithms are covered. Similar algorithms concerning differential equations are considered. An equivalent theory of hyperexponential integration due to Almkvist and Zeilberger completes the book. The... Modern algorithmic techniques for summation, most of which were introduced in the 1990s, are developed here and carefully implemented in the comput... |
cena:
301,89 |
 |
Concrete Semantics: With Isabelle/Hol
ISBN: 9783319105413 / Angielski / Twarda / 298 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle's structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on applications like compilers and program analysers. The distinguishing feature is that all the mathematics has been formalised in Isabelle and much of it is executable. Part I focusses on the details of proofs in Isabelle; Part II can be read even without...
Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and indu...
|
cena:
301,89 |
 |
A Cp-Theory Problem Book: Functional Equivalencies
ISBN: 9783319243832 / Angielski / Twarda / 727 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This fourth volume in Vladimir Tkachuk's series on Cp-theory gives reasonably complete coverage of the theory of functional equivalencies through 500 carefully selected problems and exercises. By systematically introducing each of the major topics of Cp-theory, the book is intended to bring a dedicated reader from basic topological principles to the frontiers of modern research. The book presents complete and up-to-date information on the preservation of topological properties by homeomorphisms of function spaces. An exhaustive theory of t-equivalent, u-equivalent...
This fourth volume in Vladimir Tkachuk's series on Cp-theory gives reasonably complete coverage of the theory of functional equivalencies throu...
|
cena:
301,89 |
 |
Deep Learning with Python: A Hands-On Introduction
ISBN: 9781484227657 / Angielski / Miękka / 226 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
301,89 |
 |
What Is Fundamental?
ISBN: 9783030113001 / Angielski / Twarda / 187 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
301,89 |
 |
Flexible Query Answering Systems: 14th International Conference, Fqas 2021, Bratislava, Slovakia, September 19-24, 2021, Proceedings
ISBN: 9783030869663 / Angielski / Miękka / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
301,89 |
 |
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
ISBN: 9783031249334 / Angielski / Twarda / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science; they are modeled in a formal language based on first-order logic which is sufficiently rich to express the core entities in whose correctness we are interested: mathematical theorems and algorithmic specifications. This formal language is the language of RISCAL, a...
This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them a...
|
cena:
301,89 |
 |
Advances in Brain Inspired Cognitive Systems: International Conference on Brain Inspired Cognitive Systems, Bics 2023, Kuala Lumpur, Malaysia, August
ISBN: 9789819714162 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
301,89 |
 |
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
ISBN: 9783031853517 / Angielski / Twarda / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order logic. It presents a practice-oriented logic called Alonzo that is based on Alonzo Church's formulation of simple type theory known as Church's type theory. Unlike traditional predicate logics, Alonzo admits undefined expressions. The book illustrates using Alonzo how simple type theory is...
This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about ...
|
cena:
301,89 |
 |
The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications
ISBN: 9780521708777 / Angielski / Miękka / 218 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to a minimum, no background in formal set-theory...
This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the m...
|
cena:
302,65 |
 |
Cause, Effect, and Everything in Between: An Introduction to Causal Inference
ISBN: 9780197801772 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
303,26 |
 |
Formal Logic
ISBN: 9781554812721 / Angielski / Miękka / 472 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An undergraduate text suitable for courses in symbolic logic. This title offers coverage of truth-functional and quantificational logic, as well as the basics of more advanced topics such as set theory and modal logic. Complex ideas are explained in plain language that doesn't presuppose any background in logic or maths, and derivation strategies are illustrated with examples.
An undergraduate text suitable for courses in symbolic logic. This title offers coverage of truth-functional and quantificational logic, as well as th...
|
cena:
303,42 |
 |
The Incompleteness Phenomenon
ISBN: 9781568810294 / Angielski / Twarda / 218 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Designed to be the foundation for a two-term course, this book investigates mathematical logic. The basic premise of mathematical logic is that every reasonable mathematical system is intrinsically incomplete. This premise forms the basis of Godel's famous incompleteness theorem.
Designed to be the foundation for a two-term course, this book investigates mathematical logic. The basic premise of mathematical logic is that every ...
|
cena:
303,61 |
 |
Swarm Intelligence & Fuzzy Systems
ISBN: 9781617289750 / Angielski / Miękka / 98 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Research has shown that swarm intelligence techniques and fuzzy logic are two useful tools for solving practical engineering problems. This book examines how each of these tools can be utilised for improving the performance of another.
Research has shown that swarm intelligence techniques and fuzzy logic are two useful tools for solving practical engineering problems. This book exami...
|
cena:
303,61 |
 |
Mathematical Reasoning: Analogies, Metaphors, and Images
ISBN: 9780805819793 / Angielski / Miękka / 392 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presents the latest research on how reasoning with analogies, metaphors, metonymies, and images can facilitate mathematical understanding. For math education, educational psychology, and cognitive science scholars.
Presents the latest research on how reasoning with analogies, metaphors, metonymies, and images can facilitate mathematical understanding. For math ed...
|
cena:
303,61 |
 |
The Principles of Inductive Logic
ISBN: 9780828402651 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presents a study of the principles of logic, with special emphasis on inference and induction.
Presents a study of the principles of logic, with special emphasis on inference and induction.
|
cena:
303,66 |
 |
Symbolic Logic
ISBN: 9780821841990 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. Intending to take his readers very much into his confidence: as he builds the theory, the author points out the alternative paths he might have taken, the alternative definitions he might have used, he shows what the implications of these alternatives are,
Intending to take his readers very much into his confidence: as he builds the theory, the author points out the alternative paths he might have taken,...
|
cena:
303,66 |
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
