» książki » Mathematics - Logic
topmenu
 |
Festschrift for Martin Purvis. An Information Science Renaissance Man
ISBN: 9781848904101 / Angielski / Miękka / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
82,55 |
 |
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
ISBN: 9783031146480 / Angielski / Miękka / 147 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean. After a quick introduction to Lean, the basic techniques of human-readable formalisation are introduced, illustrated by simple examples on maps, induction and real numbers. Subsequently, typical design options are discussed and brought to life through worked examples in the setting of simplicial complexes (a higher-dimensional generalisation of graph theory). Finally, the book demonstrates how current research in algebraic and geometric topology can be formalised by means of...
This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean. After a quick introduction to Lean, t...
|
cena:
221,37 |
 |
The Annotated Gödel: A Reader's Guide to his Classic Paper on Logic and Incompleteness
ISBN: 9798986414218 / Angielski / Twarda / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
81,75 |
 |
Universal Algebraic Logic: Dedicated to the Unity of Science
ISBN: 9783031148866 / Angielski / Twarda / 327 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book gives a comprehensive introduction to Universal Algebraic Logic. The three main themes are (i) universal logic and the question of what logic is, (ii) duality theories between the world of logics and the world of algebra, and (iii) Tarskian algebraic logic proper including algebras of relations of various ranks, cylindric algebras, relation algebras, polyadic algebras and other kinds of algebras of logic. One of the strengths of our approach is that it is directly applicable to a wide range of logics including not only propositional logics but also e.g. classical first order logic...
This book gives a comprehensive introduction to Universal Algebraic Logic. The three main themes are (i) universal logic and the question of what logi...
|
cena:
523,30 |
 |
Reachability Problems: 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings
ISBN: 9783031191343 / Angielski / Miękka / 179 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 invited papers were included in this volume. The RP proceedings cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems;...
This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany...
|
cena:
221,37 |
 |
Einstieg in die beweisorientierte Mathematik: Mit Versuch und Irrtum zum Beweis
ISBN: 9783662663554 / Niemiecki / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Schulmathematik vermittelt meist nur einen sehr eingeschränkten Einblick in die beweisorientierte und axiomatisch aufgebaute moderne Mathematik – Studienanfänger werden daher oft unvorbereitet von der Hochschulmathematik getroffen.Dieses Lehrbuch erleichtert den nötigen Übergang zum selbstständigen Erarbeiten und Lernen mathematischer Beweise und Inhalte: Es motiviert die Lesenden, selbst aktiv zu werden und sich alleine an den gegebenen Problemstellungen zu versuchen. Dabei wird viel Wert auf leichte Sprache, ausführliche Erklärungen und detaillierte Beispiele gelegt. Somit ist...
Die Schulmathematik vermittelt meist nur einen sehr eingeschränkten Einblick in die beweisorientierte und axiomatisch aufgebaute moderne Mathematik ...
|
cena:
131,64 |
 |
Essentials of Fuzzy Soft Multisets: Theory and Applications
ISBN: 9789811927591 / Angielski / Twarda / 150 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book discusses major theories and applications of fuzzy soft multisets and their generalization which help researchers get all the related information at one place. The primary objective of this book is to help bridge the gap to provide a textbook on the theories in fuzzy soft multisets and their applications in real life. It is targeted to researchers and students working in the field of fuzzy set theory, multiset theory, soft set theory and their applications.Uncertainty, vagueness and the representation of imperfect knowledge have been a problem in many fields of research, including...
This book discusses major theories and applications of fuzzy soft multisets and their generalization which help researchers get all the related inform...
|
cena:
523,30 |
 |
R-Calculus, III: Post Three-Valued Logic
ISBN: 9789811942693 / Angielski / Twarda / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent-based, to preserve the satisfiability of the sequent to revise. The R-calculi for Post and three-valued logic is given.This book offers a rich blend of theory and practice. It is suitable for students,...
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision op...
|
cena:
684,33 |
 |
Artificial Intelligence Logic and Applications: The 2nd International Conference, AILA 2022, Shanghai, China, August 26–28, 2022, Proceedings
ISBN: 9789811975097 / Angielski / Miękka / 287 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes refereed proceedings of the 2nd International Conference on Artificial Intelligence Logic and Applications 2022 held in Shanghai, China from August 26–28, 2022.The 20 full papers presented in this volume were carefully reviewed and selected from a total of 27 submissions. The papers in the volume are organised according to the following topical headings: program logic;fuzzy logic; applications; author index.
This book constitutes refereed proceedings of the 2nd International Conference on Artificial Intelligence Logic and Applications 2022 held in Shang...
|
cena:
301,89 |
 |
Griddler Puzzles For Beginners: Nonogram Hanjie Picross Puzzles Book
ISBN: 9798676644369 / Angielski / Miękka / 110 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
27,74 |
 |
The Notion of Mathematical Proof: Key Rules and Considerations
ISBN: 9781774694985 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
742,94 |
 |
Use of Abstraction and Logic in Mathematics
ISBN: 9781774695005 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
742,94 |
 |
A Lambda Calculus Satellite
ISBN: 9781848904156 / Angielski / Miękka / 602 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
141,82 |
 |
Fundamentos Axiomáticos das Disciplinas Científicas
ISBN: 9781848904170 / Portugalski / Miękka / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
86,79 |
 |
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
ISBN: 9783030805098 / Angielski / Miękka / 636 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearlythinkabout the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute from given inputs wanted outputs, and programs that describe continuously executing systems. The core message is that clear thinking about programs can be expressed in a single universal language, the formal language oflogic. Apart from its universal elegance and expressiveness, this “logical”...
This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly...
|
cena:
281,76 |
 |
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
ISBN: 9783031068423 / Angielski / Twarda / 313 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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...
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 ...
|
cena:
563,56 |
 |
Husserl, Carnap y los conceptos de completud en lógica
ISBN: 9781848903807 / Hiszpański / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
71,97 |
 |
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,14 |
 |
R-Calculus, IV: Propositional Logic
ISBN: 9789811986321 / Angielski / Twarda / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, ⇝-propositional logic, semantic networks, and three-valued logic, etc.. Applications of R-calculus in logic of supersequents are also given.This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.
This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the ...
|
cena:
684,33 |
 |
Handbook of Constructive Mathematics
ISBN: 9781316510865 / Angielski / Twarda / 800 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
700,88 |
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
