Mária Bieliková > Teaching > Funkcionálne a logické programovanie

Funkcionálne a logické programovanie

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

podrobné informácie k predmetu Funkcionálne a logické programovanie.

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 meno.priezvisko [zavináč] stuba[.]sk).

to Homepage to Teaching to the Top

Oznamy

29.5. 2018
- Výsledky prvého termínu FLP máte v AIS.
- Písomky si môžete pozrieť v stredu 13.6. 2018 o 18:00 v respíriu na 2. poschodí (skôr to nejde, lebo som väčšinu času v zahraničí alebo v štátnicovych komisiách).
- Opravný termín bude v pondelok 25.6.2018 o 10:30.

21.5. 2018
- V AIS máte výsledky za semester a teda aj informáciu, či ste získali zápočet.
- Výsledné bodové hodnotenie nájdete v hárku Semester. To je to, s čím idete na skúšku (max. 45 bodov). Na skúške môžete získať ešte 55 bodov.
- Poznámka pre tých, ktorí majú súčet bodov za semester väčší ako 45 bodov: do celkového hodnotenia sa započíta "iba" 45 bodov.
- Skúška bude 23.5. 2018 o 10:30 v Aule Magna. Doba trvania záverečnej písomky - 2 hodiny.

15.5. 2018
- Výsledky semestra zverejním v AIS najneskôr v pondelok 21.5.2018 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.

6.5. 2018
- Doplnila som materiály z poslednej prednášky.
- Pozrite si príklady použitia prologu pri riešení problémov. Príklady neobsahujú komentáre, skúste si ich pri štúdiu doplniť sami.
  - Magický štvorec
  - Hanojské veže
- V stredu 9.5. v čase prednášky bude test z jazyka Prolog (16.00, Aula Magna).
- Test na cvičení z prologu bude v stredu 9.5. v čase stredňajších cvičení pre všetkých študentov.
  - Môžete použiť (a mať otvorené) IBA aplikácie:
    - Webový prehliadač (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.
  - 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

28.4. 2018
- Doplnila som obsah posledných prednášok.
- Na poslednom cvičení 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 študovať najmä kap. 6 s dôrazom na schémy spracovania zoznamov.
- Priebežný test z prologu bude 9.5.2018 (streda) o 16:00 vo veľkej aule.
- [!!!] Odovzdanie zadaní z prologu
  - Zadania z prologu treba odovzdať najneskôr do 15.5.2018 do 23:59 (všetci študenti) do AIS.
  - Podmienkou odovzdania je aj osobné predvedenie výsledku cvičiacemu v termíne, ktorý určí cvičiaci (s ohľadom na termíny skúšok) a minimálna úroveň kvality odovzdaného výsledku.
  - Oneskorené odovzdanie nie je možné, keďže už samotné odovzdanie je po skončení semestra.
  - Každý kto odovzdá zadanie do konca semestra - 10.5.2018, 23:59 môže dostať bonus do výšky 2 bodov.
- Pozrite si materiály k logickému programovaniu, najmä:
  - ilustrácia dôležitosti poradia klauzúl v programe na príklade "Opica a banán"
  - predikát findall/3, ktorý slúži na zbieranie všetkých riešení

14.4. 2018
- Doplnila som obsah posledných prednášok.
- Pozrite si ako pracovať so SWI prologom - úvodné poznámky.
- Čí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 naživo 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.
- Riešte úlohy v prologu, študujte a hodnoťte definície v našom systéme
- [!!!] Sú pridelené zadania prolog - systém správy dát.

13.4. 2018

V utorok 17.4.2018 pozývame všetkých na odovzdanie čestného doktorátu Dr.h.c. prof. Bebovi White (SLAC, Stanfordova univerzita) - Mýtna ul. 10.00-11.30)

V stredu 18.4.2018 je náš deň - deň študentskej vedeckej konferencie IIT.SRC 2018.

Bude zaujímavý program, okrem pozvanej prednášky o inteligentných používateľských rozhraniach, čo bude určite inšpiratívne pre každého kto chce vedieť o najnovších trendoch interakcie človeka s aplikáciami, príďte pozrieť určite aké projekty majú vaši spolužiaci - môžete s nimi diskutovať, povyzvedať čo sa im v rámci bakalárskeho projektu podarilo...

Je to NAŠA konferencia, preto verím, že každý aspoň na chvíľu príde a niečo si vyberie.

V tento deň, ktorý je dňom FIITky oslavujeme aj 55 výročie informačných technológií na STU a 15 výročie FIIT - príďte a dozviete sa niečo o histórii a tiež niečo od čestného doktora STU prof. Beba Whita (Stanford) a vo štvrtok 19.4. bude mať prednášky na aktuálne témy - Cryptocurrencies and Blockchain, ktorých sa môžete zúčastniť.

7.4. 2018
- Doplnila som materiály z posledných prednášok a tiež aj slajdy z pozvaných prezentácií.
- V utorok v čase prednášky bude test z jazyka Python (16.00, Aula Magna).
- Po teste budeme pokračovať v prednáške k jazyku prolog (16:50). Uvedieme jazyk prolog a logické programovanie. V stredu budeme mať cvičenie v rámci času pre prednášku (16.00, Aula Magna), kde budeme pokračovať v praktických ukážkach Prologu. Cvičenia v čase cvičení v tomto týždni nebudú.

29.3. 2018
- Materiály z poslednej prednášky sú na github úložisku a nejaký sumár aj na webe predmetu.

25.3. 2018
- V stredu 4.4.2018 budeme mať poslednú prednášku z časti Python (1 hodina) a dve pozvané prezentácie na témy funkcionálneho programovania:
  - Martin Marko: Funkcionálne programovanie a Javascript
  - Peter Drahoš: Funkcionálne a iné vlastnosti jazyka Lua

20.3. 2018
- Materiály z poslednej prednášky sú na github úložisku a nejaký sumár aj na webe predmetu.

13.3. 2018
- Doplnila som prezentáciu z poslednej prednášky (ukončenie lisp a základy python).
- Materiály k Pythonu sú na github úložisku vrátane notebooku
- Zajtra bude test na prednáške - príklady v jazyku Lisp - 16:00 v Aule Magna. Príďte načas.

8.3. 2018
- Doplnila som obsah a úlohy z poslednej prednášky.
- V utorok 14.3. 2018 začneme na prednáškach jazyk Python.
- Dňa 15.3.2018 - streda 16:00 bude na prednáške test - Aula Magna. Prosím, aby každý prišiel načas.

4.3. 2018
- Doplnila som obsah a úlohy z poslednej prednášky.
- Test na cvičení - Lisp, 4. týždeň
  - V tomto týždni na cvičení bude test, odporúčam prísť načas, najlepšie cca 5-10 minút pred začiatkom cvičenia, aby bolo možné v čo najskoršom čase začať efektívne pracovať na riešení zadaných úloh.
  - 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 podľa pokynov cvičiaceho, najviac 90 minút.
  - Prečítajte si pokyny k samotnému riešeniu:
    - Nezabudnite uviesť typovú špecifikáciu funkcie.
    - Nepoužívajte funkcie SET, SETQ, SETF, LET (ani iné priraďovanie 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 jediného súboru s príponou lsp, ktorého meno bude váš login do AIS

21.2. 2018
- Doplnila som obsah a úlohy z prednášky v 2. týždni semestra. Nájdete tam aj úlohy z ASQ z jednotlivých stretnutí.
- ALEF - výučbový systém so študijnými materiálmi lisp a prolog
  - riešte jednoduché príklady v lispe 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 (o schémach ste už určite čítali, budeme o nich hovoriť na najbližšej prednáške)

16.2. 2018
- Doplnila som obsah a úlohy z prvých stretnutí a tiež pdf s mojimi zápiskami.
- V 2. týždni semestra sú už cvičenia v čase, ktorý máte v rozvrhu. Bude fajn, keď budete už mať lisp nainštalovaný.
- Pýtajte sa a odpovedajte v askalote
- 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).
- ALEF - výučbový systém so študijnými materiálmi lisp a prolog
  - čítajte učebné texty k lispu, najmä kapitolu Úvod a Základné prvky jazyka Lisp

5.2. 2018
- Pozrite si podrobné informácie k predmetu Funkcionálne a logické programovanie. Informácie budem postupne dopĺňať.
- Organizáciu prednášok a cvičení vysvetlím na prvom stretnutí v utorok 13.2.2018 o 16.00.
- [!!!] V utorok, 13.2. 2018 v Aule Minor o 16:00 je cvičenie.
  Účasť na tomto stretnutí (označené ako 1c) je povinná (bude sa kontrolovať).
  V prvom týždni cvičenia v čase podľa rozvrhu nie sú.

to Homepage to Teaching to the Top

Last updated:
Mária Bieliková bielik [zavináč] fiit-dot-stuba-dot-sk