Математическая логика и теория алгоритмов / ДО 2021, электронный курс
| Main Author: | |
|---|---|
| Corporate Author: | |
| Summary: | Заглавие с экрана Основной целью курса является формирование у студентов знаний соответствующих разделов математической логики и теории алгоритмов, составляющих теоретический фундамент определенных этапов описания и разработки современных информационных и управляющих компьютерных систем. Курс предназначен для обучающихся в бакалавриате в 1 семестре. В курсе приводится введение в математическую логику и теорию алгоритмов, рассматриваются основы логики высказываний и логики предикатов, представлены вопросы по логическому следствию и методу резолюций, а также основы теории алгоритмов, где рассматриваются алгоритмы Маркова, Тьюринга и понятие сложности алгоритмов. Особое внимание уделяется применению теоретических основ матлогики и теории алгоритмов для решения задач (представлены примеры и задачи с решениями). Доступ по логину и паролю |
| Language: | Russian |
| Published: |
Томск, TPU Moodle, 2021
|
| Subjects: | |
| Online Access: | https://design.lms.tpu.ru/course/view.php?id=4116 |
| Format: | Electronic Book |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=667658 |