I. logické symposion

Z logici.cz
Přejít na: navigace, hledání

Souřadnice

Kamencové jezero a Druhý mlýn u Chomutova 20.–24. srpen 1997

Účastníci

Program

Procházky po okolí, na kterých se zúčastněným nepodařilo neseznámit s problémy místní infrastruktury a s příslušníky odlišných kast. Noční koupání. Výlety za kulturou světového formátu. Hry. Přednášky.

Přehled konaných přednášek a seminářů

  • O jednom kombinatorickém odhadu pomocí Ackermannovy funkce (Libor Běhounek)
  • Anglická literatura aneb od Beowulfa k alžbětinskému dramatu (Zuzana Honzíková)
  • Cvičení k přednášce o aritmetice (která z časových důvodů nebyla zařazena do programu)
  • V. Pareto – residua a derivace (Hanka Skřivanová & Michal Peliš)
  • Diskuse na téma „Království za koně“
  • Rozhodnutelnost Presburgerovy aritmetiky (Zuzana Honzíková)
  • Mentula na jiných hracích plánech (Libor Běhounek)