(te/upp-2023/w1) Added photos and final words slides

1 files changed, 67 insertions, 9 deletions

diff --git a/src/teaching/upp-2023/week1/welcome.md b/src/teaching/upp-2023/week1/welcome.md
index 4f904ff..b6846d0 100644
--- a/src/teaching/upp-2023/week1/welcome.md
+++ b/src/teaching/upp-2023/week1/welcome.md
@@ -224,22 +224,33 @@
 
 ## Защо учим толкова много математика?
 
-Има добра причина, има директни и основни приложения в компютрите, и без тях щяхме още да сме пещерняци.
+Има добра причина, има директни и основни приложения в компютрите, и без тях до никъде нямаше да сме стигнали.
 Нека обясня защо:
 
-&&lineb2
-
 ### Дискретни структури
 
 Смесица на уводите в няколко предмета:
 
+&&table 
+
+&&font35
+![](https://upload.wikimedia.org/wikipedia/commons/9/99/ClaudeShannon_MFO3807.jpg?20190622223728)  
+Claude Shannon
+&&/font
+
+&&cont
+
 - **Булева алгебра**: как работим и смятаме с истина/лъжа, с 0/1.  
   Полезност:
 
   - Доказана е [еквивалентност между ел. вериги и булевата алгебра](https://en.wikipedia.org/wiki/A_Symbolic_Analysis_of_Relay_and_Switching_Circuits).
   - Много типове данни и математически операции могат да се сведат до булева алгебра и работа с памет.
 
-&&/slide
+&&/cont
+
+
+
+&&/table &&/slide
 
 
 
@@ -256,7 +267,7 @@
 - **Комбинаторика**: като цяло изследва бройки на неща (с/без повторения, в ограничено пространство, ...).  
   Полезност[^importance-of-combinatorics]:
 
-  - Много често използвана за анализ и дизайн на алгоритми и структори от данни
+  - Често се ползва за анализ и дизайн на алгоритми и структори от данни
   - Употребява се при оптимизации и теория на кодирането (компресиране на данни, отстраняване на грешки, криптография)
   - Есенциална в теория на графите
 
@@ -284,20 +295,30 @@
 
 ### Езици, автомати и изчислимост
 
+&&table
+
+&&font35
+&&width85 ![](https://upload.wikimedia.org/wikipedia/commons/thumb/1/1c/Kleene.jpg/421px-Kleene.jpg?20230630215747) &&/width
+Stephen Kleene
+&&/font
+
+&&cont
+
 Това е част от материала в по-общото "theoretical computer science".  
 Можем формално да опишем и докажем теоретични компютри и програми.
-Тези резултати са директно приложими върху ралните компютри.
+Тези резултати са директно приложими върху реалните компютри.
 
 Дефакто работим с компютрите чисто теоретически, с възможността да правим точни доказателства и да определим всички характеристики на един компютър.
 
+&&/cont
+
+&&/table
 
 ### Алгебра 1
 
 Особено полезен клон на алгебрата, може да моделира много неща от физическия свят.
 Повечето компютърна графика се основава на нея и има големи приложения в machine learning, обработка на изображения и алгоритми за препоръки.
 
-TODO
-
 &&/slide
 
 
@@ -311,12 +332,49 @@ TODO
 &&/slide
 
 
+
+&&slide
+
+## Какво означава да пишеш софтуер?
+
+- Компютрите са калкулатори с много памет, създадени от инженерите
+- Математиката представя света с абстрактни модели/шаблони
+- Компютърната наука свързва теоретичната математика с физичната машина
+
+<span></span>
+
+- Заедно: математиката, компютърните науки и инженерството, на гърбовете на десетки хиляди хора,  
+  ни позволяват да видим невидимото и правим невъзможното
+
+  &&width70 &&table
+  
+  ![](https://upload.wikimedia.org/wikipedia/commons/thumb/4/4f/Black_hole_-_Messier_87_crop_max_res.jpg/600px-Black_hole_-_Messier_87_crop_max_res.jpg)
+  
+  ![](https://upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Antonov_An-225_with_Buran_at_Le_Bourget_1989_Manteufel.jpg/800px-Antonov_An-225_with_Buran_at_Le_Bourget_1989_Manteufel.jpg?20110922162736)
+  
+  &&/table &&/width
+
+&&/slide
+
+
+
+&&clide &&centered &&font35
+
+# Означава да създадеш<br>deus ex machina
+
+&&/font &&/centered &&/clide
+
+
 &&clide &&font35
 
-# Айде сега сериозно, започваме първото упражнение
+# Достатъчно философия, време е за първия практикум
 
 &&/font &&/clide
 
+### Благодарности
+
+Снимки на Claude Shannon и Stephen Cole Kleen от [Konrad Jacobs](TODO).
+
 
 [^importance-of-sets]: [https://math.stackexchange.com/a/536172](https://math.stackexchange.com/a/536172)
 [^importance-of-combinatorics]: [https://math.stackexchange.com/questions/2146051/where-do-combinatorics-play-a-role-in-computer-science](https://math.stackexchange.com/questions/2146051/where-do-combinatorics-play-a-role-in-computer-science)