Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Чтобы оставить свою оценку и/или комментарий, Вам нужно войти под своей учетной записью или зарегистрироваться
| Автор | Юрий Белов |
| Жанр | История |
| Год | 2011 |
| Автор | Юрий Белов |
| Автор | Юрий Белов |
| Автор | Елена Ульева |
| Автор | Елена Ульева |
| Автор | Елена Ульева |
| Автор | Елена Ульева |