PředmětyPředměty(verze: 964)
Předmět, akademický rok 2020/2021
   Přihlásit přes CAS
Algebra v informatice - OKBM1M118A
Anglický název: Algebra in informatics
Zajišťuje: Katedra matematiky a didaktiky matematiky (41-KMDM)
Fakulta: Pedagogická fakulta
Platnost: od 2020 do 2021
Semestr: zimní
E-Kredity: 2
Způsob provedení zkoušky: zimní s.:
Rozsah, examinace: zimní s.:0/0, Z [HT]
Rozsah za akademický rok: 8 [hodiny]
Počet míst: neurčen / neurčen (neurčen)
Minimální obsazenost: neomezen
4EU+: ne
Virtuální mobilita / počet míst pro virtuální mobilitu: ne
Stav předmětu: vyučován
Jazyk výuky: čeština
Způsob výuky: kombinovaný
Poznámka: předmět je možno zapsat mimo plán
povolen pro zápis po webu
při zápisu přednost, je-li ve stud. plánu
Garant: doc. RNDr. Antonín Jančařík, Ph.D.
Vyučující: Mgr. Derek Pilous, Ph.D.
Anotace -
Cílem předmětu je seznámit studenty se základy využití algebry v informatice. Kurz bude rozdělen do dvou částí. První část se bude věnovat teorii přenosu informace a studenti se seznámí s teorií samodetekujících a samoopravných lineárních kódů. Druhá část kurzu bude věnována úvodu do teorie automatů.
Poslední úprava: Jančařík Antonín, doc. RNDr., Ph.D. (26.02.2020)
Cíl předmětu -

Cílem předmětu je seznámit studenty se základy využití algebry v informatice. Kurz bude rozdělen do dvou částí. První část se bude věnovat teorii přenosu informace a studenti se seznámí s teorií samodetekujících a samoopravných lineárních kódů. Druhá část kurzu bude věnována úvodu do teorie automatů.

Poslední úprava: Jančařík Antonín, doc. RNDr., Ph.D. (26.02.2020)
Literatura -

Chytil, M. Automaty a gramatiky, Praha: SNTL, 1984
Demlová, M., Koubek, V. Algebraická teorie automatů, Praha: SNTL, 1990

Poslední úprava: Jančařík Antonín, doc. RNDr., Ph.D. (26.02.2020)
Požadavky ke zkoušce -

Podmínkou získání zápočtu je vykonání obecně prospěšné činnosti typu - referát, zpracování tématu ...
O udělení zápočtu rozhodnout výsledky dosažené s "clickers" v průběhu výuky. V případě neúspěchu píše student zápočtovou písemku.

Poslední úprava: Jančařík Antonín, doc. RNDr., Ph.D. (26.02.2020)
Sylabus -

Hlavní témata:
Kontrolní součty
Samoopravné kódy
Lineární a cyklické kódy
Konečné automaty
Zásobníkové automaty
Gramatiky

Poslední úprava: Jančařík Antonín, doc. RNDr., Ph.D. (26.02.2020)
 
Univerzita Karlova | Informační systém UK