Проблемы разрешимости и конструктивные модели

: : Разделы сайта : :

: : Популярное : :

: : Облако тегов : :

: : Немного рекламы : :

Обратная связьСвязь с администрацией

: : Цитата : :

Вселенная не изобретает справедливость. Человек — да. Но, к сожалению, человек должен жить во вселенной.

Мастер Снов
© Роджер Желязны

: :События: :

Праздник или знаменательная дата отсутствует

: : Последние комментарии : :

Автор → poffigistka
в новости → 100 ловушек в личной жизни. Как их распознать и обойти

Автор → Mpak
в новости → Когда она ушла

Автор → oybekt
в новости → Когда она ушла

Автор → Mpak
в новости → Когда она ушла

Автор → poffigistka
в новости → Искусство быть эгоистом

Все комментарии

: : Опрос сайта : :

Произведения какого автора Вы читали больше

Показать все опросы

: : Топ пользователей сайта: :

1. Ник: oybekt - Медалей: 8
2. Ник: Mpak - Медалей: 6
3. Ник: magway - Медалей: 2
4. Ник: poffigistka - Медалей: 1

1. Ник: oybekt - Очков: 915
2. Ник: Mpak - Очков: 215
3. Ник: magway - Очков: 25
4. Ник: poffigistka - Очков: 10

: : Популярное за весь период: :

Проблемы разрешимости и конструктивные модели

Автор: Ю.Л.Ершов

Цикл: Математическая логика и основания математики -

Формат: djvu

Размер: 5,4 Мб

Язык: русский

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

Теги:

Аудиокнига:

Автор: oybekt
Комментариев: 0
Просмотров: 665 |

Комментарии:

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.