У вас уже есть заявка на текущий период.
Если вы хотите, чтобы данная программа участвовала в розыгрыше гранта в этом месяце, необходимо добавить ее в папку "Интересные мероприятия".
Или создайте заявку на другой период.
12.12.2015 - 12.03.2016 Уточните расписание у организатора. Возможно он не успел обновить расписание.
Форма обучения:
Дистанционная
Вид мероприятия:
Курсы
Преподаватель
Карпов Юрий Глебович - Доктор технических наук, Профессор СПбПУ.
Анонс программы
Целью освоения учебной дисциплины "Математическая логика" является формирование представлений о классической логике и ее применении в информатике. Технологии в информатике меняются очень быстро. Инженер-программист должен осваивать новые информационные технологии каждые 2-5 лет. Однако при этом концептуальные, базисные теоретические основы информационных технологий остаются неизменными. Математическая логика относится к теоретическому фундаменту, на котором основаны все существующие и будущие информационные технологии. С помощью логики выражаются семантика языков программирования, спецификация программ (что программа делает), выполняется верификация программ (проверяется, делает ли программа в точности то, что от нее ожидают). Курс состоит из трех частей. Первая часть посвящена базе математической логики - теории двоичных функций. Вторая часть излагает базовые разделы математической логики, наиболее часто применяемые в практике информационных технологий: методы формализации умозаключений, алгоритмы формального логического вывода, аксиоматические теории. Заключительная часть посвящена методам верификации распределенных алгоритмов и систем.
Видео
Описание программы
Булевы функции
Нормальные формы представления булевых
Теорема Поста
Применение булевых функций
Бинарные решающие диаграммы
Конечные автоматы и их применение
Основные понятия логики высказываний
Логический вывод в логике высказываний
Основные понятия логики
Логический вывод в логике предикатов
Аксиоматические теории
Проверка корректности программ
Темпоральные логики
Результаты обучения
В результате изучения дисциплины студент должен:
знать:
принципы, основы, теории, законы, правила, используемые в курсе для изучения объектов курса;
методы, средства, приемы, алгоритмы, способы решения задач курса.
уметь:
выделять объекты курса из окружающей среды;
формулировать, выдвигать гипотезы о причинах возникновения той или иной ситуации; вычислять, оценивать величины;
изменять, дополнять, адаптировать, развивать методы, алгоритмы, приемы, методики для решения ...
Подробнее о программе
Булевы функции
Нормальные формы представления булевых
Теорема Поста
Применение булевых функций
Бинарные решающие диаграммы
Конечные автоматы и их применение
Основные понятия логики высказываний
Логический вывод в логике высказываний
Основные понятия логики
Логический вывод в логике предикатов
Аксиоматические теории
Проверка корректности программ
Темпоральные логики
Результаты обучения
В результате изучения дисциплины студент должен:
знать:
принципы, основы, теории, законы, правила, используемые в курсе для изучения объектов курса;
методы, средства, приемы, алгоритмы, способы решения задач курса.
уметь:
выделять объекты курса из окружающей среды;
формулировать, выдвигать гипотезы о причинах возникновения той или иной ситуации; вычислять, оценивать величины;
изменять, дополнять, адаптировать, развивать методы, алгоритмы, приемы, методики для решения конкретных задач;
вычислять, оценивать параметры, величины, состояния, используя известные модели, методы, средства;
выбирать методы, алгоритмы, меры, средства, модели, законы, критерии для решения задач курса;
оформлять, представлять данные, результаты работы на языке символов (терминов, формул), введенных и используемых в курсе;
высказывать, формулировать, выдвигать гипотезы о причинах возникновения той или иной ситуации (состояния, события), о путях (тенденциях) ее развития и последствиях.
владеть:
навыками систематизировать, дифференцировать факты, методы, задачи и т.д., самостоятельно формулируя основания для классификации;
навыками ставить познавательные задачи и выдвигать гипотезы; навыками систематизировать, дифференцировать факты, методы, задачи и т.д., самостоятельно формулируя основания для классификации.
Формируемые компетенции
(К-10) способен применять методы математического анализа и моделирования в профессиональной деятельности;
(ПК-6) способен обосновывать принимаемые проектные решения, осуществлять постановку и выполнять эксперименты по проверке их корректности и эффективности.
Формат
Курс включает лекции и контрольные работы
Информационные ресурсы
Все материалы, необходимые для изучения курса, доступны студентам в электронном виде. Они основываются на книгах Ю.Г. Карпова: "Теория автоматов" и "Model checking. Верификация параллельных и распределенных программных систем". Но мы приветствуем любознательных студентов, жадно изучающих книги по математической логике.
Требования
Достаточно знания математики в объеме средней школы. В первом разделе излагается материал из курса "Дискретная математика", в объеме необходимом для уверенного использования его в "Математической логике". Студенты, знакомые с дискретной математикой, могут пропустить этот раздел, сдав контрольные работы.
Сертификат
Сертификат участника обычно выдается при достижении 60% от общего рейтинга при условии сдачи работ до жесткого дедлайна. Сертификат с отличием, как правило, выдается при достижении 90% от общего рейтинга при условии сдачи работ до мягкого дедлайна.
Длительность курса: 13 недель Понадобится для освоения: 6 часов в неделю Для зачета в своем вузе: 3 зачётных единицы
Я принимаю условия, изложенные в
Соглашении об оказании информационных услуг по развитию карьеры и профессиональному образованию
КонсультацРСвЂВВВВВВВР РЋР РЏ Р С—Р С• РїРѕРТвЂВВВВВВВР±РѕСЂСѓ РєСѓСЂСЃР°
РњС‹ РїРѕРТвЂВВВВВВВбереРѠРІР°РѠРїСЂРѕРіСЂР°РСВВВВВВВВР В Р’В Р РЋР’ВВВВВВВР РЋРІР‚в„– обученРСвЂВВВВВВВР РЋР РЏ Р В Р’В Р СћРІР‚ВВВВВВВля успешной карьеры РцповышенРСвЂВВВВВВВР РЋР РЏ зарплаты, Р В Р’В° также РїСЂРµРТвЂВВВВВВВложРСвЂВВВВВВВРѠактуальные С„РСвЂВВВВВВВнансовые Р В Р’В Р РЋРІР‚ВВВВВВВнструРСВВВВВВВВенты РѕС‚ лучшРСвЂВВВВВВВС… Р В РІР‚ВВВВВВВВанков-партнеровпортала Edumarket.ru Р В Р’В Р СћРІР‚ВВВВВВВля Р В Р’В Р РЋРІР‚ВВВВВВВС… РїСЂРСвЂВВВВВВВобретенРСвЂВВВВВВВР РЋР РЏ!
РџРѕР·РТвЂВВВВВВВравляеРСВВВВВВВВ!
Р В РІР‚в„ўР РЋРІР‚в„– РЎРѓР ТвЂВВВВВВВелалРцеще РѕРТвЂВВВВВВВР В Р’В Р РЋРІР‚ВВВВВВВР Р… шаг Р Р…Р В° РїСѓС‚РцРє вашей карьере.
Р В РЎСљР В Р’В° указанный Р°РТвЂВВВВВВВрес РІР°РѠотправлено Р С—Р СвЂВВВВВВВРЎРѓРЎРЉР СВВВВВВВВР С•. Проверьте почтовый СЏС‰РСвЂВВВВВВВР С” РцРїРѕСЃРСВВВВВВВВотрРСвЂВВВВВВВте РїРѕРТвЂВВВВВВВобранные Р В Р’В Р СћРІР‚ВВВВВВВля вас РїСЂРѕРіСЂР°РСВВВВВВВВР В Р’В Р РЋР’ВВВВВВВР РЋРІР‚в„– обученРСвЂВВВВВВВР РЋР РЏ.
ЖелаеРѠРІР°РѠуспешной карьеры!
Бухгалтерский учёт для начинающих + 1C: бухгалтерия. 8.3
Сметное дело в строительстве. Гранд смета 2025.1. Теория и ...
Инспектор отдела кадров (кадровик)+1С: ЗУП 8.3, воинский ...
Подготовка тренеров. Работа с аудиторией и методики создания ...
Госзакупки 44-ФЗ и 223-ФЗ. Управление закупочной деятельностью
Управление и подбор персонала + кадровый учёт предприятий+1С: ...
AutoCAD. Базовый уровень
Бухгалтерский учет с ноля. Налоги. Отчётность. 1С: ...
Кадровый, воинский учёт + отчётность в 1С: Зарплата и ...
