PředmětyPředměty(verze: 970)
Předmět, akademický rok 2017/2018
   Přihlásit přes CAS
Algebra v informatice - OPBM2M124C
Anglický název: Algebra in informatics
Zajišťuje: Katedra matematiky a didaktiky matematiky (41-KMDM)
Fakulta: Pedagogická fakulta
Platnost: od 2017 do 2017
Semestr: letní
E-Kredity: 2
Způsob provedení zkoušky: letní s.:
Rozsah, examinace: letní s.:0/2, Z [HT]
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: prezenční
Je zajišťováno předmětem: OB2310258
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.
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: JANCARIK/PEDF.CUNI.CZ (19.05.2010)
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: JANCARIK/PEDF.CUNI.CZ (19.05.2010)
Literatura -

Chytil, M. Automaty a gramatiky, Praha: SNTL, 1984

Demlová, M., Koubek, V. Algebraická teorie automatů, Praha: SNTL, 1990

Poslední úprava: JANCARIK/PEDF.CUNI.CZ (19.05.2010)
Metody výuky -

Seminář.

Poslední úprava: JANCARIK/PEDF.CUNI.CZ (19.05.2010)
Požadavky ke zkoušce

O zápočtu rozhodnout výsledky dosažené s "clickers" v průběhu výuky.

V případě nedostatečné docházky či neodpovídajících výsledků rozhodne o splnění předmětu zápočtová písemka.

Poslední úprava: Jančařík Antonín, doc. RNDr., Ph.D. (08.03.2017)
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: JANCARIK/PEDF.CUNI.CZ (19.05.2010)
 
Univerzita Karlova | Informační systém UK