14.10.2013 Views

Studijní katalog - Fakulta informatiky - Masarykova univerzita

Studijní katalog - Fakulta informatiky - Masarykova univerzita

Studijní katalog - Fakulta informatiky - Masarykova univerzita

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

• jeden z<br />

– IA159 Formal Verification Methods (2+2 kr.)<br />

– IV113 Úvod do validace a verifikace (2+2 kr.)<br />

Povinně volitelné prˇedměty oboru:<br />

• IA006 Vybrané kapitoly z teorie automatu˚ (3+2 kr.)<br />

• IA101 Algoritmika pro tězˇké problémy (2+2 kr.)<br />

• IV010 Komunikace a paralelismus (2+2 kr.)<br />

• IV111 Pravděpodobnost v informatice (4+2 kr.)<br />

• PA008 Prˇekladače (3+2 kr.)<br />

• PA104 Vedení ty´mového projektu (2+2 kr.)<br />

• PA150 Principy operačních systému˚ (2+2 kr.)<br />

• PA152 Efektivní vyuzˇívání databázovy´ch systému˚ (2+2 kr.)<br />

• PA160 Počítačové sítě a jejich aplikace II (2+2 kr.)<br />

• PV017 Bezpečnost informačních technologií (2+2 kr.)<br />

• PV077 UNIX – programování a správa systému II (2+1 kr.)<br />

• PV079 Applied Cryptography (3+2 kr.)<br />

• PV090 UNIX – seminárˇ ze správy systému (3+1 kr.)<br />

• PV157 Autentizace a rˇízení prˇístupu (2+2 kr.)<br />

• PV169 Základy prˇenosu dat (2+2 kr.)<br />

• PV183 Technologie počítačovy´ch sítí (2+2 kr.)<br />

• MA010 Graph Theory (3+2 kr.)<br />

• MA012 Statistika II (4+2 kr.)<br />

• MA015 Grafové algoritmy (3+2 kr.)<br />

• M4180 Numerické metody I (4+2 kr.)<br />

• M8170 Teorie kódování (3+2 kr.)<br />

• M9100 Numerické metody rˇesˇení obyčejny´ch diferenciálních rovnic (3+2 kr.)<br />

Titulní strana<br />

Obsah<br />

◭◭ ◮◮<br />

◭ ◮<br />

Strana 163 z 509<br />

Zpět<br />

Vprˇed<br />

Zavrˇít<br />

Konec

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!