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 
Programming Fundamentals by Kenneth Leroy Busbee
Kenneth Leroy Busbee and Dave Braunschweig's Programming Fundamentals is a book that offered readers a more solid foundation in programming concepts. The text covers the basic elements of programming systems: from data types to the operators and the functions, to control structures including the conditions and the loops, advanced elements such as arrays and strings processing files among others. The book focuses on object-oriented programming and brings out classes and objects. This material is widely used by students looking to develop a solid foundation of programming principles and practices-a growing emphasis on practical application and theoretical knowledge.
Author(s): Kenneth Leroy Busbee, Dave Braunschweig
424 Pages
Notes on Coding Theory by J.I.Hall
This comprehensive note considers some basic material in coding theory and discusses sphere packing and Shannon's theorem, which form the basics to understanding the idea of error correction and data transmission. It also deals with the concept of linear codes and their applications by describing Hamming codes and generalized Reed-Solomon codes. The material further takes a look at some codes within the frameworks of modifiation of codes and codes over subfields, providing insights into cyclic codes. Furthermore, it addresses the importance of countering weights and distances in error-correcting codes, thus making it a very vital text for students and professionals looking to deepen their knowledge on mathematical underpinnings and practical applications of coding theory.
Author(s): J.I.Hall
204 Pages
