Курс: Combinatorics on Words, Тема: Isabelle | DL 1

DL 1

В начало

Section outline

- Select activity Stránka důkazového asistenta Isabelle
  
  Stránka důkazového asistenta Isabelle Гиперссылка
  
  Insatalace by měla být neproblematická.
- Select activity Formalizace věty Lyndona a Schützenbergera
  
  Formalizace věty Lyndona a Schützenbergera Файл
  
  Formalizace poměrně těsně sleduje výše uvedený důkaz ze skript.
- Select activity Základní teorie
  
  Základní teorie Файл
  
  Pomocný soubor CoWBasic obsahuje většinu ostatního materiálu z první části skript.
- Select activity Úvod
  
  Úvod Файл
  
  Rukopis článku představujícího (mimo jiné) výše uvedené formalizace