Mathematik für die Informatik
DOI10.1007/978-3-658-25809-2zbMATH Open1456.68002OpenAlexW2931788414MaRDI QIDQ5221852FDOQ5221852
Authors: Rudolf Berghammer
Publication date: 3 April 2020
Full work available at URL: https://doi.org/10.1007/978-3-658-25809-2
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
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)
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
- Title not available (Why is that?)
- Mathematical foundations of computer science. Mathematical thinking and proving. An introduction.
- Mathematics for computer science
- Title not available (Why is that?)
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)