Почетна

Сајт http://simba.etf.rs је посвећен предмету „Елементи симболичко-нумеричких израчунавања у математици“ који се држи на мастер студијама Катедре за примењену математику Електротехничког факултета Универзитета у Београду. Предмет се држи у летњем семестру. Предавања из предмета ће држати др Бранко Малешевић ванредни професор, а вежбе др Ивана Јововић доцент.

Садржај предмета

(I) Теорија система полиномских једначина више променљивих

Кратак опис: Изложиће се у кратким цртама теорија система полиномских једначина више променљивих. Главни предмет проучавања је Бухбергеров алгоритам којим се полазни систем преводи у еквивалентан једноставнији систем, којим се одређује Гребнерова база. У случају линеарних система разматрани алгоритам се своди на Гаусов поступак. У општем случају резултат је симболичко-нумерички трансформисан еквивалентан једноставнији систем полиномских једначина.

Примена: Разматрају се примене у проблемима управљању роботском руком и сложеним системима управљања, проблемима аутоматског доказивња теорема, планарности пресека површи у 3D, решавање игре судоку, проблеми триобојивости графа ...

(II) Теорија псеудоинверзних матрица и примене

Кратак опис: За квадратне сингуларне матрице и за неквадратне матрице изложиће се поступци одређивања псеудоинверзних матрица које под одговарајућим условима могу да замене инверзне матрице. Разматране псеудоинверзне матрице су симболичко-нумерички одређенеи и у случају квадратних регуларних матрица се подударају са инверзним матрицама.

Примене: Општи поступци решавања линеарних система које се јављају у применама у техници попут филтрирања слика и препознавања облика. Дискретна метода најмањих квадрата, фитовање кривих.

Термини:

предавања: уторак
учионица 55 од 18:15 до 20:00

предавања и вежбе: уторак
учионица 311 од 20:00 до 22:00
(у наставку претходног термина)

Предавачи

др Бранко Малешевић, ванредни професор,
кабинет 98, e-mail: malesevic@etf.rs

др Иванa Јововић, доцент,
кабинет 25, e-mail: ivana@etf.rs

Мастер студије

Курс Симболичка алгебра се oдржава на мастер студијама у летњем семестру.

Предзнање за курс је знање математике на основу предмета Математика 1, Математика 2 и Дискретна математика који се слушају на основним студијама. Препоручује се и познавање рачунарских алата базираних на практикуму Рачунарски алати у математици (http://raum.etf.rs/). У мастер курсу је предвиђено да се изложе основни алгоритми Симболичке алгебре. Циљ курса, између осталог, је да се овлада техником Гробнерових база и њиховим применама у разним деловима математике, вештачкој интелигенцији, компјутерској графици и разним областима технике.

Начин полагања испита. Коначна оцена ће се одретити на основу колоквијума или домаћег рада 30%; завршни испит 70%. Завршни испит се полаже на крају курса, на основу рачунарског пројекта и уз писмени тест, који се не односи на рачунарски пројекат. Одбрана рачунарског пројекта укључује проверу знања теорије која је примењена у рачунарском пројекту.

Курс je се базиран на појединим деловима књига:

1. J. L. Cohen: Computer Algebra and Symbolic Computation – Mathematical Methods, A.K. Peters, Ltd., 2003. (књига "Computer Algebra and Symbolic Computation" је доступна преко http://books.google.com).

2. K. Geddes, S. Czapor, G. Labahn: Algorithms for Computer Algebra, Kluwer, Boston, MA, 1992. (књига "Algorithms for Computer Algebra" је доступна прекo http://books.google.com).

За увид у неке од тема курса препоручујемо прегледне чланке:

1. A. Heck: Bird's-eye view of Gröbner Bases, Nuclear Inst. and Methods in Physics Research A 389 (1997), 16-21, (extended version).

2. K. Forsman: Hitchhiker guide to Gröbner bases, Research Institute for Symbolic Computation, Linz, Tehnical Report 0374 (1992).

3. A. Dolzmann, T. Sturm, V. Weispfenning : A New Approach for Automatic Theorem Proving in Real Geometry, Journal of Automated Reasoning Volume 24 , Pages 357-380, Issue 3 (December 1998), pdf.

4. Marc R. C. van Dongen: Using Gröbner Basis Theory to Compute Constraint Networks in Globally Solved Form, In Proc. AICS'1999, pages 15-21, Cork, Ireland, pdf.

5. P. Grayson: Robotic Motion Planning, MIT Undergraduate Journal of Mathematics, Number 1, June 1999, PAGES 57-68, pdf.

Докторске студије

Курс Изабрана поглавља Симболичке алгебре се oдржава на докторским студијама у летњем семестру (xls ).

Основни подаци о предмету
Назив предмета	Одабрана поглавља из симболичке алгебре
Назив предмета на енглеском језику	Selected chapters from Symbolic algebra
Тип предмета	Изборни
Година и семестар студија	Прва година, други семестар
Број ЕСПБ бодова	9 ЕСПБ
Име професора	др Бранко Малешевић
Циљ предмета са очекиваним исходима	Предмет има за циљ да оспособи студенте докторских студија за истраживања и практичне примене у области Симболичке алгебре са применама у теорији решивости алгебарско-диференцијалних једначина користећи технику Гребнерових база. Разматра се решивост система алгебарских и алгебарско-диференцијалних једначина са применама у компјутерској графици, теорији електричних кола и разним другим областима технике. Докторска теза из ове проблематике, као крајњи исход, била би резултат најновијих истраживања у рачунарским применама Симболичке алгебре.
Предуслови за похађање предмета	Математика 1, Математика 2 и Дискретна математика. Препоручује се познавање Рачунарских алата у математици.
Садржај предмета	Алгебарске структуре, прстени и поља. Прстен полинома једне и више променљивих. Увод у теорију полиномијалних идеала. Мономијални идеали. Дефиниција Гребнерове базе и решивост система полиномских једначина. Бухбергеров алгоритам и његова побољшања. Софтверске рализације апарата Гребнерових база у савременим CAS пакетима. Теорија диференцијалних поља и диференцијална Гребнерова база. Решивост система алгебарско-диференцијалних једначина. Софтверске рализације апарата диференцијалних Гребнерових база у савременим CAS пакетима. Рачунарске примене у разним областима технике.
Препоручена литература (до 10 референци)	Препоручују се изабрани делови следећих референци: [1.] R. Karp: Great Algorithms, CS Cousre 294-5, spring 2006, Berkeley. (http://www.cs.berkeley.edu/~karp/greatalgo/) [2.] J. Grabmeier, E. Kaltofen, V. Weispfenning (Eds.): Computer Algebra Handbook - Foundations, Applications, Systems, Springer 2003. [3.] D.A. Cox, J.B. Little, D. O'Shea: Ideals, Varieties, and Algorithms - An Introduction to Computational Algebraic Geometry and Commutative Algebra, Springer 3rd ed. 2007. [4.] R. Fröberg: An Introduction To Gröbner Bases, John Wiley & Sons Ltd 1998. [5.] J.F. Ritt: Differential algebra, Amer. Math. Soc. Publication 1950. [6.] Ј.С. Cohen: Computer algebra and symbolic computation, AK Peters, Ltd 1st edition, 2003. [7.] K. Geddes, S. Czapor, G. Labahn: Algorithms for Computer Algebra, Kluwer, Boston, MA, 1992. * наведене књиге су делимично доступне преко http://books.google.com [8.] A. Heck: Bird's-eye view of Gröbner Bases, Nuclear Inst. and Methods in Physics Research A 389 (1997) 16 - 21. [9.] A. Dolzmann, T. Sturm, V. Weispfenning: A New Approach for Automatic Theorem Proving in Real Geometry, Journal of Automated Reasoning Volume 24 , Pages 357-380, Issue 3 (1998). [10.] B. Malešević, M. Obradović: An Application Of Groebner Bases To Planarity Of Intersection Of Surfaces, Filomat 23:2 (2009), pp. 43-55. (Thompson SCI Expanded list 2009.)
Методе извођења наставе	Класична предавања, уз коришћење рачунара и савремених математичких софтверских пакета. Такође, менторси рад са кандидатима уз консултације.
Начин провере знања и оцењивања	Класично оцењивање оценама 5-10, која се добија оцењивањем домаћих задатака и провером знања на испиту који се састоји од практичног и теоријског дела.

Презентације

Дајемо пар одабраних презентација и апликација везаних за Симболичку алгебру које се односе се на теме овог сајта.

B. Maleševic, I. Jovović, B. Banjac:Visualization in teaching and learning mathematics in elementary, secondary and higher education, pdf, Proceedings of International Conference on Engineering Graphics and Design, Timişoara, Romania ( 13 - 15 june 2013), pp. 37-40.

Branko Malešević: A way to improve the use Computer Algebra Systems for integration, structured abstract - pdf, 6-th CAME (Computer Algebra in Mathematics Education) symposium; Improving tools, tasks and teaching in Computer Algebra Systems - based mathematics education, Belgrade 2009.

Бранко Малешевић, Синиша Јешић, Наташа Бабачев, Ивана Јововић:

Неки аспекти сумболичког рачуна у настави математике pdf

200 година Универзитета у Београду, конференција МАТЕМАТИКА ДАНАС, Сава центар, 13.-14. Х. 2008., Београд.

Milorad Pop-Tošić, Igor Skender: Maple, C and Assembly Language – Performance Comparison, pdf, Maple applications published on http://www.maplesoft.com/ 2008.

Branko Malešević, Ivana Jovović: A procedure for finding the k-th power of a matrix, pdf, Maple applications published on http://www.maplesoft.com/ 2007.

Дипломски радови

Дајемо пар одабраних презентација и апликација развијених у оквиру дипломских радова везаних за Симболичку алгебру које се односе се на теме овог сајта.

Милан Бранковић: Класификација и визуелизација елементарних функција помоћу програмског алата GeoGebra, дипломски рад, август 2011. (Applets).

Александар Грујић Ђајић: Нумеричко-симболичка интеграција помоћу програмског алата GeoGebra, дипломски рад, август 2011. (Applets).

Милан Чампара: JAVA аплет за рачунање Гребнерових база (Applet).
JAVA аплет из дипломског рада Милана Чампаре је приказан и примењен у раду:

B. Malešević. I. Jovović, M. Čampara: Groebner bases in JAVA with applications in computer graphics, pdf, Proceedings of the second International Conference for Geometry and Engineering Graphics “moNGeometrija2010”, Paper No. 29, pp. 1-10, Belgrade 24th - 27th of June 2010.

Мастер радови

Дајемо пар одабраних презентација и апликација развијених у оквиру мастер радова везаних за Симболичку алгебру које се односе се на теме овог сајта.

Весна Даниловић: Јава аплет за примене Гребнерових база на основне проблеме везане за полиномске идеале, мастер рад, септембар 2011. (Applets).

Бањац Бојан: Јава аплети за визуелизације у теорији Гребнер-ових база, мастер рад,
септембар 2011. (Applets).

ЕЛЕМЕНТИ СИМБОЛИЧКО-НУМЕРИЧКИХ ИЗРАЧУНАВАЊА У МАТЕМАТИЦИ (13M081ЕСН)