Bog & idéBøgerEngelske bøgerEngelsk faglitteratur

Logic In Computer Science

0.0
Engelsk
Mathematical logic is an important basis for mathematics, computer science and artificial intelligence alike. This book provides a comprehensive introduction to various logics, including classical pro...

Paperback

839,95 DKK
På lager i 0 butikker.

Forlagsbeskrivelse af Logic In Computer Science

Mathematical logic is an important basis for mathematics, computer science and artificial intelligence alike. This book provides a comprehensive introduction to various logics, including classical propositional logic and first-order predicate logic, as well as equational logic, temporal logic, and Hoare logic.

Detaljer

Forlag
Springer Nature
ISBN
9789819798155
Sprog
Engelsk
Sider
442
Udgivelsesdato
14-01-2025
Format
Paperback
Varenr.
3266159
EAN nr.
9789819798155
Varegruppe
Engelsk non fiction div.
Bredde (mm)
235
Længde (mm)
155

Bogens kategorier Klik på en kategori for at se lignende bøger

  • Databehandling og informationsteknologiInformatikMatematisk datateori
  • Matematik og naturvidenskabMatematikMatematikkens fundamentMatematisk logik
  • Databehandling og informationsteknologiInformatikMatematisk datateoriMatematik til informatikfag
  • Matematik og naturvidenskabMatematikDiskret matematik
  • Anmeldelser Logic In Computer Science

    Brugernes anmeldelser
    Vurderet 0 ud af 5 baseret på 0 vurderinger