Kaikki kirjat 35 % alennuksella koodilla: BOOKS

Olibro

Oma ostoskori

Latautuu...

Asiakastunnus

Uusi asiakas

Tilin luominen tuo monia etuja:

  • Katso tilauksen ja toimituksen tila
  • Seuraa tilaushistoriaa
  • Tarkista nopeammin
Luo tili
  • check Yli 10 miljoonaa kirjaa
  • check Uutuuksia joka päivä
  • check Yli 1 miljoona asiakasta luottaa meihin
  • check Hyvät hinnat ja alennukset
  • check Toimitus koko Eurooppaan

Satisfiability Modulo Theories: Computer Science, Theory (Mathematical Logic) -

(0)
Kirjoita arvostelu
englanti
2026-03-15
138,79 € 213,53 €

-35% koodilla BOOKS

Pehmeäkantinen 213,53 € Kovakantinen
Toimittajalla varastossa

Toimitus 15-21 arkipäivässä

30 päivän palautusoikeus

High Quality Content by WIKIPEDIA articles! In computer science, the Satisfiability Modulo Theories (SMT) problem is a decision problem for logical formulas with respect to combinations of background theories expressed in classical first-order logic with equality. Examples of theories typically used in computer science are the theory of real numbers, the theory of integers, and the theories of various data ... Täydellinen kuvaus

Saatat myös pitää

-35%
TOP
If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All

If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All

Eliezer Yudkowsky, Nate Soares

16,35 € 25,15 €

-35% koodilla BOOKS

Toimittajalla varastossa

-35%
TOP
NEW
The God Test

The God Test

Robert Wright

16,35 € 25,15 €

-35% koodilla BOOKS

Toimittajalla varastossa

-35%
TOP
NEW
The 21st Century Brain: Cutting edge neuroscience to help us navigate the future

The 21st Century Brain: Cutting edge neuroscience to help us navigate the future

Hannah Critchlow

18,02 € 27,72 €

-35% koodilla BOOKS

Toimittajalla varastossa

-35%
TOP
Gödel, Escher, Bach: An Eternal Golden Braid

Gödel, Escher, Bach: An Eternal Golden Braid

Douglas R. Hofstadter

22,74 € 34,99 €

-35% koodilla BOOKS

Toimittajalla varastossa

-35%
TOP
AI Engineering: Building Applications with Foundation Models

AI Engineering: Building Applications with Foundation Models

Chip Huyen

78,81 € 121,25 €

-35% koodilla BOOKS

Toimittajalla varastossa

-35%
TOP
Empire of AI: Dreams and Nightmares in Sam Altman's OpenAI

Empire of AI: Dreams and Nightmares in Sam Altman's OpenAI

Karen Hao

18,02 € 27,72 €

-35% koodilla BOOKS

Toimittajalla varastossa

-35%
TOP
Python Crash Course: A Hands-On, Project-Based Introduction to Programming

Python Crash Course: A Hands-On, Project-Based Introduction to Programming

Eric Matthes

39,83 € 61,27 €

-35% koodilla BOOKS

Toimittajalla varastossa

-35%
TOP
How To Think About AI: A Guide For The Perplexed

How To Think About AI: A Guide For The Perplexed

Richard Susskind

13,26 € 20,40 €

-35% koodilla BOOKS

Toimittajalla varastossa

-35%
TOP
NEW
The Rust Programming Language

The Rust Programming Language

Steve Klabnik, Carol Nichols, Chris Krycho

47,78 € 73,51 €

-35% koodilla BOOKS

Toimittajalla varastossa

-35%
TOP
NEW
How to Talk to AI: (And How Not To)

How to Talk to AI: (And How Not To)

Jamie Bartlett

12,99 € 19,99 €

-35% koodilla BOOKS

Toimittajalla varastossa

-35%
TOP
Why Machines Learn: The Elegant Math Behind Modern AI

Why Machines Learn: The Elegant Math Behind Modern AI

Anil Ananthaswamy

49,02 € 75,41 €

-35% koodilla BOOKS

Toimittajalla varastossa

-35%
TOP
The Pragmatic Programmer: journey to mastery, 20th Anniversary Edition, 2/e: your journey to mastery, 20th Anniversary Edition

The Pragmatic Programmer: journey to mastery, 20th Anniversary Edition, 2/e: your journey to mastery, 20th Anniversary Edition

Andrew Hunt, David Thomas

47,96 € 73,78 €

-35% koodilla BOOKS

Toimittajalla varastossa

-35%
TOP
Hackers. 25th Anniversary Edition: Heroes of the Computer Revolution

Hackers. 25th Anniversary Edition: Heroes of the Computer Revolution

Steven Levy

29,75 € 45,77 €

-35% koodilla BOOKS

Toimittajalla varastossa

-35%
TOP
The Art of Game Design: A Book of Lenses

The Art of Game Design: A Book of Lenses

Jesse Schell

84,72 € 130,34 €

-35% koodilla BOOKS

Toimittajalla varastossa

-35%
TOP
How Linux Works: What Every Superuser Should Know

How Linux Works: What Every Superuser Should Know

Brian Ward

39,83 € 61,27 €

-35% koodilla BOOKS

Toimittajalla varastossa

-35%
TOP
Hands-On Large Language Models: Language Understanding and Generation

Hands-On Large Language Models: Language Understanding and Generation

Maarten Grootendorst, Jay Alammar

122,53 € 188,51 €

-35% koodilla BOOKS

Toimittajalla varastossa

-35%
TOP
Fundamentals of Software Architecture: A Modern Engineering Approach

Fundamentals of Software Architecture: A Modern Engineering Approach

Mark Richards, Neal Ford

78,81 € 121,25 €

-35% koodilla BOOKS

Toimittajalla varastossa

-35%
TOP
NEW
Slanted 47 Digital Tools: Slanted Magazine

Slanted 47 Digital Tools: Slanted Magazine

24,49 € 37,68 €

-35% koodilla BOOKS

Toimittajalla varastossa

-35%
TOP
Linux Basics for Hackers, 2nd Edition: Getting Started with Networking, Scripting, and Security in Kali

Linux Basics for Hackers, 2nd Edition: Getting Started with Networking, Scripting, and Security in Kali

Occupytheweb

31,86 € 49,01 €

-35% koodilla BOOKS

Toimittajalla varastossa

-35%
TOP
Deep Learning: Foundations and Concepts

Deep Learning: Foundations and Concepts

Christopher M. Bishop, Hugh Bishop

93,59 € 143,98 €

-35% koodilla BOOKS

Toimittajalla varastossa

Kuvaus

High Quality Content by WIKIPEDIA articles! In computer science, the Satisfiability Modulo Theories (SMT) problem is a decision problem for logical formulas with respect to combinations of background theories expressed in classical first-order logic with equality. Examples of theories typically used in computer science are the theory of real numbers, the theory of integers, and the theories of various data structures such as lists, arrays, bit vectors and so on. Formally speaking, an SMT instance is a formula in first-order logic, where some function and predicate symbols have additional interpretations, and SMT is the problem of determining whether such a formula is satisfiable. In other words, imagine an instance of the Boolean satisfiability problem (SAT) in which some of the binary variables are replaced by predicates over a suitable set of non-binary variables. A predicate is basically a binary-valued function of non-binary variables. Example predicates include linear inequalities (e.g., 3x+ 2y - z geq 4) or equalities involving so-called uninterpreted terms and function symbols (e.g., f(f(u,v),v) = f(u,v) where f is some unspecified function of two unspecified arguments.)

Lisätietoja

Julkaisija OmniScriptum
Julkaisuvuosi 2026
Kannen tyyppi Pehmeäkantinen
EAN 9786131201929
Kirjoita oma arvostelusi
Arvostelet: Satisfiability Modulo Theories: Computer Science, Theory (Mathematical Logic)
Arvostelusi:

Goodreads-arvostelut

138,79 € 213,53 €