Izbrana poglavja iz računalniške matematike

Pogojev za vključitev v delo ni.

Predavatelj izbere nekatere pomembne teme s področja računalniške matematike, kot so na primer:
Računska geometrija in geometrijska optimizacija.
Računska topologija.
Algoritmi na grafih.
Vizualizacija grafov in podatkov.
Računalniška grafika.
Računalniški vid.
Matroidi.
Algoritmična teorija iger.
Aproksimacijski algoritmi.
Vzporedni algoritmi.
Algoritmi za tokove podatkov.
Simbolno računanje.
Bioinformatika.

1. M. de Berg … [et al.]: Computational geometry : algorithms and applications, 2nd, revised ed., Berlin : Springer, cop. 2000.
2. H. Edelsbrunner, J. L. Harer: Computational topology : an Introduction, Providence : American Mathematical Society, cop. 2010.
3. J. von zur Gathen, J. Gerhard: Modern computer algebra, 2nd ed., Cambridge : Cambridge University Press, cop. 2003.
4. S. Har-Peled: Geometric approximation algorithms, Providence : American Mathematical Society, cop. 2011.
5. J. JáJá: Introduction to parallel algorithms, Reading : Addison-Wesley, cop. 1992.
6. N. C. Jones, P. A. Pevzner: An introduction to bioinformatics algorithms, Cambridge (Mass.) : MIT Press, cop. 2004.
7. M. Kauers, P. Paule: The concrete tetrahedron : symbolic sums, recurrence equations, generating functions, asymptotic estimates, Wien : Springer, cop. 2011.
8. B. Mohar: Teorija matroidov, Ljubljana : Društvo matematikov, fizikov in astronomov Slovenije, 1996.
9. N. Nisan … [et al.], eds.: Algorithmic game theory, Cambridge : Cambridge University Press, 2008, cop. 2007.

Študent spozna osnove nekaterih pomembnih področij računalniške matematike.

Znanje in razumevanje: Slušatelj se natančneje seznani z izbranim področjem računalniške matematike. Spozna teoretične osnove ter praktične prijeme z izbranega področja.
Uporaba Reševanje računalniških problemov iz različnih prodročij.
Refleksija: Študentje spoznajo računalniške probleme in modeliranje. Povezanost med teorijo in prakso.
Prenosljive spretnosti – niso vezane le na en predmet: Uporaba algoritmičnega mišljenja pri reševanju nepopolno definiranih problemov

predavanja, seminar, vaje, domače naloge, konzultacije in samostojno delo študentov

Izpit iz vaj (2 kolokvija ali pisni izpit) ali domača naloga
Ustni izpit
ocene: 5 (negativno), 6-10 (pozitivno), (ob upoštevanju Statuta UL)

Andrej Bauer:
BAUER, Andrej, STONE, Christopher A. RZ: a tool for bringing constructive and computable mathematics closer to programming practice. Journal of logic and computation, ISSN 0955-792X, 2009, vol. 19, no. 1, str. 17-43. [COBISS-SI-ID 15325785]
BAUER, Andrej, CLARKE, Edmund, ZHAO, Xudong. Analytica - An experiment in combining theorem proving and symbolic computation. Journal of automated reasoning, ISSN 0168-7433, 1998, vol. 21, no. 3, str. 295-325. [COBISS-SI-ID 10606425]
BAUER, Andrej, PETKOVŠEK, Marko. Multibasic and mixed hypergeometric Gosper-type algorithms. Journal of symbolic computation, ISSN 0747-7171, 1999, let. 28, št. 4-5, str. 711-736. [COBISS-SI-ID 9210969]
Sergio Cabello:
CABELLO, Sergio, KREVELD, Marc van. Approximation algorithms for aligning points. Algorithmica, ISSN 0178-4617, 2003, vol. 37, no. 3, str. 211-232. ,19,105,linkingpublicationresults,1:100117,1. [COBISS-SI-ID 13352793]
CABELLO, Sergio. Approximation algorithms for spreading points. Journal of algorithms, ISSN 0196-6774, 2007, vol. 62, no. 2, str. 49-73. [COBISS-SI-ID 14298201]
CABELLO, Sergio, HAVERKORT, Herman Johannes, KREVELD, Marc van, SPECKMANN, Bettina. Algorithmic aspects of proportional symbol maps. Algorithmica, ISSN 0178-4617, 2010, vol. 58, no. 3, str. 543-565. [COBISS-SI-ID 15151193]