From Stimulus to Science - stan bdb 9780674326361
ISBN: A780674326361 / Angielski / Miękka / 128 str. Termin realizacji zamówienia: ok. 1-3 dni roboczych Stan bardzo dobry - książka była czytana, ale jeszcze długo posłuży innym czytelnikom. Ma ślady używania - otwierania i kartkowania, rysy, zabrudzenia. Wygląda jak książka, którą wypożyczasz w bibliotece.
W. V. Quine is one of the most eminent philosophers alive today. Now in his mid-eighties he has produced a sharp, sprightly book that encapsulates the whole of his philosophical enterprise, including his thinking on all the key components of his epistemological stance--especially the value of logic and mathematics. New readers of Quine may have to go slowly, fathoming for... Stan bardzo dobry - książka była czytana, ale jeszcze długo posłuży innym czytelnikom. Ma ślady używania - otwierania i kartkowania, rysy, zab...
|
|
91,56 zł |
Laws of Form: A Fiftieth Anniversary
ISBN: 9789811247422 / Angielski / Twarda / 700 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
905,98 zł |
Modelling Nature: An Opinionated Introduction to Scientific Representation
ISBN: 9783030451554 / Angielski / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
426,04 zł |
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:
290,47 zł |
New Foundations for Information Theory: Logical Entropy and Shannon Entropy
ISBN: 9783030865511 / Angielski / Miękka / 128 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph offers a new foundation for information theory that is based on the notion of information-as-distinctions, being directly measured by logical entropy, and on the re-quantification as Shannon entropy, which is the fundamental concept for the theory of coding and communications. Information is based on distinctions, differences, distinguishability, and diversity. Information sets are defined that express the distinctions made by a partition, e.g., the inverse-image of a random variable so they represent the pre-probability notion of information. Then logical...
This monograph offers a new foundation for information theory that is based on the notion of information-as-distinctions, being directly measured by l...
|
|
cena:
251,74 zł |
Algebraic Perspectives on Substructural Logics
ISBN: 9783030521653 / Angielski / Miękka / 204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6). Held at the University of Cagliari, Italy, this event is part of the framework of the Horizon 2020 Project SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics. Substructural logics are usually formulated as Gentzen systems that lack one or more structural rules. They have been intensively studied over the past two decades by logicians of various persuasions.... This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Alg... |
|
cena:
426,04 zł |
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
ISBN: 9783030878818 / Angielski / Twarda / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker. I also give entry-level tutorials on the two software to help the reader get started. By the end of the book, the reader should be proficient in both software. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; automata...
This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of c...
|
|
cena:
232,37 zł |
Automata Theory and Formal Languages
ISBN: 9783110752274 / Angielski / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
268,19 zł |
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:
309,83 zł |
200 Classic Puzzles - 4 Levels - Easy to Expert
ISBN: 9781922695055 / Angielski / Miękka / 128 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
42,18 zł |
Relational Calculus for Actionable Knowledge
ISBN: 9783030924294 / Angielski / Twarda / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book focuses on one of the major challenges of the newly created scientific domain known as data science: turning data into actionable knowledge in order to exploit increasing data volumes and deal with their inherent complexity. Actionable knowledge has been qualitatively and intensively studied in management, business, and the social sciences but in computer science and engineering, its connection has only recently been established to data mining and its evolution, ‘Knowledge Discovery and Data Mining’ (KDD). Data mining seeks to extract interesting patterns from data, but,... This book focuses on one of the major challenges of the newly created scientific domain known as data science: turning data into actionable knowled... |
|
cena:
387,30 zł |
Algorithms: This book includes: Practical Guide to Learn Algorithms For Beginners + Design Algorithms to Solve Common Problems + A
ISBN: 9781955786348 / Angielski / Miękka / 600 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
251,33 zł |
Reasoning Web. Declarative Artificial Intelligence: 17th International Summer School 2021, Leuven, Belgium, September 8-15, 2021, Tutorial Lectures
ISBN: 9783030954802 / Angielski / Miękka / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge. As in the previous years, lectures in the summer school were given by a distinguished group of expert lecturers.
The broad theme of this year's summer school was again “Declarative Artificial Intelligence” and it covered various aspects of ontological... The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular int...
|
|
cena:
309,83 zł |
Wittgenstein's on Certainty: Insight and Method
ISBN: 9783030907839 / Angielski / Miękka / 120 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
251,74 zł |
Innerer Und Äusserer Differentialkalkül
ISBN: 9783112550519 / Niemiecki / Twarda / 52 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
475,99 zł |
Mathematics, Logic, and Their Philosophies: Essays in Honour of Mohammad Ardeshir
ISBN: 9783030536565 / Angielski / Miękka / 504 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
464,77 zł |
Architecture of Mathematics
ISBN: 9780367514242 / Angielski / Miękka / 394 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
238,09 zł |
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics
ISBN: 9783030665470 / Angielski / Miękka / 466 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is dedicated to the life and work of the mathematician Joachim Lambek (1922–2014). The editors gather together noted experts to discuss the state of the art of various of Lambek’s works in logic, category theory, and linguistics and to celebrate his contributions to those areas over the course of his multifaceted career. After early work in combinatorics and elementary number theory, Lambek became a distinguished algebraist (notably in ring theory). In the 1960s, he began to work in category theory, categorical algebra, logic, proof theory, and foundations... This book is dedicated to the life and work of the mathematician Joachim Lambek (1922–2014). The editors gather together noted experts to discuss... |
|
cena:
503,51 zł |
Building and Solving Mathematical Programming Models: 50 Practical Examples
ISBN: 9783030976255 / Angielski / Twarda / 379 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
426,04 zł |
Logical Methods
ISBN: 9780262544849 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
194,82 zł |