Ú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).

Termíny skúšok

Toto sú všetky termíny, iné nebudú!!!!!

Prosím všetkých, čo si získanú známku zo semestra už neplánujú vylepšovať na skúškach, napíšte mi email, že beriete známku, ktorá vám vyšla a ja vám ju zapíšem do AIS. A odpíšte sa z termínu.

Ak si chcete prísť vylepšiť na vypísané termíny známku, ktorá vám vyšla zo semestra, prosím zapíšte sa do AIS-u na daný termín! Definitívnu známku vám zapíšem ako riadny termín. -->

riadny termín: 28. 05. 2026, posluch. A a B (11:00-13:30)

Vaše riešenia si môžete príst pozrieť na I-21.

1. opravný termín: 9. jún 2026, posluch. B (11:00-13:30)

2. opravný termín: 18. jún 2026, posluch. B (9:00-11:00)

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. Písomka 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:

1. 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.
2. 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:

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:

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