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

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

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

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


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







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

Теги: вычислимость, алгоритмы, рекурсивные функции, теория топосов, информатика, математика, теория категорий, учебное пособие


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

HostLife - лучший платный хостинг
Баннер или тизер? Выбирай! Баннер или тизер? Выбирай! HostLife - лучший платный хостинг!
Размещение Вашего баннера на нашем сайте - это дешевая реклама Ваших сайтов или партнерских программ! Размещение Вашего баннера на нашем сайте - это дешевая реклама Ваших сайтов или партнерских программ! Отличный хостинг по цене от 1.87$/месяц! Рекомендация от сайта Bookskeeper.ru!


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

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

В нашем книжном хранилище Вы всегда найдете литературу на любой вкус человека любого возраста - от детских комиксов и расскрасок до серьезной научной литературы.
 
 

Реклама

Возврат инвестиций scamconsulting.com
Садовые печи-барбекю от компании Династия

Пять Ночей. Серик Куламбаев. Качай бесплатно!

Копирайтинг для интровертов. Пошаговая инструкция для заработка в интернете


Лучшие книги тут!
 
 
 
 

Книги наших партнеров