- نویسنده: Michael Kohlhase
These lecture notes provide broad coverage of general issues in computer science, with an emphasis on discrete mathematics and programming. The topics taught in this course range from representational issues and computation of information, Standard ML, recursion, imperative programming, and encoding of programs as strings.
- نویسنده: Alexandru Ioan Cuza University
This lecture note provides a thorough introduction to the principles of propositional logic, an essential component of computer science. It begins with informal propositional logic and then delves into formal syntax, covering functions defined recursively and their semantics. The notes explore logical connectives and their roles in constructing and evaluating logical statements.
- نویسنده: Phillip Barty Crouch Junior
Overview of Computer Science by Phillip Barty Crouch Junior is broad but detailed in most key areas of computer science. It deals with algorithms, the prerequisite for problem-solving and data processing. Data representation and logic form the backbone through which computers understand and execute instructions and are thus discussed.
- نویسنده: Boaz Barak
Introduction to Theoretical Computer Science by Boaz Barak provides an overview of some basic notions. This voluminous note starts with serious foundational mathematics needed to understand the intricacies of computation. Among several models of computation and their representations, he deals with finite and uniform computations.