Лекториум / каталог курсов / МАТЕМАТИЧЕСКАЯ ЛОГИКА
Лекториум / каталог курсов / МАТЕМАТИЧЕСКАЯ ЛОГИКА

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

40 видеолекций
Проверочные задания и итоговый тест
Сертификат о прохождении курса
Материалы открываются по расписанию
Дата запуска уточняется. Запишитесь на курс, чтобы получить оповещение о старте. Обучение бесплатное
Записаться
Трейлер курса
Математическая логика возникла почти 100 лет назад в связи с внутренними потребностями математики. Но со временем она нашла применение также в теоретическом и практическом программировании и сегодня помогает преодолеть недостатки естественных языков — их неточность, многозначность и сложность
Поделиться в соцсетях
Находясь на сайте, вы даете согласие на обработку файлов cookie. Это необходимо для более стабильной работы сайта
О курсе
При решении прикладных задач часто появляется необходимость переводить информацию с содержательного языка на математический, затем на язык численных методов и алгоритмов, а с него на конкретный язык программирования — и обратно. Знание мощных и простых способов преобразования математических предложений, предоставляемых математической логикой, понадобятся каждому, кто хочет начать заниматься исследованиями или создавать эффективные программы.
Наряду с рассмотрением сложных вопросов на достаточно строгом уровне, курс содержит множество примеров и пояснений, которые помогут усвоить трудные понятия и проблемы
Для кого курс?
Курс рассчитан на студентов, обучающихся инженерным специальностям, и школьников старших классов, увлекающихся логикой и математикой. Простота изложения материала позволит освоить курс любому человеку, желающему понять основы математической логики. Для понимания большей части материала достаточно школьной подготовки. Некоторые разделы требуют знакомства с императивным программированием и началами математического анализа
Как проходит обучение
1
Регистрируйтесь
Пройдите регистрацию на Лекториуме и запишитесь на курс — он сразу появится в вашем личном кабинете
2
Смотрите видеолекции
Проходите уроки курса, смотрите видео и дополнительные материалы. Тренируйте навыки, выполняя тесты после видеолекций. Новые уроки будут открываться согласно расписанию курса
3
Решите, нужен ли вам сертификат
Выполните итоговую контрольную работу и получите именной сертификат Лекториума
Что вы получите
  • Видеолекции и материалы
    Откройте постоянный доступ ко всем лекциям и вопросам для самопроверки
  • Сертификат
    Получите именной сертификат Лекториума, успешно выполнив задания курса
  • Техподдержка
    Если у вас возникнут технические трудности, вам помогут наши сотрудники
Программа курса
Примеры лекций
Лекция 1.5. Становление логики
Лекция 4.5. Перевод с естественного языка на логический и обратно

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