Отрывок: Предикаты и операции над ними. Операции квантификации. 2. Следствие теоремы о дедукции. Транзитивность импликации и правило сечения Билет рассмотрен и утвержден на заседании кафедры «Дискретная математика» « »_________ 20 г. Заведующий кафедрой /Ж данов А.И./ ГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИ...
Название : | Дискретная математика |
Авторы/Редакторы : | Тишин В. В. Министерство образования и науки России Самарский государственный аэрокосмический университет им. С. П. Королева (национальный исследовательский университет) |
Дата публикации : | 2011 |
Библиографическое описание : | Дискретная математика [Электронный ресурс] : электрон. комплект экзаменац. билетов / Минобрнауки России, Самар. гос. аэрокосм. ун-т им. С. П. Королева (нац. исслед. ун-т) ; [сост. В. В. Тишин]. - Самара, 2011. - on-line |
Аннотация : | Труды сотрудников СГАУ(электрон. версия). Используемые программы: Adobe Acrobat. |
Другие идентификаторы : | RU/НТБ СГАУ/WALL/519/Д 482-606909 |
Ключевые слова: | рекуррентные соотношения рекурсивные функции комбинаторика конечные автоматы множества бином Ньютона булевы функции автоматы Мили соответствия отношения предикаты теория алгоритмов машины Тьюринга графики |
Располагается в коллекциях: | Методические издания |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
Тишин В.В. Дискретная математика. Электронный комплект.pdf | from 1C | 744.17 kB | Adobe PDF | Просмотреть/Открыть |
Показать полное описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.