Computer & Internet

In mathematics and computer science, graph theory is the study of graphs, which are mathematical structures used to model pairwise relations between objects.

This book teaches two different sorts of things, woven together. It teaches you how to read and write mathematical proofs. It provides a survey of basic mathematical objects, notation, and techniques which will be useful in later computer science courses. These include propositional and predicate logic, sets, functions, relations, modular arithmetic, counting, graphs, and trees. And, finally, it gives a brief introduction to some key topics in theoretical computer science: algorithm analysis and complexity, automata theory, and computability.

As we move toward the 21st century, the techniques, tools, technologies, and subject matter of applications development are changing radically.

As we move toward the 21st century, the techniques, tools, technologies, and subject matter of applications development are changing radically. Globalization of the work place is impacting IS development as well, by pressuring organizations to strive for competitive advantage through automation, among other methods.

This course is on the Theory of Computation, which tries to answer the following questions: What are the mathematical properties of computer hardware and software? What is a computation and what is an algorithm ? Can we give rigorous mathematical definitions of these notions? What are the limitations of computers? Can “everything” be computed? (As we will see, the answer to this question is “no”.)

This book is intended to teach the design and analysis of basic data structures and their implementation in an object-oriented language. In this edition, the language happens to be C++.

This is a free textbook for an undergraduate course on Discrete Structures for Computer Science students, which I have been teaching at Carleton University since the fall term of 2013.

The theme of the book is software innovation - creativity and innovation in the development, design and exploitation of information systems (software).

This course is on the Theory of Computation, which tries to answer the following questions:

As systems become more complex, the human limitations to comprehending system requirements become more evident. Since we cannot develop appropriate solutions if we do not understand the problem, human understanding is the key ingredient.

Testing is Exploration: TEST THIS! This Chapter gives the reader a foretaste of what it is to test. By exploring Black box machines the reader understands how a product works and what might be the issues to consider.

This document provides an introduction to modeling and programming with Gecode, an open, free, portable, accessible, and efficient environment for developing constraint-based systems and applications.

Hand ling and processing text strings in R? Wait a second... you exclaim, R is not a scripting language like Perl, Python, or Ruby. Why would you want to use R for handling and processing text? Well, because sooner or later (I would say sooner than later) you will have to deal with some kind of string manipulation for your data analysis. So it’s better to be prepared for such tasks and know how to perform them inside the R environment.

ECMAScript (more popularly known by the name “JavaScript”) is the language of the web. In the decades past, it has been used to augment web pages with trivial features and obnoxious gimmicks.

TypeScript is an extension of JavaScript intended to enable easier development of large-scale JavaScript applications.

Synchronous programming languages are programming languages with an abstract (logical) notion of time: The execution of such programs is divided into discrete reaction steps, and in each of these reactions steps, the program reads new inputs and reacts by computing corresponding outputs of the conside red reaction step.

This course will give an intro duction to the programming language C. It runs in the autumn term and is addressed to students with no or little programming e xp erience in C. Attending this course will enable you to write simple C/C ++ programs and complete possible practical assignments of other courses that run alongside this course. In this term, there will be no separate coursework assignments for the course “Computing in C ++”.

Ruby is a dynamic, reflective, object-oriented, general-purpose programming language. It was designed and developed in the mid-1990s by Yukihiro "Matz" Matsumoto in Japan.

Erlang is the result of a project at Ericsson’s Computer Science Laboratory to improve the programming of telecommunication applications. A critical requirement was supporting the characteristics of such applications, that include:

This book is a companion book to the Go Bootcamp event organized for the first time in Santa Monica CA in March 2014.