Текущий раздел » » » Синтетическая вычислимость

Синтетическая вычислимость

  • Заявить о правах (Abuse)
Автор: natagu от 2020-05-31, 05:11:10
Синтетическая вычислимость
Автор: Гуц А.К.
Название: Синтетическая вычислимость: учебное пособие
Издательство: Омск: ОмГУ
Год: 2016
ISBN: 978-5-7779-1977-9
Язык: Русский
Формат: djvu
Размер: 12,5 Мб
Качество: хорошее, текстовый слой, оглавление.
Кол-во страниц: 152

Описание: Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости. Элементы современной теории синтетической вычислимости излагаются в учебном пособии. Дается представление об алгоритмах, рекурсивных функциях, интуиционизме, интуиционистской логике, конструктивной математике, реализуемости Клини, теории категорий, теории топосов, топосе реализуемости и др. Описываются эффективный топос Хайлэнда и рекурсивный топос Малри. Учебное пособие для студентов и аспирантов факультетов компьютерных наук, информационных технологий и математических факультетов.


Скачать книгу ‘Синтетическая вычислимость‘






Ad Litteram. Купить и скачать книги в fb2 на любом устройстве, читать онлайн

Выгодные предложения от нашего партнёра ИГ "ЭКСМО-АРТ":

Акция С заботой о здоровье и безопасности

Самые ожидаемые книги декабря 2022 года

Больше книг - больше выгода! Скидки до 30%







My-shop.ru: самый большой выбор детских игрушек в Рунете My-shop.ru - книжный Интернет-магазин My-shop.ru - Интернет-магазин для учителей My-shop.ru - Интернет-магазин учебной литературы
Интернет-магазин детских игрушек Книжный интернет-магазин Интернет-магазин для учителей Интернет-магазин учебной литературы
       

My-shop.ru - Ваш Интернет-магазин My-shop.ru - детский Интернет-магазин My-shop.ru - Интернет-магазин товаров для рукоделия My-shop.ru - Интернет-магазин товаров для образования
Интернет-магазин с более 700000 товаров Интернет-магазин товаров для детей Интернет-магазин товаров для рукоделия Интернет-магазин товаров для образования
       


 


BooksKeeper - электронная библиотека, ежедневно пополняемая нашими авторами.
Все материалы, представленные на нашем сайте, Вы сможете скачать по ссылкам различных бесплатных файлообменников совершенно бесплатно!
Инструкции, поясняющие, как надо качать бесплатно с файлообменников смотреть тут
Регистрация на нашем сайте позволит Вам добавлять свои книги, а также комментировать опубликованные книги, общаться с нашими авторами.
Для этого мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.

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

Размещение Вашего баннера на книжном сайте BEGET - первые 30 дней хостинга БЕСПЛАТНО! HostLife - лучший платный хостинг
Баннер или тизер? Выбирай! BEGET - первые 30 дней хостинга БЕСПЛАТНО! HostLife - лучший платный хостинг!
Размещение Вашего баннера на нашем сайте - это дешевая реклама Ваших сайтов или партнерских программ! Стабильный, профессиональный и ОЧЕНЬ выгодный хостинг на сегодняший день! Бонусы, акции - все для Вас! Отличный хостинг по цене от 1.87$/месяц! Рекомендация от сайта Bookskeeper.ru!


Бесплатная электронная библиотека. Скачать книги бесплатно!
Текущий раздел » » » Синтетическая вычислимость

Наша электронная библиотека Bookskeeper.ru - это интернет-витрина, где любой посетитель может публиковать электронные варианты книг, журналов, газет, комиксов, в общем, любой литературы со ссылками для медленного, но бесплатного скачивания с файлообменников. В нашем книжном хранилище Вы всегда найдете литературу на любой вкус человека любого возраста - от детских комиксов и расскрасок до серьезной научной литературы.