Лекции по математической логике и теории алгоритмов Юрий А. Белов

Лекции по математической логике и теории алгоритмов скачать fb2

Фрагмент книги

0 скачали
0 прочитали
0 впечатлений






Юрий А. Белов - Лекции по математической логике и теории алгоритмов краткое содержание

Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.

Читать книгу онлайн Лекции по математической логике и теории алгоритмов - автор Юрий А. Белов или скачать бесплатно и без регистрации в формате fb2. Роман написан в году, в жанре . Читаемые, полные версии книг, без сокращений, на сайте - библиотека бесплатных книг Knigism.online. Вы можете скачать издание полностью и открыть в любой читалке, на свой телефон или айфон, а также читать произведение без интернета.




Доступен ознакомительный фрагмент

Чтобы оставить свою оценку и/или комментарий, Вам нужно войти под своей учетной записью или зарегистрироваться

Другие книги авторавсе книги
Историческая реконструкция восточных славян
Историческая реконструкция восточны...
Историческая реконструкция восточных славян
Историческая реконструкция восточны...
Администрирование серверных операционных систем семейства Windows
Администрирование серверных операци...
Другие книги жанраУчебная литература
100 увлекательных игр для хороших манер
100 увлекательных игр для хороших м...
100 увлекательных игр для отличной учёбы
100 увлекательных игр для отличной...
100 увлекательных игр для весёлого дня рождения
100 увлекательных игр для весёлого...
100 увлекательных игр для здоровья вашего ребёнка
100 увлекательных игр для здоровья...