Математическая логика и теория алгоритмов / ДО 2021: электронный курс
| Autore principale: | |
|---|---|
| Ente Autore: | |
| Riassunto: | Заглавие с экрана Основной целью курса является формирование у студентов знаний соответствующих разделов математической логики и теории алгоритмов, составляющих теоретический фундамент определенных этапов описания и разработки современных информационных и управляющих компьютерных систем. Курс предназначен для обучающихся в бакалавриате в 1 семестре. В курсе приводится введение в математическую логику и теорию алгоритмов, рассматриваются основы логики высказываний и логики предикатов, представлены вопросы по логическому следствию и методу резолюций, а также основы теории алгоритмов, где рассматриваются алгоритмы Маркова, Тьюринга и понятие сложности алгоритмов. Особое внимание уделяется применению теоретических основ матлогики и теории алгоритмов для решения задач (представлены примеры и задачи с решениями). Доступ по логину и паролю |
| Lingua: | russo |
| Pubblicazione: |
Томск, TPU Moodle, 2021
|
| Soggetti: | |
| Accesso online: | https://design.lms.tpu.ru/course/view.php?id=4116 |
| Natura: | Elettronico Libro |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=667658 |
MARC
| LEADER | 00000nlm0a2200000 4500 | ||
|---|---|---|---|
| 001 | 667658 | ||
| 005 | 20260807071631.0 | ||
| 035 | |a (RuTPU)RU\TPU\network\38863 | ||
| 035 | |a RU\TPU\network\38528 | ||
| 090 | |a 667658 | ||
| 100 | |a 20220408d2021 m y0rusy50 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 105 | |a a j 000zy | ||
| 135 | |a jrcn ---uucaa | ||
| 181 | 0 | |a i | |
| 182 | 0 | |a b | |
| 200 | 1 | |a Математическая логика и теория алгоритмов / ДО 2021 |e электронный курс |f О. В. Шефер |g Национальный исследовательский Томский политехнический университет, Инженерная школа информационных технологий и робототехники, Отделение информационных технологий | |
| 203 | |a Текст |c электронный | ||
| 210 | |a Томск |c TPU Moodle |d 2021 | ||
| 300 | |a Заглавие с экрана | ||
| 330 | |a Основной целью курса является формирование у студентов знаний соответствующих разделов математической логики и теории алгоритмов, составляющих теоретический фундамент определенных этапов описания и разработки современных информационных и управляющих компьютерных систем. Курс предназначен для обучающихся в бакалавриате в 1 семестре. В курсе приводится введение в математическую логику и теорию алгоритмов, рассматриваются основы логики высказываний и логики предикатов, представлены вопросы по логическому следствию и методу резолюций, а также основы теории алгоритмов, где рассматриваются алгоритмы Маркова, Тьюринга и понятие сложности алгоритмов. Особое внимание уделяется применению теоретических основ матлогики и теории алгоритмов для решения задач (представлены примеры и задачи с решениями). | ||
| 333 | |a Доступ по логину и паролю | ||
| 606 | 1 | |a Математическая логика |2 stltpush |3 (RuTPU)RU\TPU\subj\41205 |9 61013 | |
| 606 | 1 | |a Алгоритмы, теория |2 stltpush |3 (RuTPU)RU\TPU\subj\58912 |9 76596 | |
| 610 | 1 | |a электронный ресурс | |
| 610 | 1 | |a труды учёных ТПУ | |
| 610 | 1 | |a электронные учебные пособия | |
| 610 | 1 | |a электронные курсы ТПУ | |
| 610 | 1 | |a электронные образовательные ресурсы | |
| 610 | 1 | |a Moodle | |
| 610 | 1 | |a e-learning | |
| 610 | 1 | |a логика предикатов | |
| 610 | 1 | |a метод резолюций | |
| 675 | |a 510.5(075.8) |v 4 | ||
| 675 | |a 510.6(075.8) |v 4 | ||
| 700 | 1 | |a Шефер |b О. В. |c специалист в области информатики и вычислительной техники |c доцент Томского политехнического университета, кандидат физико-математических наук |f 1960- |g Ольга Владимировна |3 (RuTPU)RU\TPU\pers\28734 |9 13525 | |
| 712 | 0 | 2 | |a Национальный исследовательский Томский политехнический университет |b Инженерная школа информационных технологий и робототехники |c 2017- |x TPU |7 ca |8 rus |9 28330 |
| 801 | 2 | |a RU |b 63413507 |c 20221228 |g RCR | |
| 856 | 4 | |u https://design.lms.tpu.ru/course/view.php?id=4116 | |
| 942 | |c CF | ||