+- SpeedwayHero - forum (https://speedwayhero.com/forum)
+-- Dział: Forum Główne (https://speedwayhero.com/forum/forumdisplay.php?fid=1)
+--- Dział: Propozycje (https://speedwayhero.com/forum/forumdisplay.php?fid=5)
+--- Wątek: Proof Theory And Logic Programming: Computation As Proof Search (/showthread.php?tid=48970)
Proof Theory And Logic Programming: Computation As Proof Search - charlie - 03-12-2025
[center]
![[Obrazek: 44bd2798c9508bef6592b335c8b17dad.png]](https://i126.fastpic.org/big/2025/1203/ad/44bd2798c9508bef6592b335c8b17dad.png)
English | 2025 | ISBN: 1009561294 | 335 pages | True PDF | 2.71 MB [/center]
This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper understanding for readers interested in the theoretical underpinnings of computation and the logic programming paradigm.
Cytat:https://rapidgator.net/file/9cd52976e426ca64c778bda4b2609299/1009561294.pdf.html