Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Classical propositional logic (03B05) Classical first-order logic (03B10) Other classical set theory (including functions, relations, and set algebra) (03E20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Graph theory (including graph drawing) in computer science (68R10) General topics in the theory of algorithms (68W01)
- 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
- scientific article; zbMATH DE number 1609607 (Why is no real title available?)
- Mathematical foundations of computer science. Mathematical thinking and proving. An introduction.
- scientific article; zbMATH DE number 2168230 (Why is no real title available?)
- A Relation-Algebraic Treatment of the Dedekind Recursion Theorem
- Mathematics in Computing
- Mathematics for computer scientists. Foundations and applications
- Mathematics for computer scientists. Basic concepts and structures
- Mathematics for computer science
- Foundation Mathematics for Computer Science
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)
