Skip to main content
Search Button
USA Kobo butik Gavekort Hjælp
Kobo Rakuten
Ønskeliste

Indkøbskurv

Du får VIP-behandling!

Vare(r) ikke tilgængelig til køb
Gennemgå din indkøbskurv. Du kan fjerne de(n) tilgængelige vare(r) nu, ellers fjerner vi det automatisk ved kassen.
varervare
varervare

Anbefalet til dig

Loading...


Computer Science (R0) Bogserier

1 - 12 af 12 resultater
Skip side bar filters

  • Mathematics of Discrete Structures for Computer Science

    af Gordon J. Pace ...
    Serier serie Computer Science (R0)
    Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital circuit, a computer program or a new programming language, you need mathematics to be able to reason about the design -- its correctness, robustness and dependability. This book covers the foundational ... Læs mere

    $49.99 USD

Personer, der læser dette, syntes også om...

  • Sets, Logic and Maths for Computing

    af David Makinson ...
    Serier serie Computer Science (R0)
    This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction; but it is also partly quantitative, with principles of counting and finite probability. Entwined with both are the fundamental notions of logic ... Læs mere

    $31.99 USD

  • The Incomputable

    Journeys Beyond the Turing Barrier

    Redigeret af S. Barry Cooper, Mariya I. Soskova ...
    Serier serie Computer Science (R0)
    This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued discourse between researchers from different disciplines, and this book is unique in its focus on the mathematical theory of incomputability and its relevance for the real world. The core of the book ... Læs mere

    $116.99 USD

  • Recent Trends in Algebraic Development Techniques

    22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

    Redigeret af Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu ...
    Serier serie Springer Nature Proceedings Computer Science
    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.The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus together with one invited paper on foundations of algebraic specification, approaches to formal ... Læs mere

    $40.99 USD

  • A Course on Mathematical Logic

    af Shashi Mohan Srivastava ...
    Serier serie Mathematics and Statistics (R0)
    This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to ... Læs mere

    $62.99 USD

  • Logic, Rationality, and Interaction

    6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

    Redigeret af Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada ...
    Serier serie Springer Nature Proceedings Computer Science
    This LNCS volume is part of FoLLI book serie and contains the papers presented at the 6th International Workshop on Logic, Rationality and Interaction/ (LORI-VI), held in September 2017 in Sapporo, Japan.The focus of the workshop is on following topics: Agency, Argumentation and Agreement, Belief Revision and Belief Merging, Belief Representation, Cooperation, Decision making and Planning, Natural ... Læs mere

    $49.49 USD

  • A Beginner's Guide to Discrete Mathematics

    af W.D. Wallis ...
    Serier serie Mathematics and Statistics (R0)
    Wallis's book on discrete mathematics is a resource for an introductory course in a subject fundamental to both mathematics and computer science, a course that is expected not only to cover certain specific topics but also to introduce students to important modes of thought specific to each discipline . . . Lower-division undergraduates through graduate students. —Choice reviews (Review of the ... Læs mere

    $80.99 USD

  • Mathematics in Computing

    An Accessible Guide to Historical, Foundational and Application Contexts

    af Gerard O’Regan ...
    Serier serie Computer Science (R0)
    This clearly written and enlightening textbook provides a concise, introductory guide to the key mathematical concepts and techniques used by computer scientists. Topics and features: ideal for self-study, offering many pedagogical features such as chapter-opening key topics, chapter introductions and summaries, review questions, and a glossary; places our current state of knowledge within the ... Læs mere

    $58.99 USD

  • Applied Logic for Computer Scientists

    Computational Deduction and Formal Proofs

    af Mauricio Ayala-Rincón, Flávio L. C. de Moura ...
    Serier serie Computer Science (R0)
    This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems ... Læs mere

    $44.99 USD

  • Reasoning and Unification over Conceptual Graphs

    af Dan Corbett ...
    Reasoning and Unification over Conceptual Graphs is an exploration of automated reasoning and resolution in the expanding field of Conceptual Structures. Designed not only for computing scientists researching Conceptual Graphs, but also for anyone interested in exploring the design of knowledge bases, the book explores what are proving to be the fundamental methods for representing semantic ... Læs mere

    $89.99 USD

  • Quantum Physics, Fuzzy Sets and Logic

    Steps Towards a Many-Valued Interpretation of Quantum Mechanics

    af Jarosław Pykacz ...
    Serier serie Physics and Astronomy (R0)
    This Brief presents steps towards elaborating a new interpretation of quantum mechanics based on a specific version of Łukasiewicz infinite-valued logic. It begins with a short survey of main interpretations of quantum mechanics already proposed, as well as various models of many-valued logics and previous attempts to apply them for the description of quantum phenomena. The prospective many-valued ... Læs mere

    $49.49 USD

  • Pursuit of the Universal

    12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

    Redigeret af Arnold Beckmann, Laurent Bienvenu, Nataša Jonoska ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th Conference on Computability in Europe, CiE 2016, held in Paris, France, in June/July 2016.The 18 revised full papers and 19 invited papers and invited extended abstracts were carefully reviewed and selected from 40 submissions. The conference CiE 2016 has six special sessions – two sessions, cryptography and information theory and symbolic ... Læs mere

    $49.99 USD