Учебник по математической логике. Содержит большой материал.

Сам я не пользовался им, но так просмотрел, вроде неплохой: тем много, каждая тема описывается кратко, но понятно, присутствуют примеры и доказательства, ну вообщем советую посмотреть....

Небольшой учебник по Fruity Loops studio. Учебник создан специально для тех, кто только-только начал пользоваться этой программой.  В учебнике описывается как добавить инструменты и звуки в саму FLstudio, как ими воспользоваться и как начать создавать свой трек.
Прочитать можно здесь

Программа предназначена для построения графиков кривых. Для всех, кого не устраивают те графики, которые строит MS Excel. Программа выдает график кривых в виде красочного и наглядного рисунка, который, на мой взгляд, выглядит лучше, чем графики предлагаемые Excel. На одном графике может быть до 10 кривых, точки которых могут быть соединены как ломаной, так и плавной линией.