Посоветуйте простые книги по дискретной математике и ...

[guest321]

мат логике, с уклоном в программирование, формальные системы, формальные языки и т.п.
Что есть простая книга.
1) Минимум доказательств.
2) Максимум примеров, пусть и абстрактных.
3) Ну и что бы книга была логичной и легко читаемой.
Хочется почитать что нибудь по теме для себя, что бы мозг смог переварить после рабочего дня.

[OcbMuHor]

Не знаю насколько удовлетворит вашим требованиям, для изучения дискретной математики в ВУЗах рекомендуют учебник "Дискретная математика" Белоусов А.И., Ткачев СБ.

[Cute]

Посмотрите ещё эти книги, может что-нибудь пригодится.

1) Дискретная математика для программистов. Ф.А. Новиков. 2000 г.
Учебник Ф. А. Новикова "Дискретная математика для программистов" содержит в себе описание основных разделов разделы дискретной математики и самые главные алгоритмы на дискретных структурах данных. Изложенное представляется в виде лекционного курса, преподаваемое автором последние пятнадцать лет в Петербургском государственном техническом университете. Книга создана для обучения студентов ВУЗов, программистов, работающих в этом направлении и тех, кто желает узнать дискретную математику.

2) Дискретная математика в примерах и задачах. В.В. Тишин. 2008 г.
Учебное пособие составлено на основании материалов лекционного курса, содержит краткую теорию, варианты заданий и примеры решения по следующим разделам дискретной математики: множества, декартовы произведения, соответствия, отношения, булевы функции, теория алгоритмов, предикаты, комбинаторика, конечные автоматы.