General computer science Lecture notes

Think Python

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

Introduction to Theoretical Computer Science

This note covers Mathematical background, Computation and representation, Finite computation, Uniform computation, Efficient algorithms, Randomized computation and advanced topics.

Author(s): Boaz Barak

656 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

General computer science Lecture notes

This pdf provides a comprhensive overview about general computer science, provides examples and various related topics. The core of the course delves into the representation and computation with a focus on discrete mathematics. The subsequent section on programming delves into Standard ML, recursion and imperative features and encoding of programs as strings. The course progresses to Boolean algebra and Propositional logic and machineoriented calculi like analytical tableaux and resolution.

Author(s): Michael Kohlhase

179 Pages