Logika a logické programování

UI/N1008

vyučován v zimním semestru | časová náročnost je 2 hodiny přednášek 2 hodiny cvičení týdně | lze za něj získat 4 kredity

předmět není podmíněn absolvováním jiného předmětu

přednáší Mgr. Marek Menšík Ph.D.
cvičení vede Mgr. Marek Menšík Ph.D.

náročnost: | užitečnost: | zábavnost:

Průběh v jednotlivých letech

Popis bude doplněn co nejdříve.

Do roku 2015 se nijak zvlášť nerozlišovalo mezi zápočtem a zkouškou, obojí probíhalo zároveň v jeden termín a elektronickou formou. Je tedy třeba vytvořit si účet na stránkách doktora Menšíka. Na zkoušku je potřeba donést si vlastní notebook, některé termíny probíhaly přímo v počítačové učebně ale není to pravidlem. Rovněž můžete využívat všechny myslitelné a vybrané nemyslitelné pomůcky, během zkoušky je však zakázáno si vzájemně radit. Na vyřešení zkouškového testu máte 20 minut, první otázka spočívala ve vytvoření jednoduchého kódu v PROLOGu, přičemž ve výhodě byli ti, kdo chodili na cvičení, zadání odpovídalo příkladům, které se na cvičeních řešily. Následující otázky se týkají jak logiky, tak algebry nebo například teorie množin, vše se však během přednášek a cvičení probíralo a je k dohledání v prezentacích či skriptech k výuce. Z nabízených možností může být správně jedna, všechny nebo žádná a za každou chybu či opomenutí se odečítají body.
Od roku 2015 je vyžadováno kromě jisté minimální účasti (75%) absolvování zápočtové písemky, která je zaměřena spíše na řešení příkladů. Podmínky zkoušky se nezměnily, pouze vypadla část související s PROLOGem.

Přínos předmětu

Text bude doplněn co nejdříve.

Materiály

základní

	skripta	22.ledna 2016, 08:54	skripta ke stažení	1.17 MB
	příručka k PROLOGu	22.ledna 2016, 08:55	příručka k PROLOGu ke stažení	492.58 KB
	prezentace k přednáškám	22.ledna 2016, 08:55	prezentace k přednáškám ke stažení	8.99 MB

Projekty

	vyřešené příklady ze cvičení
vytvořeno v:	PROLOG
rok:	2014-2015
vyučující:	Mgr. Marek Menšík Ph.D.
popis: zadání: vytvořte program, který: spočítá součet přirozených čísel od 1 po n spočítá součet všech čísel v seznamu spočítá faktoriál zadaného čísla spočítá Fibonacciho posloupnost až do zadané hodnoty zjistí délku seznamu spočítá součet prvků v seznamu vypíše součet sudých čísel v seznamu vybere sudá čísla ze seznamu a přesune je do jiného vybere čísla ze seznamu a sečte je (dvě verze) vybere ze seznamu čísla na sudých pozicích vybere ze seznamu čísla na lichých pozicích vybere a sečte čísla na sudých pozicích v seznamu vypíše počet čísel na sudých pozicích v seznamu určí, zda je zadané číslo prvkem seznamu spojí dva seznamy vypíše rozdíl dvou seznamů vypíše průnik dvou seznamů
odkaz ke stažení:	vyřešené příklady ze cvičení ke stažení
aktualizováno: 23.ledna 2016, 13:34