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: Sets, Models and Proofs

Sets, Models and Proofs

Sets, Models and Proofs Vital Source e-bog

Ieke Moerdijk og Jaap van Oosten
(2018)
Springer Nature
328,00 kr.
Leveres umiddelbart efter køb
Sets, Models and Proofs

Sets, Models and Proofs

Ieke Moerdijk og Jaap van Oosten
(2018)
Sprog: Engelsk
Springer
375,00 kr. 189,00 kr.
På lager, Bestil nu og få den leveret
om ca. 2 hverdage
  • Klik for at bedømme:
  • 0.0/6 (0 bedømmelser)

Detaljer Om Varen

  • Vital Source E-book
  • Udgiver: Springer Nature (November 2018)
  • Forfattere: Ieke Moerdijk og Jaap van Oosten
  • ISBN: 9783319924144
This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Including examples from several areas of mathematics (algebra, linear algebra and analysis), the book illustrates the relevance and usefulness of logic in the study of these subject areas. The authors start with an exposition of set theory and the axiom of choice as used in everyday mathematics. Proceeding at a gentle pace, they go on to present some of the first important results in model theory, followed by a careful exposition of Gentzen-style natural deduction and a detailed proof of Gödel’s completeness theorem for first-order logic. The book then explores the formal axiom system of Zermelo and Fraenkel before concluding with an extensive list of suggestions for further study. The present volume is primarily aimed at mathematics students who are already familiar with basic analysis, algebra and linear algebra. It contains numerous exercises of varying difficulty and can be used for self-study, though it is ideally suited as a text for a one-semester university course in the second or third year.
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

  • Paperback
  • Udgiver: Springer (December 2018)
  • Forfattere: Ieke Moerdijk og Jaap van Oosten
  • ISBN: 9783319924137

This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Including examples from several areas of mathematics (algebra, linear algebra and analysis), the book illustrates the relevance and usefulness of logic in the study of these subject areas.

The authors start with an exposition of set theory and the axiom of choice as used in everyday mathematics. Proceeding at a gentle pace, they go on to present some of the first important results in model theory, followed by a careful exposition of Gentzen-style natural deduction and a detailed proof of Gödel's completeness theorem for first-order logic. The book then explores the formal axiom system of Zermelo and Fraenkel before concluding with an extensive list of suggestions for further study.

The present volume is primarily aimed at mathematics students who are already familiar with basic analysis, algebra and linear algebra. It contains numerous exercises of varying difficulty and can be used for self-study, though it is ideally suited as a text for a one-semester university course in the second or third year.
Introduction
- 1 Sets. - 2 Models. - 3 Proofs. - 4 Sets Again. - Appendix: Topics for Further Study. - Photo Credits. - Bibliography. -
Index.
De oplyste priser er inkl. moms

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.