From 84cffd38f1b9363ded1c14535ae0d8cb69946ccd Mon Sep 17 00:00:00 2001 From: Syndamia Date: Tue, 19 Sep 2023 12:10:10 +0300 Subject: (te/upp-2023/w1) Added photos and final words slides --- src/teaching/upp-2023/week1/welcome.md | 76 ++++++++++++++++++++++++++++++---- 1 file changed, 67 insertions(+), 9 deletions(-) (limited to 'src') 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 + +## Какво означава да пишеш софтуер? + +- Компютрите са калкулатори с много памет, създадени от инженерите +- Математиката представя света с абстрактни модели/шаблони +- Компютърната наука свързва теоретичната математика с физичната машина + + + +- Заедно: математиката, компютърните науки и инженерството, на гърбовете на десетки хиляди хора, + ни позволяват да видим невидимото и правим невъзможното + + &&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 &¢ered &&font35 + +# Означава да създадеш
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) -- cgit v1.3.1-23-gd82d