Авторы: Юрий Белов
Юрий Белов. Лекции по математической логике и теории алгоритмов. М.:БИБКОМ, 2013
Издательство: БИБКОМ
Год издания: 2013
Год издания: 2013
Типы работ:
- Контрольная работа
Не получается найти нужный источник? Попробуйте нашу услугу по подбору и оформлению источников литературы.
Фрагмент книги
Библиографическое описание
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Сведения об ответственности: Юрий Белов
ISBN: 978-5-8397-0908-9
Готовые работы, где использовался источник
«Математическая логика и теория алгоритмов»
50₽
- Контрольная работа
- Высшая математика
- Выполнил: gatin69
Контрольная работа по математической логике
100₽
- Контрольная работа
- Логика
- Выполнил: user899737
Математическая логика и теория алгоритмов
200₽
- Контрольная работа
- Высшая математика
- Выполнил: user776792
Так же вы можете купить уже выполненные работы. Для удобства покупки работы размещены на независимой бирже. Нажимая "Купить" вы будете перенаправлены на страницу карточки работы.
Гарантия на работу 10 дней.