topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 11
 |
Discrete Mathematics: A Concise Introduction
ISBN: 9783031304873 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) 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 |
 |
Axiomatic Set Theory: An Introduction
ISBN: 9783032100399 / Angielski / 23-06-2026 Książka dostępna od: 23-06-2026 |
|
Planowany termin premiery książki: 23-06-2026
Książkę można już zamówić z rabatem 5% |
|
193,47 |
 |
Lectures in Logic and Set Theory, Volume 2: Set Theory
ISBN: 9780521168489 / Angielski / Miękka / 2011 / 592 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) Volume II, on formal (ZFC) set theory, incorporates a self-contained "chapter 0" on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques provides a solid foundation in set theory and a thorough context for the presentation of advanced topics (such as absoluteness, relative consistency results, two expositions of Godel's construstive universe, numerous ways of viewing recursion and Cohen forcing).
Volume II, on formal (ZFC) set theory, incorporates a self-contained "chapter 0" on proof techniques so that it is based on formal logic, in the style...
|
cena:
393,52 |
 |
Computability
ISBN: 9783030832018 / Angielski / Twarda / 2022 / 590 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) |
cena:
362,27 |
 |
Discrete Mathematics
ISBN: 9783031304903 / Angielski / Miękka / 2025 Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) 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...
This book is ideal for a first or second year discrete mathematics course for mathematics, engineering, and computer science majors. The aut...
|
cena:
160,99 |
 |
Theory of Computation
ISBN: 9781118014783 / Angielski / Twarda / 2012 / 416 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Dostawa w 2026 r.) Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible approach to the topic, Theory of Computation focuses on the metatheory of computing and the theoretical boundaries between what various computational models can do and not do--from the most general model, the URM (Unbounded Register Machines), to the finite automaton. A wealth of programming-like examples and easy-to-follow explanations build the general theory gradually, which guides readers through the modeling and mathematical analysis of... Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible appro... |
cena:
582,69 |
 |
Computability
ISBN: 9783030832049 / Angielski / Miękka / 2023 Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) |
cena:
261,63 |
 |
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
ISBN: 9780521168465 / Angielski / Miękka / 2010 / 342 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, applications of compactness (including nonstandard analysis), computability and its relation to the completeness phenonmenon, and the first presentation of a complete proof of...
This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text i...
|
cena:
294,01 |
 |
Mathematical Logic
ISBN: 9780470280744 / Angielski / Twarda / 2008 / 312 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) "Mathematical Logic" presents mathematical or "symbolic" logic as a reliable tool for deductive reasoning. It trains the student in both the established "Hilbert" style of writing proofs in mathematics, as well as in the emerging "equational" style that finds fruitful application in computer science curricula, especially in the areas of software engineering and program correctness. There are extensive sets of examples, remarks, problems, references, and textual discussions that aim to help the reader understand what makes logic a powerful tool in the scheme of mathematical truths.
"Mathematical Logic" presents mathematical or "symbolic" logic as a reliable tool for deductive reasoning. It trains the student in both the establish...
|
cena:
531,93 |
 |
Lectures in Logic and Set Theory: Volume 2, Set Theory
ISBN: 9780521753746 / Angielski / Twarda / 2003 / 592 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) Volume II, on formal (ZFC) set theory, incorporates a self-contained "chapter 0" on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques provides a solid foundation in set theory and a thorough context for the presentation of advanced topics (such as absoluteness, relative consistency results, two expositions of Godel's construstive universe, numerous ways of viewing recursion and Cohen forcing).
Volume II, on formal (ZFC) set theory, incorporates a self-contained "chapter 0" on proof techniques so that it is based on formal logic, in the style...
|
cena:
765,66 |
 |
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
ISBN: 9780521753739 / Angielski / Twarda / 2003 / 342 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, applications of compactness (including nonstandard analysis), computability and its relation to the completeness phenonmenon, and the first presentation of a complete proof of...
This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text i...
|
cena:
512,54 |
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
