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 
Lecture Notes on Programming Theory for Management Information Systems
All this said in advance so as not to anticipate the reader to refer him to Johnny Wei Bing Lin's programming theory notes which fairly thoroughly delivers a course on programming theory precisely tailored for management information systems. Business data analysis begins the document which then gradually turns into using Python as both a calculator and tool which can do something more complex with data. Essentially, these topics include X Y plots, simple and advanced data analyses, and text data. The notes elaborate on the automation and management of information systems, which indicates file management and directory organization as well as powerful program design. This resource has been designed to equip the reader with skills practically applicable towards efficient management and analysis of business data through programming techniques.
Author(s): Johnny Wei Bing Lin
140 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
