VIPBOOK.SU
ЭЛЕКТРОННАЯ БИБЛИОТЕКА






Добро пожаловать на сайт электронной библиотеки!
Здесь можно найти произведения русских и зарубежных авторов.
Скачать множество книг и журналов различных жанров и направлений.
Большой выбор художественной, бизнес, учебной и технической литературы.
Все представленные здесь книги и журналы имеют подробное описание и обложку.
Наша библиотека регулярно пополняется только новыми и интересными материалами!

«Подробнее о сайте»            «Правила сайта»            «Написать нам»            «Статьи»

Ершов Ю.Л. - Проблемы разрешимости и конструктивные модели

Наука и познание >> Математика





Разместил: Почемучка

17-03-2018, 23:26

Просмотров: 193





Ершов Ю.Л. - Проблемы разрешимости и конструктивные модели

Современное развитие математики и электронно-вычислительной техники приводит к тому, что понятие алгоритма становится одним из важнейших понятий современной математики. Теория алгоритмов, наряду со своим внешним успехом и яркими внутренними достижениями, оказывает плодотворное влияние и на смежные разделы математики. Так, например, в алгебре и теории чисел кроме традиционных появились и новые естественно поставленные алгоритмические проблемы, связанные с успешным использованием в этих теориях языка логики первого порядка. Настоящая книга имеет целью ознакомить читателей с важнейшими из таких проблем (указанными в названии книги).
Эта новая проблематика — выявление алгоритмической природы элементарных теорий и их моделей — возникла на стыке теории моделей и теории алгоритмов.

Название: Проблемы разрешимости и конструктивные модели
Автор: Ершов Ю.Л.
Издательство: М.: Наука
Год: 1980
Формат: DjVu
Страниц: 416
Размер: 10 MB
Язык: Русский


Скачать Ершов Ю.Л. - Проблемы разрешимости и конструктивные модели [1980, DjVu]









Похожие публикации

Крупский В.Н., Плиско В.Е. - Математическая логика и теория алгоритмов Крупский В.Н., Плиско В.Е. - Математическая логика и теория алгоритмов
Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление

Теоретические основы информатики Теоретические основы информатики
Теоретические основы информатики — Рассмотрены вопросы теории информации Шеннона, теории кодирования, криптографии, элементы теории алгоритмов и теории конечных автоматов, а также общие вопросы моделирования и описания систем.

Основы теории элементарных алгоритмов Основы теории элементарных алгоритмов
В учебном пособии впервые достаточно полно рассматриваются Основы теории элементарных алгоритмов (элементарных по Кальмару функций), изученных современной теорией алгоритмов и успешно используемых в математических исследованиях. Излагаются также

Теория алгоритмов Теория алгоритмов
Теория алгоритмов — Подробно изложены три формализации понятия алгоритма — машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность.

Существуют ли неразрешимые проблемы? Математика, сложность и вычисление (Мир математики Т. 43) Существуют ли неразрешимые проблемы? Математика, сложность и вычисление (Мир математики Т. 43)
Как измерить сложность проблемы? Существуют ли простые решения сложных проблем? Эти и подобные вопросы лежат в основе теории сложности вычислений. От ответа на них зависят ее очевидные практические применения, такие, например, как криптография.

Теория алгоритмов Теория алгоритмов
Теория алгоритмов - В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные модели вычислений (машины Тьюринга, машины с неограниченными регистрами, рекурсивные функции) и связанные с ними подходы к

Белашов В.Ю. - Эффективные алгоритмы и программы вычислительной математики Белашов В.Ю. - Эффективные алгоритмы и программы вычислительной математики
В книге представлены результаты работы авторов по отбору наиболее эффективных (оптимальных) алгоритмов, реализующих методы как традиционных, так и практически не встречающихся в литературе разделов вычислительной математики, например вычислительные

Дискретная математика и комбинаторика Дискретная математика и комбинаторика
Книга представляет собой современный учебник по дискретной математике. Кроме таких разделов, как математическая логика, теория множеств, комбинаторика, теория графов, теория алгоритмов и вычислений, традиционно включаемых в основной курс дискретной

Математическая логика Математическая логика
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория

Математическая логика Математическая логика
В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и




Отзывы и Комментарии





Добавление комментария

Ваше Имя:
Ваш E-Mail:(необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent

Книги