Introduction to Computer Science
This note covers the following topics: Computing: The Functional Way, Computing Tool, Algorithms: Design and Refinement, Technical Completeness and Algorithms, Introducing Reals, Correctness, Termination and Complexity, Compound Data, Higher Order Functions and Structured Data, Imperative Programming.
Author(s): S. Arun-Kumar
710 Pages 
This book contains below topics, The way of the program, Variables, expressions, and statements, Functions, Conditionals and recursion, Iteration, Strings, Lists, dictionaries, and tuples, Files, Classes and objects, Classes and methods, Inheritance.
Author(s): Allen B. Downey, Green Tea Press
244 Pages
Logic for Computer Science Lecture Notes
This lecture note covers introduction, Informal Propositional Logic, The Formal Syntax of Propositional Logic,Functions Defined Recursively on PL, Semantics of Propositional Logic, Logical Connectives, Natural Deduction, Normal Forms and Resolution in Propositional Logic.
Author(s): Alexandru Ioan Cuza University
84 Pages
This PDF covers the following topics related to Computer Science, Data the raw materialRepresenting information, Putting Computers to WorkAlgorithms, Telling Computers What To DoRepresenting Procedures, Really hard problemsIntractability, Sharing secrets and fighting crimeCryptography, The human face of computingInteracting with computers.
Author(s): Tim Bell, Ian H. Witten, Mike Fellows
243 Pages
The PDF covers the following topics related to Computer Science, Introduction to Logics, Propositional Calculus, Predicate Calculus, Applications of Predicate Calculus, Automated Deduction in Propositional Calculus, Automated Deduction in Predicate Calculus, SecondOrder Logic, SecondOrder Quantifier Elimination, Modal Logics, Temporal Logic, Logics of Programs, Fixpoint Calculus, Rough Concepts.
Author(s): Andrzej Szalas
125 Pages
