Посоветуйте задачник по "дискретной математике"

forester_200

Народ подскажите, пожалуйста, задачник или несколько задачников, которые бы более-менее покрывали следующие темы:
преобразование формул логики высказываний
преобразование формул теории множетств
алгебра множеств
покрытие и разбиение множеств
прямое произведение множеств
отображения
сюрьекция, инъекция, биекция
обратное отображение
композиция отображений
перестановки конечного множества
бинарные отношения
порядок на множестве
верхняя и нижняя граница
Хотелось бы раздобыть задачник(и) без высоконаучных загибов (типа "всё строим и доказываем в ZF + GCH" :) чтобы всё начиналось с самых простеньких задач и излагалось в рамках наивной теории множеств.
Не обязательно какие-то классические задачники, может, кто-то учился по малоизвестным авторским пособиям и считает их достаточно полезными.
Особенно порадуют ссылки на задачники, которые можно скачать из Инета.
В общем, буду рад любым подсказкам! :)

tester1

не-АС + GCH
так не бывает
из обобщенной континуум-гипотезы следует аксиома выбора
об этом даже в моей методичке написано

forester_200

Виноват. Исправился. Старею :)

tester1

посмотри в списке литературы моей методички
хотя там в основном учебники, но кое-какие задачи нарыть можно

forester_200

Ваня, нужны именно задачники с достаточным количеством задач, начиная от более-менее простых и кончая трудными. У тебя в методичке действительно в основном учебники, а те ссылки, что могут содержать задачи, вряд ли удовлетворяют условию из предыдущего предложения :(
Плюс, мне не "нарыть" по кусочкам нужно, а заиметь сразу большой корпус задач по всем или почти по всем этим темам.
В любом случае спасибо за подсказку и отличное замечание к старт-посту ;)

tester1

вот ещё совет: спроси Мишу Лобанова (mannerheim он с кафедры дискры, может что подскажет

forester_200

done :)

pilaf4

На вмк, если не ошибаюсь, использовали задачник Яблонского
Его можно скачать

CokpaT

По этим темам можно посмотреть
Гиндикин, Алгебра логики в задачах,
Верещагин-Шень, Начала теории множеств.
Там и теория, и задачи.

exsky

задачник Яблонского
учебник у Яблонского.
а задачник Сапоженко-Гаврилов

forester_200

И тот, и другой имеется, спасибо!
Оставить комментарий
Имя или ник:
Комментарий: