» książki » Mathematics - Logic
 |
Mathematical Logic: Exercises and Solutions
ISBN: 9783030790097 / Angielski / Twarda / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
261,63 |
 |
Combinatorics on Words: 13th International Conference, Words 2021, Rouen, France, September 13-17, 2021, Proceedings
ISBN: 9783030850876 / Angielski / Miękka / 199 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
261,63 |
 |
Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings
ISBN: 9783031266881 / Angielski / Miękka / 215 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Edited in collaboration with FoLLI, this book constitutes the refereed proceedings of the 10th Indian Conference on Logic and Its Applications, ICLA 2023, which was held in Indore, India, in March 2023.Besides 6 invited papers presented in this volume, there are 9 contributed full papers which were carefully reviewed and selected from 18 submissions. The volume covers a wide range of topics. These topics are related to modal and temporal logics, intuitionistic connexive and imperative logics, systems for reasoning with vagueness and rough concepts, topological quasi-Boolean logic and...
Edited in collaboration with FoLLI, this book constitutes the refereed proceedings of the 10th Indian Conference on Logic and Its Applications, ICLA 2...
|
cena:
261,63 |
 |
Formal Aspects of Component Software: 19th International Conference, Facs 2023, Virtual Event, October 26-27, 2023, Revised Selected Papers
ISBN: 9783031521829 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
261,63 |
 |
From Computational Logic to Computational Biology: Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
ISBN: 9783031552472 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
261,63 |
 |
Coalgebraic Methods in Computer Science: 17th Ifip Wg 1.3 International Workshop, Cmcs 2024, Colocated with Etaps 2024, Luxembourg City, Luxembourg, A
ISBN: 9783031664373 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
261,63 |
 |
Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics
ISBN: 9783031851056 / Angielski / Twarda / 342 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs and the basics of model theory. Building on this, in the second and third part of the book the authors present detailed proofs of Gödel’s classical completeness and incompleteness theorems. In particular, the book includes a full proof of Gödel’s second incompleteness theorem which states that it is impossible to prove the consistency of arithmetic within its axioms. The final part is...
This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathe...
|
cena:
261,63 |
 |
Discrete Mathematics Using a Computer
ISBN: 9781846282416 / Angielski / Miękka / 441 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computer science abounds with applications of discrete mathematics, yet s- dents of computer science often study discrete mathematics in the context of purely mathematical applications. They have to ?gure out for themselves how to apply the ideas of discrete mathematics to computing problems. It is not easy. Most students fail to experience broad success in this enterprise, which is not surprising, since many of the most important advances in science and engineeringhavebeen, precisely, applicationsofmathematicstospeci?cscience and engineering problems. Tobesure,...
Computer science abounds with applications of discrete mathematics, yet s- dents of computer science often study discrete mathematics in the context o...
|
cena:
261,63 |
 |
An Introduction to Fuzzy Logic and Fuzzy Sets
ISBN: 9783790814477 / Angielski / Miękka / 285 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is intended to be an undergraduate introduction to the theory of fuzzy sets. We envision, sometime in the future, a curriculum in fuzzy sys tems theory, which could be in computer /information sciences, mathematics, engineering or economics (business, finance), with this book as the starting point. It is not a book for researchers but a book for beginners where you learn the basics. This course would be analogous to a pre-calculus course where a student studies algebra, functions and trigonometry in preparation for more advanced courses. Chapters 3 through 11 are on fuzzy algebra,...
This book is intended to be an undergraduate introduction to the theory of fuzzy sets. We envision, sometime in the future, a curriculum in fuzzy sys ...
|
cena:
261,63 |
 |
Where Is the Gödel-Point Hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals
ISBN: 9783319021706 / Angielski / Miękka / 77 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book explains the first published consistency proof of PA. It contains the original Gentzen's proof, but it uses modern terminology and examples to illustrate the essential notions. The author comments on Gentzen's steps which are supplemented with exact calculations and parts of formal derivations. A notable aspect of the proof is the representation of ordinal numbers that was developed by Gentzen. This representation is analysed and connection to set-theoretical representation is found, namely an algorithm for translating Gentzen's notation into Cantor normal form. The topic should...
This book explains the first published consistency proof of PA. It contains the original Gentzen's proof, but it uses modern terminology and examples ...
|
cena:
261,63 |
 |
Algorithmics for Hard Problems: Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
ISBN: 9783642079092 / Angielski / Miękka / 538 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Algorithmic design, especially for hard problems, is more essential for success in solving them than any standard improvement of current computer tech- nologies. Because of this, the design of algorithms for solving hard problems is the core of current algorithmic research from the theoretical point of view as well as from the practical point of view. There are many general text books on algorithmics, and several specialized books devoted to particular approaches such as local search, randomization, approximation algorithms, or heuristics. But there is no textbook that focuses on the design...
Algorithmic design, especially for hard problems, is more essential for success in solving them than any standard improvement of current computer tech...
|
cena:
261,63 |
 |
Non Solo Calcoli: Domande E Risposte Sui Perché Della Matematica
ISBN: 9788847026094 / Włoski / Miękka / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Nell'infanzia si pongono i classici interrogativi con tanti "perche?." Purtroppo poi, nel corso dell'educazione matematica, la curiosita diminuisce e spesso ci si accontenta di chiedere "come si fa?." Questo libro e dedicato ai perche della logica e teoria degli insiemi, dell'analisi matematica, della probabilita e statistica. Si completano cosi gli argomenti di matematica insegnati a scuola, dopo i precedenti testi di V. Villani sui perche dell'algebra e geometria. Il titolo contiene un messaggio. In logica si affronta il calcolo delle proposizioni, l'analisi matematica e nota anche col nome...
Nell'infanzia si pongono i classici interrogativi con tanti "perche?." Purtroppo poi, nel corso dell'educazione matematica, la curiosita diminuisce e ...
|
cena:
261,63 |
 |
A Course on Mathematical Logic
ISBN: 9781461457459 / Angielski / Miękka / 198 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Godel s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to branch out in several areas of mathematics related to foundations and computability, such as logic, axiomatic set theory, model theory, recursion theory, and computability. In this new... This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics an... |
cena:
261,63 |
 |
The Mathematical Experience, Study Edition
ISBN: 9780817682941 / Angielski / Miękka / 500 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Winner of the 1983 National Book Award ..".a perfectly marvelous book about the Queen of Sciences, from which one will get a real feeling for what mathematicians do and who they are. The exposition is clear and full of wit and humor..." - The New Yorker (1983 National Book Award edition) Mathematics has been a human activity for thousands of years. Yet only a few people from the vast population of users are professional mathematicians, who create, teach, foster, and apply it in a variety of situations. The authors of this book believe that it should be possible for these... Winner of the 1983 National Book Award ..".a perfectly marvelous book about the Queen of Sciences, from which one will get a real feeling fo... |
cena:
261,63 |
 |
An Introduction to the Language of Category Theory
ISBN: 9783319419169 / Angielski / Miękka / 169 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The first chapter of the book introduces the definitions of category and functor and discusses diagrams,duality, initial and terminal objects, special types of morphisms, and some special types of categories,particularly comma categories and hom-set categories.
The first chapter of the book introduces the definitions of category and functor and discusses diagrams,duality, initial and terminal objects, special...
|
cena:
261,63 |
 |
Frontiers of Combining Systems: 11th International Symposium, Frocos 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
ISBN: 9783319661667 / Angielski / Miękka / 351 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasilia, Bazil, in September 2017.
The 17 papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: description and temporal logics, decision procedures, decidability and verification, SAT, SMT and automated theorem proving, term rewriting, and properties and combinations of logics. This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasilia, Bazil, in ...
|
cena:
261,63 |
 |
Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, Tableaux 2017, Brasília, Brazil, September 25-28, 2017,
ISBN: 9783319669014 / Angielski / Miękka / 381 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasilia, Bazil, in September 2017.
The 19 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: Sequents systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. This book constitutes the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAU...
|
cena:
261,63 |
 |
Modeling Companion for Software Practitioners
ISBN: 9783662566398 / Angielski / Miękka / 349 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
261,63 |
 |
Frontiers of Combining Systems: 12th International Symposium, Frocos 2019, London, Uk, September 4-6, 2019, Proceedings
ISBN: 9783030290061 / Angielski / Miękka / 365 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
261,63 |
 |
Practical MATLAB Modeling with Simulink: Programming and Simulating Ordinary and Partial Differential Equations
ISBN: 9781484257982 / Angielski / Miękka / 473 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
261,63 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
