=ADD=
=reftype=
14
=number=
99-32
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1999/99-32.ps.gz
=year=
1999
=month=
11
=author=
Schreiner; Wolfgang
=title=
Formal Foundations of Computer Science 1
=abstract=
We introduce basic mathematical domains and techniques as a foundation for the
formal treatment of various concepts in computer science and
engineering. Mathematical domains like numbers, functions, and relations are
constructed on the basis of the fundamental notions of set theory thus
exhibiting their inner structure and properties. As for mathematical
techniques, we present the language of logic for the precise description of
mathematical objects and facts and give rules for correct reasoning and
arguing. The constructions are partially implemented with the help of an
interpreter that executes a simple subset of logic and set theory.
=sponsor=
 
=note=
Lecture notes
=howpublished=
(c) 1999 Wolfgang Schreiner, see http://www.risc.uni-linz.ac.at/courses/formal
=keywords=
Mathematical education, logic, set theory, executable contents, Java.