Mathematik für die Informatik

DOI10.1007/978-3-658-25809-2zbMath1456.68002OpenAlexW2931788414MaRDI QIDQ5221852

Rudolf Berghammer

Publication date: 3 April 2020

Full work available at URL: https://doi.org/10.1007/978-3-658-25809-2

zbMATH Keywords

relationssetsalgorithmsgraphsnatural numbersprogramminghomogenous mathematical structures

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Classical first-order logic (03B10) Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Classical propositional logic (03B05) Data structures (68P05) General topics in the theory of software (68N01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other classical set theory (including functions, relations, and set algebra) (03E20) General topics in the theory of algorithms (68W01)

Related Items (2)

A Relation-Algebraic Treatment of the Dedekind Recursion Theorem ⋮ Mathematics in Computing

This page was built for publication: Mathematik für die Informatik