Конспекты лекций по математической логике - Математика и физика
Ключевые слова: Теория алгоритмов. Булевы функции. Логические исчисления. Предикаты и кванторы.
Тип файла: HTML
Тип документа: рефераты
Язык: русский
Добавлен: 25.4.2001
Размер: 32432 байт Скачать Смотреть