Kleiner W.: Zarys analizy matematycznej
Wit R.: Metody programowania nieliniowego
Stanosz B.: Wprowadzenie do logiki formalnej