Goal-Directed Proof Theory - N. Olivetti,Dov M Gabbay
-40% koodiga BOOKS
Saadetis 22-28 tööpäeva jooksul
30-päevane tagastamisõigus
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first tim ... Täielik kirjeldus
Võib-olla meeldib sulle ka
TOP
How Not to Be Wrong: The Power of Mathematical Thinking
-40% koodiga BOOKS
Meie tarnija laos
TOP
Ikigai: The Japanese secret to a long and happy life
Francesc Miralles, Héctor García
-40% koodiga BOOKS
Laos
TOP
The Artist's Way: A Spiritual Path to Higher Creativity
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Holy Bible - King James Version (KJV): Popular Gift & Award Black Leatherette Edition
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Daily Stoic: 366 Meditations on Wisdom, Perseverance, and the Art of Living: Featuring new translations of Seneca, Epictetus, and Marcus Aurelius
Stephen Hanselman, Ryan Holiday
-40% koodiga BOOKS
Laos
TOP
Open Socrates: The Case for a Philosophical Life
-40% koodiga BOOKS
Meie tarnija laos
TOP
Original Sin: The Genetics of Wrongdoing, the Problem of Blame and the Future of Forgiveness
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Art of War & Other Classics of Eastern Philosophy
Mencius, Lao-Tzu, Confucius, Sun Tzu
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Reed of God: Mary, Virgin and Mother
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Power of Now: A Guide to Spiritual Enlightenment
-40% koodiga BOOKS
Laos
TOP
On the Shortness of Life: Life is long if you know how to use it
-40% koodiga BOOKS
Meie tarnija laos
TOP
Antifragile: Things That Gain from Disorder
-40% koodiga BOOKS
Meie tarnija laos
TOP
Thus Spoke Zarathustra: A Book for Everyone and No One
-40% koodiga BOOKS
Meie tarnija laos
TOP
Antifragile: Things That Gain from Disorder
-40% koodiga BOOKS
Meie tarnija laos
Kirjeldus
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an introduction to these logical systems form a procedural perspective. Readership: Computer scientists, mathematicians and philosophers, and anyone interested in the automation of reasoning based on non-classical logics. The book is suitable for self study, its only prerequisite being some elementary knowledge of logic and proof theory.
Lisateave
| Autor | N. Olivetti, Dov M Gabbay |
|---|---|
| Kirjastaja | Springer Netherlands |
| Series | Applied Logic Series |
| Väljalaskeaasta | 2000 |
| Kaanetüüp | Kõvakaaneline |
| EAN | 9780792364733 |