Математическая логика и теория алгоритмов / ДО 2021 : электронный курс / О. В. Шефер ; Национальный исследовательский Томский политехнический университет, Инженерная школа информационных технологий и робототехники, Отделение информационных технологий
Язык: русский.Страна: Россия.Публикация: Томск : TPU Moodle, 2021Резюме или реферат: Основной целью курса является формирование у студентов знаний соответствующих разделов математической логики и теории алгоритмов, составляющих теоретический фундамент определенных этапов описания и разработки современных информационных и управляющих компьютерных систем. Курс предназначен для обучающихся в бакалавриате в 1 семестре. В курсе приводится введение в математическую логику и теорию алгоритмов, рассматриваются основы логики высказываний и логики предикатов, представлены вопросы по логическому следствию и методу резолюций, а также основы теории алгоритмов, где рассматриваются алгоритмы Маркова, Тьюринга и понятие сложности алгоритмов. Особое внимание уделяется применению теоретических основ матлогики и теории алгоритмов для решения задач (представлены примеры и задачи с решениями)..Аудитория: .Наименование темы как предмет: Математическая логика | Алгоритмы, теория Тематика: электронный ресурс | труды учёных ТПУ | электронные учебные пособия | электронные курсы ТПУ | электронные образовательные ресурсы | Moodle | e-learning | логика предикатов | метод резолюций Ресурсы он-лайн:Щелкните здесь для доступа в онлайнЗаглавие с экрана
Основной целью курса является формирование у студентов знаний соответствующих разделов математической логики и теории алгоритмов, составляющих теоретический фундамент определенных этапов описания и разработки современных информационных и управляющих компьютерных систем. Курс предназначен для обучающихся в бакалавриате в 1 семестре. В курсе приводится введение в математическую логику и теорию алгоритмов, рассматриваются основы логики высказываний и логики предикатов, представлены вопросы по логическому следствию и методу резолюций, а также основы теории алгоритмов, где рассматриваются алгоритмы Маркова, Тьюринга и понятие сложности алгоритмов. Особое внимание уделяется применению теоретических основ матлогики и теории алгоритмов для решения задач (представлены примеры и задачи с решениями).
Для данного заглавия нет комментариев.