Modelling computing systems. Mathematics for computer science

DOI10.1007/978-1-84800-322-4zbMATH Open1278.68007OpenAlexW2484712127WikidataQ59556918 ScholiaQ59556918MaRDI QIDQ355066FDOQ355066

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

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.

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)

Cited In (4)

• The arduous road of modelling: excerpts from records of an enjoyable co-operation of nearly 20 years
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)