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

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

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: 22 05. 2023, posluch. A (dopoludnia 9:00-11:00)

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

1. opravný termín: 3. jún 2024, posluch A (dopoludnia 9:00-11:00)

2. opravný termín: 17. jún 2024, posluch M-II (dopoludnia 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é mať pri sebe žiadne elektr. pomôcky a elektronické zariadenia (ani telefóny), nechajte ich v taške v tichom režime.

Midterm - 1. písomka: 4. apríl 2024, (18:10) (štvrtok/thursday) posluch./ auditorium A a B

2. písomka: 9. máj 2024, (18:10) (štvrtok) posluch A a B

Gratulujeme všetkým, ktorí získali cez semester známku. Máte ju garantovanú.

Prosím všetkých, čo si získanú známku 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.

Ak ste neboli v experimente a vyšla vám známka zo semestra (t.j. máte >= 50%), ponúkam vám ju. Ak ju beriete napíšte mi email (do 20.5.2024 23:59). Na skúške ju nemáte garantovanú.

Opravené príklady písomiek si môžete prísť pozrieť na I-21 (Utorok učim do 11:30 a vo štvrtok do 10:30 plus candle). Keď ste riešenia nenapísali na samostatné papiere, body sa vám ešte môžu zmeniť.

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)

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

Pravidlá predmetu:

1. Študenti sa môžu prihlásiť do "experimentu", ktorý trvá počas študijnej časti semestra (t.j. do 12.5.2023)
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ň 25% bodov. Priebežné hodnotenie tvoria spolu obe písomky.

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