Автор работы: Пользователь скрыл имя, 27 Февраля 2013 в 17:53, курс лекций
1. Теория алгоритмов.2. Булевы функции.3. Логические Исчисления.4. Предикаты и кванторы.