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
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. These
notes uniquely combine Boolean algebra and propositional logic with the
description of machine-oriented calculi such as analytical tableaux and
resolution for a wholesome understanding of both the theoretical and practical
aspects of computer science.
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.
The
following Lecture Notes on High Performance Computing from VSS University of
Technology deal in-depth with new computing paradigms aimed at the efficient
execution of large computations. This PDF covers Cluster Computing, a form of
parallel processing wherein a group of computers that are symmetrically linked
work symptomatically as one system to enhance computation power. It looks at
Scalable Parallel Computer Architectures, which can grow as demand for
processing goes up. This discusses key components of clusters and the role of
Cluster Middleware in creating a Single System Image. The notes describe the
Evolution of Metacomputing, which covers development and integration aspects of
distributed computing resources. Other topics that are considered in this regard
include resource-sharing concepts like Load Sharing and Balancing. Furthermore,
Grid Computing and Cloud Computing, concepts based on distributed resources and
remote servers, will also be discussed. It also deals with the provisioning of
Virtual Machines and Time and Space-shared provisioning in order to provide
insight into some efficient resource management and virtualization issues in
high-performance computing environments.