лекций А.А. Маркова по конструктивной математической логике.

составленный при чтении книги С. Клини "Введение в метаматематику".

присутствовавших на семинаре по машинам Тьюринга.

для сдачи кандидатского экзамена по теории множеств и теории функций действительного переменного.

литературы, прочитанной в 1956-1957 гг.

составленный при чтении диссертации В.А. Успенского "Об операциях над перечислимыми множествами".

лекций по функциональному анализу-I.

по самостоятельной проработке материала по функциональному анализу-II.

по самостоятельной проработке материала по функциональному анализу III.

сделанные при подготовке к экзамену по функциональному анализу.

сделанные во время докладов и семинаров.

статьи "Квалификация американской рабочей силы" из журнала CA, Vol. 4, No. 5, 1955.

лекций по курсу "Введение в кибернетику".

с различными записями. На обложке надпись "Л. Бочек". Предположительно, относится к периоду аспирантуры, хотя и не исключено, что к студенческому времени.

сделанные на семинаре по кибернетике.

"Программирующая программа для БЭСМ АН СССР", представленного на конференцию "Пути развития советского математического машиностроения и приборостроения"; в приложении - просьба доклад отредактировать и, чтобы он был помещен в сборнике конференции, выслать до 26.04.1956. /Текст стенограммы машинописный, доклада - рукописный./

"Автоматизация программирования", представленного на Третий математический съезд.

"Автоматизация программирования", представленного на Третий всесоюзный математический съезд. /Текст рукописный, черновой./

сделанные в процессе самостоятельного изучения и на лекциях по курсу В.А. Успенского "Общая теория алгоритмов".

лекций по курсу С.В. Яблонского.