У вас уже есть заявка на текущий период.
Если вы хотите, чтобы данная программа участвовала в розыгрыше гранта в этом месяце, необходимо добавить ее в папку "Интересные мероприятия".
Или создайте заявку на другой период.
15.02.2016 - Уточните расписание у организатора. Возможно он не успел обновить расписание.
Форма обучения:
Дистанционная
Вид мероприятия:
Видеокурс
Целевая аудитория
Курс рассчитан на студентов, обучающихся инженерным специальностям, но простота изложения материала позволит освоить курс любому человеку, желающему понять основы математической логики. Для понимания большей части материала достаточно школьной подготовки. Некоторые разделы требуют знакомства с императивным программированием и началами математического анализа.
Преподаватель
Валентин Зюзьков- профессор кафедры "Компьютерные системы в управлении и проектировании" ТУСУР. Кандидат физ.-мат. наук, старший научный сотрудник. Автор 99 научных, учебных и учебно-методических работ. Научно-педагогический стаж – 45 лет.
Анонс программы
Математическая логика возникла почти 100 лет назад в связи с внутренними потребностями математики. Но со временем она нашла применение также в теоретическом и практическом программировании и сегодня помогает преодолеть недостатки естественных языков – их неточность, многозначность и сложность. При решении прикладных задач часто появляется необходимость переводить информацию с содержательного языка на математический, оттуда на язык численных методов и алгоритмов, а с него на конкретный язык программирования, и обратно. Знание мощных и простых способов преобразования математических предложений, предоставляемых математической логикой, понадобятся каждому, кто хочет начать заниматься исследованиями или создавать эффективные программы. Наряду с рассмотрением сложных вопросов на достаточно строгом уровне, курс содержит множество примеров и пояснений, которые помогут усвоить трудные понятия и проблемы.
Описание программы
Глава 1. Миссия математической логики
Что такое логика
Что такое математика
Становление логики
Софизмы и парадоксы
Что такое математическая логика
Начало математической логики
Математическая логика в своем блеске и великолепии
Перевод с естественного языка на логический и обратно
Примеры перевода с естественного языка на логический и обратно
Глава 5. Аксиоматический метод
Аксиоматическое построение математических теорий
Формальные аксиоматические теории
Исчисление высказываний
Аксиоматизация геометрии
Теории первого порядка
Глава 6. Математическое доказательство
Индукция
Математическая индукция
Различные виды доказательств в математике
Компьютерные доказательства
Глава 7. Теория алгоритмов
Неформальная вычислимость и машины Тьюринга
Частично-рекурсивные функции
Тезис Черча
Некоторые алгоритмически неразрешимые проблемы
Асимптотические обозначения
Алгоритмы и их сложность
Сложность задач
Как будет проходить обучение
Как только начнётся курс, всем зарегистрировавшимся участникам придёт приглашение со ссылкой на онлайн-класс.
Вы будете обучаться на онлайн-курсе нового поколения - MOOC (массовые открытые онлайн-курсы). Все занятия будут проводиться в дистанционном режиме на нашей онлайн-платформе. Еженедельно новые материалы курса становятся доступны для изучения в любое удобное вам время. В течение обучения есть возможность общаться с преподавателем и другими слушателями курса в свободном режиме.
После каждой недели занятий будет необходимо выполнить тест, с помощью которого будет проверяться усвоение материала.
В конце курса будет необходимо выполнить итоговое задание, которое определит лучших слушателей курса.
Я принимаю условия, изложенные в
Соглашении об оказании информационных услуг по развитию карьеры и профессиональному образованию
КонсультацРСвЂВВВВВВВВР РЋР РЏ Р С—Р С• РїРѕРТвЂВВВВВВВВР±РѕСЂСѓ РєСѓСЂСЃР°
РњС‹ РїРѕРТвЂВВВВВВВВбереРѠРІР°РѠРїСЂРѕРіСЂР°РСВВВВВВВВВР В Р’В Р РЋР’ВВВВВВВВР РЋРІР‚в„– обученРСвЂВВВВВВВВР РЋР РЏ Р В Р’В Р СћРІР‚ВВВВВВВВля успешной карьеры РцповышенРСвЂВВВВВВВВР РЋР РЏ зарплаты, Р В Р’В° также РїСЂРµРТвЂВВВВВВВВложРСвЂВВВВВВВВРѠактуальные С„РСвЂВВВВВВВВнансовые Р В Р’В Р РЋРІР‚ВВВВВВВВнструРСВВВВВВВВВенты РѕС‚ лучшРСвЂВВВВВВВВС… Р В РІР‚ВВВВВВВВВанков-партнеровпортала Edumarket.ru Р В Р’В Р СћРІР‚ВВВВВВВВля Р В Р’В Р РЋРІР‚ВВВВВВВВС… РїСЂРСвЂВВВВВВВВобретенРСвЂВВВВВВВВР РЋР РЏ!
РџРѕР·РТвЂВВВВВВВВравляеРСВВВВВВВВВ!
Р В РІР‚в„ўР РЋРІР‚в„– РЎРѓР ТвЂВВВВВВВВелалРцеще РѕРТвЂВВВВВВВВР В Р’В Р РЋРІР‚ВВВВВВВВР Р… шаг Р Р…Р В° РїСѓС‚РцРє вашей карьере.
Р В РЎСљР В Р’В° указанный Р°РТвЂВВВВВВВВрес РІР°РѠотправлено Р С—Р СвЂВВВВВВВВРЎРѓРЎРЉР СВВВВВВВВВР С•. Проверьте почтовый СЏС‰РСвЂВВВВВВВВР С” РцРїРѕСЃРСВВВВВВВВВотрРСвЂВВВВВВВВте РїРѕРТвЂВВВВВВВВобранные Р В Р’В Р СћРІР‚ВВВВВВВВля вас РїСЂРѕРіСЂР°РСВВВВВВВВВР В Р’В Р РЋР’ВВВВВВВВР РЋРІР‚в„– обученРСвЂВВВВВВВВР РЋР РЏ.
ЖелаеРѠРІР°РѠуспешной карьеры!