Mathematik für die Informatik

DOI10.1007/978-3-658-25809-2MaRDI QIDQ5221852zbMATH OpenOpenAlexFDO

Authors Rudolf Berghammer

Publication date 3 April 2020

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

zbMATH Keywords

relationssetsalgorithmsgraphsprogrammingnatural numbershomogenous mathematical structures

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1461246
• Mathematics in Computing
• scientific article; zbMATH DE number 1001667
• Logic and language models for computer science
• scientific article; zbMATH DE number 3965406
• scientific article; zbMATH DE number 49091
• scientific article; zbMATH DE number 439891
• Sets, logic and maths for computing
• scientific article; zbMATH DE number 41231

Cited in

(9)

• A Relation-Algebraic Treatment of the Dedekind Recursion Theorem
• Foundation Mathematics for Computer Science
• Mathematics in Computing
• Mathematics for computer scientists. Basic concepts and structures
• Mathematics for computer scientists. Foundations and applications
• scientific article; zbMATH DE number 1609607 (Why is no real title available?)
• Mathematical foundations of computer science. Mathematical thinking and proving. An introduction.
• Mathematics for computer science
• scientific article; zbMATH DE number 2168230 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5221852)