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