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

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ú!!!!!

riadny termín: 27. 05. 2025, posluch. A a B (12:00-14:00)

1. opravný termín: 3. jún 2025, posluch. A a B (12:00-14:00)

2. opravný termín: 10. jún 2025, posluch. A a B (12:00-14: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 elektr. pomôcky a elektronické zariadenia (ani telefóny, hodinky a slúchadlá), nechajte ich v taške v tichom režime. Tašky 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.

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). The must stay in Your bag. You can have one handwritten A4 cheat sheet.

Midterm - 1. písomka: 1. apríl 2025, (18:10) (utorok) posluch. A a B

2. písomka: 13. máj 2025, (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

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

(ne)riešiteľnosť - video

Pravidlá predmetu:

1. Študenti sa môžu prihlásiť do "experimentu", ktorý trvá počas študijnej časti semestra (t.j. do 16.5.2025)
2. Študenti v experimente
1. týždenne budú mať domáce úlohy. (odhad časovej náročnosti cca 2 hod)
2. musia získať k termínu písomky 50% bodov za domáce úlohy, inak vypadnú z experimentu,
3. majú zaručenú známku, ktorá im vychádza ako priemer percent bodov z oboch písomiek. Počas skúškového obdobia si zaručenú známku zo semestra môžu vylepšiť na vypísaných termínoch,
3. Všetci študenti musia v priebežnom hodnotení získať aspoň 26% bodov. Priebežné hodnotenie tvoria spolu obe písomky.
4. 10 % z priebežného hodnotenia sa pripočíta k bodom písomky na skúške, ak sa na ňu kvalifikujete.

Vysvetlivky:

K bodu 1 pravidiel

• Do experimentu sa prihlasuje odovzdaním DÚ.

K bodu 2 a) pravidiel

• Odporúčame rozprávať sa o riešeniach domácich úloh so spolužiakmi. Riešenie ale MUSÍ KAŽDÝ NAPÍSAŤ SAMOSTATNE! Nebudeme zisťovať kto dal opisovať a kto opísal. Opisané riešenia budú hodnotené 0b. Opisovanie znamená vylúčenie z experimentu a postúpime ho na riešenie disciplinárnej komisii, resp. budeme postupovať v zmysle študijného poriadku.
• Domáce úlohy budú zverejnené na tejto stránke každý týždeň. Body budú zverejnené pod ID, ktoré napíšete na 1. odovzdanú úlohu.

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