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