![]() |
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
ISBN: 9783319824437 / Angielski / Miękka / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
402,53 |
![]() |
The Philosophers and Mathematics: Festschrift for Roshdi Rashed
ISBN: 9783319937328 / Angielski / Twarda / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
402,53 |
![]() |
Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
ISBN: 9783662568729 / Angielski / Miękka / 218 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
483,04 |
![]() |
Implementation and Application of Automata: 23rd International Conference, Ciaa 2018, Charlottetown, Pe, Canada, July 30 - August 2, 2018, Proceedings
ISBN: 9783319948119 / Angielski / Miękka / 339 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
![]() |
Readings in Formal Epistemology: Sourcebook
ISBN: 9783319793030 / Angielski / Miękka / 937 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
402,53 |
![]() |
Towards Paraconsistent Engineering
ISBN: 9783319820958 / Angielski / Miękka / 234 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
402,53 |
![]() |
Cultures of Mathematics and Logic: Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
ISBN: 9783319810539 / Angielski / Miękka / 123 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
402,53 |
![]() |
Number Theory: An Introduction Via the Density of Primes
ISBN: 9783319829319 / Angielski / Miękka / 413 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
269,68 |
![]() |
Intelligent Computer Mathematics: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
ISBN: 9783319968117 / Angielski / Miękka / 287 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018.
This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg,...
|
cena:
201,24 |
![]() |
Understanding Mathematical Proof
ISBN: 9781138466852 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. The notion of proof is central to mathematics yet it is one of the most difficult aspects of the subject to teach and master. In particular, undergraduate mathematics students often experience difficulties in understanding and constructing proofs.
Understanding Mathematical Proof describes the nature of mathematical proof, explores the various techniques that mathematicians adopt to prove their results, and offers advice and strategies for constructing proofs. It will improve students� ability to understand proofs and construct correct proofs of their own. The first chapter of the text... The notion of proof is central to mathematics yet it is one of the most difficult aspects of the subject to teach and master. In particular, undergrad...
|
cena:
979,55 |
![]() |
From Trotsky to Gödel: The Life of Jean Van Heijenoort
ISBN: 9781138427280 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. This story of a highly intelligent observer of the turbulent 20th century who was intimately involved as the secretary and bodyguard to Leon Trotsky is based on extensive interviews with the subject, Jean van Heijenoort, and his family, friends, and colleagues. The author has captured the personal drama and the professional life of her protagonist--ranging from the political passion of a young intellectual to the scientific and historic work in the most abstract and yet philosophically important area of logic--in a very readable narrative.
This story of a highly intelligent observer of the turbulent 20th century who was intimately involved as the secretary and bodyguard to Leon Trotsky i...
|
cena:
930,57 |
![]() |
Logic for Physicists
ISBN: 9781643270135 / Angielski / Miękka / 57 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Provides a rigorous yet "physics-focused" introduction to mathematical logic that is geared towards natural science majors. The book presents a robust introduction to logic, focusing on the specific knowledge and skills that will unavoidably be needed in calculus topics and natural science topics in general.
Provides a rigorous yet "physics-focused" introduction to mathematical logic that is geared towards natural science majors. The book presents a robust...
|
cena:
169,94 |
![]() |
Subjective Logic: A Formalism for Reasoning Under Uncertainty
ISBN: 9783319825557 / Angielski / Miękka / 337 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
724,58 |
![]() |
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
ISBN: 9783319820569 / Angielski / Miękka / 221 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
![]() |
Intuitionistic Fuzzy Logics
ISBN: 9783319840550 / Angielski / Miękka / 138 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
402,53 |
![]() |
Ewa Orlowska on Relational Methods in Logic and Computer Science
ISBN: 9783319978789 / Angielski / Twarda / 502 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Orlowska made significant contributions to many fields of logic, such as proof theory, algebraic methods in logic and knowledge representation, and her work has been published in 3 monographs and over 100 articles in internationally acclaimed journals and conference proceedings.
Orlowska made significant contributions to many fields of logic, such as proof theory, algebraic methods in logic and knowledge representation, and he...
|
cena:
563,56 |
![]() |
Übungsbuch Automaten Und Formale Sprachen: 117 Aufgaben Und Lösungen
ISBN: 9783658226954 / Niemiecki / Miękka / 154 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
169,28 |
![]() |
Saved from the Cellar: Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics
ISBN: 9783319825021 / Angielski / Miękka / 315 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
603,81 |
![]() |
Rohit Parikh on Logic, Language and Society
ISBN: 9783319838380 / Angielski / Miękka / 359 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
442,79 |
![]() |
Solving Word Problems: I Just Don't Get It-Now You Can!
ISBN: 9781943258963 / Angielski / Miękka / 62 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
32,76 |