SØG - mellem flere end 8 millioner bøger:

Søg på: Titel, forfatter, forlag - gerne i kombination.
Eller blot på isbn, hvis du kender dette.

Viser: Mathematical Logic for Computer Science

Mathematical Logic for Computer Science, 3. udgave

Mathematical Logic for Computer Science Vital Source e-bog

Mordechai Ben-Ari
(2012)
Springer Nature
730,00 kr. 657,00 kr.
Leveres umiddelbart efter køb
Mathematical Logic for Computer Science, 3. udgave

Mathematical Logic for Computer Science

Mordechai Ben-Ari
(2012)
Sprog: Engelsk
Springer London, Limited
599,00 kr. 539,10 kr.
Flere end 10 stk på lager
Hvor er varen på lager?
På lager, Bestil nu og få den leveret
om ca. 2 hverdage
  • Klik for at bedømme:
  • 6.0/6 (4 bedømmelser)

Detaljer Om Varen

  • 3. Udgave
  • Vital Source E-book
  • Udgiver: Springer Nature (Juni 2012)
  • ISBN: 9781447141297
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems. The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logic for the verification of concurrent programs. The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking.
Licens varighed:
Online udgaven er tilgængelig: 365 dage fra købsdato.
Offline udgaven er tilgængelig: ubegrænset dage fra købsdato.

Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)

Detaljer Om Varen

  • 3. Udgave
  • Paperback: 354 sider
  • Udgiver: Springer London, Limited (Juni 2012)
  • ISBN: 9781447141280

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.

The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logic
for the verification of concurrent programs.

The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking.

Preface
- Introduction
- Propositional Logic: Formulas, Models, Tableaux. - Propositional Logic: Deductive Systems. - Propositional Logic: Resolution. - Propositional Logic: Binary Decision Diagrams. - Propositional Logic: SAT Solvers. - First-Order Logic: Formulas, Models, Tableaux. - First-Order Logic: Deductive Systems. - First-Order Logic: Terms and Normal Forms. - First-Order Logic: Resolution. - First-Order Logic: Logic Programming. - First-Order Logic: Undecidability and Model Theory. - Temporal Logic: Formulas, Models, Tableaux. - Temporal Logic: A Deductive System. - Verification of Sequential Programs. - Verification of Concurrent Programs. - Set Theory. -
Index of Symbols. -
Index of Names. - Subject
Index.
De oplyste priser er inkl. moms

Kunder der købte denne bog købte også en af disse:

miniaturebillede af omslaget til Foundations of Multithreaded, Parallel, and Distributed Programming

Foundations of Multithreaded, Parallel, and Distributed Programming

Gregory Andrews
Pearson Education, Limited (1999)
499,00 kr. 449,10 kr.
På lager, Bestil nu og få den leveret
om ca. 2 hverdage
miniaturebillede af omslaget til Modern Operating Systems, Global Edition, 4. udgave

Modern Operating Systems, Global Edition

Andrew Tanenbaum og Herbert Bos
Pearson Education, Limited (2014)
777,00 kr. 699,30 kr.
På lager, Bestil nu og få den leveret
om ca. 2 hverdage
miniaturebillede af omslaget til Embedded System Design - A Unified Hardware/Software Introduction

Embedded System Design

A Unified Hardware/Software Introduction
Frank Vahid og Tony D. Givargis
John Wiley & Sons, Limited (2001)
777,00 kr. 699,30 kr.
På lager, Bestil nu og få den leveret
om ca. 2 hverdage
miniaturebillede af omslaget til Physics for Scientists and Engineers - Includes Flipit course software and Vital Source ebook

Physics for Scientists and Engineers

Includes Flipit course software and Vital Source ebook
Paul A. Tipler og Gene Mosca
Springer Nature (2007)
899,00 kr. 809,10 kr.
ikke på lager, Bestil nu og få den leveret
om ca. 10 hverdage
miniaturebillede af omslaget til Introduction to medical image analysis, 1. udgave

Introduction to medical image analysis

(2020)
333,00 kr. 299,70 kr.
På lager, Bestil nu og få den leveret
om ca. 2 hverdage

Polyteknisk Boghandel

har gennem mere end 50 år været studieboghandlen på DTU og en af Danmarks førende specialister i faglitteratur.

 

Vi lagerfører et bredt udvalg af bøger, ikke bare inden for videnskab og teknik, men også f.eks. ledelse, IT og meget andet.

Læs mere her


Trykt eller digital bog?

Ud over trykte bøger tilbyder vi tre forskellige typer af digitale bøger:

 

Vital Source Ebog: En velfungerende ebogsplatform, hvor bogen downloades til din computer og/eller mobile enhed.

 

Du skal bruge den gratis Bookshelf software til at læse læse bøgerne - der er indbygget gode værktøjer til f.eks. overstregning, notetagning mv. I langt de fleste tilfælde vil du samtidig have en sideløbende 365 dages online adgang. Læs mere om Vital Source bøger

 

Levering: I forbindelse med købet opretter du et login. Når du har installeret Bookshelf softwaren, logger du blot ind og din bog downloades automatisk.

 

 

Adobe ebog: Dette er Adobe DRM ebøger som downloades til din lokale computer eller mobil enhed.

 

For at læse bøgerne kræves særlig software, som understøtter denne type. Softwaren er gratis, men du bør sikre at du har rettigheder til installere software på den maskine du påtænker at anvende den på. Læs mere om Adobe DRM bøger

 

Levering: Et download link sendes pr email umiddelbart efter købet.

 


Ibog: Dette er en online bog som kan læses på udgiverens website. 

Der kræves ikke særlig software, bogen læses i en almindelig browser.

 

Levering: Vores medarbejder sender dig en adgangsnøgle pr email.

 

Vi gør opmærksom på at der ikke er retur/fortrydelsesret på digitale varer.