|
|
|
|
| LEADER |
02978nlm a2200313 4500 |
| 001 |
libtpu00667658 |
| 008 |
220408s2021 ru a k 0000 m rus |
| 035 |
0 |
0 |
|a (RuTPU)RUTPUnetwork38863
|
| 035 |
0 |
0 |
|a RUTPUnetwork38528
|
| 040 |
|
|
|a RU
|b rus
|c RU
|d Ru-TPU
|
| 080 |
|
|
|a 510.5(075.8)
|
| 080 |
|
|
|a 510.6(075.8)
|
| 100 |
1 |
|
|a Шефер, О. В.
|c специалист в области информатики и вычислительной техники
|c доцент Томского политехнического университета, кандидат физико-математических наук
|d 1960-
|
| 245 |
1 |
0 |
|a Математическая логика и теория алгоритмов / ДО 2021
|b электронный курс
|c О. В. Шефер
|
| 260 |
|
|
|a Томск
|b TPU Moodle
|c 2021
|
| 500 |
|
|
|a Заглавие с экрана
|
| 520 |
|
|
|a Основной целью курса является формирование у студентов знаний соответствующих разделов математической логики и теории алгоритмов, составляющих теоретический фундамент определенных этапов описания и разработки современных информационных и управляющих компьютерных систем. Курс предназначен для обучающихся в бакалавриате в 1 семестре. В курсе приводится введение в математическую логику и теорию алгоритмов, рассматриваются основы логики высказываний и логики предикатов, представлены вопросы по логическому следствию и методу резолюций, а также основы теории алгоритмов, где рассматриваются алгоритмы Маркова, Тьюринга и понятие сложности алгоритмов. Особое внимание уделяется применению теоретических основ матлогики и теории алгоритмов для решения задач (представлены примеры и задачи с решениями).
|
| 650 |
1 |
0 |
|a Математическая логика
|
| 650 |
1 |
0 |
|a Алгоритмы, теория
|
| 653 |
|
|
|a электронный ресурс
|
| 653 |
|
|
|a труды учёных ТПУ
|
| 653 |
|
|
|a электронные учебные пособия
|
| 653 |
|
|
|a электронные курсы ТПУ
|
| 653 |
|
|
|a электронные образовательные ресурсы
|
| 653 |
|
|
|a Moodle
|
| 653 |
|
|
|a e-learning
|
| 653 |
|
|
|a логика предикатов
|
| 653 |
|
|
|a метод резолюций
|
| 856 |
4 |
|
|u https://design.lms.tpu.ru/course/view.php?id=4116
|
