Mathematik für die Informatik
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)
- 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?)
- Mathematics for computer scientists. Basic concepts and structures
- A Relation-Algebraic Treatment of the Dedekind Recursion Theorem
- scientific article; zbMATH DE number 2168230 (Why is no real title available?)
- Foundation Mathematics for Computer Science
- Mathematics for computer scientists. Foundations and applications
- Mathematics for computer science
- Mathematical foundations of computer science. Mathematical thinking and proving. An introduction.
- Mathematics in Computing
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)
