generated by TTT-TomasTeachingTools on 2023-07-25, 15:39:24

study plan table

0102030405060708091011121314151617181920212223242526272829303132
1, #Lineární algebra
A0B01LAG
prof. RNDr. Pavel Pták, DrSc.
Z, 4+2, 7 cr., Z,ZK
Programování 1
A0B36PR1
doc. Ing. Ivan Jelínek, CSc.
Z, 2P+2C, 6 cr., Z,ZK
Diskrétní matematika
A4B01DMA
doc. Mgr. Petr Habala, Ph.D.
Z, 2+2, 7 cr., Z,ZK
Řešení problémů a hry
A4B99RPH
prof. Ing. Tomáš Svoboda, Ph.D.
Z, 1+3c, 6 cr., KZ
Volitelny predmet
V4
NA
NA, NA, 4 cr., NA
2, #Logika a grafy
A0B01LGR
prof. RNDr. Marie Demlová, CSc.
L, 3+2, 6 cr., Z,ZK
Programování 2
A0B36PR2
doc. Ing. Ivan Jelínek, CSc.; doc. Ing. Jiří Vokřínek, Ph.D.
L, 2P+2C, 6 cr., Z,ZK
Matematická analýza
A4B01MA2
doc. Mgr. Petr Habala, Ph.D.
L, 4+2, 8 cr., Z,ZK
Algoritmizace
A4B33ALG
RNDr. Marko Genyk-Berezovskyj
L, 2P+2C, 6 cr., Z,ZK
Volitelny predmet
V4
NA
NA, NA, 4 cr., NA
3, #Pravděpodobnost, statistika a teorie informace
A0B01PSI
prof. Ing. Mirko Navara, DrSc.
Z, 4+2, 6 cr., Z,ZK
Struktury počítačových systémů
A0B35SPS
Ing. Richard Šusta, Ph.D.
Z, 3P+2L, 6 cr., Z,ZK
Jazyky,automaty a gramatiky
A4B01JAG
prof. RNDr. Marie Demlová, CSc.
Z, 2+2, 6 cr., Z,ZK
Numerické metody
A4B01NUM
prof. Ing. Mirko Navara, DrSc.
Z, 2+2c, 6 cr., Z,ZK
Operační systémy a sítě
A4B33OSS
RNDr. Petr Štěpán, Ph.D.
Z, 2P+2C, 6 cr., Z,ZK
4, #Architektura počítačů
A0B36APO
Ing. Pavel Píša, Ph.D.
L, 2P+2L, 6 cr., Z,ZK
Fyzika pro OI
A4B02FYZ
Ing. Martin Žáček, Ph.D.
L, 2+2L, 6 cr., Z,ZK
Databázové systémy
A4B33DS
Ing. Antonín Komenda, Ph.D.
L, 2P+2C, 6 cr., Z,ZK
Funkcionální a logické programování
A4B33FLP
prof. Ing. Filip Železný, Ph.D.
L, 2P+2C, 6 cr., Z,ZK
Základy umělé inteligence
A4B33ZUI
prof. Dr. Michal Pěchouček, MSc.
L, 2P+2C, 6 cr., Z,ZK
5, #Optimalizace
A4B33OPT
doc. Ing. Tomáš Werner, Ph.D.
Z, 4P+2C, 7 cr., Z,ZK
Rozpoznávání a strojové učení
A4B33RPZ
prof. Ing. Jiří Matas, Ph.D.
Z, 2P+2C, 6 cr., Z,ZK
Softwarový nebo výzkumný projekt
A4B33SVP
prof. Ing. Jiří Matas, Ph.D.
Z,L, NA, 6 cr., KZ
Volitelny predmet
V6
NA
NA, NA, 6 cr., NA
Volitelny predmet
V5
NA
NA, NA, 5 cr., NA
6, #Bakalářská práce - Bachelor thesis
ABAP20
NA
L,Z, 28s, 20 cr., Z
Volitelny predmet
V6
NA
NA, NA, 6 cr., NA
Volitelny predmet
V4
NA
NA, NA, 4 cr., NA
compulsory courses of the programmebranch coursesbranch elective courseselectives
0102030405060708091011121314151617181920212223242526272829303132

Stats

Compulsory courses (P): A0B01LAG A0B36PR1 A4B01DMA A4B14BPZS A4B99RPH A0B01LGR A0B36PR2 A4B01MA2 A4B14BP1 A4B33ALG A0B01PSI A0B35SPS A4B01JAG A0B36APO A4B02FYZ A4B14BP2 A4B33OPT ABAP20
ECTS: 109 (in 18 courses)
Branch/specialization courses (PO): A4B01NUM A4B33OSS A4B33DS A4B33FLP A4B33ZUI A4B33RPZ A4B33SVP
ECTS: 42 (in 7 courses)

Problems, warnings

Department 13000

ABAP20:lectures probably incomplete, it contains only NA
labs probably incomplete, it contains only NA
literature probably incomplete, it contains only NA

Department 13101

A4B01NUM:Course is not yet offically approved! A0B01PSI:Course is not yet offically approved! A4B01DMA:Course is not yet offically approved! A4B01MA2:Course is not yet offically approved! annotation probably incomplete, it contains only N
lectures probably incomplete, it contains only NA
labs probably incomplete, it contains only NA
literature probably incomplete, it contains only NA
homepage_url probably incomplete, it contains only NA
A4B01JAG:Course is not yet offically approved! A0B01LGR:Course is not yet offically approved! annotation probably incomplete, it contains only
A0B01LAG:Course is not yet offically approved!

Department 13102

A4B02FYZ:Course is not yet offically approved!

Department 13114

A4B14BP1:lectures probably incomplete, it contains only NA
labs probably incomplete, it contains only NA
literature probably incomplete, it contains only NA
homepage_url probably incomplete, it contains only NA
A4B14BP2:homepage_url probably incomplete, it contains only NA
Study plan: ../kos-xml-exports/oi-cs-study-plan.xml :: Winter/Summer conflict of terms. Taught in Z and scheduled/recommended for 4. Study plan: ../study-plans/oi-bc-cs-dobihajici.dsv :: Winter/Summer conflict of terms. Taught in Z and scheduled/recommended for 4. A4B14BPZS: Course language not specified.homepage_url probably incomplete, it contains only NA

Department 13133

A4B99RPH:Course is not yet offically approved! A4B33SVP: Course language not specified.lectures probably incomplete, it contains only NA
labs probably incomplete, it contains only NA
literature probably incomplete, it contains only NA

Department 13135

Department 13136

Department NA

Courses by department

13000:1:ABAP20
13101:7:A4B01NUM, A0B01PSI, A4B01DMA, A4B01MA2, A4B01JAG, A0B01LGR, A0B01LAG
13102:1:A4B02FYZ
13114:3:A4B14BP1, A4B14BP2, A4B14BPZS
13133:6:A4B33OSS, A4B99RPH, A4B33RPZ, A4B33ALG, A4B33OPT, A4B33SVP
13135:2:A0B35SPS, A0B36APO
13136:5:A0B36PR2, A4B33ZUI, A4B33FLP, A0B36PR1, A4B33DS
NA:3:V4, V6, V5

Course home pages

A0B01LAG: http://math.feld.cvut.cz/velebil/teaching/a0b01lag.html
A0B36PR1: http://edux.feld.cvut.cz/courses/A0B36PR1/
A4B01DMA: http://math.feld.cvut.cz/habala/teaching/dma.htm
A4B14BPZS: NA
A4B99RPH: http://cw.felk.cvut.cz/doku.php/courses/a4b99rph/start
V4: NA
A0B01LGR: http://math.feld.cvut.cz/demlova/teaching/lgr_vyuka.html
A0B36PR2: https://moodle.fel.cvut.cz/local/kos/course_info.php?code=AE0B36PR2
A4B01MA2: NA
A4B14BP1: NA
A4B33ALG: http://cw.felk.cvut.cz/doku.php/courses/a4b33alg/start
V4: NA
A0B01PSI: http://cmp.felk.cvut.cz/~navara/psi/
A0B35SPS: https://moodle.fel.cvut.cz/courses/A0B35SPS
A4B01JAG: http://math.feld.cvut.cz/demlova/teaching/jag_vyuka.html
A4B01NUM: http://math.feld.cvut.cz/nemecek/nummet.html
A4B33OSS: https://cw.fel.cvut.cz/wiki/courses/a4b33oss/start
A0B36APO: https://cw.felk.cvut.cz/wiki/courses/b35apo/
A4B02FYZ: https://moodle.fel.cvut.cz/courses/A4B02FYZ
A4B14BP2: NA
A4B33DS: https://cw.fel.cvut.cz/wiki/courses/A4B33DS/start
A4B33FLP: http://cw.felk.cvut.cz/doku.php/courses/a4b33flp/start
A4B33ZUI: http://cw.felk.cvut.cz/doku.php/courses/a4b33zui/start
A4B33OPT: http://cw.felk.cvut.cz/doku.php/courses/b33opt/start
A4B33RPZ: http://cw.felk.cvut.cz/doku.php/courses/a4b33rpz/start
A4B33SVP: http://oi.fel.cvut.cz/pro-studenty/bakalarsky-program/a4bxxsvp
V6: NA
V5: NA
ABAP20: https://moodle.fel.cvut.cz/courses/ABAP20
V6: NA
V4: NA

Pre-requisities

A0B01LAG: NA
A0B36PR1: NA
A4B01DMA: High-school mathematics and ability to think.
A4B14BPZS: 100%participation at courses and lectures
A4B99RPH: none
V4: NA
A0B01LGR: NA
A0B36PR2: NA
A4B01MA2: NA
A4B14BP1: NA
A4B33ALG: Programming 1
V4: NA
A0B01PSI: Linear Algebra, Calculus, Discrete Mathematics
A0B35SPS: Boolean algebra, logic circuits
A4B01JAG: Discrete Mathematics
A4B01NUM: The first two courses of bachelor studies, mathematics and programming.
A4B33OSS: NA
A0B36APO: Basic knowledge of C language and area of combinatorial and sequential logic circuits. Basic knowledge of command line and compilers use in POSIX standard conformant environment (i.e. Linux) is invited.
A4B02FYZ: Knowledge of the differential and integral calculus of the function of one and more variables; linear algebra.
A4B14BP2: Participation at course and lecture Work out of the test
A4B33DS: The web page of the course is https://cw.fel.cvut.cz/wiki/courses/A4B33DS/start The requirements for successful completion of the course are published on that page.
A4B33FLP: Discrete Mathematics, Logic and Graphs, Programming 1+2.
A4B33ZUI: Topics contained in course A0B01LGR.
A4B33OPT: Linear algebra. Calculus, including intro to multivariate calculus. Recommended are numerical algorithms and probability and statistics.
A4B33RPZ: Knowledge of linear algebra, mathematical analysis and probability and statistics.
A4B33SVP: NA
V6: NA
V5: NA
ABAP20: NA
V6: NA
V4: NA

Updated in KOS

V4:NA
V6:NA
V5:NA
A0B36APO:2020-01-23T15:44:46.0
A4B33SVP:2019-10-09T09:44:34.0
A4B33RPZ:2019-09-06T15:58:52.0
A4B33OSS:2019-09-06T15:57:41.0
A4B33OPT:2019-09-06T15:57:29.0
A4B33ALG:2019-09-06T15:47:43.0
A4B33ZUI:2019-08-19T16:02:51.0
A4B33FLP:2019-08-19T16:02:42.0
A4B33DS:2019-08-19T16:02:38.0
A0B36PR2:2019-08-19T16:02:00.0
A0B36PR1:2019-08-19T16:01:56.0
A0B35SPS:2019-08-12T11:49:44.0
A0B01PSI:2019-01-07T15:29:20.0
A4B02FYZ:2019-01-07T12:35:40.0
A4B99RPH:2018-12-29T11:26:38.0
A0B01LAG:2018-12-29T09:38:54.0
A0B01LGR:2018-12-29T09:38:54.0
A4B01MA2:2018-12-29T09:37:36.0
A4B01JAG:2018-12-29T09:37:36.0
A4B01NUM:2018-12-29T09:37:36.0
A4B01DMA:2018-12-29T09:26:42.0
A4B14BP1:2018-11-20T10:57:35.0
A4B14BPZS:2018-11-20T10:55:31.0
ABAP20:2017-12-13T16:48:07.0
A4B14BP2:2016-11-23T07:57:18.0

Courses

Lineární algebra

code: A0B01LAG
hours: 4+2
ECTS: 7
homepage: http://math.feld.cvut.cz/velebil/teaching/a0b01lag.html
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet12576204.html, http://www.fel.cvut.cz/cz/education/bk/predmety/12/57/p12576204.html
lecturer(s): prof. RNDr. Pták Pavel DrSc.
Dept: 13101
annotation: Tento kurs pokrývá úvodní partie lineární algebry. Soustředí se na spřízněné pojmy lineárního prostoru a lineární transformace (lineární nezávislost, báze a souřadnice) a matice (determinanty, inverzní matice, matice lineárního zobrazení, vlastní čísla). Aplikace zahrnují řešení soustav lineárních rovnic, geometrii 3-dimenzionálního prostoru (včetně skalárního a vektorového součinu) a řešení lineárních diferenciálních rovnic.
prerequisities: NA
lectures:
1. Úvod, polynomy.
2. Lineární prostory, lineární závislost a nezávislost.
3. Báze, dimenze, souřadnice vektoru v bázi.
4. Matice, operace s maticemi, determinanty. Inverzní matice.
5. Soustavy lineárních rovnic.
6. Lineární zobrazení. Matice lineárního zobrazení.
7. Volné vektory. Skalární a vektorový součin.
8. Lineární útvary v bodovém prostoru dimenze 3.
9. Vlastní čísla a vlastní vektory matice a lineárního zobrazení.
10. Podobnost matic, matice podobná diagonální matici.
11. Zobecněné vlastní vektory.
12. Soustavy lineárních diferenciálních rovnic 1. řádu s konstantními koeficienty.
13. Lineární diferenciální rovnice řádu n s konstantními koeficienty.
14. Rezerva. 
labs/seminars:
1. Polynomy.
2. Příklady lineárních prostorů, lineární nezávislost.
3. Báze, souřadnice vektoru v bázi.
4. Determinanty. Výpočet inverzní matice.
5. Soustavy lineárních rovnic.
6. Příklady lineárních zobrazení.
7. Matice lineárního zobrazení a změny báze.
8. Skalární a vektorový součin v geometrii. Přímky a roviny.
9. Vlastní čísla a vlastní vektory matice.
10. Diagonalizace matic.
11. Zobecněné vlastní vektory a aplikace.
12. Soustavy lineárních diferenciálních rovnic.
13. Lineární diferenciální rovnice řádu n.
14. Rezerva

literature:
[1]J. Velebil: Abstraktní a konkrétní lineární algebra, http://math.feld.cvut.cz/velebil/akla.html

[2]  P. Olšák: Úvod do algebry, zejména lineární. FEL ČVUT, Praha, 2007. http://math.feld.cvut.cz/skripta/ua/
[3] E. Krajník: Maticový počet. Učební text, Praha, 2005. ftp://math.feld.cvut.cz/pub/krajnik/vyuka/ua/matice.pdf
[4] J. Tkadlec: Diferenciální rovnice. Laplaceova transformace. ČVUT Praha, 2005. 

Programování 1

code: A0B36PR1
hours: 2P+2C
ECTS: 6
homepage: http://edux.feld.cvut.cz/courses/A0B36PR1/
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet12579804.html, http://www.fel.cvut.cz/cz/education/bk/predmety/12/57/p12579804.html
lecturer(s): doc. Ing. Jelínek Ivan CSc.
Dept: 13136
annotation: Cílem předmětu je seznámit studenty s tématy základní práce s prostředím pro vývoj programů, úvod do jazyka JAVA, vývoj programu, imperativní programování, základní řídící a datové struktury, funkce, pole, základy objektového programování, proudy a soubory. Student je schopen sestavit a odladit jednoduchý program v Javě.
prerequisities: NA
lectures:
1. Základní pojmy výpočetní techniky, operační systém, software,
   překladač, interpret, programovací jazyky, syntaxe, sémantika

2. Koncepce Javy, základní vlastnosti, současná podoba a vývoj, úvod
   do jazyka, zpracování programu, vnitřní forma, vývojová prostředí
3. Základní pojmy imperativního programování, proměnná, operátory,
   jednoduché datové typy, přiřazení

4. Výrazy, vstup a výstup, řídící struktury, větvení, cyklus

5. Funkce, procedury, parametry, statické proměnné, lokální proměnné,
   blok, princip přidělování paměti proměnným, halda, zásobník

6. Pole, referenční proměnná typu pole, pole jako parametr, funkce
   typu pole

6. Pole ^
7. Principy objektového přístupu, třídy, třída jako programová
    jednotka, třída jako zdroj funkcí, třída jako datový typ, statické
    a instanční metody,

8. Struktura objektu, dynamický charakter objektu, konstruktory,
    vlastnosti konstruktorů, přetěžování, instance třídy, autorizovaný
    přístup
. Třídy a dědičnost, hierarchie tříd, dědění, kompozice, abstraktní
    třídy, polymorfismus

9. Rekurze ^
10. Spojové struktury ^
11. ADT ^
12.  Soubory a proudy, soubor jako posloupnost bytů,úvod do zpracování
     výjimek, ukládání/čtení primitivních typů, primitivních typů a
     objektů (řetězců), objektů do souboru - serializace

13. Algoritmy ^
14. Rezerva ^
labs/seminars:
1.Seznámení s počítačovou učebnou a výpočetním prostředím
2.Seznámení s vývojovým prostředím pro programování
3.Struktura programu v jazyku Java
4.Odladění triviálních úloh ve vývojovém prostředí, spuštění mimo něj
5.Sekvence, vstup, výstup, větvení
6.Cykly
7.Pole, zadání semestrální práce
8.Řešení složitější úlohy, rozklad na podproblémy
9.Procedury a funkce
10.Třídy a objekty I
11.Třídy a objekty II
12.Soubory a proudy
13.Test 
14.Zápočet
literature:
[1] Zakhour, S: The Java Tutorial: A Short Course on the Basics, 4th Edition,Amazon, 2006, český překlad 2007

[2] Herout, P.: Učebnice jazyka Java, Kopp, 2007

[3] Hawlitzek, F: Java 2, Addison-Wesley, 2000, český překlad 2002

[4] http://service.felk.cvut.cz/courses/A0B36PR1/

[5] http://service.felk.cvut.cz/courses/X36ALG/

Diskrétní matematika

code: A4B01DMA
hours: 2+2
ECTS: 7
homepage: http://math.feld.cvut.cz/habala/teaching/dma.htm
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet25804.html, http://www.fel.cvut.cz/cz/education/bk/predmety/25/80/p25804.html
lecturer(s): doc. Mgr. Habala Petr Ph.D.
Dept: 13101
annotation: Cílem kursu je seznámit studenty s většinou významných témat zahrnovaných tradičně do oboru diskrétní matematika, zejména jde o binární relace, dělitelnost a počítání modulo a indukci a rekurzi včetně rekurentních rovnic. Druhým cílem kursu je naučit studenty jazyk matematiky, pasivně i aktivně, a představit jim matematiku jako vědu.
prerequisities: High-school mathematics and ability to think.
lectures:
1. Matematický jazyk a logika. Binární relace.
2. Relace ekvivalence a uspořádání.
3. Matematická indukce a její využití.
4. Zobrazení. Mohutnost množin, spočetné a nespočetné množiny.
5. Dělitelnost, prvočísla, Eukleidův algoritmus.
6. Diofantické rovnice. Počítání modulo. 
7. Binární operace a jejich vlastnosti.
8. Prostory zbytkových tříd abstraktně.
9. Posloupnosti a součty, rekurentní rovnice.
10. Řešení rekurentních rovnic s konstantními koeficienty.
11. Výpočet časové náročnosti rekursivních algoritmů, Master theorem.
12. Kombinatorika, princip inkluze a exkluze.
13. Rezerva.
labs/seminars:
1. Matematický jazyk a logika, jednoduché důkazy.
2. Vlastnosti relací.
3. Důkazy indukcí, rekurentní definice množin.
4. Vlastnosti zobrazení, spočetnost.
5. Dělitelnost, prvočísla, Eukleidův algoritmus.
6. Diofantické rovnice. Počítání modulo. 
7. Vlastnosti binárních operací.
8. Opakování, důkazy.
9. Důkazy sumačních vzorců indukcí. Rekurentní rovnice.
10. Rekurentní rovnice s konstantními koeficienty.
11. Nehomogenní rekurentní rovnice, Master theorem.
12. Kombinatorika.
13. Rezerva.
literature:
[1] Skripta na fakultních stránkách přednášejícího.
[2] K.H.Rosen: Discrete matematics and its aplications, McGraw-Hill, 1998.

Základní školení BOZP

code: A4B14BPZS
hours: 2+2j
ECTS: 0
homepage: NA
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet12622604.html, http://www.fel.cvut.cz/cz/education/bk/predmety/12/62/p12622604.html
lecturer(s): Ing. Kůla Vladimír CSc.
Dept: 13114
annotation: Předmět je součástí systému povinné péče fakulty o bezpečnost a ochranu zdraví při práci na ČVUT v Praze. Studenti tímto absolvují povinné základní školení BOZP (Příkaz děkana č.1/2007). Přednáška je povinná.
prerequisities: 100%participation at courses and lectures
lectures:
Osnova přednášek: Osnova přednášek pro studenty programu E a I na ČVUT FEL se provádí podle předlohy "Osnovy základního školení BOZP pro zaměstnance a studenty ČVUT v Praze" zpracované rektorátem ČVUT.
1.Základní právní podklady. Obecné zásady při zajišťování BOZP. Základní požadavky na zajištění BOZP. Bezpečnost technických zařízení. Povinnosti zaměstnavatele. Povinnosti a práva zaměstnance. Povinnosti při nástupu do zaměstnání. Bezpečnost práce s elektrickým zařízením. Bezpečnost práce se zobrazovacími jednotkami (počítači). Pracovní úraz a jeho evidence. První pomoc - traumatologický plán. Důležité telefony.
labs/seminars:
Místní bezpečnostní předpisy (laboratorní řád). První pomoc při úrazu elektrickým proudem, automatizovaný externí defibrilátor na FEL. 
Diskuse k problematice bezpečnosti a ochrany zdraví při práci.
Záznam o základním školení BOZP. Záznam o absolvování ZŠ BOZP do indexu. Zápočet.
literature:
1.Cipra, Kříž, Kůla: Elektrotechnická kvalifikace, ČVUT, Praha, 2006.

2.http://bezpecnost.feld.cvut.cz

Řešení problémů a hry

code: A4B99RPH
hours: 1+3c
ECTS: 6
homepage: http://cw.felk.cvut.cz/doku.php/courses/a4b99rph/start
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet12580504.html, http://www.fel.cvut.cz/cz/education/bk/predmety/12/58/p12580504.html
lecturer(s): prof. Ing. Svoboda Tomáš Ph.D.
Dept: 13133
annotation: Hlavní motivací je naučit studenty přemýšlet o problémů inženýrským způsobem. Rozmýšlení úlohy, dekompozice, definování rozhraní, způsob testování jednotlivých mezikroků, ověření a testování úspěšnosti celé úlohy. Práce na zajímavých projektech by měla přirozeným způsobem přivést studenty k otázkám, které by si studenti měli pokládat v teoretických předmětech. Studenti by se měli na těžké předměty těšit, protože se pořádně dozví, *proč* jim to nefungovalo. Ukázat, že informatika na FEL je zajímavá, že to není jenom suché programování GUI, či nezáživných aplikaci. Obecně, že je to více než jen samotné kódování. Primárním cílem, není aby studenti vypracovali bezchybně, ale aby se naučili klást podstatně otázky.
prerequisities: none
lectures:
1. Úvod do předmětu. Nekooperativní hry, představení první společné úlohy. Úvod do Pythonu.
2. Python, nutné minimum pro úplné začátečníky.
3. Python, velejemný úvod do objektů. Představení úlohy bludiště.
4. Motivační přednáška o vybraných problémech computer science a umělé inteligence. 
5. Spam filter, Reversi, představení třetích úloh.
6. Motivační přednáška o vybraných problémech computer science a umělé inteligence. 
7. Motivační přednáška o vybraných problémech computer science a umělé inteligence.
8. Shrnutí předmětu, diskuse nad dosaženými výsledky.
labs/seminars:
Ve cvičení budou studenti pracovat samostatně na alespoň dvou větších
úlohách. Budou programovat v Pythonu a Javě. Úlohy mají samostatně
odevzdávané a bodované podúlohy. Studenti budou svá řešení a návrhy
průběžně konzultovat v rámci cvičení. Množina úloh se bude průběžně
doplňovat a obměňovat.

Příkladz úloh:

Spam filtr. Jednoduchá detekce zpráv na základě výskytu podezřelých
slov. K dispozici trénovací i testovací množina.

Reversi, dvouhráčové hry. 

Hledání cesty pro mobilního robota. Jednoduché bludiště, scéna
obsahující jednoduché geometrické objekty. úkolem je nalézt cestu pro
robota z bodů A do bodů B. Kritérium optimality může být různé.

Vězňovo dilema, klasický problém z teorie her se širokou aplikovalností.
literature:
http://cw.felk.cvut.cz/doku.php/courses/a4b99rph/literatura

Volitelny predmet

code: V4
hours: NA
ECTS: 4
homepage: NA
CTU/FEE URLs: NA, NA
lecturer(s): NA
Dept: NA
annotation: NA
prerequisities: NA
lectures:
NA
labs/seminars:
NA
literature:
NA

Logika a grafy

code: A0B01LGR
hours: 3+2
ECTS: 6
homepage: http://math.feld.cvut.cz/demlova/teaching/lgr_vyuka.html
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet12580704.html, http://www.fel.cvut.cz/cz/education/bk/predmety/12/58/p12580704.html
lecturer(s): prof. RNDr. Demlová Marie CSc.
Dept: 13101
annotation:
prerequisities: NA
lectures:
1.  Formule výrokové logiky, pravdivostní ohodnocení, tautologie, kontradikce, splnitelné formule.
2.  Sémantický důsledek, tautologická ekvivalence, CNF a DNF, Booleovský kalkul.
3.  Rezoluční metoda ve výrokové logice.
4.  Predikátová logika, formalizace vět, syntakticky správné formule.
5.  Interpretace predikátové logiky, sémantický důsledek a tautologická ekvivalence.6
6.  Rezoluční metoda v predikátové logice.
7.  Grafy neorientované a orientované, základní pojmy.
8.  Souvislost, stromy, kostry, kořenové stromy.
9.  Silná souvislost, acyklické grafy.
10. Eulerovy grafy a jejich aplikace.
11. Hamiltonovy grafy a jejich aplikace.
12. Nezávislé množiny, kliky v grafy.
13. Vrcholové a hranové barvení grafu.
14. Rezerva. 
labs/seminars:
1.  Formule výrokové logiky, pravdivostní ohodnocení, tautologie, kontradikce, splnitelné formule.
2.  Sémantický důsledek, tautologická ekvivalence, CNF a DNF, Booleovský kalkul.
3.  Rezoluční metoda ve výrokové logice.
4.  Predikátová logika, formalizace vět, syntakticky správné formule.
5.  Interpretace predikátové logiky, sémantický důsledek a tautologická ekvivalence.6
6.  Rezoluční metoda v predikátové logice.
7.  Grafy neorientované a orientované, základní pojmy.
8.  Souvislost, stromy, kostry, kořenové stromy.
9.  Silná souvislost, acyklické grafy.
10. Eulerovy grafy a jejich aplikace.
11. Hamiltonovy grafy a jejich aplikace.
12. Nezávislé množiny, kliky v grafy.
13. Vrcholové a hranové barvení grafu.
14. Rezerva. 
literature:
[1] Demlová, M., Pondělíček, B.: Matematická logika, ČVUT Praha, 1997.
[2] Velebil, J.: Úvod do logiky, ke stažení na stránkách J. Velebila
[3]  J. Matoušek, J., Nešetřel, J.: Kapitoly z diskrétní matematiky, Nakladatelství Karolinum, 2000.
[4] Demel, J.: Grafy a jejich aplikace, Academia 2002. 

Programování 2

code: A0B36PR2
hours: 2P+2C
ECTS: 6
homepage: https://moodle.fel.cvut.cz/local/kos/course_info.php?code=AE0B36PR2
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet12580804.html, http://www.fel.cvut.cz/cz/education/bk/predmety/12/58/p12580804.html
lecturer(s): doc. Ing. Jelínek Ivan CSc.; doc. Ing. Vokřínek Jiří Ph.D.
Dept: 13136
annotation: Předmět navazuje na Programování 1 a klade si za cíl naučit studenty vytvořit aplikaci s grafickým uživatelským rozhraním se znalostí témat: polymorfismus, zpracovaní události, princip mechanismu výjimky, aplety, práce s uživatelskými knihovnami. Dále je student seznámen s jazykem C: komparativní výklad jazyka C, struktura programu a funkcí, pointery, dynamická správa paměti, student je schopen programy v jazyku C analyzovat.
prerequisities: NA
lectures:
1. Opakování a shrnutí základů programování v Javě, pole, funkce, parametry, objektový přístup, struktura
tříd a programu v Javě, abstraktní třída
2. Grafické uživatelské rozhraní (GUI) v jazyce Java, typy komunikace, knihovny AWT a SWING, princip
GUI, komponenty, kontejnery, správce rozmístění, obsluha událostí
3. Polymorfismus, řešení abstraktní třídou, rozhraní, rozhraní jako typ proměnné, rozhraní a dědičnost, typ
interface
4. Události jako objekt, zpracování události, zdroj události, posluchač události, model šíření události, model
šíření událostí, implementace modelu zpracování události,
5. Zpracování vlastní události, více zdrojů a posluchačů, rozlišení zdrojů,
6. Výjimky, pojem výjimky, princip mechanismu zpracování výjimek, kompletní zpracování výjimek
7. Vyhození výjimky, propagace výjimek, generování vlastní výjimky, hierarchie výjimek, kontrolované a
nekontrolované výjimky
8. Aplety, vlastnosti, použití, způsob aktivace, životní cyklus apletu, předávání parametrů do apletu, omezen
í apletu
9. Knihovny, práce s dokumentací, kontejnery, použití knihoven seznamů, množin, map v jazyce Java,
příklady použití¨
10. Základy programovaní v C, charakteristika jazyka, model kompilace, struktura programu, struktura funkce,
příklad programu
11. Komparativní výklad jazyka C k jazyku Java, makra, podmíněný překlad, syntaxe jazyka, struktury, uniony, výčtové typy
12. Systematické programování v C, preprocesor, základní knihovny, základní vstup a výstup
13. Pointery, dynamická správa paměti, pole a ukazatelé, funkce a pointery
14. Rezerva
labs/seminars:
1. Úvodní test, zopakování základů programování a objektového přístupu
2. Polymorfismus, rozhraní, enum, generika^
3. Grafické uživatelské rozhraní
4. Zpracování událostí
5. Zpracování výjimek
6. Kolekce^
7. Databáze^
8. Vlákna, sítě
9. Základy programování v C
10. Pole, řetězce^
11. Dynamická správa paměti, pointery na funkce
12. Struktury, union, výčtová typy, volání C z Javy
13. Obhajoba semstrálních prací^
14. Zápočet
literature:
[1] Zakhour, S: The Java Tutorial: A Short Course on the Basics, 4th Edition,Amazon, 2006, český překlad 2007

[2] Herout, P.: Učebnice jazyka Java, Kopp, 2007

[3] Hawlitzek, F: Java 2, Addison-Wesley, 2000, český překlad 2000

[4] http://service.felk.cvut.cz/courses/A0B36PR2^

Matematická analýza

code: A4B01MA2
hours: 4+2
ECTS: 8
homepage: NA
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet12580604.html, http://www.fel.cvut.cz/cz/education/bk/predmety/12/58/p12580604.html
lecturer(s): doc. Mgr. Habala Petr Ph.D.
Dept: 13101
annotation: Jde o rychlý kurs standardních základů spojité matematiky. Nejprve se pro funkce jedné proměnné pokryje limita, derivace a integrování, na což se naváže posloupnostmi a reálnými řadami. Základní dovednosti se pak aplikují u funkcí více proměnných, kde se parciální derivace použijí k hledání extrémů. Důraz je kladen na praktické zvládnutí výpočetních technik a zároveň porozumění praktickému významu počítaného. Kurs uzavřou přehledově mocninné řady a stručný pohled na obyčejné diferenciální rovnice, jehož hlavním účelem je studentům představit spojitou matematiku coby mocný nástroj.
prerequisities: NA
lectures:
1. Úvod. Limita funkce.
2. Spojitost. Úvod k derivaci.
3. Derivace a základní věty, l'Hospitalovo pravidlo.
4. Monotonie a extrémy. Aplikace derivace (Taylorův polynom).
5. Průběh funkce. Úvod do neurčitého integrálu.
6. Vlastnosti integrálu, metody výpočtu.
7. Určitý integrál.
8. Nevlastní integrál. Aplikace integrálu.
9. Posloupnosti. Úvod k řadám.
10. Řady. Úvod k funkcím více proměnných.
11. Funkce více proměnných (včetně extrémů volných i vázaných).
12. Řady funkcí (obor konvergence, rozvoj funkce v řadu).
13. Rychlý úvod do diferenciálních rovnic.
14. Rezerva.
labs/seminars:
1. Opakování, definiční obory funkcí.
2. Limita funkce.
3. Derivování, tečny a normály. 
4. Limita pomocí l'Hospitalova pravidla.
5. Monotonie a extrémy.
6. Taylorův polynom. Průběh funkce.
7. Základní integrační metody.
8. Určitý integrál.
9. Nevlastní integrál. Aplikace integrálu.
10. Limita posloupnosti, intuitivní výpočet. Rychlosti růstu.
11. Testování konvergence řad.
12. Parciální derivace, lokální extrémy.
13. Vázané extrémy. Mocninné řady.
14. Řešení diferenciálních rovnic metodou separace.

literature:
1. J. Tkadlec: Diferenciální a integrální počet funkcí jedné proměnné. ČVUT Praha, 2004.
2. L. Průcha: Řady. ČVUT Praha, 2005.
3. Hamhalter, J., Tišer, J.: Diferenciální počet funkcí více proměnných, ČVUT Praha, 2005.
4. Habala, P.: Math Tutor, http://math.feld.cvut.cz/mt/

Bezpečnost v elektrotechnice 1

code: A4B14BP1
hours: 4+8j
ECTS: 0
homepage: NA
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet12622904.html, http://www.fel.cvut.cz/cz/education/bk/predmety/12/62/p12622904.html
lecturer(s): Ing. Kůla Vladimír CSc.
Dept: 13114
annotation: http://www.fel.cvut.cz/anketa/aktualni/courses/A4B14BP1
prerequisities: NA
lectures:
NA
labs/seminars:
NA
literature:
NA

Algoritmizace

code: A4B33ALG
hours: 2P+2C
ECTS: 6
homepage: http://cw.felk.cvut.cz/doku.php/courses/a4b33alg/start
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet12579904.html, http://www.fel.cvut.cz/cz/education/bk/predmety/12/57/p12579904.html
lecturer(s): RNDr. Genyk-Berezovskyj Marko
Dept: 13133
annotation: Výuka algoritmizace probíhá tak, aby byla minimálně závislá na programovacím jazyku, nicméně cvičená a přednášená v Javě. Výklad datových struktur, základních algoritmů, funkcí, rekurze, iterace. Stromy. Řazení a vyhledávání. Dynamické programování. Student je schopen aktivně sestavovat algoritmy netriviálních úloh a hodnotit jejich efektivitu.
prerequisities: Programming 1
lectures:
1. Řád růstu funkcí, asymptotická složitost algoritmu
2. Rekurze, složitost rekurentních algoritmů, mistrovská věta
3. Stromy, binární stromy, prohledávání s návratem 
4. Fronta, graf, průchod stromem/grafem do šířky/hloubky
5. Vyhledávani v poli, binární vyhledávací stromy 
6. AVL a B- stromy 
7. Řazení, Insert Sort, SelectionSort, Bubble Sort, QuickSort 
8. Řazení, Merge Sort, Halda, Heap Sort
9. Řazení, Radix sort, Counting Sort, Bucket Sort
10. Hashing, otevřené a zřetězené tabulky, double hashing
11. Hashing, srůstající tabulky, univerzální hashování, 
12. Dynamické programování, struktura optimálního řešení, odstranění rekurze, optimální BVS 
13. Dynamické programování, nejdelší společná podposloupnost,  optimální násobení matic, problém batohu
14. Řazení vícedimenzionálních dat, porovnání řadících algoritmů

labs/seminars:
1. Vstupní test, zopakování základů práce ve vývojovém prostředí, příklady na procedury, parametry, jednoduchá třída, zadání semestrální práce.
2. Práce s jednorozměrnými poli,
3. Řazení a hledání v jednorozměrných polích
4. Práce s vícerozměrnými poli
5. Zpracování textu, řetězce
6. Zjišťování časové a paměťové náročnosti algoritmů
7. Sekvenční soubory
8. Implementace abstraktních datových typů
9. Rekurze a iterace
10. Spojové struktury, lineární spojové seznamy, obecné spojové seznamy
11. Konstrukce stromů, hledání ve stromech
12. Test, konzultace k semestrální úloze
13. Základní algoritmy úloh lineární algebry a geometrie, matematické analýzy
14. Zápočet
literature:
[1] T. H. Cormen, C. E. Leiserson, R. L. Rivest, C. Stein: Introduction to Algorithms, 3rd ed., MIT Press, 2009,

[2] S. Dasgupta, C.H. Papadimitriou, and U.V. Vazirani: Algorithms, Mcgraw-Hill Higher Education, 2006,

[3] Pavel Töpfer: Algoritmy a programovací techniky, Prometheus Praha 1995, 2. vydání 2007

[4] Robert Sedgewick: Algoritmy v C, části 1-4, SoftPress, Praha, 2003 

[5] Jakub Černý: Základní grafové algoritmy, KAM MFF, 2010, online publikace

Volitelny predmet

code: V4
hours: NA
ECTS: 4
homepage: NA
CTU/FEE URLs: NA, NA
lecturer(s): NA
Dept: NA
annotation: NA
prerequisities: NA
lectures:
NA
labs/seminars:
NA
literature:
NA

Pravděpodobnost, statistika a teorie informace

code: A0B01PSI
hours: 4+2
ECTS: 6
homepage: http://cmp.felk.cvut.cz/~navara/psi/
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet12619804.html, http://www.fel.cvut.cz/cz/education/bk/predmety/12/61/p12619804.html
lecturer(s): prof. Ing. Navara Mirko DrSc.
Dept: 13101
annotation: Předmět seznamuje se základy teorie pravděpodobnosti, matematické statistiky, matematické teorie informace a kódování. Zahrnuje popisy pravděpodobnosti, náhodných veličin, jejich rozdělení, charakteristik a operací s náhodnými veličinami. Jsou vyloženy výběrové statistiky, bodové a intervalové odhady, základní testy hypotéz a metoda nejmenších čtverců. Základy teorie Markovových řetězců. Shannonova entropie, vzájemná a podmíněná informace.
prerequisities: Linear Algebra, Calculus, Discrete Mathematics
lectures:
 1. Základní pojmy teorie pravděpodobnosti. Kolmogorovův model pravděpodobnosti. Nezávislost, podmíněná pravděpodobnost, Bayesův vzorec.
 2. Náhodné veličiny a způsoby jejich popisu. Náhodný vektor. Distribuční funkce.
 3. Kvantilová funkce. Směs náhodných veličin.
 4. Charakteristiky náhodných veličin a jejich vlastnosti. Operace s náhodnými veličinami.
Základní typy rozdělení.
 5. Charakteristiky náhodných vektorů. Kovariance, korelace. Čebyševova nerovnost. Zákon velkých čísel. Centrální limitní věta.
 6. Základní pojmy statistiky. Výběrový průměr, výběrový rozptyl.
Intervalové odhady střední hodnoty a rozptylu. 
 7. Metoda momentů, metoda maximální věrohodnosti. EM algoritmus.
 8. Testování hypotéz o střední hodnotě a rozptylu.
Testy dobré shody, testy korelace, neparametrické testy.
 9. Diskrétní náhodné procesy. Stacionární procesy. Markovovy řetězce.
10. Klasifikace stavů Markovových řetězců. 
11. Asymptotické vlastnosti Markovových řetězců. Přehled a ukázky aplikací.
12. Shannonova entropie. Rychlost entropie stacionárního zdroje informace.
13. Základy kódování. Kraftova nerovnost. Huffmanovo kódování.
14. Vzájemná informace, kapacita informačního kanálu.
labs/seminars:
 1. Příklady na elementární pravděpodobnost.
 2. Kolmogorovův model pravděpodobnosti. Nezávislost, podmíněná pravděpodobnost, Bayesův vzorec.
 3. Směs náhodných veličin. Střední hodnota. Unární operace s náhodnými veličinami.
 4. Rozptyl. Náhodný vektor, sdružené rozdělení. Binární operace s náhodnými veličinami. 
 5. Výběrový průměr, výběrový rozptyl. Čebyševova nerovnost. Centrální limitní věta.
 6. Intervalové odhady střední hodnoty a rozptylu.
 7. Metoda momentů, metoda maximální věrohodnosti.
 8. Testování hypotéz o střední hodnotě a rozptylu.
Testy dobré shody, testy korelace, neparametrické testy.
 9. Diskrétní náhodné procesy. Stacionární procesy. Markovovy řetězce.
10. Klasifikace stavů Markovových řetězců. 
11. Asymptotické vlastnosti Markovových řetězců.
12. Shannonova entropie. Rychlost entropie stacionárního zdroje informace.
13. Základy kódování. Kraftova nerovnost. Huffmanovo kódování.
14. Vzájemná informace, kapacita informačního kanálu.
literature:
[1] Navara, M.: Pravděpodobnost a matematická statistika. Skriptum
FEL ČVUT, 1. vydání, Praha, 2007.
[2] Rogalewicz, V.: Pravděpodobnost a statistika pro inženýry.
Skriptum FBMI ČVUT, 2. vydání, Praha, 2007.
[3] Zvára, K., Štěpán, J.: Pravděpodobnost a matematická statistika,
2. vydání, Matfyzpress, MFF UK, Praha, 2002.
[4] Nagy, I.: Pravděpodobnost a matematická statistika. Cvičení.
Skriptum FD CVUT, Praha, 2002.

Struktury počítačových systémů

code: A0B35SPS
hours: 3P+2L
ECTS: 6
homepage: https://moodle.fel.cvut.cz/courses/A0B35SPS
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet12581104.html, http://www.fel.cvut.cz/cz/education/bk/predmety/12/58/p12581104.html
lecturer(s): Ing. Šusta Richard Ph.D.
Dept: 13135
annotation: Předmět je úvodem do oblasti základních hardwarových struktur výpočetních prostředků, jejich návrhu a architektury. Podává přehled o technických prostředcích klasických počítačů i specializovaných prostředků pro digitální a logické řízení. Dává náhled na paralelním zpracování dat uvnitř počítače. Ze cvičení získávají studenti body podle úspěšnosti vyřešení individuálních zadaných úloh. Úlohy se řeší na FPGA vývojových deskách Altera DE2, které používá v podobných kurzech řada předních světových univerzit.
prerequisities: Boolean algebra, logic circuits
lectures:
1. O struktuře počítačových systémů. Binární kódy. Logická funkce - její vlastnosti a realizace. Logické výrazy versus logická hradla. Logická krychle a sestavení logické funkce z Karnaughovy mapy
2. Booleovská algebra. De Morganův teorém. Problém SAT a BDD pro logické funkce. Základní kombinační obvody a jejich návrh. Dekompozice, Shanonnova dekompozice. Skupinová minimalizace.
3. Sekvenční obvody, úrovňové a řízené hodinovým signálem. Primitiva pro klopné obvody. Synchronní a asynchronní vstupy sekvenčních obvodů. Jednoduché sekvenční obvody: Posuvné registry. registry a asynchronní čítače.
4. Synchronní čítače a problémy se souběhem paralelních operací v logických obvodech. Hazardy kombinačních obvodů. Metastabilita sekvenčních obvodů. Hazardy synchronních obvodů a jejich odstranění.  Příklady základních synchronních obvodů. Návrh vícestupňového synchronního obvodu s ripple-carry a s carry-ahead. Zrychlené přenosy.
5. VHDL jazyk pro popis obvodů, základní konstrukce, vícehodnotová logika. Popisy základních kombinačních obvodů ve VHDL. Skládání obvodů z komponent.
6. Popisy sekvenčních obvodů ve VHDL. Signály a atributy VHDL. Popisy čítačů a posuvných registrů.  Příkazy jazyka VHDL pro simulaci. Testování a odlaďování obvodů pomocí -testbench- návrhů.  
7. Automaty a jejich návrh. Automat ve VHDL a jeho testování. Balíčky jazyka VHDL.
8. Řadiče jako speciální automaty a řídicí jednotky procesorů. Násobení frekvencí fázovým závěsem.  Paměti a jejich řešení.
9. Datová cesta. Struktura obecného procesoru, Příklad tvorby 1bitového procesoru a jeho testování. Návrh periférií pro procesor a jejich připojení.
10. Struktura procesoru NIOS, jeho základní architektury a programování v jazyce C. Modifikace procesorového systému NIOS v SOPC  (Systems On Programmable Chips) Builder, paměti, stránkování.
11. Různé pokročilé struktury počítačových systémů a jejich tvorba v SOPC, sběrnice. sdílení periférií, paměť cashe, přerušení. DMA přenos.
12. Praktický -interfacing- nezbytný pro připojení signálů k logickým obvodům. Přizpůsobení vedení a různých typů zátěží. Převody mezi napěťovými úrovněmi. Řešení napájení a ochran. Galvanická izolace.
13. Technologie obvodů pro FPGA a ASIC.  Zpětnovazební posuvné registry používané jako hardwarové akcelerátory v procesorových systémech.
14. Struktury průmyslových počítačů, programovatelných automatů PLC, a jejich odlišnosti od klasických počítačů.
labs/seminars:
1. Organizace cvičení, bezpečnost práce, rozdělení do skupin (po 2 studentech), předvedení a vyzkoušení si práce s deskou Altera DE2.
2. Zadání projektu č.1 V první polovině hodiny ukázka práce ve vývojovém prostředí Quartus II - vytvoření projektu a jednoduchého logického obvodu, přiřazení výstupů, kompilace a naprogramování desky. V druhé půlce hodiny pak samostatná práce - vytvoření jednoduchých hradel.
3. V první polovině hodiny vytvoření majáku EA ukázaného na 1. přednášce  pomocí knihovny, simulace obvodu a připojení posuvného registru. V druhé půlce hodiny samostatná práce na úloze 1.
4. Samostatná práce na projektu č. 1, předvedení a odevzdání 1
5. Zadání projektu č.2. Samostatná práce na projektu č.2, přip. i 1.
6. Samostatná práce na projektu č.2, přip. 1, předvedení a odevzdání projektu č. 2, přip. i 1
7. Zadání projektu č.3 ve VHDL. Samostatná práce na projektu č.3.
8. Samostatná práce na projektu č.3, předvedení a odevzdání projektu č.3.
9. Zadání projektu č.4 a 5 - Samostatná práce na projektech.
10. Samostatná práce na projektech.
11. Samostatná práce na projektech.
12. Samostatná práce na projektech.
13. Samostatná práce na projektech, udělování zápočtů.
literature:
1. John Y. Hsu: Computer Logic, Springer 2002, ISBN: 0387953043
2. Volnei A. Pedroni: Digital Electronics and Design with VHDL, MORGAN KAUFMANN 2008, ISBN: 0123742706
3. Enoch O. Hwang: Digital Logic and Microprocessor Design with VHDL,  Thomson 2006, ISBN: 0-534-46593-5
4. Hachtel, G. D., Somenzi, F., Logic Synthesis and Verification Algorithms, Kluwer Academic. 1996. 
5. DeMicheli G., Synthesis and Optimization of Digital Circuits, McGraw-Hill, 1994. 
***
Vlastní učební texty předmětu v češtině na stránce předmětu:

1. Šusta R.: Kurz základů práce v prostředí Quartus II
2. Šusta R.: Vybraná chybová hlášení překladače Quartus II
3. Šusta R.: Příkladný úvod do VHDL pro pokročilejší části kurz

Jazyky,automaty a gramatiky

code: A4B01JAG
hours: 2+2
ECTS: 6
homepage: http://math.feld.cvut.cz/demlova/teaching/jag_vyuka.html
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet12582504.html, http://www.fel.cvut.cz/cz/education/bk/predmety/12/58/p12582504.html
lecturer(s): prof. RNDr. Demlová Marie CSc.
Dept: 13101
annotation: Základní pojmy teorie konečných automatů a gramatik: deterministické a nedeterministické konečné automaty, charakterizace třídy jazyků přijímaných konečným automatem a jejich popis regulárním výrazem. Gramatiky a jazyky generované danými gramatikami s důrazem na bezkontextové gramatiky. Vztah bezkontextových gramatik a zásobníkových automatů. Pojem Turingova stroje a seznámení studentů s tím, že existují algoritmicky nerozhodnutelné problémy.
prerequisities: Discrete Mathematics
lectures:
 1. Abeceda, slova nad abecedou, zřetězení slov, jazyk.
 2. Deterministický konečný automat, stavový diagram.
 3. Jazyk přijímaný konečným automatem, Nerodova věta.
 4. Nedeterministické konečné automaty.
 5. Ekvivalence deterministických a nedeterministických konečných automatů.
 6. Regulární výrazy a regulární jazyky, Kleeneova věta.
 7. Algoritmická složitost úloh souvisejících s regulárními jazyky
 8. Gramatiky, regulární gramatiky a bezkontextové gramatiky,
    bezkontextové jazyky.
 9. Zásobníkové automaty a jejich vztah k bezkontextovým jazykům.
10. Vlastnosti bezkontextových gramatik, lemma o vkládání.
    Uzavřenost třídy bezkontextových jazyků.
11. Algoritmy pro řešení některých úloh pro bezkontextové jazyky.
12. Turingovy stroje.
13. Algoritmicky neřešitelné úlohy.
14. Rezerva.
labs/seminars:
1. Abeceda, slova nad abecedou, zřetězení slov, jazyk.
2. Deterministický konečný automat, stavový diagram.
3. Jazyk přijímaný konečným automatem, Nerodova věta.
4. Nedeterministické konečné automaty.
5. Ekvivalence deterministických a nedeterministických konečných automatů.
6. Regulární výrazy a regulární jazyky, Kleeneova věta.
7. Algoritmická složitost úloh souvisejících s regulárními jazyky.
8. Gramatiky, regulární gramatiky a bezkontextové gramatiky,
   bezkontextové jazyky.
9. Zásobníkové automaty a jejich vztah k bezkontextovým jazykům.
10. Vlastnosti bezkontextových gramatik, lemma o vkládání. Uzavřenost
    třídy bezkontextových jazyků.
11. Algoritmy pro řešení některých úloh pro bezkontextové jazyky,
    algoritmus CYK.
12. Turingovy stroje.
13. Algoritmicky neřešitelné úlohy.

literature:
[1] J.E. Hopcroft, R. Motwani, J. D. Ullman: Introduction to Automata
Theory, Languages, and Computation, Second Edition, Addison-Wesley, 2001

Numerické metody

code: A4B01NUM
hours: 2+2c
ECTS: 6
homepage: http://math.feld.cvut.cz/nemecek/nummet.html
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet12582604.html, http://www.fel.cvut.cz/cz/education/bk/predmety/12/58/p12582604.html
lecturer(s): prof. Ing. Navara Mirko DrSc.; RNDr. Němeček Aleš
Dept: 13101
annotation: Předmět seznamuje se základními numerickými metodami: interpolace a aproximace funkcí, numerické derivování a integrování, řešení transcendentních a diferenciálních rovnic a soustav lineárních rovnic. Důraz je kladen na získání praktických zkušeností s používáním probíraných metod, odhady chyb výsledku a demonstraci jejich vlastností za pomoci programu Maple a počítačové grafiky.
prerequisities: The first two courses of bachelor studies, mathematics and programming.
lectures:
 1. Přehled problémů, kterými se zabývá numerická matematika.
 2. Aproximace funkcí, interpolace polynomy.
 3. Chyby při interpolaci polynomy. Odhad chyby
 4. Hermitův interpolační polynom. Spliny.
 5. Aproximace funkcí metodou nejmenších čtverců.
 6. Základní metody výpočtu kořenů funkcí.
 7. Metoda prosté iterace, věta o pevném bodě.
 8. Základní věta algebry, metody separace a výpočtu kořenů polynomů.
 9. Řešení soustav lineárních rovnic.
10. Numerická derivace. Richardsonova extrapolace.
11. Numerická integrace. Odhad chyb a volba kroku.
12. Gaussova metoda, Rombergova metoda.
13. Jednokrokové metody řešení diferenciálních rovnic.
14. Vícekrokové metody řešení diferenciálních rovnic.

labs/seminars:
   1. Instruktáž o práci v laboratoři a o systému Maple.
   2. Samostatná práce - seznámení se systémem Maple.
   3. Interpolace polynomy, chyba interpolace a její odhad.
   4. Samostatná práce na zápočtových úlohách.
   5. Metoda nejmenších čtverců.
   6. Samostatná práce na zápočtových úlohách.
   7. Řešení nelineárních rovnic, separace kořenů.
   8. Samostatná práce na zápočtových úlohách.
   9. Řešení soustav lineárních rovnic.
  10. Numerická derivace.
  11. Numerická derivace a integrace, úpravy zadání.
  12. Samostatná práce na zápočtových úlohách.
  13. Řešení diferenciálních rovnic.
  14. Samostatná práce na zápočtových úlohách. Zápočet.

literature:
[1] Navara, M., Němeček, A.: Numerické metody, dotisk 1. vydání, skriptum FEL ČVUT, Praha, 2005.
[2] Press, W. H., Flannery, B. P., Teukolsky, S. A., Vetterling, W. T.: Numerical Recipes (The Art of Scientific Computing), Cambridge University Press, Cambridge, 1990.
[3] Knuth, D. E., The Art of Computer Programming, Addison Wesley, Boston, 1997.

Operační systémy a sítě

code: A4B33OSS
hours: 2P+2C
ECTS: 6
homepage: https://cw.fel.cvut.cz/wiki/courses/a4b33oss/start
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet12580904.html, http://www.fel.cvut.cz/cz/education/bk/predmety/12/58/p12580904.html
lecturer(s): RNDr. Štěpán Petr Ph.D.
Dept: 13133
annotation: Cílem předmětu je seznámit posluchače se základními pojmy a principy operačních systémů, jako jsou procesy a vlákna, jejich komunikace a plánování, časově závislé chyby, synchronizační nástroje, uváznutí procesů. Dále se věnuje virtuální paměti, správě periferií a systémů souborů včetně základních otázek bezpečnosti. Druhá část předmětu je věnována principům a technologiím distribuovaných systémů (DS) a jejich nasazení v typických třídách aplikací. Jsou popsána základní fyzická komunikační média, vysvětleny topologie DS. Poté jsou představeny nejrozšířenější v praxi užívané technologie distribuovaných systémů, položeny základy protokolů Internetu a představeny typické aplikace distribuovaných systémů. Aktuální podklady k předmětu jsou k dispozici na https://cw.fel.cvut.cz/wiki/courses/a4b33oss/start UPOZORNĚNÍ: Tento předmět NENÍ vhodný pro studenty, kteří mají ve svém povinném studijním plánu předmět A3B33OSD (Operační systémy a databáze). Náplně předmětů A4B33OSS a A3B33OSD se do značné míry překrývají.
prerequisities: NA
lectures:
1. 	Základní pojmy: operační systém (OS) a jeho typy a architektury, jádro OS, proces, vlákno, plánování, návaznost na technické prostředky
2. 	Překlad programu, sestavování, knihovny, služby (OS), jejich volání, dynamické knihovny a dynamické sestavování.
3. 	Procesy a vlákna, jejich implementace, vznik a vývoj. Plánovací algoritmy. systémy reálného času a plánování v nich.
4. 	Komunikace mezi procesy a vlákny, časově závislé chyby, kritická sekce, synchronizační nástroje. Klasické synchronizační úlohy a jejich řešení.
5. 	Uváznutí - definice, nutné podmínky pro jeho vznik, možnosti řešení.
6. 	Správa paměti - základní techniky. Virtuální paměť - stránkování, algoritmy pro náhradu stránek, segmentace, odkládání na sekundární paměť.
7. 	Souborové systémy, organizace dat na vnějších pamětích, principy, řešení, ochrany.
8. 	Distribuované výpočty, klient/server. Komponenty OS pro podporu počítačových sítí (sokety) a jejich programování.
9. 	Úvod do počítačových sítí, definice základních pojmů, model ISO/OSI, funkce vrstev
10.	Lokální počítačové sítě, varianty, aktivní prvky a adresování v nich.
11.	Propojování lokálních sítí do internetových struktur, adresování, směrování.
12.	Základy TCP/IP, protokoly a technologie Internetu. Protokoly a nástroje pro správu síťových systémů.
13.	Aplikace distribuovaných systémů (vybrané Internetové protokoly, např. HTTP, SMTP, DNS, podrobněji)
14.	Shrnutí předmětu, rezerva.
labs/seminars:
1. 	Úvod, organizace cvičení, anketa znalostí, zadání 1. semestrálních prací
2. 	Stručný přehled OS, úvod do skriptovacích jazyků
3. 	Pokročilé programování skriptovacích jazyků, regulární výrazy
4. 	Procvičování skriptovacích jazyků, odevzdávání první semestrální práce
5. 	Zadání 2. semestrální práce, Procesy, vlákna, sdílení - praktické ukázky
6. 	Komunikace mezi procesy, problém uváznutí
7. 	Programování aplikací typu klient/server
8. 	Prezentace 2. semestrální práce
9. 	Zadání 3. semestrální práce, konfigurace počítačových sítí
10.	Nástroje pro správu sítí
11.	Firewally, principy, konfigurace
12.	Samostatná práce v poč. učebně I
13.	Samostatná práce v poč. učebně II + prezentace 3. semestrální práce
14.	Zápočet, rezerva
literature:
1. Silberschatz A., Galvin P. B., Gagne G.: Operating System Concepts. J. Willey, 2005

2. Tanenbaum A. S.: Modern Operating Systems. Prenice Hall, 2001

3. Halsall, F.: Data Communications, Computer Networks and Open Systems, Adison Wesley 1996

4. Comer D. E.: Internetworking with TCP/IP: Principles, Protocols and Architectures. Prentice Hall, 2005

Architektura počítačů

code: A0B36APO
hours: 2P+2L
ECTS: 6
homepage: https://cw.felk.cvut.cz/wiki/courses/b35apo/
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet12581404.html, http://www.fel.cvut.cz/cz/education/bk/predmety/12/58/p12581404.html
lecturer(s): Ing. Píša Pavel Ph.D.; Ing. Štepanovský Michal Ph.D.; Ing. Šusta Richard Ph.D.
Dept: 13135
annotation: Předmět studenty seznámí se stavebními prvky počítačových systémů. Předmět přistupuje k výkladu od popisu hardware a tím navazuje na předmět Struktury počítačových systémů, ve kterém se studenti seznámili s kombinačními, sekvenčními obvody a základy stavby procesorů. Po úvodním přehledu funkčních bloků počítače je podrobněji popsána stavba procesoru, jejich propojování, paměťový a vstupně výstupní subsystém až po přehledové seznámení s různými síťovými topologiemi a sběrnicemi. Během výkladu je brán důrazný zřetel na ozřejmení provázanosti hardwarových komponent s podporou SW, především nejnižších vrstev operačních systémů, ovladačů zařízení a virtualizačních technik. Obecné principy jsou v další části přednášek rozvedeny na příkladech několika standardních procesorových architektur. Cvičení jsou v první části zaměřena na detailní seznámení s činností procesoru. Od programování na úrovni procesoru pak postupují k přímé obsluze portů a hardware s využitím programovacího jazyka C.
prerequisities: Basic knowledge of C language and area of combinatorial and sequential logic circuits. Basic knowledge of command line and compilers use in POSIX standard conformant environment (i.e. Linux) is invited.
lectures:
1.  Architektura počítače, struktura, organizace a podsystémy.
    Reprezentace, zobrazení a přenos informace (především čísel, IEEE-754) v počítači.
2.  Procesor - ALU, von Neumannova architektura, formát instrukcí, jednocyklový procesor, řadič a řízení 
3.  Paměť - hierarchický koncept, technologie pamětí, správa paměti, MMU, vyrovnávací paměti cache, konsistence dat
4.  Zřetězené vykonávaní instrukcí, hazardy, vyvažování stupňů zřetězení a časování; Superzřetězení
5.  Vstupní a výstupní podsystém počítače, sběrnice, dvoubodové spoje, sítě, PCI a PCI express sběrnice, souvislý režim
6.  Sběrnice průmyslových systémů (VME), MULTIBUS, PCIe protokol, důvody přechodu od paralelních k vícekanálovým sériovým sběrnicím s paketovou komunikací, disková úložiště, zabezpečení dat a RAID
7.  Technické a organizační prostředky - vnější události, výjimky, reálný čas, přímý přístup do paměti, autonomní kanál
8.  Sítě procesorů a počítačů, topologie sítí, komunikace - sítě typu LAN, MAN, WAN, sítě řídicích počítačů
9.  Předávání parametrů funkcím a virtuálním instrukcím operačního systému. 
    Zásobníkové rámce, registrová okna, přepínání režimů a realizace systémových volání.
10. Klasická registrově orientovaná architektura s kompletní instrukční sadou. 
    Principy jsou demonstrovány na architektuře FreeScale M68xxx/ColdFire.  Ukázka realizace MMU, cache, sběrnice a atd.
11. Procesorová rodina INTEL x86, Od 8086 k EMT64.
    Hlavní zaměření na 32-bit a 64-bit režimy s krátkým vysvětlením komplikací způsobených nutností zachování kompatability s 16-bit 8086 a 80286 segmentového přístupu a proč ho současné OS používají v co nejvíce minimalizované formě. Příklad SIMD instrukcí (MMX, SSE).
12. Přehled vývoje architektury a koncepcí CPU (RISC/CISC) -
    procesory ARM, ColdFire, SPARC a PowerPC a procesory pro vestavné aplikace
13. Mnohaúrovňová organizace počítače, virtuální stroje.
   Konvenční architektura a implementačně závislá mikroarchitektura. Přenositelný bytecode a virtuální programovací prostředí (Java, C#/.Net).  Virtualizační techniky (např XEN, VMWARE) a paravirtualizace.
14. Prostředky pro styk s technologickým procesem, analogové a diskrétní I/O, sběr a zpracování dat.
labs/seminars:
1. Seznámení s učebnou, základy reprezentace dat, číselné soustavy, opakovací test
2. Reprezentace čísel v počítači a operace s nimi
3. Základní struktura procesoru, instrukční soubor
4. Hierarchický koncept pamětí, cache
5. Pipeline a hazardy
6. Predikce skoků, optimalizace kódu
7. I/O prostor mapovaný do paměti
8. Sběrnice, V/V
9. Písemka, základy programování v jazyce C
10. Semestrální úloha - přístup k periferiím připojeným na sběrnici PCIe (klávesnice, display)
11. Samostatné řešení hlavní úlohy.
12. Samostatné řešení hlavní úlohy.
13  Odevzdání hlavní úlohy, opravný test.
14. Zápočet
literature:
[1] Hennessy, J. L., and D. A. Patterson. Computer Architecture: A
    Quantitative Approach, 3rd ed. San Mateo, CA: Morgan Kaufman, 2002.
    ISBN: 1558605967.
[2] Hennessy, J. L., and D. A. Patterson. Computer Architecture: A
    Quantitative Approach, 2nd ed. San Mateo, CA: Morgan Kaufman, 1995.
    ISBN: 1558603727.
[3] Patterson, D. A., and J. L. Hennessy. Computer Organization and
    Design: The Hardware/Software Interface, 3rd ed. San Mateo, CA: Morgan
    Kaufman, 2004. ISBN: 1558606041.
[4] Pinker, J.: Mikroprocesory a mikropočítače, BEN
    http://www.ben.cz/_e/all/121158_mikroprocesory-a-mikropocitace.htm
[5] Hyde, R.: The Art of Assembly Language, 2003, 928 pp.
    ISBN-10 1-886411-97-2
    ISBN-13 978-1-886411-97
    http://webster.cs.ucr.edu/AoA/
[7] Bach., M., J.: The Design of the UNIX Operating System,
    Prentice Hall, 1986
[8] Bayko., J.: Great Microprocessors of the Past and Present
    http://www.cpushack.com/CPU/cpu.html

Fyzika pro OI

code: A4B02FYZ
hours: 2+2L
ECTS: 6
homepage: https://moodle.fel.cvut.cz/courses/A4B02FYZ
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet12592104.html, http://www.fel.cvut.cz/cz/education/bk/predmety/12/59/p12592104.html
lecturer(s): Ing. Žáček Martin Ph.D.
Dept: 13102
annotation: V rámci tohoto předmětu jsou studenti uvedeni do vybraných partií klasické fyziky a dynamiky fyzikálních systémů. V rámci klasické mechaniky, která je pomyslnou vstupní bránou do studia fyziky vůbec, se studenti seznámí s kinematikou hmotného bodu, dynamikou hmotného bodu, soustavy hmotných bodů či tuhého tělesa. Studenti by si měli osvojit takové znalosti z klasické mechaniky, aby byli schopni řešit základní úlohy spojené s popisem mechanických soustav, se kterými se setkají v úvodu do dynamiky fyzikálních systémů. Úvod do dynamiky systémů umožní studentům si osvojit základní přístupy při popisu a analýze obecných dynamických systémů. Důraz bude kladen na aplikaci již probraného matematického aparátu. Znalosti z předmětu mají studentům sloužit při studiu řady odborných oblastí, se kterými se setkají během dalšího studia.
prerequisities: Knowledge of the differential and integral calculus of the function of one and more variables; linear algebra.
lectures:
1. Motivace předmětu. Popis fyzikálních systémů. Fyzikální veličiny, rozměrová analýza. Výběr vhodné souřadné soustavy. Skalární a vektorové veličiny, skalární a vektorové pole. Fyzikální význam skalárního a vektorového součinu. 
2. Vyjádření fyzikálních veličin pomocí derivací a integrálů.  Kinematika.
3. Základy operátorového počtu. Laplaceova a Fourierova transformace.
4. Newtonovy pohybové zákony. Pohybová rovnice. Laplaceův obraz řešení pohybové rovnice. 
5. Popis pohybu pomocí řešení diferenciálních rovnic.
6. Práce, konzervativní silová pole. Kinetická a potenciální energie. Zákon zachování mechanické energie.
7. Mechanické kmitavé soustavy. Harmonický oscilátor. Tlumený mechanický lineární oscilátor.
8. Vynucené kmity. Rezonance.
9. Tuhé těleso, pohyb tuhého tělesa. Analogie popisu translačního a rotačního pohybu. Kinetická energie tuhého tělesa. Stanovení hmotného středu tělesa.
10. Stanovení momentu setrvačnosti jednoduchých těles, Steinerova věta. 
11. Základní dělení dynamických systémů (lineární, nelineární, autonomní neautonomní,
konzervativní, spojité, nespojité, jednorozměrné, vícerozměrné, časově reverzibilní a nereverzibilní). Fázový portrét, fázová trajektorie, stacionární body, dynamický tok.
12. Matematický popis lineárních dynamických systémů. Vyšetřování stability lineárních
systémů. Řešení soustav diferenciálních rovnic, využití maticového počtu.
13. Nelineární systémy. Numerické řešení diferenciálních rovnic. Linearizace.
14. Bifurkace, logistická rovnice.
labs/seminars:
1. Úvodní výklad (bezpečnost práce, organizační pokyny). Měření objemu těles nepřímou metodou
2. Stanovení tíhového zrychlení reverzním kyvadlem /Kinematika
hmotného bodu, analytické a numerické derivování a integrování.
3. Kinematika hmotného bodu, analytické a numerické derivování a integrování. / Stanovení
tíhového zrychlení reverzním kyvadlem
4. Řešení pohybových rovnic. / Měření viskozity kapalin Stokesovou metodou.
5. Měření viskozity kapalin Stokesovou metodou. / Řešení pohybových rovnic. 
6. Studium elektrostatického pole na modelech./ Práce a energie. 
7. Práce a energie./ Studium elektrostatického pole na modelech
8. Průběžný test.
9. Těžiště a moment setrvačnosti. / Studium mechanických kmitů - Pohlovo kyvadlo,
10. Studium mechanických kmitů - Pohlovo kyvadlo. / Těžiště a moment setrvačnosti.
11. Matematický popis dynamických systémů. / Měření Dopplerova jevu.
12. Měření Dopplerova jevu. / Matematický popis dynamických systémů.
13. Závěrečný test.
14. Zápočet.
literature:
1. Kubeš, Pavel,. Fyzika I / Vyd. 3.   Praha : ČVUT, 2003. 206 s. : ISBN 80-01-02671-X.

2. Pekárek, Stanislav,. Fyzika I : semináře / Vyd. 3.   Praha : ČVUT, 2006. 183 s. : ISBN 80-01-03552-2. 
3. Halliday, D., Resnick, R., Walker, J.: Fyzika, VUTIUM-PROMETHEUS, 2000.
4. Kvasnica, J., Havránek, A., Lukáč, P., Sprášil, B.: Mechanika, ACADEMIA, 2004.
5. Sedlák, B., Štoll, I.: Elektřina a magnetismus, ACADEMIA, 2002.
6. Fyzika I a II - fyzikální praktikum, M. Bednařík, P. Koníček, O. Jiříček.

Bezpečnost v elektrotechnice 2

code: A4B14BP2
hours: 2+2j
ECTS: 0
homepage: NA
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet12607004.html, http://www.fel.cvut.cz/cz/education/bk/predmety/12/60/p12607004.html
lecturer(s): Ing. Kůla Vladimír CSc.
Dept: 13114
annotation: Předmět zajišťuje pro studenty opakované Základní školení BOZP a seznamuje je s elektrickými riziky oboru. Studenti získají potřebnou elektrotechnickou kvalifikaci pro činnost na ČVUT FEL v souladu s platným Příkazem děkana číslo 1/2007.
prerequisities: Participation at course and lecture Work out of the test
lectures:
1.Opakované Základní školení BOZP podle předlohy "Osnovy školení BOZP pro zaměstnance a studenty ČVUT v Praze".
2.Rizika a příčiny úrazů elektrickým proudem.
3.Elektromagnetická kompatibilita v oblasti informační techniky. Ochrany před nebezpečným dotykem, zkratem, přetížením a přepětím.
labs/seminars:
Procvičení přednášené látky v souladu s platným Příkazem děkana číslo 1/2007
1.Diskuse k problematice ZŠ BOZP, rizik a příčin úrazů elektrickým proudem. 
2.Písemné přezkoušení (test) z elektrotechnické kvalifikace.
3.Záznam do zvláštního razítka v indexu.
4.Zápočet.
literature:
1.Cipra, Kříž, Kůla: Elektrotechnická kvalifikace, ČVUT, Praha, 2006.

2. http://bezpecnost.feld.cvut.cz

Databázové systémy

code: A4B33DS
hours: 2P+2C
ECTS: 6
homepage: https://cw.fel.cvut.cz/wiki/courses/A4B33DS/start
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet12581304.html, http://www.fel.cvut.cz/cz/education/bk/predmety/12/58/p12581304.html
lecturer(s): Ing. Komenda Antonín Ph.D.
Dept: 13136
annotation: Databázové systémy a jejich architektura, dotazovací jazyky, transakce, objektově-relační mapování, Podrobné stránky předmětu pro aktuální semestr jsou na adrese: https://cw.fel.cvut.cz/wiki/courses/A4B33DS/star
prerequisities: The web page of the course is https://cw.fel.cvut.cz/wiki/courses/A4B33DS/start The requirements for successful completion of the course are published on that page.
lectures:
1. Základní typy architektury informačního systému (klient-server, multi-tier, tenký klient), analýza informačních toků
2. Základy modelování dat, E-R diagramy, relační model
3. Integritní omezení, referenční integrita, normální formy
4. Tvorba datového modelu - workshop
5. Dotazování v relačních databázích, základy jazyka SQL
6. Pokročilé dotazy, agregační funkce, vnořené dotazy
7. Transakce, jejich serializovatelnost, zamykání, stupně izolovanosti, uváznutí transkací, jejich prevence a řešení
8. Objektově-orientované databáze, objektově-relační mapování, JPA 2
9. JPA 2
10. Cursor, view, uložené procedury, triggery, indexy, efektivní implementace stromových struktur v databázích
11. GIS, prostorové indexační techniky
12. Datové sklady
13. High availability, load balancing, replikace dat
14. Moderní trendy databázových systémů

labs/seminars:
1. Motivace databází, přehled. Seznámení s programovým vybavením - PostgreSQL, PgAdmin, nabídka témat
2. Přípojení k DB serveru, JDBC, NetBeans
3. Datové modelování, konceptuální a logický model
4. Návrh datového modelu, schválení tématu
5. SQL I.
6. SQL II.
7. SQL, CRUD, odevzdání datového modelu
8. Transakce, indexy
9. JPA 2
10. JPA 2
11. GIS ukázka
12. Datový sklad ukázka
13. Implementace semestrální práce
14. Odevzdání aplikace, zápočet


literature:
[1] Pokorný, J., Halaška, I.: Databázové systémy. Praha, ČVUT, 1998 
[2] Beneš, J.: Manažerské informační systémy. Automatizace, 2000
[3] Mařík, V. a kol.: Umělá inteligence IV. Praha, Academia, 2001
[4] Kroha, P.: Objects and Databases. McGraw-Hill Book Company, London, 1993

Funkcionální a logické programování

code: A4B33FLP
hours: 2P+2C
ECTS: 6
homepage: http://cw.felk.cvut.cz/doku.php/courses/a4b33flp/start
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet12582804.html, http://www.fel.cvut.cz/cz/education/bk/predmety/12/58/p12582804.html
lecturer(s): prof. Ing. Železný Filip Ph.D.
Dept: 13136
annotation: Předmět podává úvod do technik funkcionálního programování v jazycích LISP (přesněji v jeho implementaci SCHEME) a HASKELL a logického programování v jazyce PROLOG. Oba jazyky jsou deklarativní v tom smyslu, že programátor symbolicky popíše problém, který má být řešen, místo výčtu konkrétní posloupnosti akcí, které má počítač provést. V PROLOGu je problém popsán vlastnostmi objektů a vztahy mezi nimi vyjádřenými v logice. V LISPu má popis problému formu definice funkcí. Oba jazyky nalezly významné aplikace v umělé inteligenci, např. v agentových systémech či v symbolickém strojovém učení.
prerequisities: Discrete Mathematics, Logic and Graphs, Programming 1+2.
lectures:
1. Úvod do deklarativních programovacích jazyků. Srovnání s klasickými imperativními jazyky. Úvod do programování pro umělou inteligenci.
2. LISP a Scheme: základní jazykové idiomy, atomy, seznamy, rekurze
3. Scheme: lambda abstrakce, vestavěné funkce, pokročilé datové struktury
4. Scheme: vztahy mezi iteracemi, optimizace rekurze zaručená jazykovým standardem, vestavěné funkce vyšších řádů.
5. Scheme: prohledávání stavového prostoru, aplikace v umělé inteligenci
6. Haskell: typy, vzory, vestavěné funkce, lambda abstrakce
7. Haskell: prokročilé vlastnosti jazyka ve srovnání se Scheme
8. Prolog: fakta, pravidla, dotazy, rekurze, odpovídání dotazů
9. Funkce, unifikace, operace se seznamy
10. Prolog a logika: klauzule, Herbrandova báze, interpretace, model, předpoklad uzavřeného světa, rozhodnutelnost
11. Řez a negace, mimologické operátory, aritmetika
12. Kombinatorické prohledávání v Prologu
13. Programování s omezujícími podmínkami
14. Programovací praktiky, ladění, vestavěné predikáty
labs/seminars:
1. Scheme. Seznámení se Scheme a jeho prostředím. Ladění. Základní příklady.
2. Rekurze, akumulátor.
3. Lambda abstrakce
4. Rekurze, funkce vyššího řádu
5. Haskell
6. Prolog jako databáze, fakta, pravidla, dotazy
7. Rekurze, ladění programů
8. Unifikace, operace se seznamy
9. Operace se seznamy, operace řezu a negace
10. Prohledávací algoritmy
11. Prohledávací algoritmy
12. Programování s omezujícími podmínkami
13. Programování s omezujícími podmínkami
14. Zápočy
literature:
P. Flach: Simply Logical, John Wiley 1994

V. Mařík et al: Umělá
inteligence I, II, Academia 1993

P. Jirků, P. Štěpánek, O. Štěpánková: Programování v Jazyku Prolog, SNTL 1991 

I. Bratko: Prolog programing for AI, Addison Wesley 2001 (3rd edition) 

Základy umělé inteligence

code: A4B33ZUI
hours: 2P+2C
ECTS: 6
homepage: http://cw.felk.cvut.cz/doku.php/courses/a4b33zui/start
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet12582904.html, http://www.fel.cvut.cz/cz/education/bk/predmety/12/58/p12582904.html
lecturer(s): prof. Dr. Pěchouček Michal MSc.
Dept: 13136
annotation: Cílem předmětu je seznámit studenty se základy symbolické umělé inteligence. V předmětu budou vysvětleny algoritmy informovaného a neinformovaného prohledávání stavového prostoru, netradiční metody řešení problémů, reprezentace znalostí pomocí formální logiky, metody automatického uvažování a úvod do markovského rozhodování.
prerequisities: Topics contained in course A0B01LGR.
lectures:
1. Úvod do umělé inteligence.
2. Řešení problémů pomocí prohledávání.
3. Neinformované prohledávání.
4. Informované prohledávání - algoritmus A*.
5. Netradiční metody prohledávání.
6. Reprezentace znalostí a uvažování pomocí pravidlových systémů.
7. Úvod do řešení dvouhráčových her.
8. Logika a reprezentace znalostí.
9. Reprezentace znalostí ve FOL, dokazovací nástroje.
10. Úvod do reprezentace nepřesné znalosti, Markovské modely nepřesného uvažování.
11. Markovské rozhodovací procesy.
12. Modální logika a její použití
13. Temporální logika a její použití.
14. Rezerva.
labs/seminars:
1. Neinformované prohledávání stavového prostoru.
2. Informované prohledávání.
3. Algoritmus A*.
4. Řešení úloh s omezeními.
5. Hry dvou hráčů.
6. Hry dvou hráčů.
7. Genetické algoritmy a neurální sítě.
8. Opakování matematické logiky, rezoluční princip.
9. Nástroje automatického dokazování.
10. Markovské modely.
11. Markov Decision Process toolbox.
12. Modální logika -- příklady.
13. Temporální logika -- příklady.
14. Rezerva, zápočty.
literature:
Stuart Russell and Peter Norvig: Artificial Intelligence: A Modern Approach,
Prentice Hall, Second Edition, 2003.

Optimalizace

code: A4B33OPT
hours: 4P+2C
ECTS: 7
homepage: http://cw.felk.cvut.cz/doku.php/courses/b33opt/start
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet12581504.html, http://www.fel.cvut.cz/cz/education/bk/predmety/12/58/p12581504.html
lecturer(s): doc. Ing. Werner Tomáš Ph.D.
Dept: 13133
annotation: Předmět seznamuje se základy matematické optimalizace: použití lineární algebry pro optimalizaci (nejmenší čtverce, SVD), metoda Lagrangeových multiplikátorů, některé numerické algoritmy na lokální minima bez omezení, lineární programování, konvexní množiny a funkce, úvod do konvexní optimalizace, dualita
prerequisities: Linear algebra. Calculus, including intro to multivariate calculus. Recommended are numerical algorithms and probability and statistics.
lectures:
1. Obecná formulace problémů spojité optimalizace.

2. Maticová algebra. Lineární a afinní podprostory a zobrazení.

3. Ortogonalita. QR rozklad.

4. Nehomogenní lineární soustavy: metoda nejmenších čtverců a nejmenší normy.

5. Kvadratické funkce, spektrální rozklad.

6. Rozklad podle singulárních čísel (SVD).

7. Nelineární zobrazení, jejich derivace.

8. Analytické podmínky na lokální extrémy. Metoda Lagrangeových multiplikátorů.

9. Iterační algoritmy na volné lokální extrémy: gradientní a Newtonova, Newton-Gaussova, Levenberg-Marquardtova metoda.

10. Lineární programování: formulace a aplikace.

11. Konvexní množiny a polyedry.

12. Simplexová metoda

13. Dualita v lineárním programování.

14. Konvexní funkce. Konvexní optimalizační úlohy.

15. Příklady nekonvexních úloh.
labs/seminars:
Cvičení sestávají jednak z počítání příkladů na tabuli a jednak z domácích úloh v jazyce Matlab.
Viz webová stránka předmětu.
literature:
Viz webová stránka předmětu.

Rozpoznávání a strojové učení

code: A4B33RPZ
hours: 2P+2C
ECTS: 6
homepage: http://cw.felk.cvut.cz/doku.php/courses/a4b33rpz/start
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet12583004.html, http://www.fel.cvut.cz/cz/education/bk/predmety/12/58/p12583004.html
lecturer(s): prof. Ing. Matas Jiří Ph.D.
Dept: 13133
annotation: Základní úlohou rozpoznávání je nalezení strategie rozhodování minimalizující ztrátu plynoucí z chybných rozhodnutí. Potřebná znalost o (typicky statistickém) vztahu příznaků, t.j. pozorovatelných vlastností objektů a skrytých parametrů objektů (třídě) je získána učením. Jsou představeny základní formulace úlohy rozpoznávání a principy učení. Návrh, učení a vlastnosti základních typů klasifikátorů (strojů realizující rozhodovací strategii) jsou rozebrány do hloubky. Do této skupiny jsou zahrnuty parametrické klasifikátory, perceptron, klasifikátory typu support vector machines, adaboost a neuronové sítě.
prerequisities: Knowledge of linear algebra, mathematical analysis and probability and statistics.
lectures:
1.Formulace úloh řešených v rozpoznávání. Mapa předmětu. Základní ojmy.
2.Bayesovská úloha rozhodování, tj. statistické rozhodování jako minimalizace střední ztráty.
3.Nebayesovské úlohy
4.Odhady parametrů pravděpodobnostních modelu. Metoda maximální věrohodnosti.
5.Klasifikace metodou nejbližšího souseda.
6.Lineární klasifikátor. Perceptronový algoritmus.
7.Učení metodou Adaboost.
8.Učení jako kvadraticky optimalizační problém. SVM klasifikátory.
9.Učení metodou backpropagation. Neuronové sítě.
10.Učení rozhodovacích stromů
11.Učení a logistická regrese.
12.EM (Expectation Maximization) algoritmus.
13.Sekvenční rozpoznávání (Waldova analýza).
14.Druhý průchod učivem. Rezerva
labs/seminars:
Studenti řeší několik rozpoznávacích úloh, např. rozpoznání ručně psaných znaků, identifikaci obličeje či detekci spamu pomocí jak klasických metod, tak pomocí učících se klasifikátorů.
1.Úvodní cvičení. Instalace STPR toolboxu, práce s Matlabem, jednoduchý příklad
2.Bayesovská úloha rozhodování.
3.Nebayesovské úlohy - úloha Neyman-Pearson
4.Nebayesovské úlohy - Minimaxní úloha
5.Maximálně věrohodný odhad
6.Neparametrické odhady  Parzenova okénka
7.Lineární klasifikátor - Perceptron
8.AdaBoost
9.Support Vector Machines I
10.Support Vector Machines II
11.EM algoritmus I
12.EM algoritmus II
13.Odevzdávání a kontrola úloh
14.Odevzdávání a kontrola úloh
literature:
1.Duda, Hart, Stork: Pattern Classification, 2001.
2.Bishop: Pattern Recognition and Machine Learning, 2006.
3.Schlesinger, Hlavac: Ten Lectures on Statistical and Structural Pattern Recognition, 2002 (Deset přednášek z teorie statistického a strukturního rozpoznávání, 1997).

Softwarový nebo výzkumný projekt

code: A4B33SVP
hours: NA
ECTS: 6
homepage: http://oi.fel.cvut.cz/pro-studenty/bakalarsky-program/a4bxxsvp
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet1704806.html, http://www.fel.cvut.cz/cz/education/bk/predmety/17/04/p1704806.html
lecturer(s): prof. Ing. Matas Jiří Ph.D.
Dept: 13133
annotation: Samostatná práce na problému-projektu pod vedením školitele. V rámci tohoto předmětu je možné (obvyklé) řešit dílčí problém bakalářské práce. Proto doporučujeme zvolit si téma bakalářské práce nejpozději počátkem 5. semestru a jeho včasný výběr nepodcenit. Téma práce musí souviset se hlavním oborem studia. Absolovování předmětu softwarový a výzkumný projekt musí mít jasně definovaný výstup, například technickou zprávu či programový produkt, který je ohodnocen klasifikovaným zápočtem. Důležité upozornění: - Standardně není možné absolvovat více než jeden předmět tohoto typu. - Výjimku může udělit garant hlavního (major) oboru. Možný důvod pro udělení výjimky je, že práce-projekt má jiné téma a je vedena jiným vedoucím. Typickým příkladem může být práce na projektu v zahraničí. Nabídka témat na katedře kybernetiky: https://cyber.felk.cvut.cz/cs/study/student-projects/ Další informace: http://oi.fel.cvut.cz/pro-studenty/bakalarsky-program/a4bxxsvp Kontaktní email v případě dalších dotazů: oi@fel.cvut.cz
prerequisities: NA
lectures:
NA
labs/seminars:
NA
literature:
NA

Volitelny predmet

code: V6
hours: NA
ECTS: 6
homepage: NA
CTU/FEE URLs: NA, NA
lecturer(s): NA
Dept: NA
annotation: NA
prerequisities: NA
lectures:
NA
labs/seminars:
NA
literature:
NA

Volitelny predmet

code: V5
hours: NA
ECTS: 5
homepage: NA
CTU/FEE URLs: NA, NA
lecturer(s): NA
Dept: NA
annotation: NA
prerequisities: NA
lectures:
NA
labs/seminars:
NA
literature:
NA

Bakalářská práce - Bachelor thesis

code: ABAP20
hours: 28s
ECTS: 20
homepage: https://moodle.fel.cvut.cz/courses/ABAP20
CTU/FEE URLs: http://bilakniha.cvut.cz/cs/predmet3503206.html, http://www.fel.cvut.cz/cz/education/bk/predmety/35/03/p3503206.html
lecturer(s): NA
Dept: 13000
annotation: Samostatná závěrečná práce bakalářského studia komplexního charakteru. Téma práce si student vybere z nabídky témat souvisejících se studovaným oborem, která vypíše oborová katedra či katedry. Práce bude obhajována před komisí pro státní závěrečné zkoušky
prerequisities: NA
lectures:
NA
labs/seminars:
NA
literature:
NA

Volitelny predmet

code: V6
hours: NA
ECTS: 6
homepage: NA
CTU/FEE URLs: NA, NA
lecturer(s): NA
Dept: NA
annotation: NA
prerequisities: NA
lectures:
NA
labs/seminars:
NA
literature:
NA

Volitelny predmet

code: V4
hours: NA
ECTS: 4
homepage: NA
CTU/FEE URLs: NA, NA
lecturer(s): NA
Dept: NA
annotation: NA
prerequisities: NA
lectures:
NA
labs/seminars:
NA
literature:
NA


generated by TTT-TomasTeachingTools on 2023-07-25, 15:39:24