Чего бы почитать для начала по дискре?

кто такой дискре?

Мендельсон "Введение в мат. логику"

Куратовский, Мостовский "Теория множеств"

Это две ключевые книжки, которые каждый должен освоить.

что именно ты называешь дискрой? Традиционное деление, при котором теория конечных групп считается алгеброй, а теория графов дискретной математикой, очень условно.

Для начала я бы почитал какую-нибудь очень простую книжку по графам. Какую-нибудь для программистов. Чтобы формализма было поменьше, а практики побольше.

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

И что-нибудь по мат. логике.

Выбирай сам, но объязательно пользуясь принципом KISS :)

А вообще на 1-м курсе Бауманки секса с инженерной графикой и матаном у тебя будет хоть отбавляй. Поверь моему опыту. Я бы на твоем месте пока занимался бы учебой :)

Андерсон "Дискретная математика и комбинаторика" для изучения с нуля неплохо подходит.

>Какую-нибудь для программистов. Чтобы формализма было поменьше, а практики побольше.

Джереми Сик, Лай-Кван Ли, Эндрю Ламсдэйн "Boost Graph Library" :))