Навигација

ДС2ОПИ - Одабрана поглавља из симболичке алгебре

Спецификација предмета
НазивОдабрана поглавља из симболичке алгебре
АкронимДС2ОПИ
Студијски програмЕлектротехника и рачунарство
Модул
Тип студијадокторске академске студије
Наставник (предавач)
Наставник/сарадник (вежбе)
    Наставник/сарадник (ДОН)
      Број ЕСПБ9.0Статус предметаизборни
      Условљност другим предметимаМатематика 1 (ОО1ММ1), Математика 2 (ОО1МM2)
      Циљеви изучавања предметаУпознавање студената са основним и напредним концептима симболичке алгебре са применом у електротехници и рачунарству.
      Исходи учења (стечена знања)Студенти су оспособљени да примењују алгоритме симболичке алгебре засноване на Гребнеровим базама полиномских и диференцијално-полиномских идеала.
      Садржај предмета
      Садржај теоријске наставеТеорија диференцијалних поља и диференцијална Гребнерова база. Решивост система алгебарско-диференцијалних једначина. Софтверске рализације диференцијалних Гребнерових база у савременим CAS пакетима.
      Садржај практичне наставеКроз примере, задатке и проблеме студент сазнаје како да примени теореме и основне појмове које је научио кроз теоријску наставу. Посебно се припрема да решава проблеме који се појављују у рачунарству и техници.
      Литература
      1. J.F. Ritt: Differential algebra, Amer. Math. Soc. Publication 1950.
      2. K. Geddes, S. Czapor, G. Labahn: Algorithms for Computer Algebra, Kluwer, Boston, MA, 1992.
      3. R. Karp: Great Algorithms, CS Cousre 294-5, spring 2006, Berkeley (http://www.cs.berkeley.edu/~karp/greatalgo/)
      4. 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.
      5. Christian Aistleitner: Relations between Gröbner bases, differential Gröbner bases, and differential characteristic sets, Master in Computermathematik, Institut für Symbolisches Rechnen, Linz, Dezember 2010
      Број часова активне наставе недељно током семестра/триместра/године
      ПредавањаВежбеДОНСтудијски и истраживачки радОстали часови
      6
      Методе извођења наставеКомбинација традиционалних излагања на табли, коришћења слајдова, бесплатног математичког софтвера (SAGE, SymPy), индивидуалног рада са студентима на изради домаћих задатака и објашњавању текућег градива.
      Оцена знања (максимални број поена 100)
      Предиспитне обавезеПоенаЗавршни испитПоена
      Активности у току предавања0Писмени испит50
      Практична настава0Усмени испит0
      Пројекти50
      Колоквијуми0
      Семинари0