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
This note exlains the following toipics, Basic Business Data Analysis, Python as a Basic and Business Calculator, X Y Plots, Simple Data Analysis, Manipulating Data and More Complex Data Analysis, Reading In and Writing Out Text Data, Automating and Managing Information Systems, Managing Files, Managing Collections of Files Directories, Managing Collections of Files Searching and Designing Power Programs.
Author(s): Johnny Wei Bing Lin
140 Pages
Theory in Programming Practice
Jayadev Misras 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 machinesso 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 databasesa topic thats 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
