Logic Programming by Frank Pfenning
Logic programming is a paradigm where computation arises from proof search in a logic according to a fixed, predictable strategy. It thereby unifies logical specification and implementation in a way that is quite different from functional or imperative programming. This course provides a thorough, modern introduction to logic programming. It consists of a traditional lecture component and a project component. The lecture component introduces the basic concepts and techniques of logic programming followed by successive refinement towards more efficient implementations or extensions to richer logical concepts. We plan to cover a variety of logics and operational interpretations. The project component will be one or several projects related to logic programming. 28-1-2020
Author(s): Frank Pfenning,Carnegie Mellon University
324 Pages 
Theory in Programming Practice
Jayadev Misra's Theory in Programming Practice is quite informative for the essentials of programming theory, especially with practical implications. The text includes compression techniques for data, reducing data size without loss of integrity, methods for detection and correction of errors in data transmission, and cryptography techniques for securing information from unauthorized access. Notes Also familiarize the reader with finite state machines-so very crucial in modeling and analyzing computations processes. Misra on recursion and induction Basic concepts that exist in the world of programming and designing algorithms. Relational databases-a topic that's very relevant to the management of structured data. Of course, the entire resource caters to both theoretical and practical knowledge, making this resource quite helpful in understanding core programming concepts and their implementations.
Author(s): Jayadev Misra
250 Pages
Coding Theory and Applications
This book is meant for undergraduate students who wish to obtain a basic knowledge in coding theory based on the subject of linear codes. It begins with introductory chapters based on Shannon theory and relevant to coding, then advances to detailed discussions about decoding linear codes and the MacWilliams identity. Besides these, the construction of new codes and the attainment of bounds on code performance are subjects of discussion, and thus Reed-Muller codes prove very significant in this light. This book is an exposition of the practical coding theory applied in many fields: telecommunications to data storage. It focuses on fast decoding techniques and higher-order RM codes.
Author(s): Enes Pasalic
154 Pages
