Na ostatnim październikowym wykładzie mówiliśmy o funkcji wykładniczej. Prześledziliśmy dokładnie cały dowód Tw. 3.2 ze skryptu [PS1], a następnie:

1. -sformułowaliśmy twierdzenie, orzekające, że exp przekształca prostą na przedział wszystkich liczb dodatnich;
   

2. -zdefiniowaliśmy ln jako funkcję odwrotną do exp,
   

3. -sformułowaliśmy twierdzenie o własnościach logarytmu naturalnego, z krótkim komentarzem: to są własności exp, przetłumaczone na odpowiedni język.