The notes cover introduction to proofs, axioms of fields, complex numbers, some topology, and limits, continuity, derivatives, integrals, sequences and series. For teaching proof writing, many proofs contain in red color parts of proofs that should not be written down but should be thought.
T. Cogumbreiro, F. Martins, und V. Vasconcelos. Proceedings of Places08 - Programming Language Approaches to Concurrency and Communication-cEntric Software, (2008)
V. Damjanovic. 1st Workshop on Knowledge Reuse and Re-engineering over the Semantic Web (KRRSW 2008), (2008)in conjunction with the 5th European Semantic Web Conference (ESWC 2008), Tenerife, Canary Islands.