2011 - Ã…Â½ÃƒÂ¡dost o prodlouÃ…Â¾enÃƒÂ platnosti akreditace bakalÃƒÂ¡Ã…Â™skÃƒÂ©ho ...

More documents

Recommendations

Info

SLEZSKÁ UNIVERZITA V OPAV! P!EDM"TY - AKREDITA#NÍ SESTAVA 2011/12 01.09.2011 %! / "# UI/N1009 Um#lá inteligence Artificial Intelligence Statut: Po"et kredit#: Forma výuky: Rozsah výuky: Ukon"ení: Garant: Cíle: Povinn" volitelný 4 P!ednáška 2 HOD/TYD Zkouška Prof. RNDr. Jozef KELEMEN, DrSc. Úvod do problematiky, historie disciplíny, Turing$v test. Reaktivita versus pam"t, vymezení významu pojmu reaktivní agent, p!íklady reaktivních agent$, p!ípadová analýza jejich architektury. Decentralizovanost a komunikace agent$, subsump#ní architektura agent$, (um"lé) neuronové sít", problematika u#ení a adaptace. Od reaktivity k reprezentaci poznatk$ (p!íklad robotického systému Toto a MetaToto). Vymezení pojmu poznatek pro pot!eby um"lé inteligence, atributy poznatku. Deklarativní reprezenta#ní schéma, produk#ní systémy, formální logika, p!íklad reprezentace v systému STRIPS a deliberativní robotika. Stavový prostor a jeho prohledávání, slepé a heuristické metody, kvantitativní a kvalitativní heuristiky, vyhodnocující funkce a systém GPS. Asociativní reprezenta#ní schéma a problematika po#íta#ového zpracovávání p!irozeného jazyka. Procedurální reprezenta#ní schéma, princip volání procedur cílem, logické programování. Rámcové reprezenta#ní schéma, reprezentace o#ekávání a jejich zpracování, nemonotónnost inference a nemonotónní logika. U#ící se systémy. Shrnutí problematiky. Obsah: Literatura:
SLEZSKÁ UNIVERZITA V OPAV! P!EDM"TY - AKREDITA#NÍ SESTAVA 2011/12 01.09.2011 %$ / "# UI/N1018 Teorie vy"íslitelnosti a složitosti Computability and Complexity Theory Statut: Po"et kredit#: Forma výuky: Rozsah výuky: Ukon"ení: Garant: Povinn" volitelný 6 P!ednáška,Cvi#ení 2 HOD/TYD + 2 HOD/TYD Zkouška Doc. Ing. Petr SOSÍK, Dr. Cíle: Jsou p!edvedeny základní abstraktní modely výpo#tu - Turing$v stroj a stroj RAM. Na jejich bázi je vybudován koncept strojové vy#íslitelnosti, ukázána existence nevy#íslitelných problém$ a jejich typické p!íklady. Dále je zavedena asymptotická výpo#etní složitost algoritm$, umož&ující porovnávat spot!ebu pam"ti a strojového #asu bez vazby na konkrétní po#íta#. Obsahová nápl& cvi#ení vychází a #asov" sleduje obsahovou nápl& p!ednášky. Obsah: Charakterizace mechanických výpo#t$, Turingova - Churchova teze. 2. Turing$v stroj a jeho varianty, univerzální Turing$v stroj. 3. Rekurzívní a rekurzívn" spo#etné množiny, metoda diagonalizace. 4. Rozhodnutelné a nerozhodnutelné problémy, metoda redukce. 5. Riceova v"ta, aplikace teorie vy#íslitelnosti v praxi. 6. Výpo#et spot!eby #asu a pam"ti po#íta#ových algoritm$. 7. T!ídy DTIME a DSPACE. Nedeterministický Turing$v stroj, t!ídy NTIME a NSPACE. 8. Stroj RAM a jeho výpo#etní síla. Vztahy Turingova stroje a RAM. 9. V"ta o urychlení a v"ta o kompresi, základní složitostní t!ídy. 10. %asová a prostorová hierarchie. 11. Vztahy #asových a prostorových složitostních t!íd. 12. Redukovatelnost a úplnost, NP-úplné problémy. 13. Složitost pravd"podobnostních výpo#t$. Literatura: Arora, S., Barak, B.: Complexity Theory: A Modern Approach, Cambridge University Press 2009 %erná, I.: Úvod do teórie zložitosti., Brno: FI MU 1993 Hopcroft, J. E., Motwani, R., Ullman, J. D.: Introduction to Automata Theory, Languages and Computation., Upper Saddle River: Pearson Education Inc., 2003 Kozen, D.: Theory of Computation, Berlin: Springer-Verlag 2006 Sosík, P.: Teorie vy#íslitelnosti. Online studijní text, Opava: FPF SU 1996 Wiedermann, J.: Teorie složitosti sekven#ních a paralelních výpo#t$. Online studijní text., ÚI AV %R, Praha 2003
Page 1 and 2:
Podklad pro jednání Akredita!ní
Page 3 and 4:
Základní údaje: !"#$%&'()(*$+$,&
Page 5 and 6:
B - Charakteristika studijního pro
Page 7 and 8:
C - Pravidla pro vytvá!ení studij
Page 9 and 10:
2. Funkcionální anal(za: - Topolo
Page 11 and 12:
Matematická ekonomie I 2p+1c+0s Zp
Page 13 and 14:
- Veli#iny celkové, pr*m!rné, mez
Page 15 and 16:
SLEZSKÁ UNIVERZITA V OPAV! 01.09.2
Page 17 and 18:
Page 19 and 20:
Page 21 and 22:
Page 23 and 24:
Page 25 and 26:
Page 27 and 28:
Page 29 and 30:
Page 31 and 32:
Page 33 and 34:
SLEZSKÁ UNIVERZITA V OPAV! P!EDM"T
Page 35 and 36:
Page 37 and 38:
Page 39 and 40:
Page 41 and 42:
Page 43 and 44:
Page 45 and 46:
Page 47 and 48:
Page 49 and 50:
Page 51 and 52:
Page 53 and 54:
Page 55 and 56:
Page 57 and 58:
Page 59 and 60:
Page 61 and 62:
Page 63 and 64:
Page 65 and 66:
Page 67 and 68:
Page 69 and 70:
Page 71 and 72:
Page 73 and 74:
Page 75 and 76:
Page 77 and 78:
Page 79 and 80:
Page 81 and 82:
Page 83 and 84:
Page 85 and 86:
Page 87 and 88:
Page 89 and 90:
Page 91 and 92:
Page 93 and 94:
Page 95 and 96:
Page 97 and 98:
Page 99 and 100:
Page 101 and 102:
Page 103 and 104:
Page 105 and 106:
Page 107 and 108:
Page 109 and 110:
Page 111 and 112:
Page 113 and 114: SLEZSKÁ UNIVERZITA V OPAV! P!EDM"T
Page 115 and 116: SLEZSKÁ UNIVERZITA V OPAV! 01.09.2
Page 163: SLEZSKÁ UNIVERZITA V OPAV! P!EDM"T
Page 173 and 174: SLEZSKÁ UNIVERZITA V OPAV! 02.09.2
Page 175 and 176: F - Související v!decká, v"zkumn
Page 177 and 178: G - Personální zabezpe!ení - p"e
Page 203 and 204: MATEICIUC, A. a kol. (2005) Mana!er
Page 207 and 208: ! ! ! !! +M%D*>T%UH3H!(?-8)-@2,-")*
Page 209 and 210: N(3)0,*6!_")7I;0"9-"&("8I63(A="$'10
Page 211 and 212: VReRcRSa_{J" k30;(." O" ;'3'&0-9E"
Page 213 and 214: ! +M%D*>T%UH3H!(?-8)-@2,-")*-A$=14"
Page 215 and 216:
" ! ! +M%D*>T%UH3H!$%
Page 217 and 218:
+M%D*>T%UH3H!!?@!A!#:#,!;BCDE=!A!,#
Page 219 and 220:
! ! ! +M%D*>T%UH3H!,F=!?=
Page 221 and 222:
! ! ! ! ! +M%D*>T%UH3H!!?@!A!#:#,!;
Page 223 and 224:
;E$!53--$#/.+3*&!/*8!/*.+53--$#/.+3
Page 225 and 226:
]B! ";P\TdeVC! DB! ^?WUVC!
Page 227 and 228:
!"#"$%&'()*+),"-./%-0%1%),"2"03%4)*
Page 229:
I - Uskute!"ování akreditovaného
show all

2011 - Ã…Â½ÃƒÂ¡dost o prodlouÃ…Â¾enÃƒÂ­ platnosti akreditace bakalÃƒÂ¡Ã…Â™skÃƒÂ©ho ...

Create successful ePaper yourself

Delete template?

Save as template?

2011 - Ã…Â½ÃƒÂ¡dost o prodlouÃ…Â¾enÃƒÂ platnosti akreditace bakalÃƒÂ¡Ã…Â™skÃƒÂ©ho ...