This is a comprehensive textbook, covering some fundamental mathematical
concepts underlying computer science. It starts with basic proofs, induction,
and recursion; it proceeds to infinite sets, number theory, and graph theory.
Further, it outlines the practical usage in the area of communication networks,
along with some aspects of probability theory involving random variables and
random walks. This merge of mathematical theory with computer science
applications provides an excellent framework upon which students can base their
study of algorithms, data structures, and other computational concepts.
Author(s): Eric Lehman, F. Thomson Leighton, Alberty R.
Meyer
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. Key topics: It presents efficient algorithms which are essential
in solving practical problems and randomized computation, one of whose important
features is to bring probabilistic methods into the design of algorithms.
Advanced topics broaden the knowledge further towards recent research and
trends. This note is intended for students and professionals at large who wish
to have a rigorous introduction to theoretical aspects and their practical
applications in computer science.
CS Unplugged is an
entertaining way to help learn about the basics of computer science, using
snacks, sorting games, and puzzles-none of which require a computer. The PDF
covers basic material like data representation, algorithms, and procedures
through to advanced and specialized topics such as intractability, cryptography,
and human-computer interaction. This is ideal for teachers and students alike
who seek knowledge about concepts in computer science using interactives with no
digital support; therefore, suitable for any environment where the learning
process takes place.
This is a comprehensive textbook, covering some fundamental mathematical
concepts underlying computer science. It starts with basic proofs, induction,
and recursion; it proceeds to infinite sets, number theory, and graph theory.
Further, it outlines the practical usage in the area of communication networks,
along with some aspects of probability theory involving random variables and
random walks. This merge of mathematical theory with computer science
applications provides an excellent framework upon which students can base their
study of algorithms, data structures, and other computational concepts.
Author(s): Eric Lehman, F. Thomson Leighton, Alberty R.
Meyer
Dr. Chris Bourke's book
provides an extended textbook introduction to many core areas of computer
science. It covers the basics of programming: conditionals, loops, functions,
and error handling. More advanced topics concern dynamic memory, collections,
and file I/ using both procedural and object-oriented approaches. There are
chapters on searching and sorting algorithms, graphical user interface design,
and database connectivity. This resource serves well as a starting point, either
for beginners or intermediate learners, in terms of providing overall depth
regarding key concepts and best practices in the subject of programming.
Author(s): Dr. Chris Bourke, Department of
Computer Science and Engineering, University of Nebraska
The book "Logic for Computer
Science" by Andrzej Szalas provides an in-depth discussion of several logical
systems located at the heart of computer science. This in-depth PDF gives the
basics—introducing the reader to some logics—leading to a very solid foundation
on the Propositional Calculus and the Predicate Calculus. It goes on to show the
application of these logics to automated deduction as both Propositional and
Predicate Calculus. The text by this token goes further to illustrate advanced
topics, including Second-Order Logic, Second-Order Quantifier Elimination, and
Modal Logics. This text also goes on to consider Temporal Logic, Logics of
Programs, and Fixpoint Calculus and demonstrates how these notions are used both
theoretically and practically in the area of computing. With its breadth, this
resource is invaluable in understanding the theoretical underpinnings of
computer science and their practical applications in the areas of software
development and automated reasoning.
Overview "Computer Skills" by Qais A. Marji is a very important
resource in basic computer skills development. This online resource varies in
topic from basic computer components and their functions to more complex issues.
It includes detailed discussions of computer viruses and protection measures
that will help users understand how to protect their systems. The document
introduces operating systems-DOS and Windows-additionally some essential
application software: word processors, spreadsheet applications, and
presentation applications. It further extends to cover the use of the internet
and e-mail. This course is specially prepared for students and beginners with
the aim of equipping them with practical skills in everyday computing tasks that
would serve to increase their proficiency and build confidence in the use of
technology.