This is TikiWiki v1.9.8 -Sirius- © 2002–2007 by the Tiki community Ned 20 of Jan, 2019 [01:54 UTC]

Gradivo 2007/08

Seznam gradiva za Uporabno matematiko
print pdf
Izpiti, kolokviji

Prvi kolokvij: 2007

Java programiranje

Programska oprema
  1. Java development kit 6 Update 2
  2. Eclipse IDE for Java developers
  3. Subclipse
  4. TeXlipse
  5. MikeTex
  6. GsView
  7. Acrobat reader


Literatura

Optimizacija:
Edmund K. Burke, Graham Kendall (ur.):
Search methodologies,
Introductiory tutorials in optimization and decision support techniques
Springer Science+Business Media, New York 2005

Avtomatsko dokazovanje:
Melvin Fitting:
First-Order Logic and Automated Theorem Proving, druga izdaja,
Springer, New York, 1996

Andreas L. E. Folkler
Automated Theorem Proving, Resolution vs. Tabeleaux
Master Thesis, Department of Software Engineering and Computer Science,
Blekinge Institute of Technology, Roneby 2002.

Podatkovno rudarjenje:
Ian H. Witten, Eibe Frank:
Data Mining
Practical Machine Learning Tools and Techniques, druga izdaja,
Morgan Kaufmann, Amsterdam 2005

LaTeX:
Tobias Oetiker, Hubert Partl, Irene Hyna, Elisabeth Schlegl:
The Not So Short Introduction to LaTeX2e
dostopno preko spleta, 2008.

Igre, omejitve, optimizacija

Created by: b:0; last modification: Thursday 28 of August, 2008 [17:02:47 UTC] by b:0;


List of attached files
  name desc uploaded size >
1 : 5 icon KolUM1_2007_res.pdf Rešitev prvega kolokvija 2007. Čet 15 of Nov, 2007 [11:31 UTC] by dbokal 67.83 Kb 1498
Powered by Tikiwiki Powered by PHP Powered by Smarty Powered by ADOdb Made with CSS Powered by RDF
RSS Wiki rss Articles RSS Image Galleries RSS File Galleries rss Calendars