zkouska 4.6.2007

Přednáška podává přehled o technikách programování s omezujícími podmínkami. Zaměřena je na algoritmy splňování podmínek a na problematiku řešení příliš omezených systémů podmínek. Zabývá se také praktickým využitím omezujících podmínek při řešení reálných problémů.
Uživatelský avatar
MyS
Donátor
Donátor
Příspěvky: 178
Registrován: 22. 9. 2004 00:13
Typ studia: Informatika Bc.
Bydliště: The city of Dobříš
Kontaktovat uživatele:

zkouska 4.6.2007

Příspěvek od MyS »

Na zkousce jsme byli dva (teda mimo spousty automataku). Ja jsem dostal konzistencni techniky + popsat nejakou dobrou AC, kolega tusim ze prohledavani do hloubky. Napsal jsem takovy obecny prehled (k-konzistence + ruzne kategorie, vztahy, strucne slovne principy algoritmu) a pseudokod AC-3. Bartak nastesti nestoural a je to doma.
We don't need no education!
Odpovědět

Zpět na „OPT042 Programování s omezujícími podmínkami“