Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Das Lehrbuch befasst sich mit dem präzisen Denken, einer Schlüsselkompetenz im Studium der Informatik. Es bildet die Vorstufe für das Verständnis der logischen Grundfunktionen der Informatik. Das Erlernen der mathematischen Logik ist ein wesentlicher Bestandteil des Grundstudiums, da  das logische Denken in der Informatik auf den gleichen Regeln und Techniken basiert wie in der Mathematik. Der Autor führt umfassend in die Aussagenlogik ein und erklärt unter anderem die Bedeutungen von logischer Äquivalenz, Implikation und Induktion für diesen Fachbereich. Darüber hinaus definiert er den Beweis aus Sicht der Mathematik und stellt grundlegende Beweisstrategien vor, die im Studium benötigt werden. Mit den in diesem Lehrbuch vorgestellten Techniken des präzisen Denkens erwerben die Studenten die Fähigkeit, Begriffe punktgenau zu definieren, Aussagen trennscharf zu formulieren und ihre Richtigkeit angemessen zu begründen. Viele praxisnahe Aufgaben und Lösungshinweise innerhalb der Kapitel erleichtern die Überprüfung und Vertiefung des Lernstoffs. Der Autor richtet sich vornehmlich an Bachelorstudenten der ersten Semester. Sie finden in diesem Werk eine optimale Vorbereitung auf die Logik-Seminare ihres Informatikstudiums. Die vermittelten Kompetenzen verbessern dabei nicht nur das Verständnis im Informatik-Studium, sondern sind ebenso für das spätere Berufsleben von großer Bedeutung. Darüber hinaus erhalten auch interessierte Laien mit diesem Buch einen interessanten Einblick in die  Welt der Informatik und Mathematik und lernen, dass die Fähigkeit zu präzisem Denken auch jenseits dieser Fachbereiche hilfreich sein kann. .

Mathematical logic. --- Algorithms. --- Computer science—Mathematics. --- Mathematical Logic and Formal Languages. --- Mathematical Logic and Foundations. --- Algorithm Analysis and Problem Complexity. --- Symbolic and Algebraic Manipulation.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets.

Web services --- Formal methods (Computer science) --- Telecommunications --- Computer Science --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Computer science. --- Computer communication systems. --- Software engineering. --- Computers. --- Computer logic. --- Computer engineering. --- Computer Science. --- Computer Engineering. --- Computer Communication Networks. --- Theory of Computation. --- Information Systems Applications (incl. Internet). --- Software Engineering. --- Logics and Meanings of Programs. --- Computers --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Informatics --- Science --- Design and construction --- Distributed processing --- Information theory. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets.

Computer science --- Computer architecture. Operating systems --- Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- informatica --- computerbesturingssystemen --- programmeren (informatica) --- informatiesystemen --- software engineering --- computernetwerken

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 9th International Conference on Business Process Management, BPM 2011, held in Clermont-Ferrand, France, in August/September 2011. The volume contains 22 revised full research papers carefully reviewed and selected from 157 submissions, as well as 5 industrial track papers and abstracts of three invited talkes. The papers address innovative research of highest quality from computer science, management information science, service-oriented computing, and technology management.

Logic --- Office management --- Computer science --- Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- bedrijfseconomie --- informatica --- ontwerpen --- bedrijfsadministratie --- programmeren (informatica) --- informatiesystemen --- software engineering --- informatica management

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 9th International Conference on Business Process Management, BPM 2011, held in Clermont-Ferrand, France, in August/September 2011. The volume contains 22 revised full research papers carefully reviewed and selected from 157 submissions, as well as 5 industrial track papers and abstracts of three invited talkes. The papers address innovative research of highest quality from computer science, management information science, service-oriented computing, and technology management.

Engineering & Applied Sciences --- Commerce --- Management --- Business & Economics --- Marketing & Sales --- Management Styles & Communication --- Computer Science --- Reengineering (Management) --- System analysis --- Business --- Management information systems --- Workflow --- Data processing --- Workflow systems --- Trade --- Business process reengineering --- Re-engineering (Management) --- Computer science. --- Information technology. --- Software engineering. --- Computer logic. --- User interfaces (Computer systems). --- Application software. --- Computer Science. --- Information Systems Applications (incl. Internet). --- User Interfaces and Human Computer Interaction. --- Software Engineering. --- Logics and Meanings of Programs. --- Computer Appl. in Administrative Data Processing. --- IT in Business. --- Data processing. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Electronic data processing --- IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management --- Informatics --- Science --- Economics --- Industrial management --- Logic design. --- Information systems. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Business—Data processing.