Някой да знае откъде мога да намеря лекции по предмета, който се води от Сосков?

Също и какво точно представляват писменият и устният изпит при него.

От учебника му - Теория на Програмите,90% от лекциите са 1 към 1 с учебника
Учебника,предполгам,го има в библиотеката
На вторият въпрос - писменият изпит представлява 3 задачи
2-ра и 3-та са с една подточка и представляват доказателства на теоереми и твърдения - изисква се
да си научил съответните доказателства точно,както са в лекциите
1-ва е с три подточки,като при нея решенията(доказателствата) ги няма директно в учебника,а трябва да проявиш разбиране към материала(а не просто зубрене на лекции) и добро логическо мислене за да я решиш
На устния изпит пише оценки и евентулано задава въпроси за повишение,ако си на 1-2-3-4 точки от по-горна оценка

пиши ми на лс имейла си и ще ти пратя материали, вкл. давани изпити