Математическая логика и теория алгоритмов / ДО 2021, электронный курс

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Шефер О. В. Ольга Владимировна
সংস্থা লেখক: Национальный исследовательский Томский политехнический университет Инженерная школа информационных технологий и робототехники Отделение информационных технологий
সংক্ষিপ্ত:Заглавие с экрана
Основной целью курса является формирование у студентов знаний соответствующих разделов математической логики и теории алгоритмов, составляющих теоретический фундамент определенных этапов описания и разработки современных информационных и управляющих компьютерных систем. Курс предназначен для обучающихся в бакалавриате в 1 семестре. В курсе приводится введение в математическую логику и теорию алгоритмов, рассматриваются основы логики высказываний и логики предикатов, представлены вопросы по логическому следствию и методу резолюций, а также основы теории алгоритмов, где рассматриваются алгоритмы Маркова, Тьюринга и понятие сложности алгоритмов. Особое внимание уделяется применению теоретических основ матлогики и теории алгоритмов для решения задач (представлены примеры и задачи с решениями).
Доступ по логину и паролю
ভাষা:রুশ
প্রকাশিত: Томск, TPU Moodle, 2021
বিষয়গুলি:
অনলাইন ব্যবহার করুন:https://design.lms.tpu.ru/course/view.php?id=4116
বিন্যাস: বৈদ্যুতিক গ্রন্থ
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=667658
বিবরন
সংক্ষিপ্ত:Заглавие с экрана
Основной целью курса является формирование у студентов знаний соответствующих разделов математической логики и теории алгоритмов, составляющих теоретический фундамент определенных этапов описания и разработки современных информационных и управляющих компьютерных систем. Курс предназначен для обучающихся в бакалавриате в 1 семестре. В курсе приводится введение в математическую логику и теорию алгоритмов, рассматриваются основы логики высказываний и логики предикатов, представлены вопросы по логическому следствию и методу резолюций, а также основы теории алгоритмов, где рассматриваются алгоритмы Маркова, Тьюринга и понятие сложности алгоритмов. Особое внимание уделяется применению теоретических основ матлогики и теории алгоритмов для решения задач (представлены примеры и задачи с решениями).
Доступ по логину и паролю