Ján Komara

Začiatok	Utorok	Streda
8:10
9:00
9:50		Teória deklaratívneho programovania I-H3 P
10:40		Teória deklaratívneho programovania I-H3 P
11:30	Techniky a implementácie deklaratívnych programovacích jazykov M-VII P	Špecifikácia a verifikácia programov F1-248 V	Teória deklaratívneho programovania F1-248 C
12:20		Špecifikácia a verifikácia programov F1-248 V	Teória deklaratívneho programovania F1-248 C
13:10	Techniky a implementácie deklaratívnych programovacích jazykov I-H3 V
14:00
14:50
15:40
16:30	Špecifikácia a verifikácia programov M-VI P
17:20	Špecifikácia a verifikácia programov M-VI P
18:10
19:00

Deň	Od	Do	Miestnosť	Typ	Kód	Predmet	Vyučujúci
Ut	11:30	13:00	M-VII	Prednáška	2-AIN-292	Techniky a implementácie deklaratívnych programovacích jazykov	J. Komara
Ut	13:10	14:40	I-H3	Výber/Vol	2-AIN-292	Techniky a implementácie deklaratívnych programovacích jazykov	J. Komara
Ut	16:30	18:00	M-VI	Prednáška	1-AIN-470	Špecifikácia a verifikácia programov	J. Komara
St	9:50	11:20	I-H3	Prednáška	2-INF-264	Teória deklaratívneho programovania	J. Komara
St	11:30	13:00	F1-248	Výber/Vol	1-AIN-470	Špecifikácia a verifikácia programov	J. Komara
St	11:30	13:00	F1-248	Cvičenie	2-INF-264	Teória deklaratívneho programovania	J. Komara

ICS CSV TXT Predmety

vysvetlivky k rozvrhu

Posledná aktualizácia rozvrhovej databázy:2017-04-10 06:35:13 Rozvrhové dáta Copyright 2017 Rozvrhári FMFI UK.
Aplikácia Candle Copyright 2010,2011,2012 Martin Sucha. Zdrojové kódy sa nachádzajú na stránke projektu. Táto aplikácia je študentský projekt a nie je oficiálne podporovaná pracovníkmi CIT, všetky prípadné otázky smerujte na diskusnú skupinu candle-users, časté odpovede nájdete v sekcii FAQ. Používaním služby súhlasíte s podmienkami používania

Načítavam...