Buch, Englisch, Band 11/2, 65 Seiten, Paperback, Format (B × H): 155 mm x 233 mm, Gewicht: 1280 g
Reihe: Applied Logic Series
Solutions to exercises
Buch, Englisch, Band 11/2, 65 Seiten, Paperback, Format (B × H): 155 mm x 233 mm, Gewicht: 1280 g
Reihe: Applied Logic Series
ISBN: 978-0-7923-5329-4
Verlag: Springer Netherlands
This, the first textbook in the new area, contains both discursive chapters with a minimum of formalism and formal chapters in which proofs and proof methods are presented. Using different selections from the formal sections, according to the author's detailed advice, allows the book to be used at all levels of university education. A supplementary volume contains solutions to the 210 exercises.
The volume's unique, comprehensive coverage means that it can also be used by specialists in the field of belief dynamics and related areas, such as non-monotonic reasoning and knowledge representation.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Geisteswissenschaften Philosophie Metaphysik, Ontologie
- Geisteswissenschaften Philosophie Erkenntnistheorie
- Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie
- Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Robotik
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
Weitere Infos & Material
Solutions for Chapter 1+.- Solutions for Chapter 2+.- Solutions for Chapter 3+.- Solutions for Chapter 4+.- Solutions for Chapter 5+.