Bakalářské zkoušky - průběh, otázky
- rastik
- Supermatfyz(ák|ačka)
- Příspěvky: 661
- Registrován: 19. 10. 2005 21:45
- Typ studia: Informatika Mgr.
- Login do SIS: wartr3am
- Bydliště: Praha
- Kontaktovat uživatele:
Tak pekné zase nebude. Do 10:00 už bolo prihlásených 51 ľudí, o 14:30 už 66 a další ešte boli na ceste. Dnes na KSI pribudlo asi 30 bakalárok a väčšina ešte potom mierila na študijné.
Takže:
- Na NMgr. je prihlásených 230 ľudí čo ešte nemajú Bc., takže sa predpokladá že všetci budú chcieť ísť na štátnice v lete alebo na jeseň.
- Na letný termín sa podľa odovzdaných bakalárok prihlási tak max. 80 ľudí.
- Termín obhajoby je 25.-26.6., ide sa podľa abecedy. Z toho môžete usúdiť, ktorý deň bude váš. Začína sa vždy o 9:00.
- Zbytok pôjde na jeseň a to budú mať fakt problém. Vyzerá to tak, že na komisie budú mať málo ľudí, pretože to koliduje s rôznymi konferenciami.
- Na jesenný termín sa odovzdávajú práce v termíne 6.-10.8., vždy 10:00-15:00. Obhajoby/štátnice sú 10.-12.9.
Takže:
- Na NMgr. je prihlásených 230 ľudí čo ešte nemajú Bc., takže sa predpokladá že všetci budú chcieť ísť na štátnice v lete alebo na jeseň.
- Na letný termín sa podľa odovzdaných bakalárok prihlási tak max. 80 ľudí.
- Termín obhajoby je 25.-26.6., ide sa podľa abecedy. Z toho môžete usúdiť, ktorý deň bude váš. Začína sa vždy o 9:00.
- Zbytok pôjde na jeseň a to budú mať fakt problém. Vyzerá to tak, že na komisie budú mať málo ľudí, pretože to koliduje s rôznymi konferenciami.
- Na jesenný termín sa odovzdávajú práce v termíne 6.-10.8., vždy 10:00-15:00. Obhajoby/štátnice sú 10.-12.9.
- rastik
- Supermatfyz(ák|ačka)
- Příspěvky: 661
- Registrován: 19. 10. 2005 21:45
- Typ studia: Informatika Mgr.
- Login do SIS: wartr3am
- Bydliště: Praha
- Kontaktovat uživatele:
Myslím, že tu už niekto písal, že práca musí mať názov identický so zadaním, na to sú nejaké fakultné pravidlá. A práca, kde je všetko anglicky a názov len česky, to je trochu zvláštne. Nakoniec sa to asi vyrieši doplnením anglického prekladu názvu na prvú stranu.Tuetschek píše:a to vadi ?rastik píše:Viem, že sa dvom ľudom zadarilo napísať prácu anglicky, ale jej názov aj zadanie bolo česky.
-
- Admin(ka) level I
- Příspěvky: 635
- Registrován: 9. 6. 2005 12:33
- Typ studia: Informatika Mgr.
- Login do SIS: BUREJ3BM
- Bydliště: Konečně Vinohrady:)
- Kontaktovat uživatele:
Tady je třeba zapomenout na logiku. Tohle je byrokracierastik píše: Myslím, že tu už niekto písal, že práca musí mať názov identický so zadaním, na to sú nejaké fakultné pravidlá. A práca, kde je všetko anglicky a názov len česky, to je trochu zvláštne. Nakoniec sa to asi vyrieši doplnením anglického prekladu názvu na prvú stranu.
Na druhou stranu předpisy jsou předpisy a ten s tím názvem je znám dostatečně dlouho.
When life gives you crap, make crap golems.
- tutchek
- Site Admin
- Příspěvky: 795
- Registrován: 21. 9. 2004 00:40
- Typ studia: Informatika Mgr.
- Login do SIS: tulam4am
- Bydliště: Praha, Bohnice
- Kontaktovat uživatele:
uredni siml je desny.. proto mam v SIS toto...
ted se jen naucit anglicky a napsat toConstraint solvers
Akademický rok vypsání: 2006/2007
Typ práce: bakalářská práce
Jazyk práce:
Vedoucí: Doc. RNDr. Roman Barták, Ph.D.
Řešitel: Michal Tuláček - zadáno a potvrzeno stud. odd. 27.11.2006
Obor: obecná informatika
Zásady pro vypracování
The student will familiarize himself with constraint satisfaction techniques and with available systems for constraint processing such as ECLiPSe, SICStus Prolog, Gecode, Choco, Mozart, Minion etc. He will compare the systems using the following criteria: modelling capabilities, time and space efficiency, integration with other programming environments, development environment, debugging features etc.
Seznam odborné literatury
1) Conference materials CP Tools 2006
http://www.engr.uconn.edu/~ldm/CPTools/Welcome.html
2) R. Barták: On-line Guide To Constraint Programming: List of Systems, 1998
http://kti.mff.cuni.cz/~bartak/constraints/systems.html
3) Ch. Shulte: Programming Constraint Services. Springer Verlag, 2002.
4) Antonio J. Fernández, Patricia M. Hill: A Comparative Study of Eight Constraint Programming Languages Over the Boolean and Finite Domains, Constraints Journal 5 (3): 275-301, Kluwer, July 2000.
Anotace
There exist many systems and libraries for constraint processing both commercial and freely available. However, there is no deeper comparison of systems’ capabilities and efficiency. This work gives a survey of available constraint solvers and libraries and it provides a comparison of capabilities and efficiency of selected systems.
exAdmin. Magistr přes umělou inteligenci. Právník přes daně.