From e042c70c4e531e056628d71d9da508123303374c Mon Sep 17 00:00:00 2001 From: Syndamia Date: Tue, 19 Sep 2023 20:47:13 +0300 Subject: (te/upp-2023/w1) Finished math slides --- src/teaching/upp-2023/week1/welcome.md | 28 +++++++++++++++++++--------- 1 file changed, 19 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 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 -- cgit v1.3.1-26-gb76a