Математическая логика и теория алгоритмов / ДО 2017: электронный курс
| المؤلف الرئيسي: | |
|---|---|
| مؤلف مشترك: | |
| الملخص: | Заглавие с экрана Курс содержит основной лекционный и практический материал, предназначенные для самостоятельного изучения. Приведены сведения по основным разделам базового курса «Математическая логика и теория алгоритмов». Приведено содержание основных тем дисциплины и темы практических занятий. Приведены варианты заданий для индивидуальной домашней работы. Даны методические указания по выполнению индивидуальной домашней работы. Целью настоящей дисциплины является формирование у студентов знаний соответствующих разделов математической логики и теории алгоритмов, составляющих теоретический фундамент определенных этапов описания и разработки современных информационных и управляющих компьютерных систем. Доступ по логину и паролю |
| اللغة: | الروسية |
| منشور في: |
Томск, TPU Moodle, 2018
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://design.lms.tpu.ru/course/view.php?id=4168 |
| التنسيق: | الكتروني كتاب |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=667323 |
MARC
| LEADER | 00000nlm0a2200000 4500 | ||
|---|---|---|---|
| 001 | 667323 | ||
| 005 | 20260514162009.0 | ||
| 035 | |a (RuTPU)RU\TPU\network\38528 | ||
| 035 | |a RU\TPU\network\38510 | ||
| 090 | |a 667323 | ||
| 100 | |a 20220315d2018 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 Математическая логика и теория алгоритмов / ДО 2017 |e электронный курс |f А. К. Стоянов |g Национальный исследовательский Томский политехнический университет, Институт кибернетики, Кафедра информационных систем и технологий | |
| 203 | |a Текст |c электронный | ||
| 210 | |a Томск |c TPU Moodle |d 2018 | ||
| 300 | |a Заглавие с экрана | ||
| 330 | |a Курс содержит основной лекционный и практический материал, предназначенные для самостоятельного изучения. Приведены сведения по основным разделам базового курса «Математическая логика и теория алгоритмов». Приведено содержание основных тем дисциплины и темы практических занятий. Приведены варианты заданий для индивидуальной домашней работы. Даны методические указания по выполнению индивидуальной домашней работы. Целью настоящей дисциплины является формирование у студентов знаний соответствующих разделов математической логики и теории алгоритмов, составляющих теоретический фундамент определенных этапов описания и разработки современных информационных и управляющих компьютерных систем. | ||
| 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 дизъюнктивные нормальные формы | |
| 675 | |a 510.5(075.8) |v 4 | ||
| 675 | |a 510.6(075.8) |v 4 | ||
| 700 | 1 | |a Стоянов |b А. К. |c специалист в области информатики и вычислительной техники |c доцент Томского политехнического университета, кандидат технических наук |c писатель |f 1946- |g Александр Кириллович |3 (RuTPU)RU\TPU\pers\13179 | |
| 712 | 0 | 2 | |a Томский политехнический университет |b Институт кибернетики, ИК |c 2010-2017 |9 27025 |
| 801 | 2 | |a RU |b 63413507 |c 20220628 |g RCR | |
| 856 | 4 | |u https://design.lms.tpu.ru/course/view.php?id=4168 | |
| 942 | |c CF | ||