Úvod do teoretickej informatiky 2.ročník, AIN, 2026

DU sa budú v odovzdávať v papierovej podobe na cvičeniach (a prednáške).

Na písomku/skúšku si prineste ISIC (resp. preukaz totožnosti) a pero (nahradné perá, ceruzky). Papier na písanie dostanete.

Nie je povolené mat pri sebe žiadne elektronické. pomôcky a elektronické zariadenia (ani telefóny, hodinky a slúchadlá), nechajte ich v taške/batohu v tichom režime. Tašky/batohy a kabáty necháte v prvom rade posluchárne. Môžete mat vlastnoručne napísaný tahák na jednom papieri formátu A4. P9somka bude trvať 90 minút. Ak chcete využiť niečo špeciálne a máte na to nárok treba sa ozvať čím skôr, aby sme vedeli vašu požiadavku zabezpečiť.

Bring ISIC (or ID) with You and the pen (extra pens). Paper will be given to You.

It is not allowed to have any electronics devices (including mobile phones, watches). They must stay in Your bag. You can have one handwritten A4 cheat sheet.

Midterm - 1. písomka: 31. marec 2026, (18:10) (utorok) posluch. A a B

2. písomka: 19. máj 2026, (18:10) (utorok) posluch. A a B

Domáca úloha

Vytvorenie regulárneho výrazu k deterministickému KA (pozn. čo je na str. 99 si domyslite na základe príkladov)

Body (pdf)

Zbierka úloh (pdf)

Archív domácich úloh / Home works archive

definície a pár tvrdení (viet)

Luciina stránka

Dadina stránka (ak sa nezobrazuje, skúste prepisať https na http)

simulátor deterministického konečného automatu

iný simulátor deterministického aj nedeterministického konečného automatu

simulátor TS, vyskúšajte a ofrflite

iný simulátor TS

Lex Friedman sa pýta Joela D. Hamkinsa na nekonečno, Goedelovu neúplnosť, alg. riešiteľnosť,... dlhé ale výborné.

Domáce úlohy slúžia ako tréning pred písomkami. Ich zadania budú zverejnené na tejto stránke každý týždeň. Body za úlohy budú zverejnené pod ID, ktoré napíšete na prvú odovzdanú úlohu.
Odporúčame rozprávať sa o riešeniach domácich úloh so spolužiakmi. Riešenie ale MUSÍ KAŽDÝ NAPÍSAŤ SAMOSTATNE!?

Pravidlá predmetu:

Priebežné hodnotenie tvoria dve písomky (31.3. a 19.5. 2026 o 18:00, posl. A,B. Nahradné písomky nebudú!). Súčet bodov oboch písomiek je 100%. Každý študent musí v priebežnom hodnotení získať aspoň 27% bodov.
Priemer známok z písomiek je dolná hranica známky.

Vysvetlivky:

K bodu 2 pravidiel

Známka=max(ZnámkaZoSemestra, ZnámkaZoSkúšky), FX<E<D<C<B<A

Poznámky:

Slajdy zverejňované k prednáškam sú len pomôckou na robenie si poznámok, prípadne aby ste ušetrili čas a nemuseli ste si prepisovať definície a znenie niektorých viet. Aby sa predišlo nedorozumeniu, slajdy neslúžia ako náhrada prednášky.

Odhad časovej náročnosti domácich úloh je len orientačný. Negarantuje, že nad domácou úlohou nestrávite viac času. Ak sa tak stane, indikuje Vám to, že musíte viac trénovať, aby ste časový odhad splnili. (Je to ako v horách, keď smerovník informuje, že do cieľa je 2h, keď je to napríklad vaša prvá túra v živote, možno zablúdite, alebo ak aj nie zistíte, že ste na cestu potrebovali viac času...)

To čo garantujeme, že ak budete poctivo samostatne robiť každý týždeň domáce úlohy, na konci semestra vám to už zaberie oveľa menej času a nebudete mať problém na skúške (písomke).

Tabuľka bodového ohodnotenia:

Bodový zisk	Hodnotenie
menej ako 50 % bodov	nevyhovel
<50%, 60%) bodov	E
<60%, 70%) bodov	D
<70%, 80%) bodov	C
<80%, 90%) bodov	B
<90%, 100%> bodov	A

Literatúra:

Juraj Hromkovič: Theoretical Computer Science, Springer, 2004.

Jozef Gruska: Foundations of Computing

wiki stránka predmetu (opúšťate oficiálnu stránku predmetu, za obsah neručíme)

Učební text, Doc. RNDr. Petr Jančar, CSc

Posledná zmena: pondelok, február 8, 2022 20:12