Carte Formal Methods for Nonmonotonic and Related Logics Karl Schlechta

Formal Methods for Nonmonotonic and Related Logics

Vol I: Preference and Size

Limbă: engleză
Legare: Copertă tare
Disponibilitate: În depozitul extern
Expediem în 10-13 zile
459.43 lei
The two volumes in this advanced textbook present results, proof methods, and translations of motiva...

Informații despre carte

Limbă
engleză
Legare
Carte - Copertă tare
Publicat
2018
Pagini
335
EAN
9783319896526
ISBN
3319896520
Enbook ID
19251058
Greutate
717
Dimensiuni
155 x 235 x 28

Descriere completă

The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In this Vol. I the author explains preferential structures and abstract size. In the associated Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics. In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate the path from intuition to formalisation. Together these books are a suitable compendium for graduate students and researchers in the area of computer science and mathematical logic.

S-ar putea să te intereseze

351.33 lei
52.73 lei
74.51 lei

Comeback Cookbook

Nicole Russin
4.63 lei
229.11 lei
187.76 lei

Clienții care au cumpărat această carte au mai cumpărat și

101.64 lei