Zum Hauptinhalt
Website-Übersicht
DL 1
Startseite
More
Deutsch (de)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
Sie sind als Gast angemeldet
Login
Startseite
Open course index
Startseite
Kurse
Combinatorics on Words
Rovnice a řešení
Velké nezávislé systémy
Velké nezávislé systémy
Pro ilustraci. Příklad není nutné u zkoušky znát zpaměti.
Klicken Sie auf den Link '
CoWvelkeNezavisle.pdf
', um die Datei anzuzeigen
◄ Věta o kompaktnosti
Direkt zu:
Direkt zu:
Slova a volná pologrupa
Komutující a konjugovaná slova
Periody a Periodické lemma
Obrazek k Periodickému lematu
Zobecnění Periodického lemmatu a alternativní důkazy
Lyndonova slova a věta o kritické faktorizaci.
Věta Lyndona a Schützenbergera
Podpologrupy volné pologrupy a věta o defektu
Principiální řešení
Věta o kompaktnosti
Stránka důkazového asistenta Isabelle
Formalizace věty Lyndona a Schützenbergera
Základní teorie
Úvod
Stránka důkazového asistenta Isabelle ►