Terug Terug

Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size

Name: Formal Methods for Nonmonotonic and Related Logics
Author: Karl Schlechta

Auteur: Karl Schlechta

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Karl Schlechta Karl Schlechta

Engels
Hardcover
9783319896526
14 november 2018
335 pagina's

Alle productspecificaties

Samenvatting

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.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Hardcover
Oorspronkelijke releasedatum: 14 november 2018
Aantal pagina's: 335
Illustraties: Nee

Betrokkenen

Hoofdauteur: Karl Schlechta
Tweede Auteur: Karl Schlechta
Hoofduitgeverij: Springer International Publishing Ag

Overige kenmerken

Editie: 1
Extra groot lettertype: Nee
Product breedte: 155 mm
Product lengte: 235 mm
Studieboek: Ja
Verpakking breedte: 155 mm
Verpakking hoogte: 21 mm
Verpakking lengte: 235 mm
Verpakkingsgewicht: 717 g

EAN

EAN: 9783319896526

Je vindt dit artikel in

Categorieën: Wetenschap & Natuur

Religie, Spiritualiteit & Filosofie

Computers & Informatica

Computertechnologie

Filosofie

Wetenschap algemeen

Wiskunde

Kunstmatige intelligentie

Wiskunde voor computerwetenschappers

Logica

Wetenschapsfilosofie

Grondslagen van de wiskunde

Wiskundige logica

Boeken
Boek, ebook of luisterboek?: Boek
Beschikbaarheid: Leverbaar
Taal: Engels
Studieboek of algemeen: Studieboeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.