PředmětyPředměty(verze: 945)
Předmět, akademický rok 2023/2024
   Přihlásit přes CAS
Booleovy algebry - NLTM026
Anglický název: Boolean Algebras
Zajišťuje: Katedra teoretické informatiky a matematické logiky (32-KTIML)
Fakulta: Matematicko-fyzikální fakulta
Platnost: od 2016
Semestr: zimní
E-Kredity: 3
Rozsah, examinace: zimní s.:2/0, Zk [HT]
Počet míst: neomezen
Minimální obsazenost: neomezen
4EU+: ne
Virtuální mobilita / počet míst pro virtuální mobilitu: ne
Stav předmětu: zrušen
Jazyk výuky: čeština
Způsob výuky: prezenční
Způsob výuky: prezenční
Garant: prof. RNDr. Petr Simon, DrSc.
Kategorizace předmětu: Informatika > Teoretická informatika
Výsledky anket   Termíny zkoušek   Rozvrh   Nástěnka   
Anotace -
Poslední úprava: ()
Kurs teorie Booleových algeber pro poslední ročník studia. Seznámení s tématem od základních pojmů až po pokročilé partie v rozsahu postačujícím ke studiu metody forsingu.
Cíl předmětu
Poslední úprava: T_KTI (26.05.2008)

Naučit teorii booleových algeber

Literatura
Poslední úprava: RNDr. Pavel Zakouřil, Ph.D. (05.08.2002)
  • Handbook of Boolean algebras, vol 1, North-Holland 1989

Sylabus -
Poslední úprava: G_I (28.05.2004)

1. Základní pojmy, booleovské operace, elementární aritmetika na Booleovských algebrách.

2. Nekonečné operace, algebry regulárně otevřených množin.

3. Stoneova dualita.

4. Věta o normální formě, hustá část algebry, vztah mezi Booleovou algebrou a částečným uspořádáním, zúplnění Booleovy algebry.

5. Homomorfismy, ideály, kvocienty. Sikorského věta.

6. Volné Booleovy algebry, volný součin.

7. Úplné Booleovy algebry, Balcarova-Fraňkova věta.

8. Distributivní zákony, tříparametrová distributivita, algebra P(omega)/fin.

 
Univerzita Karlova | Informační systém UK