Zbirka: Matematična logika

540 rezultatov

  • Ogled izdelka
    Art of Logic(2019) CHENG, EUGENIA
    A practical, illuminating and timeless guide to thinking better, from a Royal Society Prize shortlisted mathematician - now in paperback.
    Vezava: Mehka
    16,66 €
  • Ogled izdelka
    x+y(2021) CHENG, EUGENIA
    What if we could do the impossible and remove gender from the equation?
    Vezava: Mehka
    13,88 €
  • Ogled izdelka
    Essential Logic for Computer Science(2019) REX PAGE
    Vezava: Trda
    69,20 €
  • Ogled izdelka
    Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science(2018)
    Vezava: Trda
    54,14 €
  • Ogled izdelka
    Mathematical Logic through Python(2022) NOAM NISAN
    Vezava: Mehka
    42,25 €
  • Ogled izdelka
    Alan Turing(2017) TURING, DERMOT
    Alan Turing - a mathematician, codebreaker, computer scientist and biologist. His codebreaking work at Bletchley Park was so significant it helped to shorten the Second World War. This book, with recent research by his nephew, Dermot Turing, has unearthed
    Vezava: Mehka
    8,34 €
  • Ogled izdelka
    Logic(2005) WILFRED HODGES
    Vezava: Mehka
    15,27 €
  • Ogled izdelka
    Combinators(2021) WOLFRAM, STEPHEN
    Vezava: Trda
    40,12 €
  • Ogled izdelka
    Sequents and Trees(2020) INDRZEJCZAK, ANDRZEJ
    This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.
    Vezava: Trda
    83,95 €
  • Ogled izdelka
    Godel's Proof(2005) NAGEL, ERNEST,NEWMAN, JAMES R.
    A combination of science and accessibility, this book is for both mathematicians and the idly curious, offering those with a taste for logic and philosophy the chance to satisfy their intellectual curiosity. It presents a readable explanation to both scho
    Vezava: Mehka
    22,38 €
  • Ogled izdelka
    Abductive Analysis(2014) TAVORY, IDDO,TIMMERMANS, STEFAN
    Provides a new navigational map for constructing empirically based generalizations in qualitative research. The authors outline an accessible way to think about observations, methods, and theories that nurtures theory-formation without locking it into pre
    Vezava: Mehka
    33,08 €
  • Ogled izdelka
    At Sixes and Sevens(2021) RILEY, RACHEL
    An engaging, accessible introduction into how numbers work and why we shouldn’t be afraid of them, from maths expert Rachel Riley.
    Vezava: Trda
    20,83 €
  • Ogled izdelka
    Maths on the Back of an Envelope(2021) EASTAWAY, ROB
    ‘Another terrific book by Rob Eastaway’ SIMON SINGH ‘A delightfully accessible guide to how to play with numbers’ HANNAH FRY
    Vezava: Mehka
    13,88 €
  • Ogled izdelka
    Reverse Mathematics(2019) STILLWELL, JOHN
    Vezava: Mehka
    28,10 €
  • Ogled izdelka
    Category Theory in Context(2016) RIEHL, EMILY,STEWART, IAN
    Vezava: Mehka
    40,98 €
  • Ogled izdelka
    (Co)end Calculus(2021) LOREGIAN, FOSCO
    This easy-to-cite handbook gives the first systematic treatment of the (co)end calculus, a powerful tool for clarifying and simplifying many results in category theory that may then be exported to diverse mathematical fields. It is suitable as a reference
    Vezava: Mehka
    98,36 €
  • Ogled izdelka
    How to Prove It(2019) VELLEMAN, DANIEL J. (AMHERST COLLEGE, MASSACHUSETTS)
    Proofs play a central role in advanced mathematics and theoretical computer science, and this bestselling text's third edition will help students transition from solving problems to proving theorems by teaching them the techniques needed to read and write
    Vezava: Mehka
    66,14 €
  • Ogled izdelka
    Essential Math for AI - Next-Level Mathematics for Efficient and Successful AI Systems()
    Vezava:
    82,08 €
  • Ogled izdelka
    Causal Inference for Statistics, Social, and Biomedical Sciences: An Introduction(2015) GUIDO W. IMBENS
    Vezava: Trda
    84,79 €
  • Ogled izdelka
    Algorithmes(2011) DONALD E. KNUTH
    Vezava: Mehka
    33,77 €

Ostali so si ogledali tudi ...