PA163 Programování s omezujícími podmínkami (podzim 2007)

Rozbalit všechny podosnovy Zobrazit ve formátu pro tisk |

Nemáte uložené žádné preference (nebo máte vypnuté cookies?)

| PA163

PA163 Programování s omezujícími podmínkami

Poslední změna: 20. 3. 2008 13:36.42

 

Přejít na osnovu

Průsvitky z přednášek a cvičení v jednom souboru

Poslední změna: 15. 12. 2007 08:04.28 Sbal osnovu
Učitel doporučuje studovat od 15. 12. 2007 08:04
Poslední změna: 15. 12. 2007 08:01.19 Přednáška (PDF)
(auth)/el/1433/podzim2007/PA163/um/prednaska.PDF  (auth)
Poslední změna: 15. 12. 2007 08:02.57 Přednáška (PostScript)
(auth)/el/1433/podzim2007/PA163/um/prednaska4.ps  (auth)
Poslední změna: 15. 12. 2007 08:02.24 Cvičení (PDF)
(auth)/el/1433/podzim2007/PA163/um/cviceni.PDF  (auth)
Poslední změna: 15. 12. 2007 08:02.42 Cvičení (PostScript)
(auth)/el/1433/podzim2007/PA163/um/cviceni4.ps  (auth)
Poslední změna: 15. 12. 2007 07:39.42

Osnova přednášky s průsvitkami

Přejít na osnovu

Problém splňování podmínek. Příklady a modelování. Složitost CSP.

Poslední změna: 11. 9. 2007 11:39.03 Sbal osnovu
Učitel doporučuje studovat od 10. 9. 2007
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 01 (PDF)
(auth)/el/1433/podzim2007/PA163/um/prvni.PDF  (auth)
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 01 (PostScript)
(auth)/el/1433/podzim2007/PA163/um/prvni4.ps  (auth)
Přejít na osnovu

Grafová reprezentace CSP. Hranová konzistence.

Poslední změna: 10. 10. 2007 12:52.26 Sbal osnovu
Učitel doporučuje studovat od 3. 10. 2007
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 02 (PDF)
(auth)/el/1433/podzim2007/PA163/um/druha.PDF  (auth)
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 02 (PostScript)
(auth)/el/1433/podzim2007/PA163/um/druha4.ps  (auth)
Přejít na osnovu

Konzistence po cestě. K-konzistence.

Poslední změna: 16. 10. 2007 17:03.00 Sbal osnovu
Učitel doporučuje studovat od 10. 10. 2007
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 03 (PDF)
(auth)/el/1433/podzim2007/PA163/um/treti.PDF  (auth)
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 03 (PostScript)
(auth)/el/1433/podzim2007/PA163/um/treti4.ps  (auth)
Přejít na osnovu

Obecná hranová konzistence, konzistence mezí. Globální podmínky. Implementace podmínek.

Poslední změna: 16. 10. 2007 17:03.08 Sbal osnovu
Učitel doporučuje studovat od 17. 10. 2007
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 04 (PDF)
(auth)/el/1433/podzim2007/PA163/um/ctvrta.PDF  (auth)
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 04 (PostScript)
(auth)/el/1433/podzim2007/PA163/um/ctvrta4.ps  (auth)
Přejít na osnovu

Implementace podmínek. Směrová konzistence, šířka grafu podmínek a polynomiální CSP.

Poslední změna: 23. 10. 2007 21:21.35 Sbal osnovu
Učitel doporučuje studovat od 24. 10. 2007
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 05 (PDF)
(auth)/el/1433/podzim2007/PA163/um/pata.PDF  (auth)
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 05 (PostScript)
(auth)/el/1433/podzim2007/PA163/um/pata4.ps  (auth)
Přejít na osnovu

Stromové prohledávání: backtracking, pohled dopředu.

Poslední změna: 31. 10. 2007 12:23.20 Sbal osnovu
Učitel doporučuje studovat od 31. 10. 2007
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 06 (PDF)
(auth)/el/1433/podzim2007/PA163/um/sesta.PDF  (auth)
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 06 (PostScript)
(auth)/el/1433/podzim2007/PA163/um/sesta4.ps  (auth)
Přejít na osnovu

Stromové prohledávání: pohled zpět.

Poslední změna: 31. 10. 2007 12:23.10 Sbal osnovu
Učitel doporučuje studovat od 7. 11. 2007
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 07 (PDF)
(auth)/el/1433/podzim2007/PA163/um/sedma.PDF  (auth)
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 07 (PostScript)
(auth)/el/1433/podzim2007/PA163/um/sedma4.ps  (auth)
Přejít na osnovu

Stromové prohledávání: dynamický backtracking, neúplné.

Poslední změna: 27. 11. 2007 20:44.18 Sbal osnovu
Učitel doporučuje studovat od 14. 11. 2007
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 08 (PDF)
(auth)/el/1433/podzim2007/PA163/um/osma.PDF  (auth)
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 08 (PostScript)
(auth)/el/1433/podzim2007/PA163/um/osma4.ps  (auth)
Přejít na osnovu

Lokální prohledávání.

Poslední změna: 31. 10. 2007 12:21.59 Sbal osnovu
Učitel doporučuje studovat od 21. 11. 2007
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 09 (PDF)
(auth)/el/1433/podzim2007/PA163/um/devata.PDF  (auth)
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 09 (PostScript)
(auth)/el/1433/podzim2007/PA163/um/devata4.ps  (auth)
Přejít na osnovu

Optimalizace a soft omezení: modely. Srovnání prohledávacích algoritmů.

Poslední změna: 30. 11. 2007 11:08.05 Sbal osnovu
Učitel doporučuje studovat od 28. 11. 2007
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 10 (PDF)
(auth)/el/1433/podzim2007/PA163/um/desata.PDF  (auth)
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 10 (PostScript)
(auth)/el/1433/podzim2007/PA163/um/desata4.ps  (auth)
Přejít na osnovu

Optimalizace a soft omezení: algoritmy.

Poslední změna: 31. 10. 2007 12:23.42 Sbal osnovu
Učitel doporučuje studovat od 5. 12. 2007
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 11 (PDF)
(auth)/el/1433/podzim2007/PA163/um/jedenacta.PDF  (auth)
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 11 (PostScript)
(auth)/el/1433/podzim2007/PA163/um/jedenacta4.ps  (auth)
Přejít na osnovu

Dynamické problémy

Poslední změna: 31. 10. 2007 12:23.53 Sbal osnovu
Učitel doporučuje studovat od 12. 12. 2007
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 12 (PDF)
(auth)/el/1433/podzim2007/PA163/um/dvanacta.PDF  (auth)
Poslední změna: 7. 9. 2007 14:08.33 Přednáška 12 (PostScript)
(auth)/el/1433/podzim2007/PA163/um/dvanacta4.ps  (auth)
Poslední změna: 11. 9. 2007 11:42.51

Osnova cvičení s průsvitkami a příklady

Přejít na osnovu

Logický program, CLP program.

Poslední změna: 11. 9. 2007 10:49.24 Sbal osnovu
Učitel doporučuje studovat od 1. 10. 2007
Poslední změna: 7. 9. 2007 14:08.33 Cvičení 1 (PDF)
Materiály včetně kódů
(auth)/el/1433/podzim2007/PA163/um/cv_prvni.PDF  (auth)
Poslední změna: 7. 9. 2007 14:08.33 Cvičení 1 (PostScript)
Materiály včetně kódů
(auth)/el/1433/podzim2007/PA163/um/cv_prvni4.ps  (auth)
Poslední změna: 11. 9. 2007 10:25.59 dosazitelny.pl
(auth)/el/1433/podzim2007/PA163/um/dosazitelny.pl  (auth)
Poslední změna: 11. 9. 2007 10:26.14 aritmetika.pl
(auth)/el/1433/podzim2007/PA163/um/aritmetika.pl  (auth)
Poslední změna: 11. 9. 2007 10:26.25 algebrogram.pl
(auth)/el/1433/podzim2007/PA163/um/algebrogram.pl  (auth)
Přejít na osnovu

Omezení nad seznamy proměnných.

Poslední změna: 11. 9. 2007 10:52.25 Sbal osnovu
Učitel doporučuje studovat od 15. 10. 2007
Poslední změna: 7. 9. 2007 14:08.33 Cvičení 2 (PDF)
Materiály včetně kódů
(auth)/el/1433/podzim2007/PA163/um/cv_druhe.PDF  (auth)
Poslední změna: 7. 9. 2007 14:08.33 Cvičení 2 (PostScript)
Materiály včetně kódů
(auth)/el/1433/podzim2007/PA163/um/cv_druhe4.ps  (auth)
Poslední změna: 11. 9. 2007 10:26.44 seznamy.pl
(auth)/el/1433/podzim2007/PA163/um/seznamy.pl  (auth)
Poslední změna: 11. 9. 2007 10:26.57 aritmetika2.pl
(auth)/el/1433/podzim2007/PA163/um/aritmetika2.pl  (auth)
Poslední změna: 11. 9. 2007 10:27.05 knapsack.pl
(auth)/el/1433/podzim2007/PA163/um/knapsack.pl  (auth)
Přejít na osnovu

Globální podmínky.

Poslední změna: 28. 10. 2007 18:45.22 Sbal osnovu
Učitel doporučuje studovat od 29. 10. 2007
Poslední změna: 7. 9. 2007 14:08.33 Cvičení 3 (PDF)
Materiály včetně kódů
(auth)/el/1433/podzim2007/PA163/um/cv_treti.PDF  (auth)
Poslední změna: 7. 9. 2007 14:08.33 Cvičení 3 (PostScript)
Materiály včetně kódů
(auth)/el/1433/podzim2007/PA163/um/cv_treti4.ps  (auth)
Poslední změna: 11. 9. 2007 10:27.54 rozvrh.pl
(auth)/el/1433/podzim2007/PA163/um/rozvrh.pl  (auth)
Poslední změna: 11. 9. 2007 10:30.43 kumulativni.pl
(auth)/el/1433/podzim2007/PA163/um/kumulativni.pl  (auth)
Poslední změna: 11. 9. 2007 10:30.44 kumulativni_min.pl
(auth)/el/1433/podzim2007/PA163/um/kumulativni_min.pl  (auth)
Přejít na osnovu

Implementace podmínek.

Poslední změna: 12. 11. 2007 21:51.32 Sbal osnovu
Učitel doporučuje studovat od 12. 11. 2007
Poslední změna: 7. 9. 2007 14:08.33 Cvičení 4 (PDF)
Materiály včetně kódů
(auth)/el/1433/podzim2007/PA163/um/cv_ctvrte.PDF  (auth)
Poslední změna: 7. 9. 2007 14:08.33 Cvičení 4 (PostScript)
Materiály včetně kódů
(auth)/el/1433/podzim2007/PA163/um/cv_ctvrte4.ps  (auth)
Poslední změna: 12. 11. 2007 21:51.05 global.pl
(auth)/el/1433/podzim2007/PA163/um/global.pl  (auth)
Poslední změna: 14. 11. 2007 13:46.02 atleast.pl
(auth)/el/1433/podzim2007/PA163/um/atleast.pl  (auth)
Poslední změna: 14. 11. 2007 13:46.20 exactly.pl
(auth)/el/1433/podzim2007/PA163/um/exactly.pl  (auth)
Přejít na osnovu

Modelování a testování.

Poslední změna: 30. 11. 2007 11:03.47 Sbal osnovu
Učitel doporučuje studovat od 4. 12. 2007
Poslední změna: 7. 9. 2007 14:08.34 Cvičení 5 (PDF)
Materiály včetně kódů
(auth)/el/1433/podzim2007/PA163/um/cv_pate.PDF  (auth)
Poslední změna: 7. 9. 2007 14:08.34 Cvičení 5 (PostScript)
Materiály včetně kódů
(auth)/el/1433/podzim2007/PA163/um/cv_pate4.ps  (auth)
Poslední změna: 4. 12. 2007 14:51.39 houpacka.pl
(auth)/el/1433/podzim2007/PA163/um/houpacka.pl  (auth)
Poslední změna: 4. 12. 2007 14:49.43 queens.pl
(auth)/el/1433/podzim2007/PA163/um/queens.pl  (auth)
Poslední změna: 11. 9. 2007 10:31.24 prirazovani.pl
(auth)/el/1433/podzim2007/PA163/um/prirazovani.pl  (auth)
Poslední změna: 11. 9. 2007 10:31.26 magic.pl
(auth)/el/1433/podzim2007/PA163/um/magic.pl  (auth)
Přejít na osnovu

Prohledávání

Poslední změna: 30. 11. 2007 11:04.02 Sbal osnovu
Učitel doporučuje studovat od 11. 12. 2007
Poslední změna: 7. 9. 2007 14:08.34 Cvičení 6 (PDF)
Materiály včetně kódů
(auth)/el/1433/podzim2007/PA163/um/cv_seste.PDF  (auth)
Poslední změna: 7. 9. 2007 14:08.34 Cvičení 6 (PostScript)
Materiály včetně kódů
(auth)/el/1433/podzim2007/PA163/um/cv_seste4.ps  (auth)
Poslední změna: 14. 11. 2007 13:47.38 prohledavani.pl
(auth)/el/1433/podzim2007/PA163/um/prohledavani.pl  (auth)
Sbalit všechny podosnovy

Prohlédnout tuto Osnovu po přihlášení do ISu

Odkaz na tuto osnovu

https://is.muni.cz/auth/el/1433/podzim2007/PA163/index.qwarp

Pro přístup bez přihlášení do IS MU:

https://is.muni.cz/el/1433/podzim2007/PA163/index.qwarp

Nahoru | Aktuální datum a čas: 24. 5. 2013 22:20, 21. (lichý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Více o informačním systému