Асинхронный курс

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

Центр дополнительного профессионального образования "Пуск"

Купить курс
3 600руб/чел
108 ак. ч.
4 мес. длительность длит.

О чем этот курс

О чем этот курс

Эдсгеру Дейкстре приписывают высказывание: «наука о вычислимости изучает компьютеры не в большей мере, чем астрономия изучает телескопы». Смысл этой фразы в том, что конкретный компьютер или конкретный язык программирования – только инструмент познания общих закономерностей, справедливых для всех вычислений. Основы этой науки заложены Тьюрингом, Гёделем, Чёрчем, Клини, Постом и другими математиками в 1930-х годах, когда вычислительных машин в современном понимании ещё не было. При этом базовые предположения в полной мере выполняются для современных компьютеров и, наверняка, будут верны для всех будущих, в том числе квантовых.

Для кого этот курс

Начинающим специалистам

Кто хочет повысить свою квалификацию

Как проходит курс

Часы занятий

108 часов занятий

Лекции

13 лекций

Тесты

3 теста

После курса вы получите

Каждую неделю вас ждут видеолекции и проверочные задания, которые нужно выполнять в срок.

В конце – итоговая проверочная работа. Студенты, которые набрали достаточное количество баллов, смогут получить сертификат.

Что вы еще получите по итогам обучения

Всем успешно завершившим обучение будет выдан документ установленного образца, который повысит конкурентоспособность на рынке труда:

  • • Сертификат о прохождении курса

Вас будут обучать настоящие профессионалы

Мусатов Даниил Владимирович
Мусатов Даниил Владимирович

Преподаватель кафедры дискретной математики МФТИ, кандидат физико-математических наук

Программа курса

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

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

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

Каждую неделю вас ждут видеолекции и проверочные задания, которые нужно выполнять в срок.

В конце – итоговая проверочная работа. Студенты, которые набрали достаточное количество баллов, смогут получить сертификат.

Все необходимые понятия будут определяться по ходу курса, однако от слушателей предполагается достаточно свободное владение аппаратом дискретной математики и булевой логики. Желателен хотя бы небольшой опыт написания программ.

Чему вы научитесь на курсе

  • знать фундаментальные результаты теории вычислимых функций: существование функций, невычислимых на компьютере, примеры алгоритмически неразрешимых задач
  • знать существование программы, печатающей свой текст, существование истинных, но недоказуемых утверждений, существование программы, про которую ничего нельзя доказать;
  • уметь аргументировать неразрешимость алгоритмической проблемы, строить комбинаторы, реализующие различные функции в лямбда-исчислении;
  • владеть основными приёмами доказательства неразрешимости математических проблем.

Инструменты и навыки

Оплатить курс или получить
бесплатную консультацию

Оставьте ваш запрос и мы свяжемся с вами

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

3 600₽/чел.
  • - Оплата по оферте или после заключения договора
  • - Гарантии качества вашего обучения

Часто задаваемые вопросы

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

Онлайн обучение – синхронные и предзаписанные курсы - проходит на нашей удобной платформе. Офлайн (очное) обучение может проходить на Физтехе или на территории заказчика.

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

Период обучения указан в карточке каждого курса. При прохождении асинхронных курсов с выдачей сертификата вы сможете учиться в удобном для вас темпе.

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

С этим курсом покупают

Высшая математика. Математический анализ

Высшая математика. Математический анализ

3 600₽/чел.

Центр дополнительного профессионального образования "Пуск"

108 часов
Онлайн
Высшая математика для всех

Высшая математика для всех

6 100₽/чел.

Центр дополнительного профессионального образования "Пуск"

180 часов
Онлайн
Введение в математический анализ для поступающих в магистратуру

Введение в математический анализ для поступающих в магистратуру

3 600₽/чел.

Центр дополнительного профессионального образования "Пуск"

72 часа
Онлайн
Высшая математика. Линейная алгебра и элементы топологии

Высшая математика. Линейная алгебра и элементы топологии

3 600₽/чел.

Центр дополнительного профессионального образования "Пуск"

72 часа
Онлайн