| 000 | 04180nlm0a2200469 4500 | ||
|---|---|---|---|
| 001 | 667658 | ||
| 005 | 20231030042120.0 | ||
| 035 | _a(RuTPU)RU\TPU\network\38863 | ||
| 035 | _aRU\TPU\network\38528 | ||
| 090 | _a667658 | ||
| 100 | _a20220408d2021 m y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _aa j 000zy | ||
| 135 | _ajrcn ---uucaa | ||
| 181 | 0 | _ai | |
| 182 | 0 | _ab | |
| 200 | 1 |
_aМатематическая логика и теория алгоритмов / ДО 2021 _eэлектронный курс _fО. В. Шефер _gНациональный исследовательский Томский политехнический университет, Инженерная школа информационных технологий и робототехники, Отделение информационных технологий |
|
| 203 |
_aТекст _cэлектронный |
||
| 210 |
_aТомск _cTPU Moodle _d2021 |
||
| 230 | _aЭлектрон. дан. | ||
| 300 | _aЗаглавие с экрана | ||
| 330 | _aОсновной целью курса является формирование у студентов знаний соответствующих разделов математической логики и теории алгоритмов, составляющих теоретический фундамент определенных этапов описания и разработки современных информационных и управляющих компьютерных систем. Курс предназначен для обучающихся в бакалавриате в 1 семестре. В курсе приводится введение в математическую логику и теорию алгоритмов, рассматриваются основы логики высказываний и логики предикатов, представлены вопросы по логическому следствию и методу резолюций, а также основы теории алгоритмов, где рассматриваются алгоритмы Маркова, Тьюринга и понятие сложности алгоритмов. Особое внимание уделяется применению теоретических основ матлогики и теории алгоритмов для решения задач (представлены примеры и задачи с решениями). | ||
| 333 | _aДоступ по логину и паролю | ||
| 606 | 1 |
_aМатематическая логика _2stltpush _3(RuTPU)RU\TPU\subj\41205 |
|
| 606 | 1 |
_aАлгоритмы, теория _2stltpush _3(RuTPU)RU\TPU\subj\58912 |
|
| 610 | 1 | _aэлектронный ресурс | |
| 610 | 1 | _aтруды учёных ТПУ | |
| 610 | 1 | _aэлектронные учебные пособия | |
| 610 | 1 | _aэлектронные курсы ТПУ | |
| 610 | 1 | _aэлектронные образовательные ресурсы | |
| 610 | 1 | _aMoodle | |
| 610 | 1 | _ae-learning | |
| 610 | 1 | _aлогика предикатов | |
| 610 | 1 | _aметод резолюций | |
| 675 |
_a510.5(075.8) _v4 |
||
| 675 |
_a510.6(075.8) _v4 |
||
| 700 | 1 |
_aШефер _bО. В. _cспециалист в области информатики и вычислительной техники _cдоцент Томского политехнического университета, кандидат физико-математических наук _f1960- _gОльга Владимировна _2stltpush _3(RuTPU)RU\TPU\pers\28734 |
|
| 712 | 0 | 2 |
_aНациональный исследовательский Томский политехнический университет _bИнженерная школа информационных технологий и робототехники _bОтделение информационных технологий _h7951 _2stltpush _3(RuTPU)RU\TPU\col\23515 |
| 801 | 2 |
_aRU _b63413507 _c20221228 _gRCR |
|
| 856 | 4 | _uhttps://design.lms.tpu.ru/course/view.php?id=4116 | |
| 942 | _cCF | ||