+- HHW.hu (https://hhwforum.hu)
+-- Fórum: Letöltések (https://hhwforum.hu/forumdisplay.php?fid=9)
+--- Fórum: E-könyvek (https://hhwforum.hu/forumdisplay.php?fid=57)
+---- Fórum: Külföldi könyvek (https://hhwforum.hu/forumdisplay.php?fid=64)
+---- Téma: Proof and Computation (/showthread.php?tid=205784)
RE: Proof and Computation - book24h - 2024-12-30
![[Kép: 0fe7c8b528ed41b5c1d4bad9f18359e8.webp]](https://i124.fastpic.org/big/2024/1230/e8/0fe7c8b528ed41b5c1d4bad9f18359e8.webp)
Free Download Proof and Computation By Ulrich Berger, Helmut Schwichtenberg (auth.), Helmut Schwichtenberg (eds.)
1995 | 470 Pages | ISBN: 3642793630 | PDF | 34 MB
Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques. This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal proof on computation theory. The subjects covered are: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.
Buy Premium From My Links To Get Resumable Support,Max Speed & Support Me
Idézet:A kódrészlet megtekintéséhez be kell jelentkezned, vagy nincs jogosultságod a tartalom megtekintéséhez.Links are Interchangeable - Single Extraction