diff options
| Commit | e042c70c4e531e056628d71d9da508123303374c (patch) | |
|---|---|---|
| Author | 2023-09-19 20:47:13 +0300 | |
| Committer | 2023-10-01 21:26:55 +0300 | |
| Files | ce1cefe788e979ca9cdb7a27293dcd5647f3a048 | |
| syndamia.com-e042c70c4e531e056628d71d9da508123303374c.tar syndamia.com-e042c70c4e531e056628d71d9da508123303374c.tar.gz syndamia.com-e042c70c4e531e056628d71d9da508123303374c.zip | ||
| Parent | 35914816168e1c42ce20fcbe20546ba4c2113df9 (diff) | |
(te/upp-2023/w1) Finished math slides
1 files changed, 19 insertions, 9 deletions
| -rw-r--r-- | src/teaching/upp-2023/week1/welcome.md | 28 |
diff --git a/src/teaching/upp-2023/week1/welcome.md b/src/teaching/upp-2023/week1/welcome.md index c84e8a4..7cd127f 100644 --- a/src/teaching/upp-2023/week1/welcome.md +++ b/src/teaching/upp-2023/week1/welcome.md @@ -294,6 +294,8 @@ Claude Shannon ### Езици, автомати и изчислимост +&&lineb5 + &&table &&font35 @@ -304,29 +306,37 @@ Stephen Kleene &&cont Това е част от материала в по-общото "theoretical computer science". -Можем формално да опишем и докажем теоретични компютри и програми. -Тези резултати са директно приложими върху реалните компютри. +Можем формално да опишем и работим с теоретични компютри и програми. +Полезност: -Дефакто работим с компютрите чисто теоретически, с възможността да правим точни доказателства и да определим всички характеристики на един компютър. +- Позволява ни да използваме математика за създаване, обработка и доказване на програми &&/cont &&/table +&&/slide -### Алгебра 1 -Особено полезен клон на алгебрата, може да моделира много неща от физическия свят. -Повечето компютърна графика се основава на нея и има големи приложения в machine learning, обработка на изображения и алгоритми за препоръки. -&&/slide +&&slide +### Алгебра 1 +Клон на алгебрата, формално познат като "линейна алгебра", който се занимава с линейни уравнения и операции върху тях. +Употреба: -&&slide +- Линейни уравнения и матрици се срещат сравнително често в софтуер +- Основоположна в компютърната графика +- Много използвана в machine learning ### Диференциално и интегрално смятане -<!-- Математиките извън първи курс също са важни, за вас не са релевантни. --> +Разглежда функции и по-общо, непрекъснатата промяна на стойности. +Употреби: + +- Част от компютърната графика (особено обработка на изображения) +- Напреднал machine learning, главно заради употребата на статистиката (която на свой ред се основава на линейната алгебра) +- Анализ на алгоритми &&/slide |