VSL - Informace k hromadným cvičením 2005/2006
Oficiální informace na stránkách předmětu
http://www.fit.vutbr.cz/study/courses/VSL
nebo na Perchtě:
VSL-swiki (public stránky)
Doplňky k cvičením
Cvičení jsou jednou za 14 dní (možná i častěji) ve [den a čas bude doplněn].
Před začátkem cvičení je poslední možnost odevzdat vypracovanou domací úlohu! Úlohu je možné odevzdat také Dr. Janouškovi přímo na přednášce!
Správná řešení všech úloh nebudou umísťovany na web nebo hromadně rozesílány, ale demonstrovány pouze na cvičení, případně na konzultacích pro jednotlivce.
Mimořádné konzultace před půlsemestrálkou z VSL - pondělí 11-12h a 13.15-14h (zde záleží, kdy skončí seminář UIFS v B053).
Cvičící
Ing. Zbyněk Křivka, kancelář C48 (konzultace po domluvě emailem nebo v pondělí 11-12h), krivka@fit.vutbr.cz
Zadání domácích úloh pro demonstrační cvičení ZS 2005:
POZOR! Nejedná se o stejné příklady jako minulý rok!
- Domácí úloha 1 (PDF, 42 KB): VSL2005_DU_1.pdf (termín odevzdání 10. 10. 2005)
- Domácí úloha 2 (PDF, 76 KB): VSL2005_DU_2.pdf (termín odevzdání 24. 10. 2005)
- Domácí úloha 3 (PDF, 60 KB): VSL2005_DU_3.pdf (termín odevzdání 7. 11. 2005)
- Domácí úloha 4 a 5 (PDF, 60 KB): VSL2005_DU_4a5.pdf (termín odevzdání 5. 12. 2005 a 19. 12. 2005)
- Vypracování posledního 5. cvičení lze odevzdat až 19. 12. 2005 na posledním demonstračním cvičení, kde bude prezentován i způsob vypracování. Zadání je součástí zadání čtvrté úlohy.
- Poznámka: V případě nejasností nebo dotazů ohledně zadání mě kontaktujte na krivka@fit.vutbr.cz!
Poznámka k zadání:
Není-li řečeno jinak, tak množina přirozených čísel N = { 1, 2, 3, ...}. Tedy nepatří tam nula.
Cvičení 1 - 10. 10. 2005
- řešení domácí úlohy 1
- oprava (na obrázku červeně) příkladu jazyka L = { x^n y^n z^n | n > 0} na slajdu 7 z přednášek:
Cvičení 2 - 24. 10. 2005
Cvičení 3 - 7. 11. 2005
- problém zastavení, primitivně rekurzivní funkce, parciálně rekuzivní funkce
- Prezentace s řešenými příklady z DÚ 3 pro ZS 2005
- Poznámka: Příklad 3.3a není úplně dořešen. Kdo příjde první s úplným a správným řešením s využitím nezměněného formalismu pro definici primitivní rekurze (viz přednášky), tak obdží 2 body a možná i zápočet, pokud bude vidět, že to daný jedinec sám vymyslel. (Pozor na záludnost, že funkce h musí být primitivně rekurzivní!)
- Doporučuji se podívat na stránky odkazovanou v zadání tohoto cvičení ohledně problému zastavení. Je tam celý problém nastíněn více z programátorského hlediska, takže by to mohlo pomoci pochopení tohoto problému.
Cvičení 4 - 21. 11. 2005
- na přednášce bude půlsemestrální písemka
- řešení příkladů z půlsemestrální písemky (4. cvičení přeloženo na poslední 5. cvičení, abyste se mohli plně koncentrovat na studium látky na půlsemestrální písemku.)
Cvičení 5 - 5. 12. 2005
Cvičení 6 - 19. 12. 2005 !!!
Řešení domácích úloh z minulého roku
Zveřejňuji i řešení domácích úloh z minulého roku, které Vám může sloužit jako další zdroje při přípravě na zkoušku (půlsemestrálku).
Pěkné svátky a úspěšné složení zkoušky