Choose an application

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

Das Buch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Ein spezielles Konzept erleichtert den Übergang von der Schul-Mathematik zur Mathematik an einer wissenschaftlichen Hochschule. Durch leicht verständliche Vermittlung des Stoffes werden die Studierenden auch auf spätere Begriffe und Anwendungen der Mathematik in der Informatik gut vorbereitet. Zahlreiche Übungsaufgaben helfen, das Erlernte zu festigen und zu kontrollieren.   Der Inhalt Mengentheoretische Grundlagen - Logische Grundlagen - Allgemeine direkte Produkte - Mathematische Beweise - Spezielle Funktionen - Spezielle Relationen und gerichtete Graphen - Elementare Kombinatorik und ungerichtete Graphen - Grundbegriffe algebraischer Strukturen   Die Zielgruppen Studierende der Informatik, der Mathematik und der Ingenieurwissenschaften in den ersten Studiensemestern eines Bachelor-Studiengangs an einer wissenschaftlichen Hochschule.   Der Autor Rudolf Berghammer studierte Mathematik und Informatik an der TU München. Seit 1993 ist er Professor am Institut für Informatik der Universität Kiel. Er beschäftigt sich hauptsächlich mit der Anwendung von algebraischen und ordnungstheoretischen Methoden in der Informatik und der Unterstützung durch entsprechende Werkzeuge.

Computer science—Mathematics. --- Arithmetic and logic units, Computer. --- Mathematical logic. --- Mathematics of Computing. --- Arithmetic and Logic Structures. --- Mathematical Logic and Foundations.

Choose an application

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

Das Buch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Weiterhin demonstriert es Anwendungen von mathematischen Konzepten und Methoden in der Informatik, insbesondere in der Programmentwicklung und -verifikation und dem Entwurf von generischen Programmen. Ein spezielles Konzept erleichtert den Übergang von der Schul-Mathematik zur Mathematik an einer wissenschaftlichen Hochschule. Durch eine leicht verständliche Vermittlung des Stoffes mit vielen Beispielen werden die Studierenden auch auf spätere Begriffe und tiefergehende Anwendungen der Mathematik in der Informatik gut vorbereitet. Zahlreiche Übungsaufgaben helfen, das Erlernte zu festigen und zu kontrollieren. Der Inhalt Mengentheoretische Grundlagen - Logische Grundlagen - Allgemeine direkte Produkte und Datenstrukturen - Mathematische Beweise - Spezifikation und Programmverifikation - Spezielle Funktionen - Spezielle Relationen und gerichtete Graphen - Elementare Kombinatorik und ungerichtete Graphen - Grundbegriffe algebraischer Strukturen - Generische Programmierung - Formale Einführung der natürlichen Zahlen Die Zielgruppen Studierende der Informatik, der Mathematik und der Ingenieurwissenschaften in den ersten Studiensemestern eines Bachelor-Studiengangs an einer wissenschaftlichen Hochschule. Der Autor Rudolf Berghammer studierte Mathematik und Informatik an der TU München. Seit 1993 ist er Professor am Institut für Informatik der Universität Kiel. Er beschäftigt sich hauptsächlich mit der Anwendung von algebraischen und ordnungstheoretischen Methoden in der Informatik und der Unterstützung durch entsprechende Werkzeuge.

Computer science—Mathematics. --- Arithmetic and logic units, Computer. --- Mathematical logic. --- Mathematics of Computing. --- Arithmetic and Logic Structures. --- Mathematical Logic and Foundations.

Choose an application

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

Choose an application

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

The book constitutes the joint refereed proceedings of the 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and the 6th International Conference on Applications of Kleene Algebras, AKA 2009, held in Doha, Qatar in November 2009. The 22 revised full papers presented together with 2 invited papers were carefully reviewed and selected from numerous submissions. The papers describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with special focus on formal methods for software engineering, logics of programs and links to neighbouring disciplines. Their scope comprises relation relation algebras and Kleene algebras, related formalisms such as process algebras, fixed point calculi, idempotent semirings, quantales, allegories, dynamic algebras, cylindric algebras and their applications in areas such as verification, analysis and development of programs and algorithms relational formal methods such as B or Z, tabular methods, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics, algebraic semantics of programming languages , graph theory and combinatorial optimization, games, automata and language theory, mechanised and automated reasoning, decision procedures, spatio-temporal reasoning, knowledge acquisition, preference and scaling methods or information systems.

Mathematical logic --- Ordered algebraic structures --- Algebra --- Discrete mathematics --- Computer science --- Computer architecture. Operating systems --- algebra --- discrete wiskunde --- informatica --- programmeren (informatica) --- wiskunde --- logica

Choose an application

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

Mathematical logic --- Ordered algebraic structures --- Algebra --- Discrete mathematics --- Computer science --- Computer architecture. Operating systems --- algebra --- discrete wiskunde --- informatica --- programmeren (informatica) --- wiskunde --- logica