Mathematical theory of computation

Computeralgebrasysteme (CAS) werden in vielen Mathematikvorlesungen noch nicht benutzt, der Student möchte sie aber zur Behandlung grundlegender mathematischer Probleme einsetzen, die andernfalls nur sehr aufwändig per Hand zu lösen wären.

Many-valued logics were developed as an attempt to handlephilosophical doubts about the "e;law of excluded middle"e; inclassical logic.

Das vorliegende Buch bietet eine auf die Belange der mathematischen Grundausbildung der Informatiker zugeschnittene Einführung in die Lineare Algebra, die den Leser bis hin zu den Euklidischen Vektorräumen und der Hauptachsentransformation führt.

Dieses Lehrbuch umfaßt einen Kanon von Themen, der an vielen Universitäten unter dem Titel "Diskrete Strukturen" fester Bestandteil des Informatik-Grundstudiums geworden ist.

Intelligent Information Technology (iiT) encompasses the theories and ap- plications of artificial intelligence, statistical pattern recognition, learning theory, data warehousing, data mining and knowledge discovery, Grid com- puting, and autonomous agents and multi-agent systems in the context of today's as well as future IT, such as Electronic Commerce (EC), Business Intelligence (BI), Social Intelligence (SI), Web Intelligence (WI), Knowledge Grid (KG), and Knowledge Community (KC), among others.

The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years.

In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function.

Diese Einführung in die Grundlagen der Dokumentation und des Information Retrieval, d.

Der Informatik wird in der öffentlichen Wahrnehmung seit bald drei Jahrzehnten eine Schlüsselrolle in der technologischen Entwicklung zugeordnet.

Die nunmehr 3.

Diese Einführung in die Informatik zeichnet sich durch die Ausrichtung auf moderne Konzepte aus und legt insbesondere die objektorientierte Programmiersprache Java zugrunde.

Diese Einführung in die Grundlagen der Dokumentation und des Wiederauffindens von Information zu thematisch-inhaltlichen Fragen entstand auf der Basis langjähriger Lehrtätigkeit.

Diese Einführung in die Grundlagen der Dokumentation und des Information Retrieval, d.

Wozu hat eine Einführung in die diskrete Mathematik ein so langes Vorwort?

Initially proposed as rivals of classical logic, alternative logics have become increasingly important in sciences such as quantum physics, computer science, and artificial intelligence.

Alan Turing's fundamental contributions to computing led to the development of modern computing technology, and his work continues to inspire researchers in computing science and beyond.

Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity.

Business-to-business (B2B) integration is a buzzword which has been used a lot in recent years, with a variety of meanings.

In many fields of modern mathematics specialised scientific software becomes increasingly important.

In theory there is no difference between theory and practice.

Graph algorithms is a well-established subject in mathematics and computer science.

This is the first account on the history of software.

Modern cryptography depends heavily on number theory, with primality test- ing, factoring, discrete logarithms (indices), and elliptic curves being perhaps the most prominent subject areas.

Fluids, play an important role in environmental systems, appearing as surface water in rivers, lakes, and coastal regions or in the subsurface as well as in the atmosphere.

Genetic programming (GP), one of the most advanced forms of evolutionary computation, has been highly successful as a technique for getting computers to automatically solve problems without having to tell them explicitly how.

This book is based on lectures on geometry at the University of Bergen, Norway.

This book is the first coherently written multi-author monograph on Web Intelli- gence (WI).

Clifford algebra, then called geometric algebra, was introduced more than a cenetury ago by William K.

Most natural optimization problems, including those arising in important application areas, are NP-hard.

Model checking is a powerful approach for the formal verification of software.

This book is about efficient communication.

As an interdisciplinary field, computational linguistics has its sources in several areas of science, each with its own goals, methods, and historical background.

Soft computing encompasses various computational methodologies, which, unlike conventional algorithms, are tolerant of imprecision, uncertainty, and partial truth.

In its thousands of years of history, mathematics has made an extraordinary ca- reer.

Computational geometry emerged from the field of algorithms design and anal- ysis in the late 1970s.

Calendar units, such as months and days, clock units, such as hours and seconds, and specialized units, such as business days and academic years, play a major role in a wide range of information system applications.

Recent breakthroughs in AI have not only increased demand for AI products, they've also lowered the barriers to entry for those who want to build AI products.

Database technology and entity-relationship (ER) modeling have meanwhile reached the level of an established technology.

Mathematicians do not study objects, but relations among objectsj they are indifferent to the replacement of objects by others as long as relations do not change.

This book is the first comprehensive survey of the field of constraint databases.

The central task of a future-oriented computationallinguistics is the development of cognitive machines which humans can freely talk with in their respective naturallan- guage.

Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs.

Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control.

Computational geometry emerged from the field of algorithms design and anal- ysis in the late 1970s.

Konrad Zuse is one of the great pioneers of the computer age.

The development of information processing systems requires models, calculi, and theories for the analysis of computations.

In the last decade there have been rapid developments in thefield of computer-based learning environments.