Книга: Логика, автоматы, алгоритмы
Для инженеров, работающих в области релейно-контактной техники или техники цифровых машин, изучение общей теории конечных автоматов и последовательностных машин не связано с большими трудностями, так как им знаком уже необходимый математический аппарат: исчисление высказываний, общие понятия об исчислении предикатов, основы теории алгоритмов (теории рекурсивных функций).
В значительно худшем положении оказываются инженеры других специальностей, в том числе и инженеры, знакомые с теорией автоматического управления. Основой их математического образования является общий анализ, математическая физика, математика дифференциальных уравнений. Как показал опыт, изучение проблемы, в основе которых лежит математическая логика и теория алгоритмов, представляет для них известные трудности.
Информация о документе
- Формат документа
- PDF, DJVU
- Кол-во страниц
- 556 страниц
- Загрузил(а)
- Лицензия
- —
- Доступ
- Всем
- Просмотров
- 19
Предпросмотр документа
Информация о книге
- Издательство
- ГИФМЛ
- Год публикации
- 1963
- Каталог SCI
- Математика
- ББК
- 22.1. Математика
- УДК
- 51. Математика