задачи для лекций О.Б.Лупанова

[koky]

Есть такой Конспект лекций О.Б.Лупанова по курсу "Введение в математическую логику". Я его читаю, но понял, что пора бы порешать задачки на пройденные темы. А вот с этим как раз проблема. Сборник задач О.Б.Лупанова я не нашёл. Другие сборники не совсем хорошо подходят к этому курсу. Подскажите что-нибудь в этом направлении. Ведь что-то О.Б.Лупанов задавал решать своим ученикам.

[Xaositect]

Задачник Гаврилова-Сапоженко смотрели?

-- Вт янв 18, 2011 14:06:22 --

Если точнее, первое издание называется "Сборник задач по дискретной математике", а последующие "Задачи и упражнения по дискретной математике"

-- Вт янв 18, 2011 14:08:18 --

И вроде бы он должен к первой части лекций хорошо подходить. А по второй, которая собственно логика (исчисление высказываний и предикатов), ничего посоветовать не могу.

[koky]

оо..спасибо!..кажется действительно подходит