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.
D. Hestenes. Clifford Algebras and their Applications in Mathematical Physics, volume 55 of Fundamental Theories of Physics, Springer Netherlands, (1993)
G. Sobczyk. Clifford Algebras and their Applications in Mathematical Physics, volume 47 of Fundamental Theories of Physics, Springer Netherlands, (1992)
M. Lochau, S. Mennicke, H. Baller, and L. Ribbeck. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, volume 8802 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)
A. Rizk, and M. Fidler. In Proc. of the 2nd EuroFGI International Conference on Network Control and Optimization (NETCOOP), page 53-61. Springer, (2008)
T. Cogumbreiro, F. Martins, and 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.