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

Mathematical Logic

Mathematical Logic

Katalin Bimbó
(2019)
Sprog: Engelsk
CRC Press LLC
799,00 kr.
ikke på lager, Bestil nu og få den leveret
om ca. 10 hverdage

Detaljer om varen

  • Hardback: 272 sider
  • Udgiver: CRC Press LLC (Juli 2019)
  • ISBN: 9781498744133

This graduate level text on first-order logic highlights the importance of this area  as well as the abundance of results and some applications. The best-known of textbooks originated in an earlier era, and despite  frequent updating by their authors, they reflect a general view and a particular approach that is less adequate today. The addition of "metatheory" clarifies that this is not a textbook in  which the emphasis is on the basics such as formalizing English sentences and learning the use of  one or another calculus. This textbook takes a fresh look at the current state of  first-order  logic, and integrates newer results with a reevaluated stock of earlier ones.



Chapter 1. Language and interpretation of first-order logic
Chapter 2. Proof systems: sequent calculus, tableaux, axiomatic calculus
Chapter 3. Propositional logic (as a restriction of rst-order logic), truth tables, disjunctive and conjunctive normal forms, prenex normal forms
Chapter 4. Resolution calculus and its applications; equivalence of proof calculi
Chapter 5. Core metatheorems I: Soundness and completeness proofs (including separate proofs for propositional logic and di erent constructions for the quanti cational case)
Chapter 6. Core metatheorems II: Compactness, upward and downward L¿owenheim{Skolem theorems, Lindstr ¿om's theorem
Chapter 7. Core metatheorems III: Craig's interpolation theorem, Robinson's consistency theorem, Beth's de nability theorem
Chapter 8. Core metatheorems IV: Undecidability, the impact of the metatheorems
Chapter 9. Expressibility and de nability (variations on the set of logical connectives and the set of logical operators; choosing and modifying the non-logical vocabulary)
Chapter 10. Algebraizations (Boolean algebra for propositional logic, cylindric algebra and polyadic algebra for rst-order logic)
Chapter 11. Mathematical theories within first-order logic (varieties: semi-groups, groups, etc.; ordered structures; arithmetic; set theory)
Chapter 12. Decidability (propositional logic, classes of quanti cational formulas speci ed by quanti er prex, by shape of formulas)
Chapter 13. Complexity (satis ability problem, validity problem)
Chapter 14. Categorial view (category of proofs, quanti ers as adjoint functors)
De oplyste priser er inkl. moms

Senest sete

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 Bookshelf: 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. søgning, overstregning, notetagning mv. I langt de fleste tilfælde vil du samtidig have en sideløbende 1825 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.