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

40 видеолекций

Проверочные задания и итоговый тест

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

Материалы открываются по расписанию

Дата запуска уточняется. Запишитесь на курс, чтобы получить оповещение о старте. Обучение бесплатное

Записаться

Трейлер курса

Математическая логика возникла почти 100 лет назад в связи с внутренними потребностями математики. Но со временем она нашла применение также в теоретическом и практическом программировании и сегодня помогает преодолеть недостатки естественных языков — их неточность, многозначность и сложность

Поделиться в соцсетях

О курсе

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

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

Для кого курс?

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

Как проходит обучение

1

Регистрируйтесь

Пройдите регистрацию на Лекториуме и запишитесь на курс — он сразу появится в вашем личном кабинете

2

Смотрите видеолекции

Проходите уроки курса, смотрите видео и дополнительные материалы. Тренируйте навыки, выполняя тесты после видеолекций. Новые уроки будут открываться согласно расписанию курса

3

Решите, нужен ли вам сертификат

Выполните итоговую контрольную работу и получите именной сертификат Лекториума

Что вы получите

Видеолекции и материалы

Откройте постоянный доступ ко всем лекциям и вопросам для самопроверки
Сертификат

Получите именной сертификат Лекториума, успешно выполнив задания курса
Техподдержка

Если у вас возникнут технические трудности, вам помогут наши сотрудники

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

Примеры лекций

Лекция 1.5. Становление логики

Лекция 4.5. Перевод с естественного языка на логический и обратно

Автор

Организатор

Кандидат физ.-мат. наук, старший научный сотрудник. Профессор кафедры «Компьютерные системы в управлении и проектировании» ТУСУР. Автор 99 научных, учебных и учебно-методических работ. Научно-педагогический стаж — 45 лет

Валентин Зюзьков

Томский государственный университет систем управления и радиоэлектроники

ТУСУР

Больше прекрасных курсов

Курсы для школьников по разным предметам на одной странице

Смотрите больше курсов по математике

Реквизиты курса

Длительность курса

8 недель

Производство

Курс разработан Томским государственным университетом систем управления и радиоэлектроники

Поделиться в соцсетях