|
|
|
|
| LEADER |
02665nlm a2200277 4500 |
| 001 |
libtpu00667323 |
| 008 |
220315s2018 ru a k 0000 m rus |
| 035 |
0 |
0 |
|a (RuTPU)RUTPUnetwork38528
|
| 035 |
0 |
0 |
|a RUTPUnetwork38510
|
| 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 доцент Томского политехнического университета, кандидат технических наук
|c писатель
|d 1946-
|
| 245 |
1 |
0 |
|a Математическая логика и теория алгоритмов / ДО 2017
|b электронный курс
|c А. К. Стоянов
|
| 260 |
|
|
|a Томск
|b TPU Moodle
|c 2018
|
| 500 |
|
|
|a Заглавие с экрана
|
| 520 |
|
|
|a Курс содержит основной лекционный и практический материал, предназначенные для самостоятельного изучения. Приведены сведения по основным разделам базового курса Математическая логика и теория алгоритмов. Приведено содержание основных тем дисциплины и темы практических занятий. Приведены варианты заданий для индивидуальной домашней работы. Даны методические указания по выполнению индивидуальной домашней работы. Целью настоящей дисциплины является формирование у студентов знаний соответствующих разделов математической логики и теории алгоритмов, составляющих теоретический фундамент определенных этапов описания и разработки современных информационных и управляющих компьютерных систем.
|
| 650 |
1 |
0 |
|a Математическая логика
|
| 650 |
1 |
0 |
|a Алгоритмы, теория
|
| 653 |
|
|
|a электронный ресурс
|
| 653 |
|
|
|a труды учёных ТПУ
|
| 653 |
|
|
|a электронные учебные пособия
|
| 653 |
|
|
|a теория множеств
|
| 653 |
|
|
|a булева логика
|
| 653 |
|
|
|a дизъюнктивные нормальные формы
|
| 856 |
4 |
|
|u https://design.lms.tpu.ru/course/view.php?id=4168
|
