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 
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
Introduction to Programming Lectures Notes
The lecture note covers programming concepts in detail with regard to the importance of beginners. The note compiles basic elements about objects, variables, and methods in relation to the significance of classes in object-oriented programming. Readers will learn about primitive data types, conditional and loop statements, and application of arrays and matrices in the management of data. Another aspect that the note focuses on is practical skills, such as file handling and error management, recursion, etc. What makes this resource absolute for beginning programmers is its clarity and structured approach.
Author(s): Prof. Diego Calvanese
NA Pages
