Математическая логика и теория алгоритмов / ДО 2021 (Запись № 667658)
[ простой вид ]
| 000 -Маркер | |
|---|---|
| Поле контроля фиксированной длины | 04180nlm0a2200469 4500 |
| 005 - Идентификатор версии | |
| Поле контроля фиксированной длины | 20231030042120.0 |
| 035 ## - Другие системные номера | |
| Идентификатор записи | (RuTPU)RU\TPU\network\38863 |
| 035 ## - Другие системные номера | |
| Идентификатор записи | RU\TPU\network\38528 |
| 100 ## - Данные общей обработки | |
| Данные общей обработки | 20220408d2021 m y0rusy50 ca |
| 101 0# - Язык ресурса | |
| Язык текста, звукозаписи и т.д. | русский |
| 102 ## - Страна публикации или производства | |
| Страна публикации | Россия |
| 105 ## - Поле кодированных данных: текстовые ресурсы, монографические | |
| Кодированные данные о монографическом текстовом документе | a j 000zy |
| 135 ## - Поле кодированных данных: электронные ресурсы | |
| Кодированные данные для электронного ресурса | jrcn ---uucaa |
| 181 #0 - Поле кодированных данных: вид содержания | |
| Код вида содержания | i |
| 182 #0 - Поле кодированных данных: средство доступа | |
| Код средства доступа | electronic |
| 200 1# - Заглавие и сведения об ответственности | |
| Основное заглавие | Математическая логика и теория алгоритмов / ДО 2021 |
| Сведения, относящиеся к заглавию | электронный курс |
| Первые сведения об ответственности | О. В. Шефер |
| Последующие сведения об ответственности | Национальный исследовательский Томский политехнический университет, Инженерная школа информационных технологий и робототехники, Отделение информационных технологий |
| 203 ## - Вид содержания и средство доступа | |
| Вид содержания | Текст |
| Средство доступа | электронный |
| 210 ## - Публикация, производство, распространение и т.д. | |
| Место публикации, производства и/или распространения | Томск |
| Имя издателя, производителя и/или распространителя | TPU Moodle |
| Дата публикации, производства и/или распространения | 2021 |
| 230 ## - | |
| -- | Электрон. дан. |
| 300 ## - Общие примечания | |
| Текст примечания | Заглавие с экрана |
| 330 ## - Резюме или реферат | |
| Текст примечания | Основной целью курса является формирование у студентов знаний соответствующих разделов математической логики и теории алгоритмов, составляющих теоретический фундамент определенных этапов описания и разработки современных информационных и управляющих компьютерных систем. Курс предназначен для обучающихся в бакалавриате в 1 семестре. В курсе приводится введение в математическую логику и теорию алгоритмов, рассматриваются основы логики высказываний и логики предикатов, представлены вопросы по логическому следствию и методу резолюций, а также основы теории алгоритмов, где рассматриваются алгоритмы Маркова, Тьюринга и понятие сложности алгоритмов. Особое внимание уделяется применению теоретических основ матлогики и теории алгоритмов для решения задач (представлены примеры и задачи с решениями). |
| 333 ## - Примечания об особенностях распространения и использования | |
| Текст примечания | |
| 606 1# - Наименование темы как предмет | |
| Наименование темы | Математическая логика |
| Источник данных | stltpush |
| Идентификатор авторитетной/ нормативной записи | (RuTPU)RU\TPU\subj\41205 |
| 606 1# - Наименование темы как предмет | |
| Наименование темы | Алгоритмы, теория |
| Источник данных | stltpush |
| Идентификатор авторитетной/ нормативной записи | (RuTPU)RU\TPU\subj\58912 |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | электронный ресурс |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | труды учёных ТПУ |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | электронные учебные пособия |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | электронные курсы ТПУ |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | электронные образовательные ресурсы |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | Moodle |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | e-learning |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | логика предикатов |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | метод резолюций |
| 675 ## - Универсальная десятичная классификация (UDC/УДК) | |
| Индекс | 510.5(075.8) |
| Издание | 4 |
| 675 ## - Универсальная десятичная классификация (UDC/УДК) | |
| Индекс | 510.6(075.8) |
| Издание | 4 |
| 700 #1 - Имя лица – первичная ответственность | |
| Начальный элемент ввода | Шефер |
| Часть имени, кроме начального элемента ввода | О. В. |
| Дополнения к именам, кроме дат | специалист в области информатики и вычислительной техники |
| -- | доцент Томского политехнического университета, кандидат физико-математических наук |
| Даты | 1960- |
| Расширение инициалов личного имени | Ольга Владимировна |
| -- | stltpush |
| Идентификатор авторитетной/ нормативной записи | (RuTPU)RU\TPU\pers\28734 |
| 712 02 - Наименование организации – вторичная ответственность | |
| Начальный элемент ввода | Национальный исследовательский Томский политехнический университет |
| Структурное подразделение | Инженерная школа информационных технологий и робототехники |
| -- | Отделение информационных технологий |
| -- | 7951 |
| -- | stltpush |
| Идентификатор авторитетной/ нормативной записи | (RuTPU)RU\TPU\col\23515 |
| 801 #2 - Источник записи | |
| Страна | RU |
| Организация | 63413507 |
| Дата составления | 20221228 |
| Правила каталогизации | RCR |
| 856 4# - Местонахождение электронных ресурсов и доступ к ним | |
| Универсальный идентификатор ресурса | https://design.lms.tpu.ru/course/view.php?id=4116 |
| 090 ## - System Control Numbers (Koha) | |
| Koha biblioitem number (autogenerated) | 667658 |
| 942 ## - Добавленные элементы ввода (Коха) | |
| Тип документа | Computer Files |
Нет доступных единиц.