Úvod do logiky

UI/N1007

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

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

přednáší doc. RNDr. Luděk Cienciala Ph.D.
cvičení vede RNDR. Lucie Ciencialová Ph.D.,Mgr. Martina Foldynová

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

Průběh v jednotlivých letech

Popis bude doplněn co nejdříve.

Jako u všech předmětů na Ústavu informatiky je vyžadována minimálně 75% docházka na cvičení, během semestru se rovněž píší dvě zápočtové písemky, ze kterých lze získat až 40 bodů, minimum je 20 bodů. Tento počet lze mírně navýšit získání bonusového bodu během některého cvičení. Je třeba zapsat se na každou ze zápočtových písemek (následně i na zkoušku) na webu docenta Ciencialy - což už ale touto dobou víte, stejný princip jako v případě Teorie grafů. Co je ale odlišné je zkouška - nekoná se vyřazovací desetiminutovka, ale dostáváte rovnou zadání písemné části, zpravidla pět příkladů, z toho dva početní, zbytek na teorii. Opět máte pouze jeden řádný a jeden opravný zkouškový termín, do tohoto počtu se nezapočítává pouze předtermín, který však nemusí být nutně vypsán.

Přínos předmětu

Text bude doplněn co nejdříve.

Materiály

základní

o kategorii

ikonka zipprezentace k přednáškám19.ledna 2016, 23:21prezentace k přednáškám ke stažení7.95 MB
ikonka zipmateriály ke cvičením19.ledna 2016, 23:21materiály ke cvičením ke stažení1.64 MB
ikonka pdfskripta29.ledna 2016, 20:32skripta ke stažení2.09 MB

vytvořené

o kategorii

ikonka pdfvypracované příklady k 1. části semestru20.ledna 2016, 15:37vypracované příklady k 1. části semestru ke stažení857.05 KB
ikonka pdfvypracované příklady k 2. části semestru20.ledna 2016, 15:37vypracované příklady k 2. části semestru ke stažení1.2 MB
ikonka pdfzpracovaná příprava ke zkoušce20.ledna 2016, 15:38zpracovaná příprava ke zkoušce ke stažení4.58 MB