Izbrana poglavja iz računalniške matematike

Pogojev za vključitev v delo ni.

Predavatelj/ica izbere nekatere pomembne teme iz računalniške matematike, kot so na primer:
Vizualizacija grafov in podatkov. Računalniška grafika. Računalniški vid.
Matroidi. Dualnost in povezanost. Linearni in binarni matroidi. Grafični matroidi. Minorji v matroidih.
Teorija iger. Matrične igre. Rešitve in ravnovesja. Negotovost in tveganje. Evolucijska teorija iger.
Bioinformatika. Algoritmi sekvenciranja. Markovski modeli. Filogenija in razvrščanje v skupine. Struktura proteinov.
Orodja za težke probleme. FPT, eksponentni algoritmi, aproksimacijski algoritmi.
Alternativni modeli računanja. Algoritmi za predpomnilnik. Algoritmi za tokove podatkov. Word RAM. Vzporedni algoritmi. Kvantni algoritmi.
Povezave med načrtovanjem gibanja robotov in računsko geometrijo.
Algoritmi za grafe. Ravninski grafi. Povezanost. Drevesna širina.
Računska finančna matematika.

1. J. JáJá: Introduction to parallel algorithms, Reading : Addison-Wesley, cop. 1992.
2. N. C. Jones, P. A. Pevzner: An Introduction to bioinformatics algorithms, Cambridge (Mass.) : MIT Press, cop. 2004.
3. B. Mohar: Teorija matroidov, Ljubljana : Društvo matematikov, fizikov in astronomov Slovenije, 1996.
4. R. Niedermeier: Invitation to fixed-parameter algorithms, New York : Oxford University Press, 2008.
5. N. Nisan … [et al.], eds.: Algorithmic game theory, Cambridge : Cambridge University Press, 2008, cop. 2007.
6. R. U. Seydel: Tools for computational finance, 4th ed., Berlin : Springer, cop. 2009.
7. V. V. Vazirani: Approximation algorithms, Berlin : Springer, cop. 2001.

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

Študentje poznajo in razumejo osnove koncepte, probleme in orodje na različnih področjih računalniške matematike. Povezanost med teorijo in prakso.

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

Izpit iz vaj (2 kolokvija ali pisni izpit) ali homework
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]