Funkcionálne a logické programovanie

Tu nájdete aktuálne oznamy k predmetu Funkcionálne a logické programovanie. Pozrite si prosím

Tieto stránky neobsahujú VŠETKY informácie k predmetu Funkcionálne a logické programovanie!!!
Niektoré upresnenia sa dozviete na prednáškach a cvičeniach. Ak vám napadne niečo, čo by na tejto stránke ešte malo byť alebo zistíte nejaké nepresnosti, či nejasnosti, ozvite sa (na prednáške alebo najlepšie mailom na adresu bielik [zavináč] fiit[.]stuba[.]sk).

to Homepage to Teaching to the Top

Oznamy

  • 14.5. 2012
    • Doplnila som materiály k poslednej prednáške.
    • Výsledky semestra zverejním v AIS najneskôr v pondelok 31.5.2012 spolu s informáciou o tom, či ste získali zápočet. Určite sa budeme snažiť zverejniť to skôr, toto je najneskorší možný termín pokiaľ nezasiahne vyššia moc.

  • 30.4. 2012
    • Doplnila som obsah a úlohy z posledných prednášok. Tento týždeň prednášku nemáme.
    • Pozrite si poznámku k zadaniam ohľadne modifikácie databázy v prologu.
    • Doplnila som príklady použitia prologu pri riešení problémov. Príklady neobsahujú komentáre, skúste si ich pri štúdiu doplniť sami.

    • K odovzdávaniu zadaní
      • Upozorňujem, že zadania PROLOG treba odovzdať v minimálne úrovni kvality podľa harmonogramu predmetu na poslednom cvičení, čo znamená 15.5.2012 - utorok do 14.00 AIS a potom na cvičení ho predvediete cvičiacemu. Bude veľmi dobre a cvičiaci to určite ocenia, keď odovzdáte skôr, teda na cvičení vo štvrtok 10.5.2012.
      • Oneskorené odovzdanie zadania v tomto prípade nie je možné, keďže ide o koniec semestra a posledné cvičenie a aj posledný deň semestra - teda je možné s dôsledkom neudelenia zápočtu. Ak bude zadanie v utorok 15.5.2012 neakceptovateľné, tak žial nebudete mať šancu ho prerobiť, preto ešte raz motivujem k skoršiemu odovzdaniu.
      • Podmienkou odovzdania aj osobné predvedenie výsledku cvičiacemu (na cvičení, resp. podľa dohody ak sa to na cvičení nestihne) a minimálna úroveň kvality odovzdného výsledku.

  • 22.4. 2012
    • Nezabudnite, že podľa harmonogram predmetu v utorok 24.4. 2012 bude v čase prednášky 16.00-16.50 test.
    • Test na cvičení z prologu
      • Môžete použiť (a mať otvorené) IBA aplikácie:
        • Internet Explorer (na prečítanie týchto pokynov a na odovzdanie vypracovaného riešenia do AIS-u)
        • SWI-Prolog
        • nejaký softvér na prácu so súbormi.
      • Čas riešenia je max. 90 minút. Zadania treba odovzdať najneskôr do 19:40
      • Prečítajte si pokyny k samotnému riešeniu:
        • Nezabudnite uviesť hlavičku programu (meno študenta, krúžok, ročník)!
        • Nepoužívajte predikát rez!
      • Dôkladne si prečítajte svoje zadanie.
      • Riešenie sa odovzdáva do AIS, odovzdanie je vo forme jedineho suboru s príponou pl, ktorého meno bude váš login do AIS

  • 18.4. 2012
    • Podľa harmonogramu predmetu
      • na prednáške v utorok 24.4.2012 o 16:00 bude priebežný test z prologu
      • na cvičení v utorok 24.4.2012 budete riešiť zadané predikáty (práca so zoznamami na najvyššej aj ľubovoľnej úrovni) s možnosťou získať max. 5  bodov.
        Odporúčam študovat najmä kap. 6 s dôrazom na schémy spracovania zoznamov - na prednáškach sa práve týmito témami zaoberáme.

  • 13.4. 2012
    • Doplnila som slajdy z poslednej prednášky.

    • - hodnoťte sumarizácie na textoch z prologu.

    • Sledujte fakultnú webovú stránku - budú postupne pribúdať informácie o našej študentskej vedeckej konferencii, ktorá sa uskutoční v stredu 25.apríla 2012.
      Je to NAŠA konferencia, preto verím, že každý aspoň na chvíľu príde a niečo si vyberie.

    • Priebežný test z predmetu Funkcionálne a logické programovanie - časť logické programovanie, bude v zmysle harmonogramu v utorok 24.4. 2012 o 16.00.

    		•        

  • 8.4. 2012

    		•    

  • 31.3. 2012
    • Riešte a tagujte úlohy v prologu, študujte a vyznačujte si dôležité časti textu - využite
    • Doplnila som obsah posledných prednášok.
    • Zadania z prologu nájdete na stránke predmetu najneskôr do najbližsieho utorka.

  • 25.3. 2012
    • Doplnila som obsah a úlohy z posledných prednášok.
    • Upozorňujem, že zadania LISP treba odovzdať podľa harmonogramu predmetu na 7. cvičení, čo znamená 27.3.2012 - utorok do 14.00 do AIS a potom na cvičení (nedajte sa pomýliť tým, že AIS bude možno nstavený na neskorší čas, aby sa nemusel znovu otvárať pre oneskorencov, keďže vidíme čas odovzdania, vieme to jednoznačne určiť a nie je potrebné "sa hrať" s tými, ktorí majú zle nastavené hodinky).
    • Oneskorené odovzdanie každého zadania o každý začatý týždeň sa postihuje znížením počtu dosiahnutých bodov o 2 body.
    • Čítajte v učebnici časť logické programovanie a hrajte sa pri tom. Najlepšia hra je -- "ja som mašinka". Užitočné je pohrať sa aj so skutočnou mašinkou. Pri hraní sa s prologovskou mašinkou nazivo odporúčam použiť GUI tracer v SWI prologu (predikáty gtrace/0 a gspy/1) - info k tomu nájdete v manuáli SWI prologu.
    • Správne riešenie úloh z testu funkcionálne programovanie ukážem na prednáške 29.3. 2012 (štvrtok), zároveň si budete môcť pozrieť vaše písomky.

  • 18.3. 2012
    • Doplnila som obsah a úlohy z posledných prednášok.
    • Nezabudnite, že 20.3.2012 je na prednáške test z lispu. Začíname o 16:00 testom. Prednáška v tento deň bude skrátená.
    • Pri príprave na test môžete vyhodnotiť aj kvalitu sumarizácií v našom systéme

    • Pozrite si ako pracovať so SWI prologom - úvodné poznámky.
    • Pridala som ešte nejaké materiály k logickému programovaniu, kde sú ďalšie poznámky aj k SWI prologu (pozri FAQ).
    • Pripomínam čas odovzdania zadania lisp - 27.3.2012 do 14:00
      • odovzdáva sa do AIS
      • nezabudnite na správnu príponu vášho súboru, každý odovzdá len jeden súbor pomenovany lisp-<vas-login-ais>.lsp
      • nenechajte sa pomýliť nastavením času v AIS. To je tam preto, že keď inekto nestihne, aby mohol odovzdať, ale bude mať penalizcáiu. Takže spresnenie toho čo je vyššie je - čas odovzdania bez penalizácie.

  • 11.3. 2012
    • Doplnila som obsah a úlohy z posledných prednášok.
    • Vo štvrtok 15.3. 2012 začneme na prednáškach logické programovanie - programovací jazyk Prolog.
    • V tomto týždni na cvičení bude test, odporúčam prísť cca 5-10 minút pred začiatkom cvičenia, aby bolo možné v čo najskoršom čase začat efektívne pracovať na riešení zadaných úloh.

    Test na cvičení - Lisp, 5. týždeň
    • Môžete použiť (a mať otvorené) IBA aplikácie:
      • Webový prehliadač (na prečítanie týchto pokynov a na prístup do AIS),
      • LispWorks editor a listener v prostredí Lispworks a
      • nejaký softvér na prácu so súbormi.
    • Čas riešenia je max. 90 minút. Zadania treba odovzdať najneskôr do 19:40
    • Prečítajte si pokyny k samotnému riešeniu:
      • Nezabudnite uviesť typovú špecifikáciu funkcie.
      • Nepoužívajte funkcie SET, SETQ, SETF, LET (ani iné priradovanie hodnôt symbolom).
      • Váš program musí mať všetky náležitosti (vrátane primeraných komentárov).
      • Nepoužívajte funkcionály.
    • Riešenie sa odovzdáva do AIS, odovzdanie je vo forme jedineho suboru s príponou lsp, ktorého meno bude váš login do AIS

  • 8.3. 2012

  • 26.2. 2012
    • Doplnila som obsah a úlohy z prednášky a cvičenia v 2. týždni semestra.
    • ALEF - výučbový systém so študijnými materiálmi lisp a prolog
      • riešte jednoduché príklady v lispe v Alefe a zanechajte spätnú väzbu o tom, ako ste riešili úlohu (vedeli, rozumeli), o náročnosti úlohy a tiež hodnotenie samotného obsahu - pomôžete tým vylepšiť obsah do budúcnosti
      • tagujte - čokoľvek relevantné, pri príkladoch, ak to je relevantné zadajte kľúčové slová zodpovedajúce schéme funkcie
      • vyznačujte dôležité časti textu učebnice, aby ste sa k nim mohli vrátiť pri opakovaní

  • 20.2. 2012
    • Doplnila som obsah a úlohy z cvičenia v 1. týždni a tiež aj pdf s mojimi zápiskami z vysvetľovania.

    • Výučbový systém ALEF -- už je dostupný a teší sa na vás.

      Systém vzniká ako súčasť riešenia viacerých projektov - bakalárskych, diplomových aj dizertačných a v rámci predmetu Projektovanie v inžinierskom štúdiu.

    • Odporúčam pozrieť si otázky a odpovede k lispu. Nájdete tam aj informáciu kde nájsť voľne dostupnú implementáciu Common lispu - Clisp (šírenú pod licenciou GNU GPL).
    • Pozrite si čo vytvorili vaši predchodcovia o programovacích jazykoch, je to na wiki môžete čokoľvek rozumné dopísať, rozšíriť. Ja by som bola rada, keby sa nám tam dostalo viac informácií spojených s aplikáciou a použitím toho ktorého jazyka v reálnych systémoch - toto som aj uviedla do nadpisu. Nebojte sa, je tam história, každý doplnok je vítaný.

  • 14.2. 2012
    • Doplnila som obsah a úlohy z prvej prednášky a aj kúsok z učebnice, keďže Alef zatiaľ nie je na vás celkom pripravený (ten Alef, čo máme teraz je kompletne reimplementovaný ten pôvodný, takže v podobnej obálke sa nachádza o dosť iné vnútro, čo vyžiadalo skutočne mimoriadne úsilie zo strany tímu Alef).
    • Nezabudnite, že vo štvrtok a potom v utorok sú v čase prednášok cvičenia - s povinnou účasťou.
    • V 3. týždni semestra začínajú cvičenia v čase, ktorý máte v rozvrhu.

  • 8.2. 2012
    • Stretneme sa na prvej prednáške v utorok - 14.2. 2012 o 16:00 v DE300.
    • Pozrite si podrobné informácie k predmetu Funkcionálne a logické programovanie. Informácie budem postupne dopĺňať.
    • Všimnite si najmä organizáciu prednášok a cvičení (prvý týždeň sú spoločné stretnutia v čase prednášok v utorok a štvrtok podľa rozvrhu, cvičenia prvý a druhý týždeň v čase stanovenom v rozvrhu - utorok 18:00 nie sú, ale sú v čase prednášok).

    • [!!!] Vo štvrtok, 16.2. 2012, DE300 o 14:00 je cvičenie s povinnou účasťou.
      Účasť na tomto stretnutí (označené ako 1c) je povinná (bude sa kontrolovať) a je podmienkou k získaniu zápočtu !!!
      V prvom týždni cvičenia podľa rozvrhu nie sú.

to Homepage to Teaching to the Top

Home
Research
Projects
Publications
Books
SCM
Teaching
Links
Last updated:
Mária Bieliková bielik [zavináč] fiit-dot-stuba-dot-sk
Design © 2oo1 KoXo