Математическая логика

Математическая логика

Изучить курс
Поделиться:

2008 просмотров

ЕСИА

Для прохождения курса необходимо авторизоваться на нашем портале через ЕСИА (Портал Госуслуг).

Основное достижение теории вычислимости заключается в существование задач, которые в принципе нельзя решить компьютерной программой. Более того, подобные задачи возникают в алгебре, комбинаторике слов и других разделах математики, с теорией вычислимости напрямую не связанных.

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

В курс также включены два раздела, более близкие к практике. Первый – это лямбда-исчисление, альтернативный способ формализации, что такое программа. Эта наука закладывает основы функционального программирования. Второй – это теория сложности вычислений. На практике неважно, даст ли программа ответ в принципе. Важно, даст ли она его за приемлемое время. В этой теории возникает одна из ключевых открытых проблем современности: равны ли классы P и NP.

img

Дисциплина: Математика

img

Целевая аудитория: Студенты вузов

img

Год разработки: -

img

Итоговый документ: Электронный сертификат

img

Условия доступа к ресурсу: Ресурс бесплатный и доступен только после регистрации

img

Разработчики ресурса: Мусатов Даниил Владимирович

Рекомендованные ресурсы

Комментарии