Přejít k hlavnímu obsahu
Boční panel
DL 1
Titulní stránka
Podpora uživatelů
Moodleoffice
Moodle tutoriál
Podpora uživatelů
Návody
GDPR
Další
Čeština (cs)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
Momentálně na stránky přistupujete s právy hosta.
Přihlášení
Titulní stránka
Podpora uživatelů
Sbalit
Rozbalit
Moodleoffice
Moodle tutoriál
Podpora uživatelů
Návody
GDPR
Otevřít indexu kurzu
Titulní stránka
Kurzy
Matematicko-fyzikální fakulta
Katedra algebry
Combinatorics on Words
Isabelle
Stránka důkazového asistenta Isabelle
Stránka důkazového asistenta Isabelle
Insatalace by měla být neproblematická.
Kliknutím na
Stránka důkazového asistenta Isabelle
otevřete zdroj.
◄ Velké nezávislé systémy
Přejít na...
Přejít na...
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
Velké nezávislé systémy
Formalizace věty Lyndona a Schützenbergera
Základní teorie
Úvod
Formalizace věty Lyndona a Schützenbergera ►