Matematično izražanje v angleškem jeziku

Osnovni matematični pojmi:
števila in aritmetika, relacije, geometrija, algebra, logika, funkcije
Osnovno izražanje:
opisovanje, razlaganje, dokazovanje
Razumevanje matematičnega besedila:
poljudno matematično besedilo, učbenik
Tvorba matematičnega besedila:
kombiniranje besed, simbolov in enačb, slovnica, organizacija besedila, stil
Računalniški pojmi
Strojna oprema, programska oprema, datotečni sistemi, aplikacije računalništa
Osnovni matematični pojmi, drugi del:
zaporedja in vrste, zveznost, odvod in integral

Erwin Kreyszig, Herbert Kreyszig, Edward J. Norminton: Advanced engineering mathematics, 10th edition, J. Wiley & Sons, 2011.
Ulrich Daepp, Pamela Gorkin: Reading, writing, and proving : a closer look at mathematics, 2nd edition, Springer, 2011.
Robert Barrass: Scientists must write : a guide to better writing for scientists, engineers and students, Chapman and Hall, 1978.
Georg Glaeser: Geometry and its Applications in Arts, Nature and Technology, Springer Wien New York, Edition Angewandte, 2012.

Študenti spoznajo angleške izraze za temeljne matematične pojme, naučijo se osnovnega matematičnega izražanja v angleškem jeziku, obravnavajo različne vrste matematičnih tekstov in se naučijo tvoriti matematično besedilo v angleškem jeziku na univerzitetnem nivoju.

Znanje in razumevanje:
Poznavanje osnovnih angleških matematičnih izrazov. Razumevanje in tvorba angleškega matematičnega besedila.
Uporaba:
Velika večina matematične literature v svetu je v angleškem jeziku. Za matematika je branje in pisanje v angleščini praktično neizogibno.
Refleksija:
Povezovanje matematičnega izražanja z izražanjem v tujem jeziku.
Prenosljive spretnosti – niso vezane le na en predmet:
Branje in pisanje v angleškem jeziku.

predavanja, seminar, domače naloge, konzultacije

Izdelava in predstavitev seminarskega dela (pogoj za pristop k pisnemu izpitu)
Pisni izpit
(ocene: 5 (negativno), 6-10 (pozitivno), ob upoštevanju Statuta 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]