Теория алгоритмов учебное пособие
Учебное пособие написано на основе курса лекционных и практических занятий по дисциплине «Теория алгоритмов». В издании рассматриваются три алгоритмические модели – машины Тьюринга, нормальные алгоритмы Маркова, рекурсивные функции. В рамках этих моделей уточняются понятия вычислимой функции, разреш...
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Книга |
| Dil: | Russian |
| Baskı/Yayın Bilgisi: |
Киров
ВятГУ
2017
|
| Online Erişim: | https://e.lanbook.com/book/134610 https://e.lanbook.com/img/cover/book/134610.jpg |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
| LEADER | 02569nam0a2200253 i 4500 | ||
|---|---|---|---|
| 001 | 134610 | ||
| 003 | RuSpLAN | ||
| 005 | 20221220174043.0 | ||
| 008 | 221220s2017 ru gs 000 0 rus | ||
| 040 | |a RuSpLAN | ||
| 041 | 0 | |a rus | |
| 044 | |a ru | ||
| 080 | |a 510.5 (07) | ||
| 245 | 0 | 0 | |a Теория алгоритмов |b учебное пособие |c Широков Д. В. |
| 260 | |a Киров |b ВятГУ |c 2017 | ||
| 300 | |a 163 с. | ||
| 500 | |a Допущено кафедрой фундаментальной и компьютерной математики фа- культета компьютерных и физико-математических наук ВятГУ в качестве учебного пособия для студентов направлений 02.03.01 «Математика и компь- ютерные науки», 01.03.02 «Прикладная математика и информатика», 02.03.02 «Фундаментальная информатика и информационные технологии», 44.03.01, 44.03.05 «Педагогическое образование» | ||
| 504 | |a Библиогр.: доступна в карточке книги, на сайте ЭБС Лань | ||
| 520 | 8 | |a Учебное пособие написано на основе курса лекционных и практических занятий по дисциплине «Теория алгоритмов». В издании рассматриваются три алгоритмические модели – машины Тьюринга, нормальные алгоритмы Маркова, рекурсивные функции. В рамках этих моделей уточняются понятия вычислимой функции, разрешимого и перечислимого множества, обсуждается тезис Черча, приводятся примеры алгоритмически неразрешимых проблем. Теоретический материал снабжен примерами и упражнениями. В отдельном параграфе приведены варианты контрольных работ и тестовых заданий. | |
| 521 | 8 | |a Книга из коллекции ВятГУ - Информатика | |
| 100 | 1 | |a Широков Д. В. | |
| 856 | 4 | |u https://e.lanbook.com/book/134610 | |
| 856 | 4 | 8 | |u https://e.lanbook.com/img/cover/book/134610.jpg |
| 953 | |a https://e.lanbook.com/img/cover/book/134610.jpg | ||