» książki » Mathematics - Logic
 |
Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985
ISBN: 9783540159766 / Angielski / Miękka / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. First International Conference on Rewriting Techniques and Applications
First International Conference on Rewriting Techniques and Applications
|
cena:
160,99 |
 |
Neighborhood Semantics for Modal Logic
ISBN: 9783319671482 / Angielski / Miękka / 154 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highlights both the pitfalls and potential uses of neighborhood models - an interesting class of mathematical structures that were originally introduced to provide a semantics for weak systems of modal logic (the so-called non-normal modal logics) and can be fruitfully studied using modal logic.
In addition, the book discusses a broad range of topics, including standard modal logic results (i.e.,... This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to present...
|
cena:
160,99 |
 |
Discrete Mathematics: A Concise Introduction
ISBN: 9783031304873 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is ideal for a first or second year discrete mathematics course for mathematics, engineering, and computer science majors. The author has extensively class-tested early conceptions of the book over the years and supplements mathematical arguments with informal discussions to aid readers in understanding the presented topics. “Safe” – that is, paradox-free – informal set theory is introduced following on the heels of Russell’s Paradox as well as the topics of finite, countable, and uncountable sets with an exposition and use of Cantor’s diagonalisation technique....
This book is ideal for a first or second year discrete mathematics course for mathematics, engineering, and computer science majors. The author has ...
|
cena:
160,99 |
 |
Inductive Logic Programming: 23rd International Conference, Ilp 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
ISBN: 9783662449226 / Angielski / Miękka / 141 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 23rd International Conference on Inductive Logic Programming, ILP 2013, held in Rio de Janeiro, Brazil, in August 2013.
The 9 revised extended papers were carefully reviewed and selected from 42 submissions. The conference now focuses on all aspects of learning in logic, multi-relational learning and data mining, statistical relational learning, graph and tree mining, relational reinforcement learning, and other forms of learning from structured data. This book constitutes the thoroughly refereed post-proceedings of the 23rd International Conference on Inductive Logic Programming, ILP 2013, held in ...
|
cena:
161,03 |
 |
Logic, Language, Information, and Computation: 22nd International Workshop, Wollic 2015, Bloomington, In, Usa, July 20-23, 2015, Proceedings
ISBN: 9783662477083 / Angielski / Miękka / 201 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
161,03 |
 |
Automated Deduction in Geometry: 10th International Workshop, Adg 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
ISBN: 9783319213613 / Angielski / Miękka / 181 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The papers show the trend set of current research in automated reasoning in geometry.
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 201...
|
cena:
161,03 |
 |
Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers
ISBN: 9783662459164 / Angielski / Miękka / 193 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Symposium on Trustworthy Global Computing, TGC 2014, held in Rome, Italy, in September 2014. The 15 revised full papers presented were carefully reviewed and selected from 20 submissions. The Symposium on Trustworthy Global Computing focuses on frameworks, tools, algorithms, and protocols for open-ended, large-scale systems and applications, and on rigorous reasoning about their behavior and properties.
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Symposium on Trustworthy Global Computing, TGC 2014...
|
cena:
161,03 |
 |
Reachability Problems: 9th International Workshop, Rp 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
ISBN: 9783319245362 / Angielski / Miękka / 179 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Workshop on Reachability Problems, RP 2015, held in Warsaw, Poland, in September 2015. The 14 papers presented together with 6 extended abstracts in this volume were carefully reviewed and selected from 23 submissions. The papers cover a range of topics in the field of 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 9th International Workshop on Reachability Problems, RP 2015, held in Warsaw, Poland, in Sept... |
cena:
161,03 |
 |
Recent Trends in Algebraic Development Techniques: 22nd International Workshop, Wadt 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Pape
ISBN: 9783319281131 / Angielski / Miękka / 171 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania. This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Te... |
cena:
161,03 |
 |
Transactions on Rough Sets XVIII
ISBN: 9783662446799 / Angielski / Miękka / 131 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence. Volume XVIII includes extensions of papers from the Joint Rough Set Symposium (JRS 2012), which was held in Chengdu, China, in August 2012. The seven papers that...
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations,...
|
cena:
161,03 |
 |
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, Sbmf 2014, Maceió, Al, Brazil, September 29--October 1, 2014. Proceedings
ISBN: 9783319150741 / Angielski / Miękka / 179 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceio, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this... This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Mac... |
cena:
161,03 |
 |
Trustworthy Global Computing: 10th International Symposium, Tgc 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers
ISBN: 9783319287652 / Angielski / Miękka / 163 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Symposium on Trustworthy Global Computing, TGC 2015, held in Madrid, Spain, in August/September 2015. The 10 revised full papers presented were carefully reviewed and selected from 19 submissions. The Symposium on Trustworthy Global Computing focuses on frameworks, tools, algorithms, and protocols for open-ended, large-scale systems and applications, and on rigorous reasoning about their behavior and properties. This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Symposium on Trustworthy Global Computing, TGC ... |
cena:
161,03 |
 |
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, Sbmf 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
ISBN: 9783319294728 / Angielski / Miękka / 195 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.
The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation. This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, B... |
cena:
161,03 |
 |
Topics in Modern Logic
ISBN: 9780367426224 / Angielski / Miękka / 114 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
161,57 |
 |
Truth-Functional Logic
ISBN: 9780367426125 / Angielski / Miękka / 126 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
161,57 |
 |
An Introduction to Many-Valued Logics
ISBN: 9780367426040 / Angielski / Miękka / 94 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
161,57 |
 |
The Stationary Tower : Notes on a Course by W. Hugh Woodin
ISBN: 9780821836040 / Angielski / Miękka / 132 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hugh Woodin is a leading figure in modern set theory, having made many contributions to the field, in particular to descriptive set theory and large cardinals. This book offers a detailed treatment of his method of the stationary tower that is generally accessible to graduate students in mathematical logic.
Hugh Woodin is a leading figure in modern set theory, having made many contributions to the field, in particular to descriptive set theory and large c...
|
cena:
161,63 |
 |
Fuzzy Sets, Fuzzy Logic, Applications
ISBN: 9789810226060 / Angielski / Miękka / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
161,63 |
 |
Science Without Numbers
ISBN: 9780198777922 / Angielski / Miękka / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Science Without Numbers caused a stir in philosophy on its original publication in 1980, with its bold nominalist approach to the ontology of mathematics and science. Hartry Field argues that we can explain the utility of mathematics without assuming it true. Part of the argument is that good mathematics has a special feature ("conservativeness") that allows it to be applied to "nominalistic" claims (roughly, those neutral to the existence of mathematical entities) in a way that generates nominalistic consequences more easily without generating any new ones. Field goes on to argue...
Science Without Numbers caused a stir in philosophy on its original publication in 1980, with its bold nominalist approach to the ontology of...
|
cena:
161,69 |
 |
Math Without Numbers: The Mathematics of Ideas - Vol. 1 Foundations
ISBN: 9781539503392 / Angielski / Miękka / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Math Without Numbers - The Mathematics of Ideas. Volume 1 - Foundations. This Volume 1 in the "Math Without Numbers" series explores the nature of Ideas, from both a practical and an abstract mathematical point of view. The book demonstrates that mathematics can explain "how" we think, but cannot tell us "what" to think or how to act. The author applies principles of Set Theory to Ideas, and illustrates how Ideas form structures that are well-known in the field of Mathematics, including Partitions/Equivalence Classes, Groups, Boolean Algebras, Rings, Lattices, and Topologies. The book touches...
Math Without Numbers - The Mathematics of Ideas. Volume 1 - Foundations. This Volume 1 in the "Math Without Numbers" series explores the nature of Ide...
|
cena:
162,66 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
