Рукописные заметки

сделанные во время работы симпозиума по теоретическому программированию.