Sprache: Englisch
Verlag: Cambridge University Press, 2022
ISBN 10: 1108949479 ISBN 13: 9781108949477
Anbieter: Books From California, Simi Valley, CA, USA
paperback. Zustand: Very Good.
Sprache: Englisch
Verlag: Cambridge University Press, 2022
ISBN 10: 1108949479 ISBN 13: 9781108949477
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 32,59
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 284.
Sprache: Englisch
Verlag: Cambridge University Press, 2022
ISBN 10: 1108949479 ISBN 13: 9781108949477
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. 2022. New. Paperback. . . . . . Books ship from the US and Ireland.
Sprache: Englisch
Verlag: Cambridge University Press, 2022
ISBN 10: 1108949479 ISBN 13: 9781108949477
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 47,17
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 271 pages. 9.75x6.75x0.75 inches. In Stock.
Kartoniert / Broschiert. Zustand: New. In this unique take on a classic mathematical logic course, students are guided in implementing the underlying logical concepts and mathematical proofs in the Python programming language, thus achieving deep hands-on clarity and understanding. The text is a.
Sprache: Englisch
Verlag: Cambridge University Press Sep 2022, 2022
ISBN 10: 1108949479 ISBN 13: 9781108949477
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Neuware - This textbook offers a detailed and self-contained presentation of quantum field theory, suitable for advanced undergraduate and graduate level courses. The author provides full derivations wherever possible and adopts a pedagogical tone without sacrificing rigour. A fully worked solutions manual is available online for instructors.
Sprache: Englisch
Verlag: Cambridge University Press, 2022
ISBN 10: 1108949479 ISBN 13: 9781108949477
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Mathematical Logic through Python | Yannai A. Gonczarowski (u. a.) | Taschenbuch | Kartoniert / Broschiert | Englisch | 2022 | Cambridge University Press | EAN 9781108949477 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu.
Sprache: Englisch
Verlag: Cambridge University Press, 2022
ISBN 10: 110884507X ISBN 13: 9781108845076
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Using a unique pedagogical approach, this text introduces mathematical logic by guiding students in implementing the underlying logical concepts and mathematical proofs via Python programming. This approach, tailored to the unique intuitions and strengths of the ever-growing population of programming-savvy students, brings mathematical logic into the comfort zone of these students and provides clarity that can only be achieved by a deep hands-on understanding and the satisfaction of having created working code. While the approach is unique, the text follows the same set of topics typically covered in a one-semester undergraduate course, including propositional logic and first-order predicate logic, culminating in a proof of Gödel's completeness theorem. A sneak peek to Gödel's incompleteness theorem is also provided. The textbook is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. Familiarity with proofs and basic proficiency in Python is assumed.