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
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
