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.
U. Menne. (2017)cite arxiv:1705.05253Comment: The present text is a version with additional references but without figures of a note compiled for the Notices of the American Mathematical Society. (v4: considerably expanded introduction, 6 pages).
L. Schröder, и T. Mossakowski. Journal of Logic and Computation, 14 (4):
571--619(2004)Earlier version appeared in Martin Wirsing, Dirk Pattinson, and Rolf Hennicker (eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop (WADT 2002), LNCS vol. 2755, Springer, Berlin, 2003, pp. 425-441.
T. Mossakowski, и A. Tarlecki. 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), том 8412 из Lecture Notes in Computer Science, стр. 441-456. Springer-Verlag Berlin Heidelberg, (2014)
D. Lücke, и T. Mossakowski. Proceedings of the 5th Starting AI Researcher Symposium (STAIRS 2010), том 222 из Frontiers in Artificial Intelligence and Applications, стр. 175-185. IOS Press; Amsterdam; http://www.iospress.nl, (2010)
D. Hausmann, T. Mossakowski, и L. Schröder. Algebra and Coalgebra in Computer Science, том 3629 из Lecture Notes in Computer Science, стр. 232-246. Springer; Berlin, (2005)
M. Codescu, и T. Mossakowski. Algebra and Coalgebra in Computer Science, CALCO'11, том 6859 из Lecture Notes in Computer Science, стр. 145-160. Springer, (2011)