1. | | Jazyky používané v UI, funkcionální programování, rekurzivní funkce |
2. | | Imperativní a funkcionální notace, zákl.typy dat a funkce Lispu |
3. | | Definice funkcí, volné a vázané proměnné, predikáty, forma COND |
4. | | Rekurze a iterace v Lispu, koncová rekurze, efektivnost |
5. | | Seznamové a číselné funkce, funkcionály, filtry, lambda-výraz |
6. | | Vnitřní reprezentace, speciální formy, vlastnosti atomů |
7. | | Vstup a výstup, implementace Lispu, ovládání paměti |
8. | | Logické programování, syntaxe dat a programu v Prologu |
9. | | Predikáty, klauzule, fakta, cíle, postup splňování cílů v Prologu |
10. | | Aritmetické predikáty, operátorová notace, zpracování termů |
11. | | Meta-logické predikáty, řez a negace |
12. | | Vstup a výstup, programovací styl, práce s logickou databází |
13. | | Implementace Prologu, srovnání tvorby aplikací v Lispu a Prologu |
14. | | Rezerva |
1. | | Rekurzivní programování, řešení jednoduchých úloh v Pascalu |
2. | | Seznámení s používáním Lispovského systému v počítačové laboratoři 3. Definice jednoduchých funkcí pro práci se seznamy v Lispu |
4. | | Zadání domácí práce |
5. | | Rekurzivní a iterativní řešení úloh, efektivnost rekurze |
6. | | Používání mapovacích funkcionálů a filtrů |
7. | | Používání seznamů vlastností atomů a modifikujících pseudofunkcí |
8. | | Konzultace domácích prací |
9. | | Seznámení s používáním systému Prolog v počítačové laboratoři 10. Jednoduché predikáty, trasování výpočtu |
11. | | Rekurze a práce se seznamy a strukturami v Prologu |
12. | | Používání řezu, backracking, práce s logickou databází |
13. | | Odevzdání a předvedení domácí práce |
14. | | Zápočet |