Modelling computing systems. Mathematics for computer science

DOI10.1007/978-1-84800-322-4MaRDI QIDQ355066zbMATH OpenOpenAlexWikidataFDO

Authors Faron Moller, Georg Struth

Publication date 23 July 2013

Published in Undergraduate Topics in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-84800-322-4

zbMATH Keywords

discrete mathematicsBoolean algebratransition systemstemporal logicpredicate logicpropositional logicconcurrent processes

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Discrete mathematics in relation to computer science (68Rxx) Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• Mathematics in Computing
• Sets, logic and maths for computing
• Fundamentals of discrete math for computer science. A problem-solving primer
• Sets, logic and maths for computing
• Mathematics in computing. An accessible guide to historical, foundational and application contexts.

Cited in

(4)

• The arduous road of modelling: excerpts from records of an enjoyable co-operation of nearly 20 years
• scientific article; zbMATH DE number 5299206 (Why is no real title available?)
• scientific article; zbMATH DE number 550776 (Why is no real title available?)
• scientific article; zbMATH DE number 41616 (Why is no real title available?)

This page was built for publication: Modelling computing systems. Mathematics for computer science

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