» książki » Mathematics - Logic
 |
Lessons in Enumerative Combinatorics
ISBN: 9783030712495 / Angielski / Twarda / 479 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
261,63 |
 |
Mastering Calculus Through Practice: A Study Guide with Over 300 Solved Exercises
ISBN: 9783030833398 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
261,63 |
 |
Belief Functions: Theory and Applications: 6th International Conference, Belief 2021, Shanghai, China, October 15-19, 2021, Proceedings
ISBN: 9783030886004 / Angielski / Miękka / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
261,63 |
 |
The Foundations of Computability Theory
ISBN: 9783662624234 / Angielski / Miękka / 446 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In Part I the author introduces computability theory, with chapters on the foundational crisis of mathematics in the early twentieth century, and formalism. In Part II he explains classical computability theory, with chapters on the quest for formalization, the Turing Machine, and early successes such as defining incomputable problems, c.e.... This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into his... |
cena:
261,63 |
 |
Relational Calculus for Actionable Knowledge
ISBN: 9783030924324 / Angielski / Miękka / 340 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, until...
This book focuses on one of the major challenges of the newly created scientific domain known as data science: turning data into actionable knowledge ...
|
cena:
261,63 |
 |
Reverse Mathematics
ISBN: 9783031113697 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Typical questions include: Can we prove this result without first proving that one? Can a computer solve this problem? A highly active part of mathematical logic and computability theory, the subject offers beautiful results as well as significant foundational insights. This text provides a modern treatment of reverse mathematics that combines computability theoretic reductions and proofs in formal arithmetic to measure the complexity of theorems and problems from all... Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Typical questions include: Can we pr... |
cena:
261,63 |
 |
Concise Computer Mathematics: Tutorials on Theory and Problems
ISBN: 9783319017501 / Angielski / Miękka / 109 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Adapted from a modular undergraduate course on computational mathematics, Concise Computer Mathematics delivers an easily accessible, self-contained introduction to the basic notions of mathematics necessary for a computer science degree. The text reflects the need to quickly introduce students from a variety of educational backgrounds to a number of essential mathematical concepts. The material is divided into four units: discrete mathematics (sets, relations, functions), logic (Boolean types, truth tables, proofs), linear algebra (vectors, matrices and graphics), and special topics (graph...
Adapted from a modular undergraduate course on computational mathematics, Concise Computer Mathematics delivers an easily accessible, self-contained i...
|
cena:
261,63 |
 |
Generalized Network Improvement and Packing Problems
ISBN: 9783658168117 / Angielski / Miękka / 213 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Michael Holzhauser discusses generalizations of well-known network flow and packing problems by additional or modified side constraints.
Michael Holzhauser discusses generalizations of well-known network flow and packing problems by additional or modified side constraints.
|
cena:
261,63 |
 |
Artificial Intelligence in Medicine: 16th Conference on Artificial Intelligence in Medicine, Aime 2017, Vienna, Austria, June 21-24, 2017, Proceedings
ISBN: 9783319597577 / Angielski / Miękka / 369 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 16th Conference on Artificial Intelligence in Medicine, AIME 2017, held in Vienna, Austria, in June 2017.The 21 revised full and 23 short papers presented were carefully reviewed and selected from 113 submissions.
This book constitutes the refereed proceedings of the 16th Conference on Artificial Intelligence in Medicine, AIME 2017, held in Vienna, Austria, in J...
|
cena:
261,63 |
 |
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, Sbmf 2017, Recife, Brazil, November 29 -- December 1, 2017, Proceedings
ISBN: 9783319708478 / Angielski / Miękka / 305 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions.
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in N...
|
cena:
261,63 |
 |
Practical MATLAB: With Modeling, Simulation, and Processing Projects
ISBN: 9781484252802 / Angielski / Miękka / 297 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
261,63 |
 |
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:
261,63 |
 |
Reversible Computation: 14th International Conference, Rc 2022, Urbino, Italy, July 5-6, 2022, Proceedings
ISBN: 9783031090042 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, Italy, during July 5-6, 2021. The 10 full papers and 6 short papers included in this book were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: Reversible and Quantum Circuits; Applications of quantum Computing; Foundations and Applications. This book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, I... |
cena:
261,63 |
 |
A Gentle Introduction to Group Theory
ISBN: 9789819901463 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book is intended to serve as an introductory course in group theory geared towards second-year university students. It aims to provide them with the background needed to pursue more advanced courses in algebra and to provide a rich source of examples and exercises. Studying group theory began in the late eighteenth century and is still gaining importance due to its applications in physics, chemistry, geometry, and many fields in mathematics.The text is broadly divided into three parts. The first part establishes the prerequisite knowledge required to study group theory. This includes...
The book is intended to serve as an introductory course in group theory geared towards second-year university students. It aims to provide them with t...
|
cena:
261,63 |
 |
Automata Theory and Formal Languages
ISBN: 9783110752274 / Angielski / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
263,25 |
 |
Algebra, Logic, Set Theory
ISBN: 9781904987284 / Angielski / Twarda / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is both a tribute to Ulrich Felgner's research in algebra, logic, and set theory and a strong research contribution to these areas. Felgner's former students, friends and collaborators have contributed sixteen papers to this volume that highlight the unity of these three fields in the spirit of Ulrich Felgner's own research. The interested reader will find excellent original research surveys and papers that span the field from set theory without the axiom of choice via model-theoretic algebra to the mathematics of intonation.
This volume is both a tribute to Ulrich Felgner's research in algebra, logic, and set theory and a strong research contribution to these areas. Felgne...
|
cena:
263,27 |
 |
Grundlegende Begriffe Der Mathematik: Entstehung Und Entwicklung: Struktur - Funktion - Zahl
ISBN: 9783662622322 / Angielski / Miękka / 541 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
263,32 |
 |
Unix-Werkzeuge Zur Textmusterverarbeitung: Awk, Lex Und Yacc
ISBN: 9783540512325 / Niemiecki / Miękka / 167 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Betriebssystem UNIX. hat seit seiner Entwicklung in den spaten siebzi ger Jahren einen stetigen Aufschwung genommen. Dies ist nicht zuletzt der Vielfalt der unter UNIX angebotenen Werkzeuge und ihrer Kombinierbarkeit zu verdanken. So gibt es eine Reihe von Dienstprogrammen, die mit Hilfe so genannter "regularer AusdrUcke" Such- und Anderungsoperationen auf Tex ten durchfUhren kennen. Auf der Basis gleicher oder ahnlicher Suchmuster bieten die "heheren" Pro grammierwerkzeuge Awk, Lex und Yacc zusatzlich die Fahigkeit, program mierbar und damit wesentlich leistungsfahiger zu sein. Viele...
Das Betriebssystem UNIX. hat seit seiner Entwicklung in den spaten siebzi ger Jahren einen stetigen Aufschwung genommen. Dies ist nicht zuletzt der Vi...
|
cena:
263,32 |
 |
Einführung in Die Klassische Und Intensionale Logik
ISBN: 9783528064891 / Niemiecki / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch setzt sich zum Ziel, auch mathematisch wenig vorgebildete Leser in die klassische zweiwertige Logik und ihre intensionalen Erweiterungen wie Modal-Logik, Zeit-Logik und dynamische Logik einzufuhren. Die hier naher betrachteten intensionalen Systeme hangen zusammen mit Fragen aus der Beweistheorie der Peano-Arithmetik, Korrektheitsfragen in der Theorie der Programmiersprachen und mit Problemen, die die Semantik naturlicher Sprachen betreffen.
Das Buch setzt sich zum Ziel, auch mathematisch wenig vorgebildete Leser in die klassische zweiwertige Logik und ihre intensionalen Erweiterungen wie ...
|
cena:
263,32 |
 |
Fraenkel: Mengen bilden
ISBN: 9783662661666 / Niemiecki / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. Erleben Sie das Wiedererwachen des universitären Lebens nach 1918 aus der Sicht eines Betroffenen. Tauchen Sie ein in die Erziehungs- und Sozialgeschichte der Mathematik zur Zeit der Weimarer Republik und erfahren aus der Perspektive eines jungen Autors das Aufstreben der Firma von Julius Springer zum führenden Mathematikverlag. Dank der Verwendung einer Vielzahl von unveröffentlichten Quellen erhalten Sie einen überaus facettenreichen Eindruck des zeitgenössischen akademischen Milieus.In dieser weltweit ersten umfassenden Studie zu Abraham Adolf Fraenkel werden Ihnen bis dato vollkommen...
Erleben Sie das Wiedererwachen des universitären Lebens nach 1918 aus der Sicht eines Betroffenen. Tauchen Sie ein in die Erziehungs- und Sozialgesch...
|
cena:
263,32 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
