Spis treści
JSI 2009
Organizacja
- nieobecność na laboratorium z Mindstorms można nadrobić w grudniu, w przypadku nieodrobienia zajęć, otrzymuje się 0 punktów za dane zajęcia
Prolog
Rozkład zajęć i prowadzących:
| Data | ćwiczenie | 8:00 | 9:30 | 11:00 |
|---|---|---|---|---|
| 14.10 | wprowadzenie | WTF | GJN | WTF |
| 21.10 | programy | WTF | GJN | WTF |
| 28.10 | listy1 | WTF | GJN | WTF |
| 4.11 | listy2 | WTF | GJN | WTF |
| 18.11 | reprezentacja_wiedzy | WTF | GJN | WTF |
| 25.11 | KOLOKWIUM |
LEGO Mindstorms
Rozkład zajęć i prowadzących:
| Data | ćwiczenie | 8:00 | 9:30 | 11:00 |
|---|---|---|---|---|
| 2.12 | LEGO Lab 1 | WTF | GJN | WTF |
| 9.12 | LEGO Lab 2 | WTF | GJN | WTF |
| 16.12 | LEGO Lab 3 | WTF | GJN | WTF |
Opis i wykaz sprawozdań JSI2009
- zajęcia odbywają się w sali 215
- grupa ćwiczeniowa 8-15 osób jest dzielona na zespoły 2-3 osobowe.
- każdy zespół realizuje to samo ćwiczenie na własnym zestawie NXT
- każdy zespół oddaje sprawozdanie z zajęć
- każdy zespół uaktualnia stronę (pamiętnik?) robota, którego używa, np. Agatki.
- warunkiem zaliczenia laboratoriów jest: obecność + dostarczenie sprawozdania (od każdego zespołu ćwiczeniowego, po każdych zajęciach)
Prolog/NXT
Rozkład zajęć i prowadzących:
| Data | ćwiczenie | 8:00 | 9:30 | 11:00 |
|---|---|---|---|---|
| 6.01 | PrologExtra - konstruktywne uwagi co do nxt | WTF | WTF | WTF |
| 13.01 | PrologExtra | WTF | WTF | WTF |
| 20.01 | PrologExtra | N/A | GJN | SBK |
Uwagi:
- każda osoba na każdych z w.w. zajęć wybiera 1 temat z tematów fakultatywnych
- w roku 2010 wybieramy tematy: M O P L W S
Warunki zaliczenia
- kolokwium z prologu(1) - max 12pkt
- laboratorium z LEGO Mindstorms - max. 12pkt
- kolokwium z prologu(2) - max 9pkt
- zaliczenie od 50% wg skali ocen AGH
Materiały dodatkowe
Biblioteka programów w Prologu
Na zadanie domowe, na 28.10.2009, każda grupa ćwiczeniowa ma:
- przeglądnąć wszystkie przykłady zaczynające się na dane litery
- 8:00 a,b,c,d,e,f,g,h
- 9:30 i,j,k,l,m,n,o,p
- 11:00 r,q,w,v,x,y,z
- w każdym przykładzie należy:
- sprawdzić i poprawić jego opis (Description) pod kątem poprawności językowej
- sprawdzić i poprawić działanie odnośnika do kodu w części Download - może brakować zamykających klamer przy odnośniku
- sprawdzić działanie przykładu w SWI: pobrać kod, uruchomić; w przypadku błędów, należy w części Comments dopisać „RTERR: opis”, gdzie opis ma być jednolinijkowym opisem błędu
Projekty
Uwaga: informacji o wszystkich projektach udziela GJN w godzinach zajęć lub konsultacji.
Organizacja
- projekty sa indywidualne (ew. liczba osób oznacza liczbę projektów z danego tematu)
- 2009-12-09 podanie tematów
- 2009-12-17 ostateczny termin wyboru
- 2009-12-18→2010-01-30 realizacja
Co można zyskać? → dużą sznasą na BDB (o ile się zrobi coś sensownego) + nie chodzić na zajęcia JSI w styczniu
Tematy
HeKatE_callbacks
- oglądnąć hekate cases
- dorobić do hekate cases callbacki w językach Prolog, XPCE, Java, Python
- zdefiniować stany startowe i walidacje
- 7 caseów → -7 osób (każda callbacki do 1-2 casów + stany do jednego)
HGXTT
- poczytać xtt verif w/ hypergraphs
- opis HG przy pomocy macierzy incydencji w Prologu + generowanie z niej LaTeX 2os
GMPL
- api do google maps w prologu → 2os
PLCS
- opracować plwiki cases (czyli przykłady aplikacji dla semwikis) → 2-4os
- Z: Katarzyna Nawrocka