Expressing mathematics in English

There are no prerequisites.

Basic mathematical concepts:
Numbers and arithmetic, relations, geometry, algebra, logic, functions
Basic forms of expression:
description, explanation, proof
Comprehension of written mathematics:
popular mathematics, textbook
Composition of mathematical text:
combining words, symbols, and equations, grammar issues, organization, style
Computer concepts:
Hardware, software, file systens, applications of computer science
Basic mathematical concepts 2:
sequences and series, continuity, differential and integral calculus

1. R. Barrass: Scientists must write : a guide to better writing for scientists, engineers and students, 2nd ed., London : Routledge, 2002.
2. U. Daepp, P. Gorkin: Reading, writing, and proving : a closer look at mathematics, 2nd ed., New York : Springer, cop. 2011.
3. G. Glaeser: Geometry and its applications in arts, nature and technology, 2nd ed., Cham : Springer, cop. 2020.
4. E. Kreyszig: Advanced engineering mathematics, 7th ed. in 9th ed., Hoboken : J. Wiley & Sons, cop. 1993, 2006.

Students get acquainted with the English terms for basic mathematical concepts. They learn the basics of expressing mathematics in English, study various types of mathematical texts, and learn how to create mathematical texts in English at university level.

Knowledge and understanding:
Knowledge of basic mathematical expressions in English. Reading comprehension and writing of mathematical texts in English.
Application:
A vast majority of the World’s mathematical literature is in the English language. For a mathematician, reading and writing in English is virtually unavoidable.
Reflection:
Integrating mathematical expression with expression in a foreign language.
Transferable skills:
Reading and writing in English.

Lectures, seminar, homework, consultations

Written exam
grading: 5 (fail), 6-10 (pass) (according to the Statute of UL)

Jaka Smrekar:
SMREKAR, Jaka. Homotopy type of mapping spaces and existence of geometric exponents. Forum mathematicum, ISSN 0933-7741, 2010, vol. 22, no. 3, str. 433-456. [COBISS-SI-ID 15638105]
SMREKAR, Jaka. Periodic homotopy and conjugacy idempotents. Proceedings of the American Mathematical Society, ISSN 0002-9939, 2007, vol. 135, no. 12, str. 4045-4055. [COBISS-SI-ID 14382681]
SMREKAR, Jaka, YAMASHITA, Atsushi. Function spaces of CW homotopy type are Hilbert manifolds. Proceedings of the American Mathematical Society, ISSN 0002-9939, 2009, vol. 137, no. 2, str. 751-759. [COBISS-SI-ID 14965849]
Nosilec University of Cambridge Certificate of Proficiency in English, University of Cambridge, June 1994.
Alex Simpson:
SIMPSON, Alex, VOORNEVELD, Niels. Behavioural equivalence via modalities for algebraic effects. ACM transactions on programming languages and systems. Jan. 2020, vol. 42, iss. 1, art. 4 [45 str.]. ISSN 0164-0925. https://doi.org/10.1145/3363518, DOI: 10.1145/3363518. [COBISS-SI-ID 18937433]
MIO, Matteo, SIMPSON, Alex. Łukasiewicz μ-calculus. Fundamenta informaticae. 2017, vol. 150, no. 3-4, str. 317-346. ISSN 0169-2968. http://dx.doi.org/10.3233/FI-2017-1472, DOI: 10.3233/FI-2017-1472. [COBISS-SI-ID 18320729]
AWODEY, Steve, BUTZ, Carsten, SIMPSON, Alex, STREICHER, Thomas. Relating first-order set theories, toposes and categories of classes. Annals of pure and applied Logic. [Print ed.]. 2014, vol. 165, iss. 2, str. 428-502. ISSN 0168-0072. http://dx.doi.org/10.1016/j.apal.2013.06.004. [COBISS-SI-ID 17089881]